PopulateInputs

openvm_static_verifier::chip_traits

Trait PopulateInputs 

Source 
pub trait PopulateInputs: ChipBase {
    // Required methods
    fn load_witness(&mut self, value: Fr) -> Self::F;
    fn bb_load_reduced_witness(
        &mut self,
        value: BabyBear,
    ) -> ReducedBabyBearWire<Self::F>;
    fn ext_load_reduced_witness(
        &mut self,
        value: BabyBearExt4,
    ) -> ReducedBabyBearExt4Wire<Self::F>;
}
Expand description

Witness-loading operations needed to populate proof input wires (see stages::full_pipeline::load_proof_wire).

Required Methods§

Source

fn load_witness(&mut self, value: Fr) -> Self::F

Source

fn bb_load_reduced_witness( &mut self, value: BabyBear, ) -> ReducedBabyBearWire<Self::F>

Source

fn ext_load_reduced_witness( &mut self, value: BabyBearExt4, ) -> ReducedBabyBearExt4Wire<Self::F>

Implementors§