Module merkle_channel 

Channel abstraction for provers of protocols using Merkle commitments.

This module provides the MerkleIPProverChannel trait, the prover-side counterpart of binius_iop::merkle_channel::MerkleIPVerifierChannel. It extends IPProverChannel with the ability to send Merkle commitments and openings of the committed leaves.

The ProverMerkleTranscriptChannel implementation wraps a ProverTranscript and commits with a BinaryMerkleTreeProver: commitment roots are written as observed messages, while opening proofs are written as unobserved decommitment advice bound to the already-observed roots.

Structs

ProverMerkleCommitment

A Merkle commitment produced by ProverMerkleTranscriptChannel, carrying the committed tree required to open it.

ProverMerkleTranscriptChannel

A MerkleIPProverChannel over a ProverTranscript, committing with a BinaryMerkleTreeProver.

Traits

MerkleIPProverChannel

An extension of WordIPProverChannel that can send and open Merkle commitments.