Kami telah memverifikasi keamanan protokol Fast Reed–Solomon Interactive Oracle Proof (FRI) - landasan bukti pengetahuan nol modern transparan bergaya STARK - dengan memformalkan "Succinct Proofs and Linear Algebra" oleh Evans-Angeris dengan Gauss.