Перейти к основному контенту

Унифицированный слой ZK-верификации ILITY: один верификатор для управления 200 роллапами

· 12 мин чтения
Dora Noda
Dora Noda
Software Engineer

В настоящее время в производстве находится более 200 ZK-роллапов (zero-knowledge rollups), каждый из которых использует собственный контракт верификации. SP1 — здесь, Risc Zero — там, Plonky3 в одной сети, Halo2 в другой, а Jolt и Powdr появляются каждые несколько недель. Каждое приложение для обеспечения конфиденциальности, которое хочет считывать состояние более чем из одной сети, платит «налог»: интегрировать каждый прувер (prover), проводить аудит каждого верификатора, выполнять повторное развертывание при каждом изменении схемы (circuit). Это кошмар интеграции N × N, который незаметно стал самой большой скрытой стоимостью инфраструктуры конфиденциальности Web3.

28 апреля 2026 года проект ILITY вышел из режима скрытности, сделав ставку на то, что решением является не еще одна zkVM, а уровень над ними всеми. Его многоцепной унифицированный уровень верификации ZK-доказательств — работающий параллельно с Alpha Mainnet, запущенной 30 января — позиционирует себя как «универсальный кросс-чейн интерфейс конфиденциальности», который любая сеть может принять в качестве шины сообщений, сохраняющей конфиденциальность. Издание Web3Caff Research в тот же день опубликовало материал Financing Decode, в котором запуск был охарактеризован как ставка поколения на абстракцию верификатора. Тезис провокационен: точно так же, как IBC абстрагировал состояние зон Cosmos, а EVM-эквивалентность абстрагировала исполнение L2, единый API верификации доказательств может абстрагировать любую систему SNARK под ним.

Фрагментация, о которой никто не хочет говорить​

Polygon Labs, Succinct, Risc Zero и еще полдюжины команд поменьше провели последние три года в гонке за поставку более быстрых, компактных и универсальных zkVM. Эта гонка принесла выдающиеся результаты: Plonky3 в производстве, SP1, разделяющий доказательства на фрагменты и агрегирующий их в единое универсальное доказательство, и Risc Zero, переходящий к открытому рынку доказательств Boundless.

Но у этой гонки есть побочный эффект, который почти никто не оптимизирует: каждый победитель поставляет свой собственный верификатор. Протокол кредитования с сохранением конфиденциальности, который хочет принимать аттестации залога от Optimism-роллапа на базе SP1, сети Polygon CDK на базе Plonky3 и развертывания Scroll на базе Halo2, должен развернуть и поддерживать три совершенно разных контракта верификации. У каждого верификатора свои затраты на газ, свои пути обновления и своя поверхность ошибок. Бюджеты на аудит раздуваются. TVL кросс-чейн приложений остается заблокированным в той сети, в которой было запущено приложение конфиденциальности.

Отрасль признает это проблемой. «Пессимистичное доказательство» (pessimistic proof) от Polygon — само по себе ZK-доказательство, созданное с помощью SP1 и Plonky3 — явно продвигает агрегацию как способ «объединения мультистековых фьючерсов». Но унификация AggLayer работает только для сетей, выбравших стек Polygon CDK. Solana, Cosmos, L2-решения Ethereum вне стека Polygon и L2-решения Bitcoin остаются за пределами его периметра. Фрагментация решается внутри одного закрытого сада и воспроизводится на его границе.

Что на самом деле строит ILITY​

Подход ILITY структурно иной. Вместо того чтобы конкурировать в скорости прувера, проект строит суверенный блокчейн Уровня 1 (Layer-1), единственная задача которого — проверять доказательства, поступающие из любой исходной сети, и повторно выдавать аттестации, которым может доверять любая сеть-потребитель. Владение активами, история владения, шаблоны транзакций, поведение в сети — все это можно доказать, не раскрывая адреса кошельков или базовые данные.

Архитектурная ставка состоит из трех частей. Во-первых, унифицированный API верификации доказательств: любое приложение считывает данные из одной конечной точки, независимо от того, какая базовая система SNARK создала доказательство. Во-вторых, ILITY ZK Engine — ядро верификации сети с поддержкой конфиденциальности, которое Alpha Mainnet совершенствует с января посредством внутреннего тестирования кросс-чейн извлечения данных. В-третьих, ILITY Hub — будущий уровень продуктизации, который представляет абстракцию верификатора как сервис для разработчиков, а не как исследовательский артефакт.

