Trait sp1_recursion_circuit_v2::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>>

Object Safety

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