FRI (Fast Reed-Solomon IOP)¶

FRI (Fast Reed-Solomon Interactive Oracle Proof) is a proximity testing protocol that verifies whether a function is close to a low-degree polynomial. It is a core component of zk-STARKs, providing transparency (no trusted setup) and post-quantum security.