Type Alias OuterBatchOpening

pub type OuterBatchOpening = BatchOpening<OuterVal, OuterValMmcs>;

Aliased Type

struct OuterBatchOpening {
    pub opened_values: Vec<Vec<MontyField31<BabyBearParameters>>>,
    pub opening_proof: Vec<[Bn254Fr; 1]>,
}

Fields

opened_values: Vec<Vec<MontyField31<BabyBearParameters>>>

opening_proof: Vec<[Bn254Fr; 1]>

Trait Implementations

impl Witnessable<OuterConfig> for OuterBatchOpening

type WitnessVariable = BatchOpeningVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl VectorWitnessable<OuterConfig> for OuterBatchOpening

impl<Val, InputMmcs> Clone for BatchOpening<Val, InputMmcs>

where Val: Clone + Field, InputMmcs: Clone + Mmcs<Val>,

fn clone(&self) -> BatchOpening<Val, InputMmcs>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de, Val, InputMmcs> Deserialize<'de> for BatchOpening<Val, InputMmcs>

where Val: Field, InputMmcs: Mmcs<Val>,

fn deserialize<__D>( __deserializer: __D, ) -> Result<BatchOpening<Val, InputMmcs>, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Val, InputMmcs> Serialize for BatchOpening<Val, InputMmcs>

where Val: Field, InputMmcs: Mmcs<Val>,

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.