Vừa công bố một chứng minh đơn giản hơn về tính hợp lệ RBR của FRI! Làm việc với @0xAlbertG và Benedikt Wagner Tôi cũng đã viết một bài blog giải thích những ý tưởng cấp cao của chứng minh. Tất cả những gì bạn cần biết là cách tô màu một đồ thị! Liên kết đến bài báo và blog bên dưới 1/3

ePrint: blog: Phân tích này được đưa ra vì chúng tôi cần các thuộc tính mạnh mẽ hơn cho FRI trong một số công việc riêng biệt. Công việc đó đang tạm thời bị gác lại nhưng hội thảo EF PQ gần đây ở Cambridge đã thúc đẩy chúng tôi phát hành 2/3

một chứng minh FRI độc lập. Hóa ra nó có thể hữu ích cho việc xác minh chính thức toàn bộ SNARK stack! Bây giờ câu hỏi lớn là: ai sẽ chứng minh MCA đến giới hạn công suất? 3/3