binius_core::protocols::fri

Function commit_interleaved_with

Source 
pub fn commit_interleaved_with<F, FA, P, PA, MerkleProver, VCS>(
    rs_code: &ReedSolomonCode<PA>,
    params: &FRIParams<F, FA>,
    merkle_prover: &MerkleProver,
    message_writer: impl FnOnce(&mut [P]),
) -> Result<CommitOutput<P, VCS::Digest, MerkleProver::Committed>, Error>
where
    F: BinaryField + ExtensionField<FA>,
    FA: BinaryField,
    P: PackedField<Scalar = F> + PackedExtension<FA, PackedSubfield = PA>,
    PA: PackedField<Scalar = FA>,
    MerkleProver: MerkleTreeProver<F, Scheme = VCS>,
    VCS: MerkleTreeScheme<F>,
Expand description

Encodes and commits the input message with a closure for writing the message.

ยงArguments

  • rs_code - the Reed-Solomon code to use for encoding
  • params - common FRI protocol parameters.
  • merkle_prover - the Merkle tree prover to use for committing
  • message_writer - a closure that writes the interleaved message to encode and commit