私たちは、Evans-AngerisとGaussによる「Suscincct Proofs and Linear Algebra」を自己形式化することで、Fast Reed–Solomon Interactive Oracle Proof(FRI)プロトコルの安全性を検証しました。これは現代の透明性のあるSTARKスタイルのゼロ知識証明の基盤です。