Trait BabyBearFriConfig

pub trait BabyBearFriConfig: StarkGenericConfig<Val = BabyBear, Challenge = <BabyBearPoseidon2 as StarkGenericConfig>::Challenge, Challenger = Self::FriChallenger, Pcs = TwoAdicFriPcs<BabyBear, Radix2DitParallel, Self::ValMmcs, ExtensionMmcs<BabyBear, <BabyBearPoseidon2 as StarkGenericConfig>::Challenge, Self::ValMmcs>>> {
    type ValMmcs: Mmcs<BabyBear, ProverData<RowMajorMatrix<BabyBear>> = Self::RowMajorProverData> + Send + Sync;
    type RowMajorProverData: Clone + Send + Sync;
    type FriChallenger: CanObserve<<Self::ValMmcs as Mmcs<BabyBear>>::Commitment> + CanSample<<BabyBearPoseidon2 as StarkGenericConfig>::Challenge> + GrindingChallenger<Witness = BabyBear> + FieldChallenger<BabyBear>;

    // Required method
    fn fri_config(&self) -> &FriConfig<FriMmcs<Self>>;
}

Required Associated Types

type ValMmcs: Mmcs<BabyBear, ProverData<RowMajorMatrix<BabyBear>> = Self::RowMajorProverData> + Send + Sync

type RowMajorProverData: Clone + Send + Sync

type FriChallenger: CanObserve<<Self::ValMmcs as Mmcs<BabyBear>>::Commitment> + CanSample<<BabyBearPoseidon2 as StarkGenericConfig>::Challenge> + GrindingChallenger<Witness = BabyBear> + FieldChallenger<BabyBear>

Required Methods

fn fri_config(&self) -> &FriConfig<FriMmcs<Self>>

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.

Implementations on Foreign Types

impl BabyBearFriConfig for BabyBearPoseidon2Outer

type ValMmcs = FieldMerkleTreeMmcs<BabyBear, Bn254Fr, MultiField32PaddingFreeSponge<BabyBear, Bn254Fr, Poseidon2<Bn254Fr, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBN254, 3, 5>, 3, 16, 1>, TruncatedPermutation<Poseidon2<Bn254Fr, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBN254, 3, 5>, 2, 1, 3>, 1>

type FriChallenger = <BabyBearPoseidon2Outer as StarkGenericConfig>::Challenger

type RowMajorProverData = <FieldMerkleTreeMmcs<BabyBear, Bn254Fr, MultiField32PaddingFreeSponge<BabyBear, Bn254Fr, Poseidon2<Bn254Fr, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBN254, 3, 5>, 3, 16, 1>, TruncatedPermutation<Poseidon2<Bn254Fr, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBN254, 3, 5>, 2, 1, 3>, 1> as Mmcs<BabyBear>>::ProverData<DenseMatrix<BabyBear>>

fn fri_config(&self) -> &FriConfig<FriMmcs<Self>>

impl BabyBearFriConfig for BabyBearPoseidon2

type ValMmcs = FieldMerkleTreeMmcs<<BabyBear as Field>::Packing, <BabyBear as Field>::Packing, PaddingFreeSponge<Poseidon2<BabyBear, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBabyBear, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<BabyBear, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBabyBear, 16, 7>, 2, 8, 16>, 8>

type FriChallenger = <BabyBearPoseidon2 as StarkGenericConfig>::Challenger

type RowMajorProverData = <FieldMerkleTreeMmcs<<BabyBear as Field>::Packing, <BabyBear as Field>::Packing, PaddingFreeSponge<Poseidon2<BabyBear, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBabyBear, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<BabyBear, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBabyBear, 16, 7>, 2, 8, 16>, 8> as Mmcs<BabyBear>>::ProverData<DenseMatrix<BabyBear>>

fn fri_config(&self) -> &FriConfig<FriMmcs<Self>>

Implementors