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

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

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

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

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

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

Три преимущества:

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

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

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

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

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

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

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

• Конкретный процесс:

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

2. Любой может использовать двоичный файл Kailua, чтобы сделать еще одно предложение оспорить каноническую цепочку. Для подачи предложения необходимо внести депозит в ETH на Layer1. Первоначальная настройка составляет 0,5 ETH, что позволяет любому легко оспорить и значительно снижает барьер для входа для проверки без разрешения.

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

Алексей Замятин, соучредитель BOB и член-основатель BitVM Alliance, сказал: «С запуском полнофункциональной системы proof, BOB L2 будет иметь полную безопасность Ethereum. Это означает, что BOB по-прежнему будет находиться в слое L2 фазы 0, в то время как большинство других слоев L2 будут перемещены в другие категории на L2Beat. Роллапы Фазы 1 возможны только при условии запуска Комитета по безопасности, о котором будет объявлено в ближайшее время. Роллапы на этапе 2 просто открывают процесс подачи предложений для всех. ”

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

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