Алессандро Кьеза

Академические исследования и инженерные релизы перевели теоретические достижения zkSNARK в практический код и библиотеки для разработчиков. Конкретные артефакты, такие как реализация на базе libsnark, наборы бенчмарков и спецификации систем доказательств, позволили командам протокола оценивать компромиссы между производительностью и безопасностью в ходе инженерной фазы zkSync. В число вкладов вошли статьи, описывающие конструкции кратких доказательств, руководство по доверенным настройкам там, где это применимо, а также эталонные реализации, которые команды использовали для создания пруверов и верификаторов. Эти конкретные ресурсы снизили порог для развертывания промышленного уровня zk-инфраструктуры и помогали принимать решения о бэкендах пруверов и параметрах доказательств. Благодаря возможности большего числа команд экспериментировать с инструментальными цепочками zkSNARK, эти результаты ускорили конкуренцию и сотрудничество в zk-экосистеме. Это ускорение повлияло на сроки развертывания, требования аудиторов и инструменты разработчиков, что напрямую повлияло на то, как такие проекты, как zkSync, структурировали свои пайплайны пруверов, а следовательно, и на то, как токен ZK захватывал ценность протокола.