Struct FRIFolder

pub struct FRIFolder<'a, 'b, F, FA, P, NTT, MerkleProver, VCS, Hal>
where
    FA: BinaryField,
    F: BinaryField,
    P: PackedField<Scalar = F>,
    MerkleProver: MerkleTreeProver<F, Scheme = VCS>,
    VCS: MerkleTreeScheme<F>,
    Hal: ComputeLayer<F>,
{ /* private fields */ }

Implementations

impl<'a, 'b, F, FA, P, NTT, MerkleProver, VCS, Hal> FRIFolder<'a, 'b, F, FA, P, NTT, MerkleProver, VCS, Hal>

where F: TowerField + ExtensionField<FA>, FA: BinaryField, P: PackedField<Scalar = F>, NTT: AdditiveNTT<FA> + Sync, MerkleProver: MerkleTreeProver<F, Scheme = VCS>, VCS: MerkleTreeScheme<F, Digest: SerializeBytes>, Hal: ComputeLayer<F>,

pub fn new( hal: &'b Hal, params: &'a FRIParams<F, FA>, ntt: &'a NTT, merkle_prover: &'a MerkleProver, codeword: &'a [P], committed: &'a MerkleProver::Committed, ) -> Result<Self, Error>

Constructs a new folder.

pub const fn n_rounds(&self) -> usize

Number of fold rounds, including the final fold.

pub const fn curr_round(&self) -> usize

Number of times execute_fold_round has been called.

pub fn current_codeword_len(&self) -> usize

The length of the current codeword.

pub fn execute_fold_round( &mut self, allocator: &'b impl ComputeAllocator<F, Hal::DevMem>, challenge: F, ) -> Result<FoldRoundOutput<VCS::Digest>, Error>

Executes the next fold round and returns the folded codeword commitment.

As a memory efficient optimization, this method may not actually do the folding, but instead accumulate the folding challenge for processing at a later time. This saves us from storing intermediate folded codewords.

pub fn finalize( self, ) -> Result<(TerminateCodeword<F>, FRIQueryProver<'a, F, FA, P, MerkleProver, VCS>), Error>

Finalizes the FRI folding process.

This step will process any unprocessed folding challenges to produce the final folded codeword. Then it will decode this final folded codeword to get the final message. The result is the final message and a query prover instance.

This returns the final message and a query prover instance.

pub fn finish_proof<Challenger_>( self, transcript: &mut ProverTranscript<Challenger_>, ) -> Result<(), Error>

where Challenger_: Challenger,