Механика напоминает то, как IBC позволил зонам Cosmos взаимодействовать друг с другом без необходимости внедрения консенсуса каждой зоны в каждой другой зоне. ILITY предлагает тот же трюк для доказательств: сетям не нужно знать, как другие доказывают вещи. Им нужно только доверять результату верификации, который выдает унифицированный уровень. Если абстракция сработает, DeFi-приложение с сохранением конфиденциальности, написанное один раз на ILITY, сможет использовать аттестации из программы Solana, контракта L2 Ethereum, зоны Cosmos и L2 Bitcoin — и ни одной из них не нужно будет знать друг о друге.

Чем ILITY отличается от смежных решений​

Унифицированный уровень верификации — не единственная попытка решить эту проблему. Пространство кристаллизовалось вокруг трех конкурирующих подходов, каждый из которых, по утверждению ILITY, он поглощает.

Brevis выпустил самый универсальный ZK-копроцессор — гибридный ZK Data Coprocessor плюс zkVM общего назначения с возможностью генерации доказательств L1 в реальном времени. Brevis позволяет смарт-контрактам обращаться к историческому состоянию EVM и доказывать факты о нем. Но Brevis по своей сути является копроцессором: он создает доказательства, а не унифицирует верификаторы. Сеть-потребитель по-прежнему должна проверять доказательство Brevis в той системе доказательств, которую использует Brevis.

Axiom работает в более узкой нише, но крайне быстро — верифицируемые запросы к глубокому состоянию Ethereum, доказательство точных значений слотов хранения или существования транзакций на определенных высотах блоков. Компромисс очевиден: решение предназначено только для Ethereum, оно по своей природе ограничено одной сетью. Полезно как примитив, бесполезно как мультичейн-интерфейс.

Lagrange выбрал другой компромисс — гибрид ZK и оптимистичного подхода, который повышает эффективность кросс-чейн вычислений за счет ослабления ZK-гарантий для состояний, которые вряд ли будут оспорены. Lagrange доказывает факты в разных сетях, но семантика верификации не совпадает с чистой ZK-гарантией, что ограничивает возможности его использования институционалами.

Утверждение ILITY заключается в том, что все три решения являются точечными ответами на отсутствие фундаментального примитива. Brevis верифицирует, Axiom запрашивает, Lagrange агрегирует — но ни одно из них не предоставляет единый API, который любая сеть может вызвать для верификации любого доказательства из любой другой сети. ILITY делает ставку на то, что недостающим примитивом является сам уровень верификации, а не очередной прувер или копроцессор.

Наиболее очевидный контраст наблюдается с Polygon AggLayer. Система пессимистичных доказательств AggLayer технически является унифицированным уровнем верификации, но она работает только для сетей, настроенных с использованием CDK Sovereign Config. AggLayer v0.3 расширил стек до мультистековой EVM к первому кварталу 2026 года, но Solana, Cosmos и L2 Bitcoin остаются в стороне. Дизайнерский выбор ILITY противоположен: сначала построить уровень верификации, позволить любой сети подключиться и оптимизировать широту охвата раньше глубины.

Стек конфиденциальности, формирующийся к апрелю 2026 года​

Время запуска не случайно. Конец апреля 2026 года породил две другие инфраструктурные ставки, которые сочетаются с ILITY в нечто большее, чем любая из них по отдельности.

FHE Privacy Boost от Mind Network — построенный на базе OP Stack и интегрированный с Chainlink CCIP — обеспечивает конфиденциальные вычисления. Полностью гомоморфное шифрование (FHE) позволяет смарт-контрактам обрабатывать зашифрованные входные данные без их расшифровки, что имеет огромное значение для институционального DeFi, где сами входные данные являются конфиденциальными. Аудит безопасности Mind Network во втором квартале 2026 года и запуск основной сети платежного решения Agent-to-Agent на базе FHE в третьем квартале 2026 года являются первой заслуживающей доверия попыткой создания уровня конфиденциальных вычислений с институциональными планами развития.

ILITY обеспечивает верификацию: возможность доказывать факты о состоянии кросс-чейн среды, не раскрывая само состояние.

Третьим звеном, все более заметным в раундах финансирования среднего уровня, являются децентрализованные вычисления для генерации доказательств — открытые рынки доказательств, такие как Boundless от Risc Zero и сеть пруверов Succinct, которые позволяют операторам GPU участвовать в торгах за генерацию доказательств и стремятся свести маржинальные затраты к нулю.

Связанные воедино, эти три составляющие — конфиденциальные вычисления (FHE), унифицированная верификация (ZK) и открытые вычисления доказательств — начинают выглядеть как инфраструктурный стек, который действительно необходим институциональным пользователям для участия в DeFi без утечки данных о стратегиях, позициях или контрагентах. Ни одна из этих составляющих не является достаточной сама по себе. Заявление ILITY заключается в том, что уровень верификации является связующим звеном, которое делает остальные две полезными, так как без унифицированной верификации каждое учреждение, занимающееся приватным кросс-чейн DeFi, вынуждено содержать целый «зоопарк верификаторов» для каждого прувера, который могут использовать их контрагенты.

