Gerade einen einfacheren Beweis für die RBR-Korrektheit von FRI veröffentlicht! Zusammenarbeit mit @0xAlbertG und Benedikt Wagner Ich habe auch einen Blogbeitrag geschrieben, der die grundlegenden Ideen des Beweises erklärt. Alles, was du wissen musst, ist, wie man einen Graphen färbt! Links zu Papier und Blog unten 1/3

ePrint: Blog: Diese Analyse entstand, weil wir stärkere Eigenschaften für FRI in einigen separaten Arbeiten benötigten. Diese Arbeit ist etwas in den Hintergrund gerückt, aber der kürzliche EF PQ-Workshop in Cambridge hat uns motiviert, 2/3

ein eigenständiger FRI-Beweis. Es stellt sich heraus, dass es hilfreich für die formale Verifizierung des gesamten SNARK-Stacks sein kann! Jetzt ist die große Frage: Wer wird MCA bis zur Kapazitätsgrenze beweisen? 3/3