剛剛發表了一個更簡單的FRI聲音性RBR的證明！與@0xAlbertG和Benedikt Wagner合作 我還寫了一篇博客文章，解釋了證明的高層次思想。你需要知道的就是如何為圖著色！ 以下是論文和博客的鏈接 1/3

ePrint: blog: 這項分析的出現是因為我們在某些獨立工作中需要更強的 FRI 性質。那項工作目前稍微擱置，但最近在劍橋舉行的 EF PQ 研討會激勵我們發布 2/3

一個獨立的 FRI 證明。結果發現它對整個 SNARK 堆疊的正式驗證是有幫助的！ 現在最大的問題是：誰將證明 MCA 直到容量上限？ 3/3