We hebben de beveiliging van het Fast Reed–Solomon Interactive Oracle Proof (FRI) protocol geverifieerd - een hoeksteen van moderne transparante, STARK-stijl zero-knowledge bewijzen - door "Succinct Proofs and Linear Algebra" van Evans-Angeris met Gauss automatisch te formaliseren.