Crate p3_fri

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

Modules

prover

verifier

Structs

BatchOpening

CommitPhaseProofStep

FriConfig

FriProof

HidingFriPcs

A hiding FRI PCS. Both MMCSs must also be hiding; this is not enforced at compile time so it’s the user’s responsibility to configure.

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

create_benchmark_fri_config

Creates a FriConfig suitable for benchmarking. This configuration represents typical settings used in production-like scenarios.

create_test_fri_config

Creates a minimal FriConfig for testing purposes. This configuration is designed to reduce computational cost during tests.

fold_even_odd

Fold a polynomial

Type Aliases

TwoAdicFriGenericConfigForMmcs