Только что опубликовал более простое доказательство звуковости RBR в FRI! Работа с @0xAlbertG и Бенедиктом Вагнером Я также написал блог-пост, объясняющий основные идеи доказательства. Все, что вам нужно знать, это как раскрасить граф! Ссылки на статью и блог ниже 1/3

ePrint: блог: Этот анализ возник, потому что нам нужны были более сильные свойства для FRI в некоторой отдельной работе. Эта работа немного отложена, но недавний семинар EF PQ в Кембридже побудил нас выпустить 2/3

отдельное доказательство FRI. Оказывается, это может быть полезно для формальной верификации всего стека SNARK! Теперь главный вопрос: кто докажет MCA до предела емкости? 3/3