Har nettopp publisert et enklere bevis på RBR-forsvarligheten til FRI! Jobbe med @0xAlbertG og Benedikt Wagner Jeg skrev også et blogginnlegg som forklarte de overordnede ideene til beviset. Alt du trenger å vite er hvordan du fargelegger en graf! Lenker til artikkel og blogg nedenfor 1/3

E-utskrift: blogg: Denne analysen kom opp fordi vi trengte sterkere egenskaper for FRI i et eget arbeid. Det arbeidet er litt på baksiden, men den nylige EF PQ-workshopen i Cambridge motiverte oss til å gi ut 2/3

et frittstående FRI-bevis. Det viser seg at det kan være nyttig for den formelle verifiseringen av hele SNARK-stabelen! Nå er det store spørsmålet: hvem vil bevise MCA opp til kapasitetsgrensen? 3/3