pub fn commit_interleaved<F, FA, P, PA, MerkleProver, VCS>(
rs_code: &ReedSolomonCode<PA>,
params: &FRIParams<F, FA>,
merkle_prover: &MerkleProver,
message: &[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.
ยงArguments
rs_code
- the Reed-Solomon code to use for encodingparams
- common FRI protocol parameters.merkle_prover
- the merke tree prover to use for committingmessage
- the interleaved message to encode and commit