FRIのRBR健全性のより簡単な証拠を公開しました!@0xAlbertGとベネディクト・ワグナーとの協力 また、証明の高レベルのアイデアを説明するブログ記事も書きました。知っておく必要があるのは、グラフに色を付ける方法だけです。 以下の論文とブログへのリンク 1/3

eプリント: ブログ： この分析は、いくつかの別の研究でFRIのより強力な特性が必要だったために行われました。その作業は少し後回しになっていますが、ケンブリッジで最近開催されたEF PQワークショップが、リリースの動機となりました 2/3

スタンドアロンのFRI証明。SNARKスタック全体の正式な検証に役立つことがわかりました。 さて、大きな問題は、誰がMCAをキャパシティ制限まで証明するかということです。 3/3