Verificamos a segurança do protocolo Fast Reed–Solomon Interactive Oracle Proof (FRI) – uma pedra angular das provas modernas transparentes e de conhecimento zero no estilo STORK – autoformalizando "Succinct Proofs and Linear Algebra" de Evans-Angeris com Gauss.