Právě jsem zveřejnil jednodušší důkaz spolehlivosti RBR FRI! Spolupráce s @0xAlbertG a Benediktem Wagnerovými Také jsem napsal příspěvek na blogu, kde jsem vysvětlil myšlenky důkazu na vysoké úrovni. Stačí vědět, jak vybarvit graf! Odkazy na článek a blog níže 1/3

ePrint: blog: Tato analýza vznikla, protože jsme potřebovali silnější vlastnosti pro FRI v nějaké samostatné práci. Tato práce je trochu na vedlejší koleji, ale nedávný workshop EF PQ v Cambridge nás motivoval k vydání 2/3

samostatný důkaz FRI. Ukázalo se, že to může být užitečné pro formální ověření celého zásobníku SNARK! Nyní je velkou otázkou: kdo prokáže MCA až do kapacity? 3/3