Хронология технологий ZK: ключевые этапы

A16z Crypto опубликовала инфографику Клэр Карт, описывающую историю доказательств с нулевым разглашением (Zero-Knowledge, ZK). Она проследила события вплоть до 2019 года, когда сообщество было небольшим, а ресурсов почти не было. К 2025 году Клэр знакома с 80% событий на временной линии, что отражает как личное, так и индустриальное развитие.

6 years ago, when i first started working in zk, it was a tiny community of cryptographers and i understood nothing

plus there were no resources to learn

today, i read this and understood 80% of it

go find the thing that literally melts your face and try to understand it pic.twitter.com/QrPr4boloK

— Claire Kart (@clairekart) October 23, 2025

Ранние основы: 1985–2007

GM85 стал первым примером ZK-доказательств, и именно в этой работе GM предложил интерактивные доказательства с нулевым разглашением. Протокол проверки суммы (sum-check protocol) позволил масштабно проверять вычисления в 1990 году. В 2007 году структурированные доказательства владения (Proofs of Possession, PoPs) усилили конфиденциальность и подготовили почву для практических приложений.

В 2010 году SNARK стали базироваться на полиномиальных обязательствах KZG. К 2013 году первые SNARK стали эффективными и позволили использовать их в блокчейне. В 2016 году появились рекурсивные SNARK, которые позволяют композировать и масштабировать доказательства. Zcash (2017–2018) внедрил zk-SNARK, скрывающий данные транзакций, что стало первым применением в реальном мире.

Прозрачные доказательства и роллапы

С появлением FRI, Bulletproofs и Ligero в 2019 году были представлены прозрачные полиномиальные обязательства. Halo recursion (2019–2020) снизила затраты на настройку и повысила эффективность. Решения по масштабированию в Ethereum развивались как validity rollups (2019–2022), которые были приняты StarkNet. Профессиональные SNARK, такие как Plonk и Marlin, а также ZK DSL, такие как Circom и Halo(2), сделали разработку ZK более доступной широкой аудитории.

Современные достижения: с 2023 года

К 2023 году ZK-технологии перешли на SNARK с проверкой суммы на базе zkVM на стандартных наборах инструкций, таких как RISC-V. Это улучшило совместимость и позволило выполнять вычисления общего назначения на блокчейне. Расширился доступ к образовательным ресурсам для разработчиков, таким как руководства 0xPARC и zk-learning.org. ZK-роллапы обрабатывают миллиарды транзакций Ethereum, повышая масштабируемость и снижая затраты. Клэр начала путь в 2019 году, работая в небольшом сообществе с ограниченными возможностями. К 2025 году она знакома с 80% разработок в области ZK. Она обучает людей разбирать сложные вопросы, которые буквально «сжигают мозг», и подчеркивает важность настойчивости и любопытства.