Trait ProverTowerFamily

pub trait ProverTowerFamily: TowerFamily {
    type FastB128: TowerField + From<Self::B128> + Into<Self::B128> + ExtensionField<Self::B1>;

    // Required methods
    fn packed_transformation_to_fast<Top, FastTop>(    ) -> impl Transformation<Top, FastTop>
       where Top: PackedTop<Self> + PackedTransformationFactory<FastTop>,
             FastTop: PackedField<Scalar = Self::FastB128>;
    fn packed_transformation_from_fast<FastTop, Top>(    ) -> impl Transformation<FastTop, Top>
       where FastTop: PackedTransformationFactory<Top>,
             Top: PackedField<Scalar = Self::B128>;
}

Required Associated Types

type FastB128: TowerField + From<Self::B128> + Into<Self::B128> + ExtensionField<Self::B1>

Required Methods

fn packed_transformation_to_fast<Top, FastTop>() -> impl Transformation<Top, FastTop>

where Top: PackedTop<Self> + PackedTransformationFactory<FastTop>, FastTop: PackedField<Scalar = Self::FastB128>,

fn packed_transformation_from_fast<FastTop, Top>() -> impl Transformation<FastTop, Top>

where FastTop: PackedTransformationFactory<Top>, Top: PackedField<Scalar = Self::B128>,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl ProverTowerFamily for AESTowerFamily

type FastB128 = BinaryField128bPolyval

impl ProverTowerFamily for CanonicalTowerFamily

type FastB128 = BinaryField128bPolyval