Рынок восторга по поводу доказательств с нулевым знанием переживает долгий и болезненный процесс детоксикации. Эра, когда в прошлом бычьем рынке достаточно было написать в белой книге две буквы ZK, чтобы привлечь десятки миллионов долларов, окончательно завершилась. Теперь рынок крайне разорван: с одной стороны, арест разработчиков Tornado Cash принес холодный ветер регулирования, с другой стороны, капитал Уолл-стрит, стремительно врывающийся через ETF, испытывает крайнее желание к соблюдению норм и коммерческой тайне. Чистый дух криптопанков не выдерживает удара перед реалиями бизнес-логики. Полностью прозрачный публичный реестр является огромным ядом для настоящего корпоративного применения. Ни одно традиционное финансовое учреждение или гигант Web2 не захочет выставлять свои данные о цепочке поставок, личные данные клиентов и стратегии высокочастотной торговли на всеобщее обозрение на Ethereum или Solana, чтобы конкуренты могли использовать инструменты анализа данных для мониторинга в реальном времени.
В этом крайне противоречивом макронарративе я потратил немало времени на глубокий опыт и разбор тех базовых инфраструктур, которые пытаются найти баланс между конфиденциальностью и соблюдением норм. Одним из наиболее неотъемлемых элементов является базовая сеть, сосредоточенная на защите данных. Тайный проект, возникший в экосистеме Cardano, наконец открыл свои двери для разработчиков. Мое интуитивное ощущение заключается в том, что это не просто еще одна сеть анонимных монет, пытающаяся циркулировать в даркнете, а крайне сложная операционная система, пытающаяся перестроить границы права собственности на коммерческие данные.
С точки зрения наиболее важного пользовательского опыта, я протестировал несколько основных процессов развертывания смарт-контрактов в тестовой сети. Меня поразило их решение по выбору инструментов для разработчиков. В отличие от многих ZK публичных цепей, которые одержимы изобретением крайне запутанного и антигуманного языка программирования, здесь технологический стек напрямую принимает TypeScript. Для тех, кто уже был измотан Rust или различными странными языками ZK, это кажется огромным благословением. Вы можете использовать наиболее знакомый вам синтаксис для написания логики взаимодействия данных с сильными свойствами конфиденциальности. Но это лишь внешнее впечатление. Когда я ввел команду компиляции в локальной среде, я сразу почувствовал тяжелое ощущение от низкоуровневого компилятора. TypeScript — это лишь дружелюбная оболочка, а низкоуровневая генерация схем и преобразование состояния все еще остаются крайне жесткими. Вы обнаружите, что обработка границы между открытым состоянием и скрытым состоянием является крайне умственно затратным занятием. Вам необходимо крайне точно определить, какие переменные являются глобально видимыми, а какие видимы только для определенных участников. Этот переход в парадигме разработки более мучителен, чем простое изучение нового языка. Поскольку компилятор все еще находится на ранней стадии, сообщения об ошибках часто недостаточно точны; иногда несоответствие типов в скрытом состоянии может привести к безмолвному сбою всего процесса генерации доказательства, и вам придется просмотреть крайне примитивные журналы низкого уровня, чтобы определить проблему.
Мы должны рассматривать этот опыт в контексте всей конкурентной структуры отрасли. Aleo, безусловно, является самым финансово мощным и громким соперником на этой дорожке. Язык Leo от Aleo в своей концепции более чистый; он специально создан для нулевых знаний. Я писал подобные приложения на Aleo, синтаксис Leo действительно очень элегантен, но на практике механизм консенсуса Aleo и скорость генерации доказательств являются настоящей катастрофой. Aleo пытается использовать модификацию доказательства выполнения работы для стимулирования доказателей, что приводит к высокой концентрации вычислительной мощности и крайней нестабильности сети. В отличие от этого, сеть на основе доказательства доли, которая может полагаться на огромный пул узлов SPO Cardano для обеспечения безопасности, имеет врожденные преимущества в стабильности сети и ожиданиях по созданию блоков. Но я сдержан в отношении такой глубокой привязки. Экосистема Cardano сама по себе несет в себе сильный академический изоляционизм, который неизбежно передается этой новой сети. Хотя на уровне базовой безопасности у нее есть прочная математическая поддержка, внедрение ликвидности и межцепочечная совместимость будут крайне серьезным испытанием.
Посмотрим на Secret Network. Secret когда-то пытался решить проблему производительности конфиденциальных вычислений с помощью TEE (доверенной исполняемой среды). Такой подход, зависящий от аппаратного обеспечения Intel SGX, оказался крайне уязвимым в последние годы. Атаки через боковые каналы возникали одна за другой, и как только были обнаружены уязвимости на аппаратном уровне, вся конфиденциальность сети мгновенно исчезала. Чисто математически обоснованные доказательства с нулевыми знаниями — это единственный путь, который может выдержать испытание временем. Отказ от аппаратных обходных путей и сосредоточение на криптографических примитивах — это абсолютно правильный выбор с технической точки зрения, но цена этого выбора — крайне высокие вычислительные затраты. В ходе реального взаимодействия в тестовой сети транзакция, содержащая сложные изменения скрытого состояния, все еще требует слишком много времени для генерации доказательства на обычном потребительском оборудовании. Это кажется крайне неуместным для текущего рынка, стремящегося к максимальному TPS.
Aztec — еще один противник, от которого не уйти. Опираясь на колоссальную ликвидность Ethereum, язык Noir от Aztec быстро становится стандартом для ZK второго уровня Ethereum. Умение Aztec заключается в том, что он не пытается заново изобрести колесо Layer1, а просто высасывает из Ethereum. Именно здесь возникает основное расхождение. Независимое построение Layer1 с полной консенсусной системой и уникальной экономикой токенов означает, что вам нужно с нуля создавать всю инфраструктуру, браузеры, кошельки и ликвидные пулы. Разработчики не только должны изучить новые парадигмы управления состоянием, но и столкнуться с полностью пустым рынком пользователей. Разработчики экосистемы Ethereum крайне высокомерны; они привыкли ко всему, что связано с EVM, и их трудно убедить перейти на совершенно новую не-EVM и не-Ethereum Layer2 сеть.
Дизайн токеномики — это еще один крайне спорный момент, который я обнаружил в ходе исследования. Модель с двумя токенами в почти всех экспериментах публичных цепей за последние несколько лет потерпела полное поражение. Использование одного стабильного токена для расходов на газ и другого токена для консенсуса и управления, этот дизайн теоретически крайне совершенен. Корпоративным пользователям действительно нужны предсказуемые эксплуатационные расходы; они не могут терпеть, когда затраты на газ в бычьем рынке взлетают в сто раз. Но такой дизайн серьезно подрывает способность основного токена к захвату ценности. Когда токен газа и токен управления отделяются, капитальные рынки часто голосуют ногами. Токен безопасности сети, если он не имеет глубоких сценариев использования, просто полагаясь на доходы от стейкинга, не сможет поддерживать огромную рыночную капитализацию. Как защитить корпоративных пользователей от волатильности криптовалют, одновременно предоставляя основному токену консенсуса достаточно экономических стимулов — это то, что я не видел идеального решения в текущих опубликованных документах.
Соответствие требованиям является самой изящной, но и самой подверженной критике частью всей архитектуры системы. Механизм избирательного раскрытия непосредственно касается уязвимых мест текущей регуляторной среды. Вы можете иметь абсолютную конфиденциальность транзакций, но в случае необходимости можете предоставить определенным аудиторским или регулирующим органам ключ для просмотра, позволяющий им проверять легальность конкретных транзакций. Этот дизайн полностью отвергает параноидальное поведение первых анонимных монет, противостоящих всему миру. Для институциональных средств это зеленый свет, который они могут позволить себе пересечь. Вы можете создать полностью соответствующий темный пул, в котором проводить сделки с крупными активами реального мира (RWA), не опасаясь, что конкуренты вас опередят, в то же время удовлетворяя требования по борьбе с отмыванием денег (AML). Но я должен указать, что такой дизайн сталкивается с огромными трениями доверия в реальной эксплуатации. Кто будет хранить эти ключи для просмотра? Это будут сами пользователи или какая-то депозитарная организация? Как только эта власть избирательного раскрытия будет злоупотреблена, в чем будет заключаться разница между всей сетью и традиционной централизованной базой данных? Такое поведение, балансирующее между децентрализацией и регуляторными компромиссами, неизбежно вызовет презрение со стороны крайних сторонников децентрализации.
Текущий рынок криптовалют находится под контролем ИИ и высокочастотного DeFi. Наратив об автономном выполнении сделок ИИ-агентами в сети разрастается. Если между ИИ-агентами необходимо провести конфиденциальные бизнес-переговоры и обмен активами, существующие прозрачные сети просто не способны это выдержать. Это должно было бы стать крупнейшим дополнительным рынком для конфиденциальных публичных цепей. Но в реальном опыте, который я вызвал, текущая пропускная способность сети и задержка в проверке доказательств абсолютно не соответствуют требованиям торговли высокочастотных ИИ-агентов. Основой все еще является модификация модели UTXO. Модель UTXO имеет врожденные преимущества в параллельной обработке, которые никогда не смогут соперничать с моделью счетов. Но при обработке сложных смарт-контрактов, которые требуют общего состояния, локальная характеристика состояния UTXO делает разработку исключительно мучительной. Как решить проблему конкуренции нескольких сторон за одно и то же состояние, в текущих документах для разработчиков по-прежнему выглядит несколько неясно. Если вы пытаетесь построить высокочастотный глобальный пул ликвидности, аналогичный Uniswap, вы обнаружите, что традиционная архитектура AMM просто не работает; необходимо использовать крайне сложную обработку пакетных транзакций или полностью переработать движок матчинга транзакций.
С точки зрения глубины архитектурного дизайна вся сеть пытается предоставить полнофункциональную среду для операций по защите данных. Это не просто скрытие суммы транзакции; она пытается скрыть промежуточные состояния бизнес-логики. Это требует крайне мощного компилятора схем и крайне эффективной системы доказательства. В связи с обширным использованием последних достижений в области нулевых знаний, сеть имеет очень высокие теоретические пределы. Но инженерная реализация часто полна компромиссов. Легковесное генерирование доказательств в средах с несколькими браузерами все еще остается неразрешимой загадкой. Если вы попросите обычного пользователя создать сложное доказательство с нулевыми знаниями на мобильном веб-сайте, потребление энергии и выделение тепла немедленно отпугнет девяносто девять процентов пользователей. За исключением случаев, когда какое-то безопасное механизм делегированного доказательства переносит вычислительное давление в облако, но это в свою очередь вводит новые предположения по централизации.
Терпение рынка иссякает. Оценка инфраструктуры проходит через крайне жестокую переоценку. Простое техническое превосходство больше не может убедить капитал заплатить. Продукт должен найти крайне острый точку входа. Если он просто является приватной побочной цепочкой или附属品 в экосистеме Cardano, то его потолок будет крайне ограничен. Он должен доказать свою способность привлечь реальные коммерческие случаи, которые изначально страдали от утечки конфиденциальности на Ethereum или Solana.
Все технологические инновации в конечном итоге сводятся к пользовательскому опыту. В настоящее время разработчики сталкиваются с крутой кривой обучения и крайне ранним чувством безысходности в экосистеме, что является двумя большими горами, стоящими на пути к прорыву. Разрушение эффекта изолированности публичных цепей, создание бездоверительных мостов для ликвидности между цепями и полное решение проблемы частых конфликтов состояния на уровне механики — это действительно то, что может привести в движение эту прецизионную систему. В этой отрасли, полной шума и спекулятивных циклов, настойчивость в выполнении трудных, но правильных вещей действительно заслуживает уважения. Но рынок никогда не платит за чистый идеализм; он оценивает только решения, которые могут решить реальные коммерческие проблемы и имеют крайне низкие транзакционные издержки. В рамках великой нарративной кампании о пробуждении права собственности на данные этот эксперимент по перестройке основ только начинает свое истинное суровое испытание.