Два из самых амбициозных проектов ZK, Succinct и Boundless, соревнуются, чтобы принести проверяемые вычисления в каждый уголок ончейн-пространства.
Они оба используют zkVM, но это не одно и то же.
Вот краткий обзор того, чем они отличаются 🧠🧵
2/ На высоком уровне:
- @SuccinctLabs создает свой zkVM (SP1) и запускает децентрализованную сеть, где любой может запросить доказательство для оффчейн-работы.
- @boundless_xyz (от RISC Zero) создает уровень ZK-протокола, который превращает любые оффчейн-вычисления в проверяемый чек.
Оба хотят заменить доверие криптографической истиной.
3/ Давайте начнем с их механизмов доказательства
- SP1 от Succinct выполняет программы на Rust и производит ZKP с использованием рекурсивных SNARK. Он быстрый, модульный и оптимизирован для нагрузок, подобных rollup.
- Boundless использует zkVM от RISC Zero для обработки массивных вычислений и масштабируемого доказательства.
4/ Под капотом:
Succinct использует внецепочечного аукциониста. Вы отправляете задание (например, "доказать это вычисление"), и сеть находит самого дешевого провайдера в реальном времени.
Провайдеры снижают цены друг под друга за задания, создавая рынок для доказательной работы.
Это похоже на API Web2. Быстро, эффективно, но защищено ZKP, размещенным в цепочке позже, чтобы предоставить вам криптографическое доказательство того, что программа работала правильно.
5/ Двигатель, стоящий за этим, называется SP1 - это zkVM, который может выполнять сложную логику, проверять подписи, моделировать роллапсы или действовать как легкий клиент для других цепочек.
SP1 оптимизирован для скорости, повторного использования и недорогой проверки в сети. Доказательства небольшие и дешевые для проверки (около 200k газа в Ethereum).
6/ SP1 zkVM запущен. Разработчики могут проверять доказательства в сети и создавать приложения промышленного уровня с использованием SP1.
Но Сеть Сжатых Доказателей - децентрализованный уровень, где любой может запустить доказатель и зарабатывать - все еще находится на финальной стадии тестовой сети (Этап 2.5).
Основная сеть для Сети Доказателей приближается.
7/ Boundless, с другой стороны, превращает доказательства в общественную услугу. Любая цепочка может попросить его что-то доказать. Любое приложение может передать сложную логику ему.
Это не просто сеть, это целый уровень для проверяемых вычислений.
Вы можете представить Boundless как облачные вычисления с криптографическими квитанциями.
8/ Построенный на RISC Zero, Boundless также выполняет код на Rust или C++ в zkVM.
Но он оборачивает его в протокол, где задания публикуются в сети, а затем принимаются и вычисляются вне сети провайдерами.
9/ Это вводит новую идею, называемую Доказательство Проверяемой Работы (PoVW). Доказатели получают вознаграждение в зависимости от того, сколько реальных вычислений они выполняют.
Это похоже на майнинг, но вместо хеширования случайных чисел они доказывают полезную работу, выполняя реальные программы.
Boundless называет это zk-майнингом.
10/ Первый живой случай использования Boundless — это The Signal на Mainnet Beta, клиент консенсуса ZK, который доказывает финальность Ethereum в едином проверяемом доказательстве.
Это доказательство может быть прочитано любой цепочкой, что позволяет кроссчейн-приложениям считывать состояние Ethereum без мультиподписей или оракулов.
The Signal будет доказывать больше цепочек по мере расширения сети.
11/ В чем разница?
Succinct: быстрая, внецепочная аукция → один провайдер выигрывает работу → отправляет доказательство в цепочку. Вы получаете низкую задержку и быстро проверяемые результаты.
Boundless: задачи размещаются в цепочке → любой провайдер вычисляет вне цепочки → отправляет доказательство в цепочку → PoVW вознаграждает провайдеров. Открытая конкуренция провайдеров и полностью бездоверительная с самого начала.
12/ Кто их использует?
- @Mantle_Official → Обновлен с Optimistic до zkRollup с использованием SP1 zkVM от Succinct для быстрой финализации и эквивалентности EVM.
- Платформы Rollup-as-a-Service (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Предлагают ZK rollups через OP-Succinct, позволяя разработчикам запускать L2 с 1-кликом обновлений финализации на базе SP1.
- Polygon's @Agglayer → Использует SP1 для помощи в реализации слоя zk-унификации по всем rollup'ам Polygon, улучшая кросс-rollup композируемость.
- @celestia (Blobstream DA Bridge) → SP1 проверяет включение блоков Celestia для бездоверительного DA моста, позволяя rollup'ам осуществлять расчеты на Ethereum с помощью блобов Celestia.
13/ - @eigenlayer → Использует Boundless для вычисления обновлений стейкованной стоимости вне цепи, публикуя ZK доказательства, которые уменьшают газ L1 примерно на 99,9%.
- @hibachi_xyz → Создал первую доказуемую биржу. Внецепное сопоставление выполняется с высокой частотой; каждая партия подтверждается с помощью R0VM на Boundless.
- @citrea_xyz (Bitcoin zkRollup) → Использует Boundless для подтверждения пакетных транзакций Bitcoin, позволяя EVM-совместимые ZK роллапсы на Bitcoin.
- @build_on_bob → Boundless обеспечивает гибридный L2 BOB, принося смарт-контракты EVM и роллапсы с доказательствами на Bitcoin.
14/ Кто выигрывает в игре ZK?
Они не являются прямыми конкурентами. На самом деле, их подходы могут дополнять друг друга.
Ясно одно: инфраструктура ZK становится модульной. Быстрые, универсальные и бездоверительные вычисления больше не фантастика, это происходит сейчас.
19,37 тыс.
9
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.