zkMIPS є першою віртуальною машиною zkVM, яка базується на наборі інструкцій MIPS, поєднуючи зрілу екосистему MIPS та інфраструктуру ZKP ZKM, що значно прискорює швидке впровадження zkVM.
Слова: Стівен Д
!
Другий шар мережі Bitcoin - це технічне рішення, спрямоване на прискорення транзакцій з Bitcoin. Частина транзакцій переноситься з основного ланцюжка Bitcoin на побічний для зменшення навантаження на основний ланцюжок, підвищення швидкості обробки транзакцій та зниження вартості транзакцій. Популярні технічні рішення другого рівня включають мережу Lightning, канали стану та дуже популярний комбінований міст zkRollup з BitVM2.
Складна ситуація з рішенням zkRollup другого рівня Bitcoin
Безпека: Безпека - це фактор, який найбільше турбує власника біткоїна. Безпека вимагає розгляду мережевої узгодженості, активності та самовідновлення. Узгодженість, тобто безпека консенсусу, визначає незмінність загального рахунку мережі, активність визначає доступність всієї мережі, самовідновлення визначає можливість мережі швидко відновитися від атаки або винятку. Для досягнення безпеки BTC в zkRollup необхідно, щоб zkRollup міг повністю зобов'язатися до транзакцій другого рівня, і це зобов'язання може бути прямо перевірене майнерами біткоїна. Але складність полягає в тому, що наразі скрипт BTC складно реалізувати Covenant. Останнім часом з'явилися деякі перспективні рішення, включаючи BitVM2, функціональне шифрування та нове рішення ColliderScript. Друге важливе питання - це підтримка активності та самовідновлення самої мережі другого рівня. Зараз багато zkRollup стикається з проблемою централізованого Sequencer, що призводить до того, що сама ланцюжок Rollup досить централізована, відсутні достатні стимули для залучення інших гравців, утворюючи зловісний цикл.
Програмованість: Програмованість є базовою інфраструктурою BTCFi. Як найбільший за ринковою вартістю актив у екосистемі блокчейну, Біткойн традиційно розглядається як засіб зберігання вартості, але він виявляється відносно обмеженим у практичному застосуванні та генерації доходів. Ці обмеження в основному випливають з масштабованості мережі Біткойн та вроджених обмежень скриптової мови, що робить його важким для підтримки складних децентралізованих фінансових (DeFi) застосувань. Для власників Біткойну, які хочуть отримувати дохід від свого утримання BTC, традиційно їм доводиться вибирати між зберіганням активів на централізованій біржі або використанням сервісів міжоблікового моста для конвертації в упаковані токени (наприклад, WBTC). Однак ці методи призводять до додаткових ризиків, таких як ризики довіри, пов'язані з централізованою платформою, які суперечать децентралізованій природі Біткойну. Важливість впровадження EVM стає очевидною, розглядаючи багаті протоколи та екосистему ETH у сфері DeFi.
GOAT Network：заснований на zkMIPS втілення EVM сумісної з Bitcoin двошарової мережі
GOAT Network — це перший оптимістичний протокол виклику, який реалізує покращення безпеки на Bitcoin Layer 2 на основі zkMIPS, BitVM2 та децентралізованого секвенсера, досягаючи 100% сумісності з EVM, вимагаючи лише 1 з n припущень для досягнення безпеки мережі Bitcoin. GOAT Network має такі основні моменти:
По-справжньому децентралізований: Завдяки новаторському інклюзивному децентралізованому протоколу Sequencer усі крос-чейн повідомлення, включаючи прив'язку, прив'язку та зведення станів рівня 2, можуть досягти консенсусу щодо Bitcoin та GOAT Network. Це повністю позбавляє від залежності від єдиного централізованого суб'єкта, забезпечуючи справжню децентралізацію. У той же час дане нововведення значно спрощує настройки довіри протоколу BitVM2, забезпечуючи при цьому той же рівень безпеки.
Без необхідності відгалуження, можна повністю перевірити біткоїн: мережа GOAT використовує децентралізованого послідовника та протокол BitVM2, щоб зробити протокол BitVM2 практичним, безпосередньо перевіряти докази за допомогою біткоїн-скриптів та успадковувати первинну безпеку біткоїну. Як базова інфраструктура масштабування GOAT, zkMIPS не лише може забезпечити 100% сумісність з EVM, але й суттєво прискорити процес генерації та перевірки доказів, надаючи мережі GOAT небачену екологічну розширювальну здатність.
Подвійний механізм покарання для забезпечення безпеки: мережа GOAT першою впровадила в Layer 2 мережі біткойн механізм «подвійного покарання». Цей механізм поєднує в собі власний механізм покарання на рівні підтвердження біткойн та механізм покарання на рівні консенсусу GOAT, що ефективно знижує ймовірність нечесної поведінки в протоколі GOAT Rollup. Цей механізм спеціально спрямований на потенційні ризики подвійного підпису, відключення вузлів та незаконні атаки на витрати вузла послідовності тощо, що повністю підвищує безпеку та надійність мережі.
Ця технологічна інновація знаменує собою нову еру децентралізації для мережі рівня 2 Bitcoin, встановлюючи новий галузевий стандарт для майбутнього технології блокчейн.
При поєднанні zkMIPS з BitVM2, zkMIPS оптимізує швидкість доведення Groth16, а також значно оптимізує етап перевірки, включаючи суттєве зниження складності обчислення петлі Міллера для біткоїнового скрипта за допомогою прийомів Hints, здійснення зобов'язання для сегментування верифікаторського ланцюжка, стиснення відкритих даних zkVM та забезпечення, що відкриті дані знаходяться на тій же гілці, що й суперблок, за допомогою децентралізованого послідовника, що до певної міри спрощує складність оптимістичного виклику процесу BitVM2.
zkMIPS: Перша zkVM на основі набору інструкцій MIPS
zkMIPS - перша віртуальна машина zk, заснована на наборі команд MIPS, який є досить зрілим і включає в себе такі переваги:
Інструкції MIPS32R2 є більш розширеними порівняно з RISCV32IM, серія інструкцій J/JAL має довжину стрибка до 256MiB, що дозволяє легко реалізувати стрибки в умовах статичного зв'язування. MIPS32r2 має розширені операції з бітами, ці інструкції відсутні в RISCV32IM і потребують використання B-розширення, MIPS32r2 має умовний вибір інструкцій MOVN/MOVZ, які в багатьох випадках можуть замінити інструкції стрибків, що покращує продуктивність та зменшує кількість інструкцій. MIPS32r2 має інструкції цілочисельного множення та додавання, що покращують продуктивність та зменшують кількість інструкцій. MIPS32r2 має інструкції розширення знаків SEH, SEB, які дозволяють легко розширювати знаки для даних типів char та short.
Всі команди у MIPS32r2, як цілісний блок, вже більше 20 років широко використовуються і не мають проблем з взаємодією між модулями; також не виникає турбулентності через авторські права. Як набір команд для розширення, а не цілісна реалізація, можуть виникати проблеми взаємодії між розширеннями. Деякі комбінації розширень можуть мати проблеми з неповнотою або надто великістю. Документація з команд MIPS також має більш докладний опис поведінки команд. В області блокчейну MIPS вже успішно застосовується у підтвердженні шахрайства в Optimism, що базується на реалізації MIPS VM.
zkMIPS має повний функціонал. Розробники можуть довести, що будь-яку програму можна написати за допомогою широко використовуваних високорівневих мов, таких як Rust, Golang і т.д. zkMIPS надає низку простих у використанні наборів інструментів для розробки, включаючи ZKM Playground, ZKM-Project-Template та ZKM Proof Network, що допомагає проектам та розробникам побудувати свої ZKP-продукти з дуже низьким порогом.
zkMIPS допомагає розробникам забезпечити безпеку логіки схеми. Розробники можуть реалізовувати довільні програми на мові, якою вони найбільш знайомі, і звільняються від аудиту схем доказу з нульовим розголошенням. На відміну від традиційної розробки ZKP, zkMIPS суворо дотримується набору інструкцій MIPS32r2, і якщо розробник вже переглянув бізнес-логіку програми, аудит схемотехніки не потрібен.
ZKM надає мережу доведення, яка допомагає розробникам та проектам швидко генерувати докази, підтримує горизонтальне масштабування, що дійсно дозволяє генерувати докази в реальному часі. Це дозволяє розробникам та проектам ефективно будувати їх децентралізовані додатки Web3. Крім того, zkMIPS підтримує різноманітні надзвичайно швидкі схеми прискорення доведення, такі як Precompiles.
zkMIPS має провідні в галузі випадки використання, які підтримують декілька інноваційних випадків використання, включаючи біткойн L2 GOAT Network та гібридний розвиток Metis. Також широко застосовується в галузі zkVM технології, сприяючи впровадженню zkLLM, zkIdentity та інших галузей.
zkMIPS являє собою першу віртуальну машину zkVM, побудовану на основі набору команд MIPS, яка разом з відомою екосистемою MIPS та інфраструктурою ZKP від ZKM значно прискорює впровадження zkVM.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
zkMIPS Біткойн другого рівня GOAT Network в мережі
Слова: Стівен Д
!
Другий шар мережі Bitcoin - це технічне рішення, спрямоване на прискорення транзакцій з Bitcoin. Частина транзакцій переноситься з основного ланцюжка Bitcoin на побічний для зменшення навантаження на основний ланцюжок, підвищення швидкості обробки транзакцій та зниження вартості транзакцій. Популярні технічні рішення другого рівня включають мережу Lightning, канали стану та дуже популярний комбінований міст zkRollup з BitVM2.
Складна ситуація з рішенням zkRollup другого рівня Bitcoin
Безпека: Безпека - це фактор, який найбільше турбує власника біткоїна. Безпека вимагає розгляду мережевої узгодженості, активності та самовідновлення. Узгодженість, тобто безпека консенсусу, визначає незмінність загального рахунку мережі, активність визначає доступність всієї мережі, самовідновлення визначає можливість мережі швидко відновитися від атаки або винятку. Для досягнення безпеки BTC в zkRollup необхідно, щоб zkRollup міг повністю зобов'язатися до транзакцій другого рівня, і це зобов'язання може бути прямо перевірене майнерами біткоїна. Але складність полягає в тому, що наразі скрипт BTC складно реалізувати Covenant. Останнім часом з'явилися деякі перспективні рішення, включаючи BitVM2, функціональне шифрування та нове рішення ColliderScript. Друге важливе питання - це підтримка активності та самовідновлення самої мережі другого рівня. Зараз багато zkRollup стикається з проблемою централізованого Sequencer, що призводить до того, що сама ланцюжок Rollup досить централізована, відсутні достатні стимули для залучення інших гравців, утворюючи зловісний цикл.
Програмованість: Програмованість є базовою інфраструктурою BTCFi. Як найбільший за ринковою вартістю актив у екосистемі блокчейну, Біткойн традиційно розглядається як засіб зберігання вартості, але він виявляється відносно обмеженим у практичному застосуванні та генерації доходів. Ці обмеження в основному випливають з масштабованості мережі Біткойн та вроджених обмежень скриптової мови, що робить його важким для підтримки складних децентралізованих фінансових (DeFi) застосувань. Для власників Біткойну, які хочуть отримувати дохід від свого утримання BTC, традиційно їм доводиться вибирати між зберіганням активів на централізованій біржі або використанням сервісів міжоблікового моста для конвертації в упаковані токени (наприклад, WBTC). Однак ці методи призводять до додаткових ризиків, таких як ризики довіри, пов'язані з централізованою платформою, які суперечать децентралізованій природі Біткойну. Важливість впровадження EVM стає очевидною, розглядаючи багаті протоколи та екосистему ETH у сфері DeFi.
GOAT Network：заснований на zkMIPS втілення EVM сумісної з Bitcoin двошарової мережі
GOAT Network — це перший оптимістичний протокол виклику, який реалізує покращення безпеки на Bitcoin Layer 2 на основі zkMIPS, BitVM2 та децентралізованого секвенсера, досягаючи 100% сумісності з EVM, вимагаючи лише 1 з n припущень для досягнення безпеки мережі Bitcoin. GOAT Network має такі основні моменти:
По-справжньому децентралізований: Завдяки новаторському інклюзивному децентралізованому протоколу Sequencer усі крос-чейн повідомлення, включаючи прив'язку, прив'язку та зведення станів рівня 2, можуть досягти консенсусу щодо Bitcoin та GOAT Network. Це повністю позбавляє від залежності від єдиного централізованого суб'єкта, забезпечуючи справжню децентралізацію. У той же час дане нововведення значно спрощує настройки довіри протоколу BitVM2, забезпечуючи при цьому той же рівень безпеки.
Без необхідності відгалуження, можна повністю перевірити біткоїн: мережа GOAT використовує децентралізованого послідовника та протокол BitVM2, щоб зробити протокол BitVM2 практичним, безпосередньо перевіряти докази за допомогою біткоїн-скриптів та успадковувати первинну безпеку біткоїну. Як базова інфраструктура масштабування GOAT, zkMIPS не лише може забезпечити 100% сумісність з EVM, але й суттєво прискорити процес генерації та перевірки доказів, надаючи мережі GOAT небачену екологічну розширювальну здатність.
Подвійний механізм покарання для забезпечення безпеки: мережа GOAT першою впровадила в Layer 2 мережі біткойн механізм «подвійного покарання». Цей механізм поєднує в собі власний механізм покарання на рівні підтвердження біткойн та механізм покарання на рівні консенсусу GOAT, що ефективно знижує ймовірність нечесної поведінки в протоколі GOAT Rollup. Цей механізм спеціально спрямований на потенційні ризики подвійного підпису, відключення вузлів та незаконні атаки на витрати вузла послідовності тощо, що повністю підвищує безпеку та надійність мережі.
Ця технологічна інновація знаменує собою нову еру децентралізації для мережі рівня 2 Bitcoin, встановлюючи новий галузевий стандарт для майбутнього технології блокчейн.
При поєднанні zkMIPS з BitVM2, zkMIPS оптимізує швидкість доведення Groth16, а також значно оптимізує етап перевірки, включаючи суттєве зниження складності обчислення петлі Міллера для біткоїнового скрипта за допомогою прийомів Hints, здійснення зобов'язання для сегментування верифікаторського ланцюжка, стиснення відкритих даних zkVM та забезпечення, що відкриті дані знаходяться на тій же гілці, що й суперблок, за допомогою децентралізованого послідовника, що до певної міри спрощує складність оптимістичного виклику процесу BitVM2.
zkMIPS: Перша zkVM на основі набору інструкцій MIPS
zkMIPS - перша віртуальна машина zk, заснована на наборі команд MIPS, який є досить зрілим і включає в себе такі переваги:
zkMIPS має повний функціонал. Розробники можуть довести, що будь-яку програму можна написати за допомогою широко використовуваних високорівневих мов, таких як Rust, Golang і т.д. zkMIPS надає низку простих у використанні наборів інструментів для розробки, включаючи ZKM Playground, ZKM-Project-Template та ZKM Proof Network, що допомагає проектам та розробникам побудувати свої ZKP-продукти з дуже низьким порогом.
zkMIPS допомагає розробникам забезпечити безпеку логіки схеми. Розробники можуть реалізовувати довільні програми на мові, якою вони найбільш знайомі, і звільняються від аудиту схем доказу з нульовим розголошенням. На відміну від традиційної розробки ZKP, zkMIPS суворо дотримується набору інструкцій MIPS32r2, і якщо розробник вже переглянув бізнес-логіку програми, аудит схемотехніки не потрібен.
ZKM надає мережу доведення, яка допомагає розробникам та проектам швидко генерувати докази, підтримує горизонтальне масштабування, що дійсно дозволяє генерувати докази в реальному часі. Це дозволяє розробникам та проектам ефективно будувати їх децентралізовані додатки Web3. Крім того, zkMIPS підтримує різноманітні надзвичайно швидкі схеми прискорення доведення, такі як Precompiles.
zkMIPS має провідні в галузі випадки використання, які підтримують декілька інноваційних випадків використання, включаючи біткойн L2 GOAT Network та гібридний розвиток Metis. Також широко застосовується в галузі zkVM технології, сприяючи впровадженню zkLLM, zkIdentity та інших галузей.
zkMIPS являє собою першу віртуальну машину zkVM, побудовану на основі набору команд MIPS, яка разом з відомою екосистемою MIPS та інфраструктурою ZKP від ZKM значно прискорює впровадження zkVM.