Crate p3_fri

An implementation of the FRI low-degree test (LDT).

Modules

• prover
• verifier

Structs

• BatchOpening
• CommitPhaseProofStep
• FriConfig
• FriProof
• QueryProof
• TwoAdicFriGenericConfig
• TwoAdicFriPcs

Traits

• FriGenericConfig
  Whereas FriConfig encompasses parameters the end user can set, FriGenericConfig is set by the PCS calling FRI, and abstracts over implementation details of the PCS.

Functions

• fold_even_odd
  Fold a polynomial

Type Aliases

• TwoAdicFriGenericConfigForMmcs