Щойно опубліковано простіший доказ обґрунтованості RBR FRI! Робота з @0xAlbertG та Бенедиктом Вагнером Я також написав пост у блозі, в якому пояснив ідеї високого рівня доказу. Все, що вам потрібно знати, це як розфарбувати графік! Посилання на статтю та блог нижче 1/3

ePrint: Блог: Цей аналіз з'явився тому, що нам потрібні були більш сильні властивості для ФРІ в якійсь окремій роботі. Ця робота трохи відходить на другий план, але нещодавній семінар EF PQ у Кембриджі мотивував нас випустити 2/3

автономний доказ ФРІ. Виявляється, це може бути корисним для офіційної перевірки всього стека SNARK! Тепер велике питання: хто буде доводити ВЦА на межі потужності? 3/3