Ставка на абстракцию верификатора: честный анализ​

Абстракция верификатора — это сильный тезис. Но это также тот тип тезиса, который исторически трудно реализовать. Стоит назвать три риска.

Проблема нативной интеграции. Унифицированный уровень верификации имеет значение только в том случае, если блокчейны принимают его. Alpha Mainnet от ILITY выполняет верификацию внутри себя и предоставляет результаты — но для того, чтобы смарт-контракты Solana действительно использовали эти аттестации, программа Solana должна доверять подписанному результату ILITY. Это допущение доверия аналогично мосту на основе легких клиентов, что означает, что ILITY в конечном итоге конкурирует с LayerZero, Wormhole и Chainlink CCIP не только за верификацию ZK-доказательств, но и за более широкую роль «доверенной шины сообщений». История с абстракцией верификатора чище, чем у LayerZero, но стратегия выхода на рынок та же.

Риск преждевременной абстракции. zkVerify — модульный L1, разработанный как универсальный уровень верификации ZK-доказательств — придерживается аналогичного тезиса с 2024 года. Он еще не достиг институциональной «второй космической скорости». Риск заключается в том, что абстракция верификатора технически элегантна, но коммерчески преждевременна: если ни одна сеть не интегрирует абстракцию нативно, каждая верификация на унифицированном уровне становится одним лишним «хопом» по сравнению с прямым развертыванием верификатора в потребляющей сети.

Разрыв в оптимизации. Верификаторы для конкретных сетей могут быть агрессивно оптимизированы под конкретную систему SNARK, которую они проверяют. Унифицированный уровень, почти по определению, жертвует некоторыми из этих оптимизаций. AggLayer выигрывает в сетях Polygon CDK отчасти потому, что пессимистичное доказательство (pessimistic proof) было разработано совместно с SP1 + Plonky3 и стеком блокчейна. У ILITY нет такой роскоши при верификации доказательства Halo2 из одной сети и SP1 из другой. Потолок производительности действительно независимого от блокчейна верификатора объективно ниже, чем у совместно спроектированного.

Оптимистичный сценарий заключается в том, что ни один из этих рисков не является фатальным — они просто означают, что унифицированный уровень верификации должен побеждать за счет удобства для разработчиков, а не за счет чистой стоимости газа за верификацию. Если подключение новой сети к ILITY занимает неделю вместо шести месяцев работы над кастомным верификатором, разница во времени выхода на рынок (time-to-market) перевесит разницу в стоимости газа для всех, кроме гипер-оптимизированных DeFi-протоколов. Это тот же компромисс, на который пошли ранние мультичейн-мосты и в итоге победили.

На что обратить внимание далее​

Три сигнала покажут нам, работает ли тезис об унифицированной верификации.

Нативные интеграции. Будет ли какая-либо крупная сеть — грант Solana, партнерство с Ethereum L2, зона Cosmos — нативно встраивать результаты верификации ILITY в свою ончейн-логику? Без хотя бы одной такой интеграции в 2026 году абстракция останется изолированным островом.

Развертывание приложений конфиденциальности. Настоящая проверка — не теоретическая. Это протокол кредитования с сохранением конфиденциальности или уровень конфиденциальных расчетов, который действительно использует ILITY для чтения аттестаций залога из трех или более различных экосистем пруверов в рабочей среде с реальными пользователями.

Композиция стека с FHE и рынками доказательств. Если стек «FHE плюс ZK плюс рынок доказательств» начнет появляться в институциональных пилотных проектах DeFi — пулах с ограниченным доступом в стиле JPMorgan, расчетах по регулируемым токенизированным фондам — это и будет тот эффект экосистемы, на который ориентируется ILITY. Если нет, унифицированный уровень верификации останется умным элементом инфраструктуры, ожидающим приложения, которому он нужен.

Честный итог таков: ставка ILITY огромна, а опыт «победы за счет абстрагирования чужих примитивов» в криптосфере неоднозначен. IBC победила. EVM-эквивалентность победила. Но были и абстракции, которые вышли до того, как базовые системы были готовы, и так и не смогли захватить лидерство. 28 апреля — это день, когда ставка начинает проверяться временем в публичном поле.

BlockEden.xyz управляет RPC-инфраструктурой и сервисами индексации корпоративного уровня для Sui, Aptos, Ethereum, Solana и других ведущих сетей — обеспечивая то же мультичейн-покрытие, которое необходимо приложениям с сохранением конфиденциальности для работы с верифицированным состоянием разных блокчейнов. Изучите наш маркетплейс API, чтобы создавать продукты на базе инфраструктуры, разработанной для эры мультичейна.

Источники​

Share on Twitter