У нещодавно важливу віху в екосистемі біткойн компанія Zulu оголосила про впровадження першої верифікації zk-SNARK (ZKP) за допомогою сценарію біткойн. Ознайомтеся з основним алгоритмом Groth16/FFlonk і надішліть код у репозиторій BitVM.
Реалізовано Bitcoin Script для ZKP, що означає, що мережа Bitcoin може перевіряти рівень 2. Це справжній рівень 2, який успадкує безпеку мережі Bitcoin і захист від механізму Bitcoin POW. Це має бути найбезпечніша мережа в блокчейні.
Впровадження ZKP є особливо складним через програмні обмеження мережі Bitcoin. Більшість існуючих біткойн L2 насправді не є L2 у справжньому сенсі, оскільки їхній статус у ланцюзі не можна безпосередньо перевірити в мережі біткойн. Зараз вони створюють доказ zk і публікують його в мережі Bitcoin. Однак цей доказ перевіряється не мережею Bitcoin, а роллю їхньої власної мережі, що призводить до того, що статус l2 у ланцюзі відокремлюється від мережі Bitcoin.
Це явно відрізняється від рівня 2 Ethereum. Незалежно від того, чи це zk-rollup, чи op-rollup, дані будуть запаковані та надіслані в основну мережу Ethereum для перевірки. Найбільша перевага рівня 2 Ethereum порівняно з іншими публічними мережами полягає в тому, що Ethereum забезпечує безпеку рівня 2.
Найбільшою перевагою переходу на рівень 2 із перевіркою мережі Bitcoin є успадкування безпеки мережі Bitcoin. Безпека мережі Bitcoin, очевидно, краща, ніж у Ethereum. Тепер є два способи справді успадкувати його безпеку. Одна представлена компанією babylon, яка заставляє рідні BTC, формує мережу POS для управління та карає винних. Коли вартість заставлених BTC є відносно великою, ціна зла дуже висока, що забезпечує безпеку. Однак передумовою цього методу є те, що спочатку закладається велика кількість BTC.
По-друге, це використання власної мережі Bitcoin POW. Як перша та найвища ринкова мережа, BTC працює безпечно протягом 14 років і має найвищу обчислювальну потужність у всій мережі. Тому важливою частиною успадкування безпеки мережі біткойн є те, що біткойн може здійснювати перевірку. Це важливість Zulu та ZKP цього разу. Останній раз, коли я звернув увагу на мережу Zulu, це була її перша двошарова архітектура біткоіни. Ця перевірка zk-SNARK (ZKP) дала мені зрозуміти, що технічна сила Zulu дуже потужна.
Важливість zk-SNARK
SNARK (короткий неінтерактивний аргумент знань) — це стислий неінтерактивний аргумент знань, його суть полягає в створенні системи доказів за допомогою математичних алгоритмів, що дозволяє верифікатору перевірити правильність даних, не знаючи вихідних даних. Ми знаємо, що Ethereum Layer 2 тепер має zk-rollup і op-rollup. У той час як op-rollup вважається лише проміжним перехідним періодом, zk-rollup є остаточною формою. Оскільки zk-rollup використовує алгоритм zk для пакетного пакетування транзакцій і створення сертифікатів SNARK для надсилання в основну мережу, а основна мережа перевіряє всі транзакції в пакеті. zk-SNARK може ефективно захищати конфіденційність і має сильну масштабованість. Бутерін оцінює його як головний пріоритет у наступні 10 років.
BitVM
Тут слід представити BitVM. До BitVM мова програмування сценаріїв Bitcoin не вважалася повною за Тьюрингом. Незважаючи на зусилля великої кількості людей, вирішити цю проблему не вдається. Поки Робін Лінус не випустив сенсаційну BitVM у жовтні минулого року, метод Робіна полягав у перевірці спеціального типу логічного шлюза на сценарії біткойн, який називається NAND-шлюзом ("NAND" gate). Це один із основних принципів обчислень , що знаходиться на фізичному/електричному рівні. Усі можливі обчислення можна побудувати з вентилів NAND.
Нещодавно Робін запропонував план розробки BitVM 2. Замість безпосереднього використання сценаріїв шлюзів NAND вони використовуються для використання загального верифікатора SNARK з нульовим знанням.
Важливість BitVM полягає в тому, що її можна перевірити за допомогою мережі Bitcoin без оновлення, розгалуження чи створення будь-якого додаткового тягаря для Bitcoin. Рівень 2 виконує інші відповідальні обчислення та успадковує безпеку основної мережі. Через величезне значення BitVM багато рівнів 2 побудовано на основі BitVM. Наприклад, Bitlayer використовує BitVM як основний компонент і використовує технологію багаторівневої віртуальної машини (Layered Virtual Machine) як рішення другого рівня.
У Zulu Network BitVM також є дуже важливою присутністю. Zulu також є дуже важливим учасником BitVM. Можна сказати, що використання сценаріїв Bitcoin для реалізації перевірки zk-SNARK є основним кроком для BitVM. Zulu зробив великий внесок в офіційне сховище коду BitVM 2 GitHub і отримав високу оцінку Робіна Луїса, винахідника BitVM.
Минулого тижня Zulu завершив нарізку сценарію Groth16. З 2 загальнодоступними входами розділено загалом 1701 індекс, розмір менше 4 МБ, а глибина стеку — <1000. Завершення сегментації сценарію ZKP є ще однією віхою на шляху BitVM до комерційного використання. Завдяки чудовій роботі Zulu BitVM2 незабаром зможе реалізувати перше доказ SNARK на біткойнах. Це також показує, що технологія Zulu також займає лідируючу позицію.
Примітка до зображення: технологічний прогрес Zulu високо оцінив винахідник BitVM Робін Луїс
Нарешті, короткий вступ до Zulu Network
Мережа Zulu — це перша дворівнева мережа в екосистемі біткойн, а її рівень 2 — сумісний з EVM ZuluPrime. Проекти EVM можна розгортати швидко та з невеликими витратами для досягнення екологічного процвітання. Інший рівень — Layer3, який називається ZuluNexus. Він інноваційно об’єднує UTXO та типи активів облікового запису, а також реалізує інновації смарт-контрактів на основі моделі UTXO. Це означає, що він може максимізувати переваги UTXO та підтримувати майбутні інновації в UTXO. Zulu розробляє два продукти:
Міст Zulu, який може перевірити статус поза мережею через ZKP для підтримки випуску активів
Перший децентралізований міст ZK, який надає користувачам крос-ланцюгові операції будь-якої кількості
Zulu ще не випустив монети. Ті, хто хоче взяти участь раніше, можуть взяти участь у поточній події Testnet Points. Перегляньте офіційну документацію, щоб дізнатися більше: https://www.yuque.com/zulunetworkzhongwenshequn/zvggg8/kr9epkg0v27rh860?singleDoc#
