Struct o1vm::legacy::folding::mips::DecomposableMIPSFoldingConfig

pub struct DecomposableMIPSFoldingConfig;

Trait Implementations

impl Clone for DecomposableMIPSFoldingConfig

fn clone(&self) -> DecomposableMIPSFoldingConfig

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DecomposableMIPSFoldingConfig

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

Formats the value using the given formatter.

impl FoldingConfig for DecomposableMIPSFoldingConfig

type Column = Column

type Selector = Instruction

type Challenge = Challenge

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

type Curve = Affine<<Config as BnConfig>::G1Config>

The target curve used by the polynomial commitment

type Srs = PairingSRS<Bn<Config>>

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_MIPS_COLS, Affine<<Config as BnConfig>::G1Config>>

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

type Witness = FoldingWitness<N_MIPS_COLS, Fp<MontBackend<FrConfig, 4>, 4>>

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_MIPS_COLS, N_MIPS_REL_COLS, N_MIPS_SEL_COLS, DecomposableMIPSFoldingConfig, ()>

impl Hash for DecomposableMIPSFoldingConfig

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<DecomposableMIPSFoldingConfig> for DecomposableMIPSFoldingConfig

fn eq(&self, other: &DecomposableMIPSFoldingConfig) -> 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_MIPS_REL_COLS, DecomposableMIPSFoldingConfig, Env<<<DecomposableMIPSFoldingConfig as FoldingConfig>::Curve as AffineRepr>::ScalarField>> for MIPSTrace

type Selector = ()

fn init( domain_size: usize, instr: Instruction, env: &mut Env<<<DecomposableMIPSFoldingConfig as FoldingConfig>::Curve as AffineRepr>::ScalarField> ) -> Self

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

fn push_row( &mut self, _selector: Self::Selector, row: &[<<DecomposableMIPSFoldingConfig as FoldingConfig>::Curve as AffineRepr>::ScalarField; 100] )

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

fn pad_with_row( &mut self, _selector: Self::Selector, row: &[<<DecomposableMIPSFoldingConfig as FoldingConfig>::Curve as AffineRepr>::ScalarField; 100] ) -> 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 DecomposableMIPSFoldingConfig

impl StructuralEq for DecomposableMIPSFoldingConfig

impl StructuralPartialEq for DecomposableMIPSFoldingConfig