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;
}

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 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