Hemos verificado la seguridad del protocolo Fast Reed–Solomon Interactive Oracle Proof (FRI) - una piedra angular de las pruebas de conocimiento cero transparentes al estilo STARK - al autoformalizar "Pruebas Sucintas y Álgebra Lineal" de Evans-Angeris con Gauss.