Struct HierarchicalCommitment

pub struct HierarchicalCommitment<const M: usize, const N: usize, const D: usize> { /* private fields */ }

Two-layer commitment structure with inner and outer commitments

• M: Size of commitment output
• N: Size of witness vector
• D: Degree of the polynomials

Implementations

impl<const M: usize, const N: usize, const D: usize> HierarchicalCommitment<M, N, D>

pub fn new( params: AjtaiParameters, inner_matrix: RqMatrix<M, N, D>, outer_matrix: RqMatrix<M, N, D>, decomp_params: DecompositionParameters, ) -> Result<Self, HierarchicalError>

Creates a new hierarchical commitment scheme with separate matrices for inner and outer commitments Both schemes use the same AjtaiParameters for consistent security

pub fn commit_batch( &self, witnesses: &[RqVector<N, D>], ) -> Result<HierarchicalProof<M, N, D>, HierarchicalError>

Commits to a batch of witnesses using the hierarchical structure This creates both inner commitments for each witness and an outer commitment that summarizes them all, providing a more compact representation

pub fn verify( &self, proof: &HierarchicalProof<M, N, D>, ) -> Result<(), HierarchicalError>

Verifies a hierarchical proof This ensures:

1. All inner commitments match their openings
2. The decomposed parts match what’s stored in the proof
3. The outer commitment correctly summarizes the inner commitments
4. The outer commitment matches its opening

pub fn inner_scheme(&self) -> &AjtaiCommitment<M, N, D>

Returns a reference to the inner commitment scheme

pub fn outer_scheme(&self) -> &AjtaiCommitment<M, N, D>

Returns a reference to the outer commitment scheme

pub fn decomp_params(&self) -> &DecompositionParameters

Returns a reference to the decomposition parameters

Trait Implementations

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

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

Formats the value using the given formatter.