Стефанос Халиасос - Систематизация знаний: понимание уязвимостей в безопасности доказательств SNARKs скачать в хорошем качестве

Стефанос Халиасос - Систематизация знаний: понимание уязвимостей в безопасности доказательств SNARKs

Доказательства с нулевым разглашением (ZKP) прошли путь от теоретической концепции, обеспечивающей приватность и проверяемость, до практической реализации в реальном мире, причём неинтерактивные доказательства с нулевым разглашением (SNARKs) стали одной из наиболее значимых инноваций. Предыдущие работы в основном были направлены на разработку более эффективных систем SNARKs и доказательств безопасности для них. Многие считают SNARKs «просто математической концепцией», подразумевая, что то, что доказано как правильное и безопасное, является таковым на практике. Вопреки этому мнению данная статья посвящена оценке свойств сквозной безопасности реальных вариантов реализации доказательств SNARKs, начиная с построения базовой модели системы, моделирования угроз и ролей злоумышленников, которые могут атаковать системы, использующие SNARKs. Исследование включает в себя обширный анализ 141 фактической уязвимости в реализованных системах SNARKs, содержит подробную классификацию, которые помогут разработчикам и исследователям безопасности в понимании соответствующих угроз. Наконец, в исследовании приводится оценка существующих механизмов защиты и предлагаются рекомендации по повышению безопасности систем на базе доказательств SNARKs, что открывает путь к созданию более надёжных и прочных вариантов их реализации в будущем. Ссылка на оригинальное выступление -    • Stefanos Chaliasos - SoK: What don't ...