Skip to main content
Version: 0.15 (unstable)

FRI verification procedures

Namespace miden::core::pcs::fri contains modules for verifying FRI proofs.

FRI Extension 2, Fold 4​

Module miden::core::pcs::fri::frie2f4 contains procedures for verifying FRI proofs generated over the quadratic extension of the Miden VM's base field. Moreover, the procedures assume that layer folding during the commit phase of FRI protocol was performed using folding factor 4.

ProcedureDescription
verifyVerifies a FRI proof where the proof was generated over the quadratic extension of the base field and layer folding was performed using folding factor 4.

Input: [...]
Output: [...]

Cycles:
- Polynomial degree less than 64: 24 + num_queries * (107 + num_layers * 80)
- Polynomial degree less than 128: 24 + num_queries * (140 + num_layers * 80)