В области приватности блокчейна и нулевых знаний действительно глубоко занимающиеся разработкой специалисты честно признают один ключевой момент: ZK никогда не был вопросом технической реализуемости, а вопросом производительности и доступности. Даже самые изящные статьи и белые книги, как только переходят к реальному внедрению, время генерации доказательств зачастую занимает десятки секунд или даже несколько минут, и в итоге пользовательский опыт рушится.

Многие публичные блокчейны на рынке заявляют о поддержке нулевых знаний, но на практике реализуют это через принудительную интеграцию логики цепочки внутри рамок EVM. Такой подход, хотя и теоретически возможен, на практике вызывает крайне слабое впечатление — как ехать по автомагистрали на тракторе: сколько бы ни нажимали на газ, добиться нужной эффективности невозможно.

За последние годы очень мало цепочек, способных обрабатывать сложную логику приватности, и причина тут не в незрелости криптографической теории, а в том, что базовая среда выполнения полностью отстает от требований. Именно поэтому Dusk выбрала совершенно иной инженерный путь: вместо того чтобы исправлять EVM, было решено полностью переосмыслить виртуальную машину, и в результате разработана собственная виртуальная машина Piecrust.

Цель Piecrust VM ясна — это не универсальная платформа, а специально созданная среда для выполнения нулевых знаний. Важность этого дизайнерского решения часто недооценивается. EVM по сути оптимизирована для детерминизма состояния и возможности повторного воспроизведения, но никогда не учитывала дружественность к доказательствам. Запуск нулевых знаний на EVM — это как одновременно выполнять бизнес-логику и нести дополнительную огромную нагрузку по доказательствам.

Dusk перевернула этот подход: поскольку цель — приватность и проверяемые вычисления, модель выполнения, набор инструкций и управление состоянием должны с самого начала строиться вокруг нулевых знаний. В результате получилась казалось бы противоинтуитивная, но на практике осуществимая, значительная производительность — время генерации доказательств существенно сокращается, и ZK действительно превращается из теоретической идеи в доступный продукт.