Module binius_core::protocols::fri

Implementation of the Fast Reed–Solomon IOPP (FRI) over binary fields.

FRI is an IOP of Proximity for Reed–Solomon codes. The original protocol was introduced in BBHR17, and this implementation uses a special instantiation described in DP24 Section 3.

Structs

• CommitOutput
• FRIFolder
  A stateful prover for the FRI fold phase.
• FRIQueryProver
  A prover for the FRI query phase.
• FRIVerifier
  A verifier for the FRI query phase.
• QueryRoundProof
  The values and vector commitment opening proofs for a coset.

Enums

• Error
• FoldRoundOutput
• VerificationError

Functions

• calculate_n_test_queries
  Calculates the number of test queries required to achieve a target security level.
• commit_message
  Encodes and commits the input message.

Type Aliases

• FinalMessage
  The type of the final message in the FRI protocol.
• QueryProof
  A proof for a single FRI consistency query.