BOB оголосив, що це буде перший rollup-проект, який використовуватиме докази ZK як докази шахрайства шляхом інтеграції архітектури Kailua RISC Zero
25 липня BOB (Build on Bitcoin) оголосив про співпрацю з інфраструктурою доказу з нульовим розголошенням RISCZero, яка стане першим rollup-проектом в галузі, який використовуватиме докази з нульовим розголошенням як докази шахрайства шляхом інтеграції 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). Цей новий підхід пропонує найкраще з обох світів порівняно з Optimistic Rollups, які повільно виводяться та дорогі для боротьби з шахрайством, і ZK Rollups, які дорогі в експлуатації.
BOB чудово поєднує в собі ефективність (дешевша подача пропозицій у порівнянні з валідними ролапами) та безпеку (доведення правильності блоку у разі шахрайства). Крім того, докази ZK коштують набагато дешевше, ніж бінарні ігри в ланцюжку на платформах Optimism або Ink (менше 100 доларів, порівняно з приблизно 1 мільйоном доларів за останні).
Три переваги:
-
Будь-хто може оскаржити пропозицію секвенсера BOB з запасом лише 0,5 ETH, не вимагаючи сотень ETH, таких як докази шахрайства з ненульовим розголошенням.
-
У разі виникнення проблеми розрахунок доказів шахрайства може бути завершений лише за одну транзакцію в Ethereum, тому їх можна завершити за хвилини, порівняно з годинами або днями та кількома транзакціями для версій без нульового розголошення.
-
У довгостроковій перспективі час виведення коштів BOB може бути значно скорочений, оскільки рішення для шахрайства в ланцюжку є швидкими та недорогими. Початковий орієнтовний час виведення коштів становить 4 дні, але після стабілізації системи його можна скоротити до кількох годин.
Принцип роботи:
-
Kailua представляє свій новий власний дизайн гри із захистом від помилок, щоб забезпечити першокласну безпеку для замовлення зведених транзакцій.
-
BOB використовуватиме докази з нульовим розголошенням (ZK), захищені від шахрайства, замість кількох транзакцій у бінарній грі Optimism.
-
Докази з нульовим розголошенням дозволяють BOB оптимізувати механізм захисту від помилок до однієї транзакції в Ethereum, а не до кількох транзакцій у двійковій грі.
-
Специфічний процес:
-
Для кожної контрольної точки секвенсор BOB (запущений Conduit) запропонує новий канонічний ланцюг для конкретної висоти.
-
Будь-хто може використовувати двійковий файл Kailua, щоб зробити ще одну пропозицію щодо оскарження канонічного ланцюга. Для внесення пропозиції потрібно внести депозит в ETH на Layer1. Початкове налаштування становить 0,5 ETH, що дозволяє будь-кому легко кинути виклик і значно знижує бар'єр для входу для інклюзивної перевірки.
-
Коли на одній висоті є суперечливі пропозиції, претендент або валідатор (керований Conduit) згенерує доказ з нульовим розголошенням (використовуючи алгоритм Boundless) для вирішення проблеми канонічного ланцюга. Оскільки структура BOB залежить від порядку, в якому транзакції кодуються на рівні1, може існувати лише один дійсний ланцюг. Страховий депозит неправильного ініціатора або претендента буде анульовано.
Олексій Замятін, співзасновник BOB і член-засновник BitVM Alliance, сказав: «З запуском повністю функціональної системи доказів BOB L2 буде мати повну безпеку Ethereum. Це означає, що BOB все ще буде знаходитися в шарі L2 фази 0, в той час як більшість інших шарів L2 будуть переміщені в інші категорії на L2Beat. Зведення фази 1 залежать лише від запуску Комітету з безпеки, про що буде оголошено найближчим часом. Роллапи на Фазі 2 просто відкривають процес подання пропозицій для всіх. ”
Команда RISC Zero вважає, що Kailua оновила Optimistic Rollup, щоб використовувати докази з нульовим розголошенням (ZK Fault Proofs) на базі RISC Zero zkVM. Поточним вибором на ринку рішень для rollup є Optimistic Rollup або ZK Rollup. Optimistic Rollup домінує на поточному ринку завдяки своїй низькій вартості та високій пропускній здатності, але вимагає 7-денного вікна випробувань, що затримує завершення та обмежує сумісність. ZK-ролапи можуть забезпечити швидку остаточність, але створення доказів ZK для кожного блоку спричиняє значні додаткові витрати, а високопродуктивні зведення можуть коштувати мільйони доларів або більше.
Тепер, коли третій метод працює на BOB, це рішення, що працює на архітектурі Kailua RISC Zero, яке поєднує в собі переваги обох підходів: Optimistic ZK Rollups мають як низькі експлуатаційні витрати системи Optimistic Rollup, так і швидку завершеність ZK Rollups.