SNARK на основі хешу стають центральною частиною постквантової дорожньої карти Ethereum, але наскільки вони насправді безпечні? У цьому епізоді (частина 3 мінісеріалу @leanEthereum року) @nico_mnbl спілкується з @GiacomoFenzi і @asanso, щоб дослідити теорію та безпеку постквантових SNARK. Вони охоплюють: – SNARK-стек за LeanVM (багатолінійна арифметизація + сума-перевірка) – Премія Proximity Gap на $1 млн та хвиля нових досліджень, яку вона спричинила – Як останні результати впливають на запаси безпеки для систем доказів на основі хешу – Чому Ethereum рухається до доведених режимів безпеки для довгострокової безпеки протоколів Вони також досліджують відкриті проблеми в теорії кодування, декодуванні списків та системах доказів на основі хешу. Послухайте повний епізод —----- ТАЙМКОДИ 02:24 – Чому Ethereum потрібні постквантові SNARK 03:30 – Стек SNARK LeanVM (мультилінійний + сума-перевірка) 04:53 – Приз Proximity Gap у $1 млн 12:04 – Хвиля нових наукових статей 12:52 – Джонсон у напрямку проти обмеження місткості 21:24 – Новий аналіз атак на розгорнуті STARK 27:07 – Чому важливий поріг безпеки в 128 біт 30:26 – Відкриті дослідницькі питання в постквантових SNARK