Struct BatchOpeningRef

pub struct BatchOpeningRef<'a, T: Send + Sync + Clone, InputMmcs: Mmcs<T>> {
    pub opened_values: &'a [Vec<T>],
    pub opening_proof: &'a InputMmcs::Proof,
}

A reference to a batched opening proof.

Contains references to a collection of claimed opening values and a Merkle proof for those values.

Primarily used by the verifier.

Fields

opened_values: &'a [Vec<T>]

Reference to the opened row values, as slices of base elements.

opening_proof: &'a InputMmcs::Proof

Reference to the proof object used for verification.

Implementations

impl<'a, T: Send + Sync + Clone, InputMmcs: Mmcs<T>> BatchOpeningRef<'a, T, InputMmcs>

pub fn new( opened_values: &'a [Vec<T>], opening_proof: &'a InputMmcs::Proof, ) -> Self

Creates a new batch opening proof.

pub fn unpack(&self) -> (&'a [Vec<T>], &'a InputMmcs::Proof)

Unpacks the batch opening proof into its components.

Trait Implementations

impl<'a, T: Clone + Send + Sync + Clone, InputMmcs: Clone + Mmcs<T>> Clone for BatchOpeningRef<'a, T, InputMmcs>

where InputMmcs::Proof: Clone,

fn clone(&self) -> BatchOpeningRef<'a, T, InputMmcs>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, T: Send + Sync + Clone, InputMmcs: Mmcs<T>> From<&'a BatchOpening<T, InputMmcs>> for BatchOpeningRef<'a, T, InputMmcs>

fn from(batch_opening: &'a BatchOpening<T, InputMmcs>) -> Self

Converts to this type from the input type.

impl<'a, T: Copy + Send + Sync + Clone, InputMmcs: Copy + Mmcs<T>> Copy for BatchOpeningRef<'a, T, InputMmcs>

where InputMmcs::Proof: Copy,