BOB стал первым блокчейном, использующим доказательства Zero-Knowledge (ZK) двумя новыми способами: 

  1. BOB - это первый роллап, использующий доказательства мошенничества ZK, сводящий поток множества транзакций к одной транзакции. Это сочетает в себе скорость валидных сворачиваний с низкой стоимостью и эффективностью оптимистичных сворачиваний. 
  2. BOB также является первой криптовалютой, поддерживающей подтверждение действительности по требованию. Когда пользователи хотят быстро вывести средства из BOB, можно предоставить доказательство действительности, чтобы мгновенно завершить вывод средств в Ethereum.

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

Это обновление, основанное на OP Kailua, новом расширении фреймворка OP Stack с открытым исходным кодом для создания сетей второго уровня Ethereum, было построено компанией RISC Zero с генерацией доказательств ZK сетью Boundless. Это также приближает BOB к достижению статуса Rollup Stage 1 и Stage 2 на L2BEAT, аналитической платформе блокчейна, которая объективно отслеживает безопасность, децентрализацию и зрелость сетей второго уровня. 

Присоединяйтесь к прямой трансляции, чтобы обсудить обновление с BOB, RISC Zero, Boundless, Conduit и L2BEAT в четверг 31 июля: https://x.com/i/broadcasts/1lPJqMbWdbQJb. 

‍

ZK Доказательства мошенничества на BOB

Традиционно ролловеры придерживались двух отдельных моделей: оптимистичные ролловеры, которые предполагают, что транзакции действительны, но требуют 7-дневного окна проверки, и валидные ролловеры, которые мгновенно проверяют транзакции с помощью доказательств нулевого знания, но являются дорогостоящими в эксплуатации. OP Kailua представляет третий вариант Hybrid ZK, применяя доказательства ZK к процессу разрешения мошенничества в оптимистичных роллапах, объединяя низкие операционные расходы с быстрым завершением, значительно увеличивая масштабируемость, безопасность и децентрализацию в дизайне второго уровня. Эта модель также дает возможность предоставлять доказательства достоверности по требованию, позволяя BOB получить лучшее из двух миров: дешевые транзакции и верификацию по умолчанию и полную достоверность для быстрого завершения, когда это необходимо.

Алексей Замятин, соучредитель BOB, сказал: "Запуск нашей полностью функционирующей системы доказательств обеспечивает полную безопасность уровня Ethereum для BOB L2, что является важной вехой на нашем пути к децентрализации. Благодаря этому обновлению BOB становится первым гибридным ZK-роллапом и переходит в стадию 0 на L2BEAT, в то время как большинство роллапов в этом пространстве останутся в категории "Другие" из-за отсутствия работающей системы доказательств. Эта гибридная модель роллапа отражает наше гибридное видение: объединение сильных сторон нескольких систем для раскрытия всего потенциала Bitcoin DeFi".

‍

Четыре ключевых преимущества ОП Кайлуа 

Этот новый, гибридный подход к доказательствам позволяет получить четыре основных преимущества: 

  • Доступность: По сравнению со всеми остальными оптимистичными ролевыми системами, BOB - единственная, которая действительно позволяет любому человеку представить доказательства мошенничества. В Arbitrum, Base, Optimism и т. д. доказательства мошенничества могут стоить миллионы долларов. В BOB же требуется залог всего в 0,5 ETH, а само доказательство плюс отправка на цепь стоят менее $50.‍
  • Экономическая эффективность: Защищенный от мошенничества расчет в случае вызова осуществляется в рамках одной транзакции на Ethereum и, следовательно, завершается в течение нескольких минут, по сравнению с несколькими часами или днями, которые потребовали бы многих транзакций в версии без ZK.‍
  • Мгновенное снятие средств по требованию: Если кто-то хочет снять деньги немедленно, без периода ожидания, можно заплатить за предоставление подтверждения действительности. Это невозможно в обычных оптимистичных моделях, которые должны соблюдать полный 7-дневный период. Однако если немедленный вывод средств не требуется, то система Hybrid ZK по умолчанию переходит на дешевые оптимистичные транзакции. Полные цепочки ZK, такие как Starknet, zkSync и Scroll, всегда нуждаются в подтверждении действительности, даже когда скорость не так важна, что увеличивает их операционные расходы.
  • Скорость: в долгосрочной перспективе BOB сможет значительно сократить время вывода средств, поскольку решение проблемы мошенничества на цепочке будет быстрым и дешевым. Для начала этот срок составит четыре дня, но может быть сокращен до нескольких часов, когда система будет доказана стабильной.

