Baru saja menerbitkan bukti yang lebih sederhana tentang kesehatan RBR FRI! Bekerja dengan @0xAlbertG dan Benedikt Wagner Saya juga menulis posting blog yang menjelaskan ide-ide tingkat tinggi dari bukti. Yang perlu Anda ketahui adalah cara mewarnai grafik! Tautan ke kertas dan blog di bawah ini 1/3

eCetak: Blog: Analisis ini muncul karena kami membutuhkan properti yang lebih kuat untuk FRI dalam beberapa pekerjaan terpisah. Pekerjaan itu sedikit tertunda tetapi lokakarya EF PQ baru-baru ini di Cambridge memotivasi kami untuk merilis 2/3

bukti FRI mandiri. Ternyata ini dapat membantu untuk verifikasi formal seluruh tumpukan SNARK! Sekarang pertanyaan besarnya adalah: siapa yang akan membuktikan MCA hingga kapasitas terbatas? 3/3