Je viens de publier une preuve plus simple de la solidité RBR de FRI ! Travail avec @0xAlbertG et Benedikt Wagner J'ai également écrit un article de blog expliquant les idées générales de la preuve. Tout ce que vous devez savoir, c'est comment colorier un graphe ! Liens vers le papier et le blog ci-dessous 1/3

ePrint: blog: Cette analyse a été réalisée parce que nous avions besoin de propriétés plus solides pour FRI dans un travail séparé. Ce travail est un peu en attente, mais le récent atelier EF PQ à Cambridge nous a motivés à publier 2/3

une preuve FRI autonome. Il s'avère qu'elle peut être utile pour la vérification formelle de l'ensemble de la pile SNARK ! Maintenant, la grande question est : qui prouvera MCA jusqu'à la limite de capacité ? 3/3