DEEP-FRI
Overview
This crate contains Starkom's quantum-resistant polynomial commitment scheme, a DEEP-FRI implementation that works with any field with sufficient 2-adicity.
Starkom's zkSTARK suite currently provides three fields and all work correctly with this PCS: the BLS12-381 scalar field, BlueSky, and Goldilocks.
Two hash backends are provided, one using SHA2-256 and one using Keccak-256, and both are implemented in the most EVM-friendly possible way. Check out Starkom's EVM verifier.