25 июля BOB (Build on Bitcoin) объявил о сотрудничестве с инфраструктурой доказательства нулевого знания RISCZero, интегрировав гибридную архитектуру Kailua, став первым проектом Rollup в отрасли, использующим доказательства нулевого знания в качестве доказательства мошенничества. Это значительно сэкономит время и затраты на существующие настройки и может сократить время вывода с обычных 7 дней до 1 часа. Это ключевой шаг для BOB в реализации первого и второго этапов Rollup на L2beat.
Сообщается, что Kailua является OP-стеком, построенным RISC Zero с использованием своей сети проверяемых вычислений Boundless, это гибридная архитектура (т.е. Hybrid Rollup), которая может обновить Optimistic Rollup в Hybrid ZK Rollup, сочетая преимущества Optimistic Rollups и ZK Rollup, направленную на эффективное разрешение споров и расчетов в блокчейне. Она быстро обрабатывает транзакции, используя по умолчанию Optimistic Rollups, и активирует ZK-доказательства в случае споров или необходимости быстрого расчета, стремясь сбалансировать высокую пропускную способность, низкие затраты и высокую безопасность. Проще говоря, она предоставляет возможность интеграции существующих Optimistic Rollup с преимуществами ZK Rollup.
Наиболее важной особенностью является возможность сократить период вызова с 7 дней до минимально возможных 1 часа, и для сетей Optimistic Rollup, интегрирующих Kailua, нет необходимости беспокоиться о постоянных затратах на генерацию ZK-доказательств, так как их реализация осуществляется по мере необходимости.
BOB является первым блокчейном, использующим доказательства нулевого знания (ZK). В отличие от медленного вывода и дорогих механизмов предотвращения мошенничества Optimistic Rollup и высоких эксплуатационных затрат ZK Rollup, этот новый подход сочетает преимущества обоих.
BOB идеально сочетает эффективность (стоимость подачи предложений ниже, чем у эффективных Rollup) и безопасность (возможность доказать правильность блоков в случае мошенничества). Более того, ZK-доказательства стоят гораздо меньше, чем на текущих платформах Optimism или Ink (менее 100 долларов, тогда как последние стоят около 1 миллиона долларов).
Три основных преимущества:
Каждый желающий может бросить вызов предложениям сортировщика BOB с залогом всего 0.5 ETH, без необходимости в сотнях ETH, как в случае с доказательствами мошенничества, не основанными на нулевом знании.
В случае возникновения вызова, расчет доказательства мошенничества на Ethereum можно завершить всего одной транзакцией, что позволяет окончательно решить вопрос за несколько минут, в то время как версия без нулевого знания требует часов или дней и нескольких транзакций.
В долгосрочной перспективе можно значительно сократить время вывода BOB, поскольку решения по мошенничеству на цепочке быстры и недороги. Первоначально время вывода ожидается в 4 дня, после стабилизации системы его можно сократить до нескольких часов.
Принцип работы:
Kailua внедрила свой новый дизайн игр с защитой от ошибок, обеспечивающий первоклассную безопасность для сортировки транзакций Rollup.
BOB будет использовать доказательства нулевого знания (ZK) для предотвращения мошенничества, а не многократные транзакции в двоичной игре Optimism.
Доказательства нулевого знания позволяют BOB сократить механизм защиты от ошибок до одной транзакции на Ethereum, а не многократных транзакций в двоичной игре.
Конкретный процесс:
Для каждой контрольной точки сортировщик BOB (работающий на Conduit) предложит новую стандартную цепочку для определенной высоты.
Каждый желающий может использовать двоичный файл Kailua, чтобы предложить другое предложение и оспорить стандартную цепочку. Для подачи предложения требуется внести залог в размере 0.5 ETH на Layer1. Первоначальная установка составляет 0.5 ETH, что позволяет любому легко бросить вызов и значительно снижает барьер для верификации без разрешения.
Когда в одной и той же высоте существуют противоречивые предложения, вызывающий или проверяющий (работающий на Conduit) создаст доказательство нулевого знания (используя алгоритм Boundless), чтобы решить проблему стандартной цепочки. Поскольку конструкция BOB зависит от порядка кодирования транзакций на Layer1, может существовать только одна действительная цепочка. Залог ошибочного заявителя или вызова будет конфискован.
Соучредитель BOB и основатель BitVM Alliance Алексей Замятин заявил: «С выходом полноценной системы доказательств, BOB L2 получит полную безопасность Ethereum. Это означает, что BOB останется на L2-уровне нулевой стадии, в то время как большинство других L2-уровней переместится в другие категории на L2Beat. Первый этап Rollup зависит только от запуска совета безопасности, который будет объявлен в ближайшее время. Второй этап Rollup просто требует открытия процесса предложения для всех.»
Команда RISC Zero считает, что Kailua обновит Optimistic Rollup, используя доказательства нулевого знания (ZK Fault Proofs), управляемые RISC Zero zkVM. В настоящее время рынок Rollup-решений предлагает либо Optimistic Rollup, либо ZK Rollup. Благодаря низким затратам и высокой пропускной способности, Optimistic Rollup доминирует на текущем рынке, однако требует 7-дневного окна для вызова, что задерживает окончательную определенность и ограничивает взаимодействие. ZK Rollup может предложить быструю окончательность, но создание ZK-доказательства для каждого блока влечет за собой значительные дополнительные расходы, и стоимость высокопропускного Rollup может достигать миллионов долларов и более.
Теперь на BOB запущен третий способ, решение, поддерживаемое архитектурой Kailua от RISC Zero, которое сочетает преимущества обоих способов: Optimistic ZK Rollup имеет низкие операционные затраты системы Optimistic Rollup и быструю окончательность ZK Rollup.