Ho appena pubblicato una prova più semplice della solidità RBR di FRI! Lavoro con @0xAlbertG e Benedikt Wagner Ho anche scritto un post sul blog che spiega le idee di alto livello della prova. Tutto ciò che devi sapere è come colorare un grafo! Link al documento e al blog qui sotto 1/3

ePrint: blog: Questa analisi è emersa perché avevamo bisogno di proprietà più forti per FRI in un lavoro separato. Quel lavoro è un po' in secondo piano, ma il recente workshop EF PQ a Cambridge ci ha motivato a rilasciare 2/3

una prova FRI autonoma. Si scopre che può essere utile per la verifica formale dell'intero stack SNARK! Ora la grande domanda è: chi dimostrerà MCA fino al limite di capacità? 3/3