Ověřili jsme bezpečnost protokolu Fast Reed–Solomon Interactive Oracle Proof (FRI) – základního kamene moderních transparentních, STARK-stylových důkazů s nulovou znalostí – autoformalizací "Succinct Proofs and Linear Algebra" od Evans-Angerise s Gaussem.