Trait TowerFamily

pub trait TowerFamily {
    type B1: TowerField + TryFrom<Self::B128>;
    type B8: TowerField + TryFrom<Self::B128> + ExtensionField<Self::B1>;
    type B16: TowerField + TryFrom<Self::B128> + ExtensionField<Self::B1> + ExtensionField<Self::B8>;
    type B32: TowerField + TryFrom<Self::B128> + ExtensionField<Self::B1> + ExtensionField<Self::B8> + ExtensionField<Self::B16>;
    type B64: TowerField + TryFrom<Self::B128> + ExtensionField<Self::B1> + ExtensionField<Self::B8> + ExtensionField<Self::B16> + ExtensionField<Self::B32>;
    type B128: TowerField + ExtensionField<Self::B1> + ExtensionField<Self::B8> + ExtensionField<Self::B16> + ExtensionField<Self::B32> + ExtensionField<Self::B64>;
}

A trait that groups a family of related TowerFields as associated types.

Required Associated Types

type B1: TowerField + TryFrom<Self::B128>

type B8: TowerField + TryFrom<Self::B128> + ExtensionField<Self::B1>

type B16: TowerField + TryFrom<Self::B128> + ExtensionField<Self::B1> + ExtensionField<Self::B8>

type B32: TowerField + TryFrom<Self::B128> + ExtensionField<Self::B1> + ExtensionField<Self::B8> + ExtensionField<Self::B16>

type B64: TowerField + TryFrom<Self::B128> + ExtensionField<Self::B1> + ExtensionField<Self::B8> + ExtensionField<Self::B16> + ExtensionField<Self::B32>

type B128: TowerField + ExtensionField<Self::B1> + ExtensionField<Self::B8> + ExtensionField<Self::B16> + ExtensionField<Self::B32> + ExtensionField<Self::B64>

Implementors

impl TowerFamily for AESTowerFamily

type B1 = BinaryField1b

type B8 = AESTowerField8b

type B16 = AESTowerField16b

type B32 = AESTowerField32b

type B64 = AESTowerField64b

type B128 = AESTowerField128b

impl TowerFamily for CanonicalTowerFamily

type B1 = BinaryField1b

type B8 = BinaryField8b

type B16 = BinaryField16b

type B32 = BinaryField32b

type B64 = BinaryField64b

type B128 = BinaryField128b