Джейкоб Эверли, руководитель направления продуктов RISC Zero, прокомментировал ситуацию: "Оптимистичные ролловеры стимулировали внедрение благодаря своим очевидным преимуществам: низкой стоимости и высокой пропускной способности, но 7-дневное окно вызова препятствовало реальной масштабируемости. OP Kailua меняет эту ситуацию благодаря использованию доказательств мошенничества ZK. Он привносит скорость и окончательность ZK в оптимистичный фреймворк; это прорыв, который сочетает в себе лучшее из обоих миров и создает основу для следующей эволюции DeFi."

‍

На базе RISC Zero, Boundless и Conduit

Обновление OP Kailua на BOB было построено компанией RISC Zero с генерацией доказательств ZK в сети Boundless. RISC Zero представила Boundless в 2024 году. Он предназначен для масштабирования вычислений с доказательством нулевого знания (ZKP) по цепочкам. Протокол призван сделать вычисления на основе ZK-доказательств доступными, масштабируемыми и не требующими доверия. Boundless позволяет выполнять вычисления на одном узле и эффективно проверять их на всех остальных без повторного выполнения. Boundless сотрудничает с Conduit, одним из самых надежных поставщиков RaaS (rollup as a service), для тестирования и запуска OP Kailua в производство. 

Эндрю Хуанг, основатель компании Conduit, сказал: "Это именно то, что мы представляли себе, когда работали с RISC Zero над созданием интеграции OP Kailua. Благодаря доказательствам ZK, работающим в нашей управляемой среде OP Stack, BOB получает безопасность Ethereum-класса и время вывода средств, измеряемое часами, а не днями. А наше партнерство с RISC Zero позволяет нам беспрепятственно внедрить эту возможность в любой роллап. Это граница дизайна роллапов".

‍

Пошаговый процесс защиты от мошенничества

OP Kailua представляет свой собственный новый дизайн игры для доказательства мошенничества, который обеспечивает лучшие в своем классе гарантии безопасности для последовательности транзакций rollup. Вместо того чтобы использовать обычную игру биссекции оптимизма для доказательств мошенничества, BOB будет использовать доказательства мошенничества ZK. Это позволяет свести механизм доказательства мошенничества к одной транзакции в Ethereum, а не к нескольким транзакциям, как это требуется в игре bisection.

  1. Для каждой контрольной точки секвенсор BOB (управляемый Conduit) будет предлагать новую каноническую цепочку для определенной высоты.
  2. Любой желающий все еще может сделать еще одно предложение, чтобы оспорить каноническую цепочку, используя бинарную систему Kailua. Чтобы сделать предложение, необходимо внести залог (в ETH) на L1. Изначально эта сумма равна 0,5 ETH, что делает ее относительно простой для любого желающего и значительно снижает барьер для безразрешительной проверки по сравнению с большинством оптимистичных цепочек.
  3. Когда для одной и той же высоты существуют противоречивые предложения, либо претендент, либо валидатор используют Boundless для генерации доказательства ZK, которое делает недействительным доказательно неверное предложение. Может существовать только одна действительная цепочка из-за построения BOB в зависимости от порядка кодированных транзакций на L1. Неверный автор предложения или претендент будет лишен своей связи.

‍

Прямая трансляция 31 июля

BOB, RISC Zero / Boundless, Conduit и L2BEAT организуют прямую трансляцию для обсуждения инноваций Hybrid ZK в четверг 31 июля 2025 года. Установите напоминание здесь: https://x.com/i/broadcasts/1lPJqMbWdbQJb