Zojuist een eenvoudigere bewijs van de RBR-geluidheid van FRI gepubliceerd! Werk samen met @0xAlbertG en Benedikt Wagner Ik heb ook een blogpost geschreven waarin de hoofdlijnen van het bewijs worden uitgelegd. Alles wat je moet weten is hoe je een grafiek kleurt! Links naar het paper en de blog hieronder 1/3

ePrint: blog: Deze analyse kwam voort uit de noodzaak voor sterkere eigenschappen voor FRI in een ander project. Dat project staat momenteel een beetje op de achtergrond, maar de recente EF PQ workshop in Cambridge heeft ons gemotiveerd om te publiceren 2/3

een zelfstandige FRI-bewijs. Blijkt nuttig te zijn voor de formele verificatie van de hele SNARK-stack! Nu is de grote vraag: wie zal MCA bewijzen tot aan de capaciteitsgrens? 3/3