Хэш-основанные SNARK'и становятся центральными в постквантовой дорожной карте Ethereum, но насколько они действительно безопасны? В этом эпизоде (часть 3 мини-сериала @leanEthereum) @nico_mnbl беседует с @GiacomoFenzi и @asanso, чтобы изучить теорию и безопасность постквантовых SNARK'ов. Они обсуждают: – Стек SNARK'ов за LeanVM (мультилинейная арифметизация + проверка суммы) – Премию в $1M за Проксимити Гэп и волну нового исследования, которую она вызвала – Как недавние результаты влияют на маржи безопасности для хэш-основанных систем доказательства – Почему Ethereum движется к режимам доказуемой безопасности для долгосрочной безопасности протокола Они также исследуют открытые проблемы в теории кодирования, декодировании списков и хэш-основанных системах доказательства. Слушайте полный эпизод —----- ВРЕМЕННЫЕ КОДЫ 02:24 – Почему Ethereum нуждается в постквантовых SNARK'ах 03:30 – Стек SNARK'ов LeanVM (мультилинейная + проверка суммы) 04:53 – Премия в $1M за Проксимити Гэп 12:04 – Волна новых исследовательских статей 12:52 – Граница Джонсона против границы емкости 21:24 – Новый анализ атак на развернутые STARK'и 27:07 – Почему порог безопасности в 128 бит имеет значение 30:26 – Открытые исследовательские вопросы в постквантовых SNARK'ах