Trait ProverTowerFamily

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

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

Required Associated Types

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

Required Methods

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

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

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