Właśnie opublikowałem prostszy dowód na poprawność RBR w FRI! Pracowałem z @0xAlbertG i Benediktem Wagnerem Napisałem również post na blogu, w którym wyjaśniam ogólne idee dowodu. Wszystko, co musisz wiedzieć, to jak pokolorować graf! Linki do pracy i bloga poniżej 1/3

ePrint: blog: Ta analiza powstała, ponieważ potrzebowaliśmy silniejszych właściwości dla FRI w niektórej osobnej pracy. Ta praca jest trochę na dalszym planie, ale niedawny warsztat EF PQ w Cambridge zmotywował nas do wydania 2/3

samodzielny dowód FRI. Okazuje się, że może być pomocny w formalnej weryfikacji całego stosu SNARK! Teraz wielkie pytanie brzmi: kto udowodni MCA do granicy pojemności? 3/3