Fast Reed–Solomon Interactive Oracle Proof (FRI) protokolünün güvenliğini, modern şeffaf, STARK tarzı sıfır bilgi ispatlarının temel taşı olan Evans-Angeris ile Gauss ile birlikte "Kısa Kanıtlar ve Doğrusal Cebir"i otomatik biçimlendirerek doğruladık.