Module merkle_channel 

Channel abstraction for verifiers of protocols using Merkle commitments.

This module provides the MerkleIPVerifierChannel trait, which extends IPVerifierChannel with the ability to receive Merkle commitments and openings of the committed leaves. Protocols like FRI and BaseFold interact with the prover through these operations instead of reading commitments and opening proofs from a transcript directly.

The VerifierMerkleTranscriptChannel implementation wraps a VerifierTranscript and verifies openings with a BinaryMerkleTreeScheme: commitment roots are read as observed messages, while opening proofs are read as unobserved decommitment advice bound to the already-observed roots.

Structs

TranscriptMerkleCommitment

A Merkle commitment received over a transcript channel.

VerifierMerkleTranscriptChannel

A MerkleIPVerifierChannel over a VerifierTranscript, verifying openings with a BinaryMerkleTreeScheme.

Enums

Error

Error type for Merkle channel operations.

Traits

MerkleIPVerifierChannel

An extension of WordIPVerifierChannel that can receive and open Merkle commitments.