BOB объявил об интеграции архитектуры Kailua от RISC Zero и станет первым rollup-проектом, использующим ZK-доказательства в качестве доказательств мошенничества.

25 июля BOB (Build on Bitcoin) объявила о партнерстве с инфраструктурой нулевого разглашения RISCZero. С помощью интеграции гибридного фреймворка Kailua от RISC Zero она станет первым в отрасли проектом Rollup, использующим доказательства с нулевым разглашением (ZK) в качестве доказательств мошенничества. Это значительно сократит время и затраты на текущую настройку, а также позволит уменьшить время вывода средств со стандартных 7 дней до 1 часа. Этот шаг является ключевым для достижения BOB первого и второго этапов Rollup по классификации L2Beat.

Известно, что Kailua — это расширение стека OP, созданное RISC Zero на базе своей верифицируемой вычислительной сети Boundless. Это гибридная архитектура, позволяющая перевести Optimistic Rollup в статус гибридного ZK- Rollup (Hybrid Rollup). Она объединяет преимущества Optimistic Rollups и ZK- Rollups, стремясь обеспечить эффективный блокчейн-расчет и разрешение споров. По умолчанию система использует Optimistic Rollups для быстрой обработки транзакций, а при возникновении споров или необходимости быстрого расчета активирует ZK-доказательства, что позволяет одновременно достичь высокой пропускной способности, низких затрат и повышенной безопасности. Проще говоря, она наделяет существующие Optimistic Rollups возможностями, характерными для ZK- Rollups.

Наиболее важной характеристикой является возможность сократить период расчета и фазу оспаривания со стандартных 7 дней до минимальных 1 часа. Кроме того, сетям Optimistic Rollup, интегрирующим Kailua, не нужно беспокоиться о постоянных затратах на генерацию ZK-доказательств, поскольку их внедрение происходит только по требованию.

BOB стала первой сетью, использующей доказательства с нулевым разглашением (ZK). В отличие от Optimistic Rollup с медленным выводом средств и дорогостоящими механизмами защиты от мошенничества, а также от ZK- Rollup с высокими эксплуатационными расходами, этот новый метод сочетает в себе преимущества обеих архитектур.

BOB безупречно сочетает эффективность (более низкие затраты на подачу предложений по сравнению с валидными Rollup-ами) и безопасность (возможность подтвердить корректность блока при обнаружении мошенничества). Кроме того, затраты на ZK-доказательства значительно ниже, чем в ончейн-бинарных играх на платформах Optimism или Ink (менее 100 долларов против ~1 миллиона долларов у последних).

Три главных преимущества:

• Любой пользователь может инициировать оспаривание предложений секвенсора BOB, внесая залог всего от 0.5 ETH, вместо сотен ETH, требуемых в системах с не-ZK доказательствами мошенничества.

• В случае возникновения оспаривания расчет через доказательства мошенничества завершается в Ethereum одной транзакцией, обеспечивая финализацию за несколько минут, тогда как не-ZK версия требует нескольких часов или дней и множества транзакций.

• В долгосрочной перспективе это позволит значительно сократить время вывода средств из BOB благодаря быстрому и дешевому ончейн-решению для защиты от мошенничества. На начальном этапе ожидается время вывода в 4 дня, а после стабилизации системы оно может быть уменьшено до нескольких часов.

Принцип работы:

• Kailua внедряет разработанную ею собственную новую структуру игр по предотвращению ошибок, обеспечивающую безопасность высшего уровня для упорядочивания транзакций в Rollup.

• BOB будет использовать доказательства с нулевым разглашением (ZK) для защиты от мошенничества вместо множественных транзакций, применяемых в бинарной игре Optimism.

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

• Пошаговый процесс:

1. Для каждой контрольной точки секвенсор BOB (работающий на базе Conduit) предлагает новую каноническую цепочку для определенной высоты блока.

2. Любой участник может использовать двоичный файл Kailua для подачи альтернативного предложения и оспаривания канонической цепочки. Для подачи предложения необходимо заблокировать залог в ETH на Layer 1. Начальный размер залога установлен на уровне 0.5 ETH, что позволяет любому легко инициировать оспаривание и существенно снижает барьер входа для permissionless-валидации.

3. При наличии противоречивых предложений для одной и той же высоты блоки челленджер или валидатор (от Conduit) генерирует ZK-доказательство (с использованием алгоритма Boundless) для разрешения конфликта касательно канонической цепочки. Поскольку структура BOB зависит от порядка кодирования транзакций на Layer 1, существует лишь одна действительная цепочка. Залог неверного предложившего или челленджера будет конфискован.

Соучредитель BOB и один из основателей BitVM Alliance Алексей Замятин заявил: «С запуском полноценной системы доказательств L2-сеть BOB получит полную безопасность Ethereum. Это означает, что BOB останется на нулевом этапе L2, тогда как большинство других L2-проектов переместятся в другие категории согласно L2Beat. Достижение первого этапа Rollup зависит исключительно от запуска Совета по безопасности, о котором сообщат в ближайшем будущем. Для перехода на второй этап Rollup достаточно просто открыть процедуру подачи предложений для всех участников».

Команда RISC Zero считает, что Kailua переводит Optimistic Rollup в разряд решений, использующих ZK-доказательства (ZK Fault Proofs) на базе ZKVM от RISC Zero. На сегодняшний день рынок решений Rollup выбирает либо между Optimistic Rollup, либо между ZK Rollup. Благодаря низким затратам и высокой пропускной способности Optimistic Rollup сегодня доминирует на рынке, однако требование к 7-дневному окну оспаривания задерживает окончательную детерминацию и ограничивает интероперабельность. ZK Rollup обеспечивает быструю окончательную детерминацию, но генерация ZK-доказательств для каждого блока влечет за собой значительные дополнительные расходы: стоимость поддержки высокопроизводительных Rollup-ов может достигать миллионов долларов и более.

Теперь третий путь стал доступен непосредственно в BOB. Это решение на архитектуре Kailua от RISC Zero, объединяющее преимущества обоих подходов: Optimistic ZK Rollup сочетает низкие операционные затраты систем Optimistic Rollup со скоростью окончательной детерминации, характерной для ZK Rollup.