Acaba de publicar uma prova mais simples da solidez RBR do FRI! Trabalhe com @0xAlbertG e Benedikt Wagner Também escrevi uma postagem 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 blog abaixo 1/3

ePrint: blogue: Essa análise surgiu porque precisávamos de propriedades mais fortes para o 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 de FRI independente. Acontece que pode ser útil para a verificação formal de toda a pilha SNARK! Agora a grande questão é: quem provará o MCA até o limite de capacidade? 3/3