Бачачи, як мережа GOAT запускає свою тестову мережу на основі технології BitVM2, варто звернути увагу на одну реалізацію: зведення proof-of-Bitcoin ZK у реальному часі. Увімкнення швидких доказів ZK Rollup є важливою подією для інфраструктури BTC L2. З точки зору користувацького досвіду, час вилучення значно скоротиться порівняно з попереднім, що сприяє залученню більшої кількості розробників до співпраці та привернення уваги користувачів. Отже, як це розуміти технічно просто? Для початку давайте розглянемо процес впровадження Bitcoin L2 в мережі GOAT. Мережа GOAT – це рішення на базі Bitcoin L2, яке використовує технології BitVM2 і zkMIPS для підтримки нативної прибутковості BTC (тобто учасники мають можливість заробити більше BTC). Його процеси в основному включають Bridge in, Bridge out, Sequencer Set Commitment та Reimbersement. Мостовий зв'язок в основному полягає в тому, щоб застейкати BTC у скрипт taproot (ніхто не контролює приватний ключ), і ретранслятор надсилає його до контракту Goat. Комітет будує потік транзакцій BitVM2, оператор заздалегідь підписує та підтримує IPFS, а після верифікації користувачів ретранслятор видає PegBTC на L2. Bridge out – це виведення, користувач проводить атомарні транзакції з оператором (користувач також може бути оператором, якщо не хоче, він може завершити виведення через оператора), знищує PegBTC на L2, і оператор ініціює процес відшкодування, без необхідності проводити транзакції Peg-OUT в основному ланцюжку BTC. Зобов'язання секвенсера в основному стосуються регулярного використання комісією дерев Меркла для фіксації майбутніх наборів секвенсерів для підтримки перевірки механізму легкого клієнта Bitcoin. Набір валідаторів, вчинених на BTC, використовується як публічний вхід для подальшої перевірки доказу з нульовим розголошенням за допомогою верифікації легкого клієнтського механізму, який використовується для перевірки консенсусу блоків L2. Процес відшкодування – це ідентифікатор транзакції оператора, який здійснює стейкінг BTC і надсилає запит на виведення коштів, а також останній хеш блоку. Челенджери проводять офчейн та ончейн верифікацію, і якщо виклику немає, оператор отримує кошти. Претенденти також можуть пропонувати челенджі, а після того, як виклик виникає, випадковим чином генеруються валідатори, які можуть виконати інтерактивну перевірку за допомогою сценаріїв Bitcoin. Період челенджу скорочується приблизно до 1 дня (близько 144 блоків BTC), скорочуючи час, необхідний для фіналізації. Крім того, він використовує децентралізований секвенсор, оператори ставлять BTC на стейкінг для участі, а комісія за газ L2 в економічній моделі генерує нативний дохід BTC. Давайте зосередимося на його доказі ZK Rollup у реальному часі, а спочатку поговоримо про його технологію зведення. Мережа GOAT буде упаковувати кілька транзакцій L2 в пакети (Batch) і виконувати їх поза ланцюгом для створення доказу ZK, який буде перевірений основним ланцюгом Bitcoin (перевірка на етапі Assert/Disprove на етапі BitVM2 і т.д.), а перевага доказів ZK полягає в тому, що немає необхідності завантажувати всі деталі транзакції. Крім того, на відміну від zksync або Starknet від Ethereum, Goat використовує рідні механізми, такі як скрипти Bitcoin Taproot, для закріплення оновлень стану, уникаючи залежності від зовнішніх мостових механізмів або механізмів мультипідпису. Отже, давайте коротко розглянемо його технологію Zk Rollup, а потім подивимося на його механізм перевірки в реальному часі. Згідно з документацією мережі GOAT, його генерація доказів у реальному часі використовує двигун zkMIPS для досягнення швидкої генерації доказів за допомогою паралельної архітектури конвеєра + розподіленої мережі GPU. По-перше, генерація блочного доказу використовує шардинг траєкторії виконання та технологію паралельного доказу, щоб перевірити, чи правильний перехід у стан зведення. другий — доказ агрегації, який рекурсивно стискає кілька блокових доказів; Нарешті, існують докази SNARK (Groth16), які стискаються в невеликого обсягу доказів, які можна перевірити на BitVM2. Щоб досягти доказів у реальному часі, вищезазначена генерація доказів не обробляється однорядковим способом, а використовує конвеєрний паралельний механізм обробки, в основному покладаючись на технологію ZKM zkVM «Ziren» для реалізації, у поєднанні з прискоренням графічного процесора та розподіленою мережею доказів, згідно з поточними даними офіційного веб-сайту його тестової мережі, блокові докази в середньому становлять близько 2,6 секунди, докази агрегації в середньому 2,7 секунди, а докази SNARK — близько 10,38 секунди. Користувачі можуть переглядати повний процес генерації доказу ZK для кожного зняття коштів у режимі реального часу на зовнішній сторінці. Якщо доказ ZK може бути завершений менш ніж за 1 хвилину, це означає, що швидкість виведення коштів користувачами значно прискориться, а деякі попередні зняття коштів у мережі Bitcoin L2 повинні чекати кілька годин, щоб ініціюватися. Звичайно, кінцевий час прибуття користувачів також залежить від ситуації з транзакціями в основній мережі Bitcoin. Однак, з точки зору виведення коштів, немає необхідності чекати, тобто їх виведення в основному близьке до тимчасового досвіду ініціювання транзакції в ланцюжку Bitcoin. На додаток до виведення коштів, докази в реальному часі також сприятимуть розробникам створювати високочастотні L2-додатки, а також сумісні з EVM, що також може залучити розробників в екосистему Ethereum. Для операторів немає необхідності чекати сертифікатів на партію, що також може підвищити ефективність капіталу. Технологія ZK є відносно складною, і довгострокова безпека також вимагає певної кількості часу для доведення. Тим не менш, впровадження доказів у реальному часі є важливим прогресом у технічній інфраструктурі для Bitcoin L2. Звичайно, Bitcoin L2 має ще пройти довгий шлях, крім побудови технічної інфраструктури, необхідно також докладати більше зусиль у Майнінг потреб користувачів і просуванні розробників для створення додатків Bitcoin L2, тому що в кінцевому підсумку екосистемі Bitcoin L2 буде достатньо комісій за транзакції, щоб домогтися зростання маховика. Серед них є відносно чітка потреба, тобто багато власників BTC також хочуть отримувати дохід, що видно з кількості BTC (таких як wbtc тощо) у ланцюжку Ethereum, який на даний момент налічує понад 150 000 BTC, обгорнутих у ланцюжок Ethereum, вартістю понад $15 млрд. Якщо нативна безпека на основі ланцюжка BTC може бути досягнута, то більше власників BTC будуть готові спробувати отримати дохід через BTCFI.

ZK Rollup – це не чорний ящик. ЗКП можна візуалізувати.

Це КОЗЕЛ! Ми робимо Bitcoin ZK Rollup реальним крок за кроком! Знову ж таки, жодних доказів у реальному часі, жодних Bitcoin ZK Rollup!

GM Ченду КОЗЕЛ

Перевірка в реальному часі є основною вимогою для справжнього Bitcoin ZK Rollup

До старту залишилося 3 зупинки, зупинки Ченду, Хошимін і Ханой шикуються в чергу!

КОЗЕЛ!

Дякуємо, що завітали! КОЗЕЛ!

GM Сеул! Розминка для Південної Кореї. LFGMetis і LFGOAT! @MetisL2 @GOATRollup

До зустрічі в SF та Сеулі!