Module fri 

Structs

BatchBrakedownFolder

Folds and commits a batch of interleaved codewords that share a folded length.

BatchBrakedownOracleProver

A ProxTestOracleProver bundling several separately committed BrakedownOracleProvers.

BrakedownOracleProver

The ProxTestOracleProver for a Brakedown-style interleaved code proximity check.

FRIFoldProver

A stateful prover for the FRI fold phase.

FRIOracleProver

The ProxTestOracleProver for a FRI-style code proximity check.

FRIQueryProver

A prover for the FRI query phase.

MaskedCodeword

Output of encode_masked: the interleaved (message ‖ mask) codeword and the generated mask.

ProxTestFolder

Traits

ProxTestOracleProver

The prover counterpart of a ProxTestOracle (verifier side), producing the per-oracle query openings.

Functions

encode_interleaved

Reed-Solomon encodes one input oracle’s interleaved message.

encode_masked

Generates a random mask, interleaves it with the message, and Reed-Solomon encodes.