Struct MerkleTreeMmcs 

pub struct MerkleTreeMmcs<P, PW, H, C, const DIGEST_ELEMS: usize> { /* private fields */ }

A vector commitment scheme backed by a MerkleTree.

Generics:

• P: a leaf value
• PW: an element of a digest
• H: the leaf hasher
• C: the digest compression function

Implementations

impl<P, PW, H, C, const DIGEST_ELEMS: usize> MerkleTreeMmcs<P, PW, H, C, DIGEST_ELEMS>

pub const fn new(hash: H, compress: C) -> Self

Trait Implementations

impl<P: Clone, PW: Clone, H: Clone, C: Clone, const DIGEST_ELEMS: usize> Clone for MerkleTreeMmcs<P, PW, H, C, DIGEST_ELEMS>

fn clone(&self) -> MerkleTreeMmcs<P, PW, H, C, DIGEST_ELEMS>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug, PW: Debug, H: Debug, C: Debug, const DIGEST_ELEMS: usize> Debug for MerkleTreeMmcs<P, PW, H, C, DIGEST_ELEMS>

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

Formats the value using the given formatter.

impl<P, PW, H, C, const DIGEST_ELEMS: usize> Mmcs<<P as PackedValue>::Value> for MerkleTreeMmcs<P, PW, H, C, DIGEST_ELEMS>

where P: PackedValue, PW: PackedValue, H: CryptographicHasher<P::Value, [PW::Value; DIGEST_ELEMS]> + CryptographicHasher<P, [PW; DIGEST_ELEMS]> + Sync, C: PseudoCompressionFunction<[PW::Value; DIGEST_ELEMS], 2> + PseudoCompressionFunction<[PW; DIGEST_ELEMS], 2> + Sync, PW::Value: Eq, [PW::Value; DIGEST_ELEMS]: Serialize + for<'de> Deserialize<'de>,

fn open_batch<M: Matrix<P::Value>>( &self, index: usize, prover_data: &MerkleTree<P::Value, PW::Value, M, DIGEST_ELEMS>, ) -> BatchOpening<P::Value, Self>

Opens a batch of rows from committed matrices.

Returns (openings, proof) where openings is a vector whose ith element is the jth row of the ith matrix M[i], with j == index >> (log2_ceil(max_height) - log2_ceil(M[i].height)) and proof is the vector of sibling Merkle tree nodes allowing the verifier to reconstruct the committed root.

fn verify_batch( &self, commit: &Self::Commitment, dimensions: &[Dimensions], index: usize, batch_proof: BatchOpeningRef<'_, P::Value, Self>, ) -> Result<(), Self::Error>

Verifies an opened batch of rows with respect to a given commitment.

• commit: The merkle root of the tree.
• dimensions: A vector of the dimensions of the matrices committed to.
• index: The index of a leaf in the tree.
• opened_values: A vector of matrix rows. Assume that the tallest matrix committed to has height 2^n >= M_tall.height() > 2^{n - 1} and the jth matrix has height 2^m >= Mj.height() > 2^{m - 1}. Then j’th value of opened values must be the row Mj[index >> (m - n)].
• proof: A vector of sibling nodes. The ith element should be the node at level i with index (index << i) ^ 1.

Returns nothing if the verification is successful, otherwise returns an error.

type ProverData<M> = MerkleTree<<P as PackedValue>::Value, <PW as PackedValue>::Value, M, DIGEST_ELEMS>

type Commitment = Hash<<P as PackedValue>::Value, <PW as PackedValue>::Value, DIGEST_ELEMS>

type Proof = Vec<[<PW as PackedValue>::Value; DIGEST_ELEMS]>

type Error = MerkleTreeError

fn commit<M: Matrix<P::Value>>( &self, inputs: Vec<M>, ) -> (Self::Commitment, Self::ProverData<M>)

Commits to a batch of matrices at once and returns both the commitment and associated prover data.

fn get_matrices<'a, M: Matrix<P::Value>>( &self, prover_data: &'a Self::ProverData<M>, ) -> Vec<&'a M>

Returns references to all matrices originally committed to in the batch.

fn commit_matrix<M>(&self, input: M) -> (Self::Commitment, Self::ProverData<M>)

where M: Matrix<T>,

Convenience method to commit to a single matrix.

fn commit_vec( &self, input: Vec<T>, ) -> (Self::Commitment, Self::ProverData<DenseMatrix<T>>)

where T: Clone + Send + Sync,

Convenience method to commit to a single column vector, treated as a column matrix.

fn get_matrix_heights<M>(&self, prover_data: &Self::ProverData<M>) -> Vec<usize>

where M: Matrix<T>,

Returns the height (number of rows) of each matrix in the batch.

fn get_max_height<M>(&self, prover_data: &Self::ProverData<M>) -> usize

where M: Matrix<T>,

Get the largest height of any committed matrix.

impl<P: Copy, PW: Copy, H: Copy, C: Copy, const DIGEST_ELEMS: usize> Copy for MerkleTreeMmcs<P, PW, H, C, DIGEST_ELEMS>