Wir haben die Sicherheit des Fast Reed–Solomon Interactive Oracle Proof (FRI) Protokolls - ein Grundpfeiler moderner transparenter, STARK-artiger Zero-Knowledge-Beweise - verifiziert, indem wir "Succinct Proofs and Linear Algebra" von Evans-Angeris mit Gauss automatisiert formalisiert haben.