Struct o1vm::keccak::folding::KeccakConfig

pub struct KeccakConfig;

Trait Implementations

impl Checker<KeccakConfig> for ExtendedProvider<KeccakConfig>

fn check_rec( &self, exp: FoldingCompatibleExpr<C>, domain: Radix2EvaluationDomain<<<C as FoldingConfig>::Curve as AffineCurve>::ScalarField> ) -> Vec<<<C as FoldingConfig>::Curve as AffineCurve>::ScalarField, Global>

fn check( &self, exp: &FoldingCompatibleExpr<C>, domain: Radix2EvaluationDomain<<<C as FoldingConfig>::Curve as AffineCurve>::ScalarField> )

impl Checker<KeccakConfig> for Provider<KeccakConfig>

fn check_rec( &self, exp: FoldingCompatibleExpr<C>, domain: Radix2EvaluationDomain<<<C as FoldingConfig>::Curve as AffineCurve>::ScalarField> ) -> Vec<<<C as FoldingConfig>::Curve as AffineCurve>::ScalarField, Global>

fn check( &self, exp: &FoldingCompatibleExpr<C>, domain: Radix2EvaluationDomain<<<C as FoldingConfig>::Curve as AffineCurve>::ScalarField> )

impl Clone for KeccakConfig

fn clone(&self) -> KeccakConfig

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for KeccakConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl FoldingConfig for KeccakConfig

type Column = Column

type Selector = Steps

type Challenge = Challenge

The type of an abstract challenge that can be found in the expressions provided as constraints.

type Curve = GroupAffine<<Parameters as BnParameters>::G1Parameters>

The target curve used by the polynomial commitment

type Srs = SRS<GroupAffine<<Parameters as BnParameters>::G1Parameters>>

The SRS used by the polynomial commitment. The SRS is used to commit to the additional columns that are added by the quadraticization.

type Instance = FoldingInstance<N_ZKVM_KECCAK_COLS, GroupAffine<<Parameters as BnParameters>::G1Parameters>>

For Plonk, it will be the commitments to the polynomials and the challenges

type Witness = FoldingWitness<N_ZKVM_KECCAK_COLS, Fp256<FrParameters>>

For PlonK, it will be the polynomials in evaluation form that we commit to, i.e. the columns. In the generic prover/verifier, it would be kimchi_msm::witness::Witness.

type Structure = ()

type Env = DecomposedFoldingEnvironment<N_ZKVM_KECCAK_COLS, N_ZKVM_KECCAK_REL_COLS, N_ZKVM_KECCAK_SEL_COLS, KeccakConfig, ()>

impl Hash for KeccakConfig

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<KeccakConfig> for KeccakConfig

fn eq(&self, other: &KeccakConfig) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Tracer<N_ZKVM_KECCAK_REL_COLS, KeccakConfig, KeccakEnv<<<KeccakConfig as FoldingConfig>::Curve as AffineCurve>::ScalarField>> for KeccakTrace

type Selector = ()

fn init( domain_size: usize, selector: Steps, _env: &mut KeccakEnv<<<KeccakConfig as FoldingConfig>::Curve as AffineCurve>::ScalarField> ) -> Self

Initialize a new trace with the given domain size, selector, and environment.

fn push_row( &mut self, _selector: Self::Selector, row: &[<<KeccakConfig as FoldingConfig>::Curve as AffineCurve>::ScalarField; 2073] )

Add a witness row to the circuit (only for relation columns)

fn pad_with_row( &mut self, _selector: Self::Selector, row: &[<<KeccakConfig as FoldingConfig>::Curve as AffineCurve>::ScalarField; 2073] ) -> usize

Pad the rows of one opcode with the given row until reaching the domain size if needed. Returns the number of rows that were added. It does not add selector columns.

fn pad_with_zeros(&mut self, _selector: Self::Selector) -> usize

Pads the rows of one opcode with zero rows until reaching the domain size if needed. Returns the number of rows that were added. It does not add selector columns.

fn pad_dummy(&mut self, _selector: Self::Selector) -> usize

Pad the rows of one opcode with the first row until reaching the domain size if needed. It only tries to pad witnesses which are non empty. Returns the number of rows that were added. It does not add selector columns.

impl Eq for KeccakConfig

impl StructuralEq for KeccakConfig

impl StructuralPartialEq for KeccakConfig