Trait sec1::point::ModulusSize

pub trait ModulusSize: 'static + ArrayLength<u8> + Copy + Debug {
    type CompressedPointSize: 'static + ArrayLength<u8> + Copy + Debug;
    type UncompressedPointSize: 'static + ArrayLength<u8> + Copy + Debug;
    type UntaggedPointSize: 'static + ArrayLength<u8> + Copy + Debug;
}

Available on crate feature point only.

Expand description

Trait for supported modulus sizes which precomputes the typenums for various point encodings so they don’t need to be included as bounds.

Required Associated Types§

type CompressedPointSize: 'static + ArrayLength<u8> + Copy + Debug

Size of a compressed point for the given elliptic curve when encoded using the SEC1 Elliptic-Curve-Point-to-Octet-String algorithm (including leading 0x02 or 0x03 tag byte).

type UncompressedPointSize: 'static + ArrayLength<u8> + Copy + Debug

Size of an uncompressed point for the given elliptic curve when encoded using the SEC1 Elliptic-Curve-Point-to-Octet-String algorithm (including leading 0x04 tag byte).

type UntaggedPointSize: 'static + ArrayLength<u8> + Copy + Debug

Size of an untagged point for given elliptic curve, i.e. size of two serialized base field elements.

Implementors§

impl ModulusSize for U24

type CompressedPointSize = <UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0> as Add<UInt<UTerm, B1>>>::Output

type UncompressedPointSize = <<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0> as ModulusSize>::UntaggedPointSize as Add<UInt<UTerm, B1>>>::Output

type UntaggedPointSize = <UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0> as Add<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>>>::Output

impl ModulusSize for U28

type CompressedPointSize = <UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0> as Add<UInt<UTerm, B1>>>::Output

type UncompressedPointSize = <<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0> as ModulusSize>::UntaggedPointSize as Add<UInt<UTerm, B1>>>::Output

type UntaggedPointSize = <UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0> as Add<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>>>::Output

impl ModulusSize for U32

type CompressedPointSize = <UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0> as Add<UInt<UTerm, B1>>>::Output

type UncompressedPointSize = <<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0> as ModulusSize>::UntaggedPointSize as Add<UInt<UTerm, B1>>>::Output

type UntaggedPointSize = <UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0> as Add<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>>::Output

impl ModulusSize for U48

type CompressedPointSize = <UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0> as Add<UInt<UTerm, B1>>>::Output

type UncompressedPointSize = <<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0> as ModulusSize>::UntaggedPointSize as Add<UInt<UTerm, B1>>>::Output

type UntaggedPointSize = <UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0> as Add<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>>>::Output

impl ModulusSize for U66

type CompressedPointSize = <UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0> as Add<UInt<UTerm, B1>>>::Output

type UncompressedPointSize = <<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0> as ModulusSize>::UntaggedPointSize as Add<UInt<UTerm, B1>>>::Output

type UntaggedPointSize = <UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0> as Add<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>>>::Output