Acabei de publicar uma prova mais simples da solidez RBR do FRI! Trabalhei com @0xAlbertG e Benedikt Wagner Também escrevi um post no blog explicando as ideias de alto nível da prova. Tudo o que você precisa saber é como colorir um gráfico! Links para o artigo e o blog abaixo 1/3

ePrint: blog: Esta análise surgiu porque precisávamos de propriedades mais robustas para FRI em algum trabalho separado. Esse trabalho está um pouco em segundo plano, mas o recente workshop EF PQ em Cambridge nos motivou a lançar 2/3

uma prova FRI independente. Acontece que pode ser útil para a verificação formal de toda a pilha SNARK! Agora a grande questão é: quem irá provar o MCA até ao limite de capacidade? 3/3