Struct HierarchicalProof

pub struct HierarchicalProof<const M: usize, const N: usize, const D: usize> {
    pub outer_commitment: RqVector<M, D>,
    pub outer_opening: Opening<N, D>,
    pub inner_commitments: Vec<RqVector<M, D>>,
    pub inner_openings: Vec<Opening<N, D>>,
    pub flattened_parts: Vec<Rq<D>>,
}

Proof structure for hierarchical commitments Contains all information needed to verify the commitment structure:

• Outer commitment and its opening
• All inner commitments and their openings
• The flattened decomposed parts for consistency checking

Fields

outer_commitment: RqVector<M, D>

Outer commitment that summarizes inner commitments

outer_opening: Opening<N, D>

Opening information for the outer commitment

inner_commitments: Vec<RqVector<M, D>>

Inner commitments for individual witnesses

inner_openings: Vec<Opening<N, D>>

Opening information for each inner commitment

flattened_parts: Vec<Rq<D>>

Flattened parts of all inner commitments

Trait Implementations

impl<const M: usize, const N: usize, const D: usize> Clone for HierarchicalProof<M, N, D>

fn clone(&self) -> HierarchicalProof<M, N, D>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const M: usize, const N: usize, const D: usize> Debug for HierarchicalProof<M, N, D>

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

Formats the value using the given formatter.