Побачив, що мережа GOAT запустила свою Тестову мережу на базі технології BitVM2, в якій є реалізація, що заслуговує на увагу: реальний доказ Біткойн ZK Rollup. Реалізація швидкого ZK Rollup доказу є важливим розвитком для інфраструктури BTC L2. З точки зору досвіду користувачів, час виведення суттєво покращиться в порівнянні з попереднім, що сприятиме залученню більшої кількості розробників і підписанню користувачів.
Отже, як можна просто зрозуміти з технічної точки зору?
Перш ніж розглянути процес реалізації L2 Біткойна в мережі GOAT. Мережа GOAT є рішенням на базі L2 Біткойна, яке використовує технології BitVM2 та zkMIPS, що підтримує отримання рідного BTC (тобто учасники мають можливість заробляти більше BTC). Процес в основному включає в себе вхідний міст (Bridge in), вихідний міст (Bridge out), зобов'язання послідовника (Sequencer Set Commitment) та обробку відшкодувань (Reimbersement) тощо. Вхідний міст в основному полягає в заставі BTC до скрипту taproot (безконтрольний приватний ключ), посередник подає його до контракту Goat. Комітет формує торговий потік BitVM2, оператор попередньо підписує та зберігає в IPFS, після верифікації користувача, посередник випускає PegBTC на L2; вихідний міст - це витягування, користувач здійснює атомарну угоду з оператором (користувач також може бути оператором, якщо не хоче, може здійснити витягування через оператора), знищує PegBTC на L2, оператор запускає обробку відшкодувань, не потрібно здійснювати угоди Peg-OUT на основному ланцюзі BTC. Зобов'язання послідовника в основному означає, що комітет регулярно використовує Меркле-дерево для зобов'язання майбутніх наборів послідовників, підтримуючи механізм верифікації для легких клієнтів Біткойна. За допомогою механізму легкого клієнта верифікація зобов'язаних валідаторів на BTC використовується як публічний вхід для подальшої верифікації доказів нульового знання, щоб реалізувати верифікацію консенсусу блоків L2. Обробка відшкодувань полягає в тому, що оператор заставляє BTC та подає ідентифікатор транзакції для зняття та останній хеш блоку. Викликачі проводять перевірку поза ланцюгом та на ланцюзі, у разі відсутності викликів, оператор отримує кошти. Викликачі також можуть висувати виклики, після виклику випадковим чином обираються валідатори, які можуть виконувати інтерактивну верифікацію через скрипт Біткойна. Період виклику скорочується до приблизно 1 дня (близько 144 блоків btc), що скорочує час, необхідний для остаточності. Крім того, він використовує децентралізованих послідовників, оператори заставляють BTC для участі; економічна модель L2 включає в себе витрати на газ тощо, що генерують рідний BTC дохід.
Нижче детально розглянуто ZK Rollup для реального часу, спочатку поговоримо про технологію Rollup. Мережа GOAT об'єднує кілька транзакцій L2 в пакети (Batch), виконує їх поза ланцюгом, генеруючи ZK доказ, який буде перевірено через основну ланцюг Біткойн (на етапах підтвердження/спростування BitVM2 тощо). Перевага ZK доказу полягає в тому, що немає необхідності завантажувати всі деталі транзакції; крім того, на відміну від zksync або Starknet на Ethereum, Goat використовує рідні механізми, такі як скрипти Taproot Біткойн для закріплення оновлень стану, що дозволяє уникнути залежності від зовнішніх мостів або механізмів мультипідпису.
Отже, після простого ознайомлення з технологією Zk Rollup, давайте розглянемо механізм реальних доказів. Згідно з документацією мережі GOAT, генерація реальних доказів здійснюється за допомогою двигуна zkMIPS, через архітектуру конвеєра паралельного доказу + розподілену мережу доказувачів GPU для швидкої генерації доказів. По-перше, це генерація доказів блоків, яка використовує фрагментацію виконавчої траєкторії та паралельні доказові технології для перевірки правильності перетворення стану Rollup; по-друге, агрегація доказів, яка рекурсивно стискає кілька доказів блоків; нарешті, SNARK-докази (Groth16), які стискаються до малого обсягу доказів, що можуть бути перевірені на BitVM2.
Щоб реалізувати реальний доказ, вище наведене генерування доказів не обробляється в одноразовому режимі, а використовує механізм паралльної обробки (Pipelined), який в основному залежить від технології zkVM «Ziren» від ZKM, а також прискорення за допомогою GPU і розподіленої мережі доказувачів. Згідно з поточними даними з офіційного сайту їх тестової мережі, блоковий доказ займає в середньому близько 2,6 секунд, агрегаційний доказ в середньому 2,7 секунд, а SNARK-доказ приблизно 10,38 секунд. Користувачі можуть в режимі реального часу переглядати повний процес генерування ZK-доказів для кожного виведення через фронтенд.
Якщо ZK-доказ може бути завершено менш ніж за 1 хвилину, це означає, що швидкість виведення коштів для користувачів значно прискориться. Раніше деякі виведення монет Біткойн з L2-мережі потребували кілька годин для ініціювання, але з появою швидкого доказу користувачі зможуть ініціювати виведення після генерації доказу, тобто приблизно менш ніж за 1 хвилину. Звичайно, остаточний час зарахування коштів для користувачів все ще залежатиме від транзакцій на основній мережі Біткойн. Але в аспекті виведення вже немає необхідності чекати, тобто виведення коштів фактично наближається до часу досвіду ініціювання транзакції на ланцюгу Біткойн.
Окрім виведення коштів, реальний доказ також сприятиме розробникам створювати високочастотні L2 додатки, крім того, сумісність з EVM також може залучити розробників з екосистеми Ethereum; для операторів немає потреби чекати масового видачі свідоцтв, що також підвищує ефективність використання коштів. Технологія ZK є відносно складною, а довгострокова безпека також потребує певного часу для підтвердження. Проте реалізація реального доказу є важливим прогресом у технічній інфраструктурі для Біткойн L2. Звичайно, наразі Біткойн L2 ще має пройти довгий шлях, окрім створення технічної інфраструктури, також потрібно докласти більше зусиль для виявлення потреб користувачів та сприяння розробникам у створенні додатків Біткойн L2, адже в кінцевому підсумку, коли екосистема Біткойн L2 зросте, буде достатньо комісій за транзакції для реалізації зростання. Однією з відносно чітких потреб є те, що багато власників BTC також хочуть отримувати прибуток, про що свідчить кількість BTC на Ethereum (такі як wbtc тощо), яка наразі перевищує 150 тисяч BTC, вартістю понад 150 мільярдів доларів. Якщо вдасться реалізувати безпеку на основі рідної ланцюга BTC, тоді більше власників BTC будуть готові спробувати отримати прибуток через BTCFI.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
2 лайків
Нагородити
2
3
Поділіться
Прокоментувати
0/400
TruongGia
· 11год тому
Купуйте, щоб заробляти гроші 💎
Переглянути оригіналвідповісти на0
TruongGia
· 11год тому
HODL чітко 💪
Переглянути оригіналвідповісти на0
IELTS
· 13год тому
Побачив, що мережа GOAT запустила свою тестову мережу на основі технології BitVM2, де є одне впровадження, на яке варто звернути увагу: реальні докази ZK Rollup для Біткойна. Реалізація швидких доказів ZK Rollup є важливим розвитком для інфраструктури BTC L2. З точки зору користувацького досвіду, час витягування буде значно покращено в порівнянні з попередніми версіями, що сприяє залученню більшої кількості розробників і підписанню більше користувачів. Отже, як це можна просто зрозуміти з технічної точки зору? Спочатку розглянемо процес реалізації L2 Біткойна в мережі GOAT. Мережа GOAT є рішенням на основі L2 Біткойна, яке використовує технології BitVM2 та zkMIPS, що підтримує реалізацію рідного доходу BTC (тобто учасники мають можливість заробити більше)
GOAT запустив тестову мережу ZK Rollup в реальному часі: нові можливості для рідного BTC прибутку?
Побачив, що мережа GOAT запустила свою Тестову мережу на базі технології BitVM2, в якій є реалізація, що заслуговує на увагу: реальний доказ Біткойн ZK Rollup. Реалізація швидкого ZK Rollup доказу є важливим розвитком для інфраструктури BTC L2. З точки зору досвіду користувачів, час виведення суттєво покращиться в порівнянні з попереднім, що сприятиме залученню більшої кількості розробників і підписанню користувачів.
Отже, як можна просто зрозуміти з технічної точки зору?
Перш ніж розглянути процес реалізації L2 Біткойна в мережі GOAT. Мережа GOAT є рішенням на базі L2 Біткойна, яке використовує технології BitVM2 та zkMIPS, що підтримує отримання рідного BTC (тобто учасники мають можливість заробляти більше BTC). Процес в основному включає в себе вхідний міст (Bridge in), вихідний міст (Bridge out), зобов'язання послідовника (Sequencer Set Commitment) та обробку відшкодувань (Reimbersement) тощо. Вхідний міст в основному полягає в заставі BTC до скрипту taproot (безконтрольний приватний ключ), посередник подає його до контракту Goat. Комітет формує торговий потік BitVM2, оператор попередньо підписує та зберігає в IPFS, після верифікації користувача, посередник випускає PegBTC на L2; вихідний міст - це витягування, користувач здійснює атомарну угоду з оператором (користувач також може бути оператором, якщо не хоче, може здійснити витягування через оператора), знищує PegBTC на L2, оператор запускає обробку відшкодувань, не потрібно здійснювати угоди Peg-OUT на основному ланцюзі BTC. Зобов'язання послідовника в основному означає, що комітет регулярно використовує Меркле-дерево для зобов'язання майбутніх наборів послідовників, підтримуючи механізм верифікації для легких клієнтів Біткойна. За допомогою механізму легкого клієнта верифікація зобов'язаних валідаторів на BTC використовується як публічний вхід для подальшої верифікації доказів нульового знання, щоб реалізувати верифікацію консенсусу блоків L2. Обробка відшкодувань полягає в тому, що оператор заставляє BTC та подає ідентифікатор транзакції для зняття та останній хеш блоку. Викликачі проводять перевірку поза ланцюгом та на ланцюзі, у разі відсутності викликів, оператор отримує кошти. Викликачі також можуть висувати виклики, після виклику випадковим чином обираються валідатори, які можуть виконувати інтерактивну верифікацію через скрипт Біткойна. Період виклику скорочується до приблизно 1 дня (близько 144 блоків btc), що скорочує час, необхідний для остаточності. Крім того, він використовує децентралізованих послідовників, оператори заставляють BTC для участі; економічна модель L2 включає в себе витрати на газ тощо, що генерують рідний BTC дохід.
Нижче детально розглянуто ZK Rollup для реального часу, спочатку поговоримо про технологію Rollup. Мережа GOAT об'єднує кілька транзакцій L2 в пакети (Batch), виконує їх поза ланцюгом, генеруючи ZK доказ, який буде перевірено через основну ланцюг Біткойн (на етапах підтвердження/спростування BitVM2 тощо). Перевага ZK доказу полягає в тому, що немає необхідності завантажувати всі деталі транзакції; крім того, на відміну від zksync або Starknet на Ethereum, Goat використовує рідні механізми, такі як скрипти Taproot Біткойн для закріплення оновлень стану, що дозволяє уникнути залежності від зовнішніх мостів або механізмів мультипідпису.
Отже, після простого ознайомлення з технологією Zk Rollup, давайте розглянемо механізм реальних доказів. Згідно з документацією мережі GOAT, генерація реальних доказів здійснюється за допомогою двигуна zkMIPS, через архітектуру конвеєра паралельного доказу + розподілену мережу доказувачів GPU для швидкої генерації доказів. По-перше, це генерація доказів блоків, яка використовує фрагментацію виконавчої траєкторії та паралельні доказові технології для перевірки правильності перетворення стану Rollup; по-друге, агрегація доказів, яка рекурсивно стискає кілька доказів блоків; нарешті, SNARK-докази (Groth16), які стискаються до малого обсягу доказів, що можуть бути перевірені на BitVM2.
Щоб реалізувати реальний доказ, вище наведене генерування доказів не обробляється в одноразовому режимі, а використовує механізм паралльної обробки (Pipelined), який в основному залежить від технології zkVM «Ziren» від ZKM, а також прискорення за допомогою GPU і розподіленої мережі доказувачів. Згідно з поточними даними з офіційного сайту їх тестової мережі, блоковий доказ займає в середньому близько 2,6 секунд, агрегаційний доказ в середньому 2,7 секунд, а SNARK-доказ приблизно 10,38 секунд. Користувачі можуть в режимі реального часу переглядати повний процес генерування ZK-доказів для кожного виведення через фронтенд.
Якщо ZK-доказ може бути завершено менш ніж за 1 хвилину, це означає, що швидкість виведення коштів для користувачів значно прискориться. Раніше деякі виведення монет Біткойн з L2-мережі потребували кілька годин для ініціювання, але з появою швидкого доказу користувачі зможуть ініціювати виведення після генерації доказу, тобто приблизно менш ніж за 1 хвилину. Звичайно, остаточний час зарахування коштів для користувачів все ще залежатиме від транзакцій на основній мережі Біткойн. Але в аспекті виведення вже немає необхідності чекати, тобто виведення коштів фактично наближається до часу досвіду ініціювання транзакції на ланцюгу Біткойн.
Окрім виведення коштів, реальний доказ також сприятиме розробникам створювати високочастотні L2 додатки, крім того, сумісність з EVM також може залучити розробників з екосистеми Ethereum; для операторів немає потреби чекати масового видачі свідоцтв, що також підвищує ефективність використання коштів. Технологія ZK є відносно складною, а довгострокова безпека також потребує певного часу для підтвердження. Проте реалізація реального доказу є важливим прогресом у технічній інфраструктурі для Біткойн L2. Звичайно, наразі Біткойн L2 ще має пройти довгий шлях, окрім створення технічної інфраструктури, також потрібно докласти більше зусиль для виявлення потреб користувачів та сприяння розробникам у створенні додатків Біткойн L2, адже в кінцевому підсумку, коли екосистема Біткойн L2 зросте, буде достатньо комісій за транзакції для реалізації зростання. Однією з відносно чітких потреб є те, що багато власників BTC також хочуть отримувати прибуток, про що свідчить кількість BTC на Ethereum (такі як wbtc тощо), яка наразі перевищує 150 тисяч BTC, вартістю понад 150 мільярдів доларів. Якщо вдасться реалізувати безпеку на основі рідної ланцюга BTC, тоді більше власників BTC будуть готові спробувати отримати прибуток через BTCFI.