Віртуальна машина – це комп'ютерна система, що емулюється програмним забезпеченням, яка забезпечує середовище виконання програми. Він може емулювати різноманітні апаратні пристрої, щоб дозволити програмам працювати в контрольованому та сумісному середовищі.
Віртуальна машина Ethereum (EVM) — це віртуальна машина на основі стека, яка виконує смарт-контракти Ethereum; zkEVM оптимізує ефективність генерації zk-proof щодо еквівалентності/сумісності EVM.
zkVM відкидає еквівалентність/сумісність EVM і збільшує пріоритет дружності до zk.
privacyzkVM накладає вбудовані функції конфіденційності на zkVM;
SVM, FuelVM і MoveVM мають спільну рису в прагненні до максимальної продуктивності за рахунок паралельного виконання, але вони мають свої особливості в деталях дизайну.
ESCVM і BitVM провели кілька інноваційних експериментів на обчислювальному рівні на ланцюжках ETH і BTC відповідно, але попит на реальну реалізацію в поточних умовах низький.
Величезна користувацька екосистема EVM визначає, що будь-якій блокчейн-мережі, яка відмовиться від неї, буде важко конкурувати з нею в короткостроковій перспективі, тому екосистема, яка не є EVM, знайомить користувачів екосистеми EVM через транспілятори/компілятори/інтерпретатори байт-коду та навіть рівні сумісності з віртуальними машинами, і використовує функції віртуальних машин, що не належать до EVM, для створення нового екологічного наративу або необхідного шляху до успіху.
**1.1 Що таке віртуальна машина? **
Віртуальна машина (ВМ) - це будівельний блок віртуалізованих обчислювальних ресурсів, який виконує практично ті ж функції, що і комп'ютер, включаючи запуск додатків і операційних систем. Концепція віртуальних машин не нова, і технологія широко використовується в багатьох технологічних екосистемах.
У контексті блокчейну віртуальна машина (VM) — це частина програмного забезпечення, яка запускає програми, які часто називають середовищем виконання, яке виконує смарт-контракти блокчейну. Віртуальні машини зазвичай забезпечують віртуальне комп'ютерне середовище, емулюючи різні апаратні пристрої. Різні віртуальні машини можуть емулювати різні апаратні пристрої, але зазвичай включають процесор, пам'ять, жорсткі диски, мережеві інтерфейси тощо. Коли надсилається ончейн-транзакція, віртуальна машина відповідає за обробку транзакції та оновлення стану блокчейну (поточного глобального стану всієї мережі), на який впливає виконання цієї транзакції. Конкретні правила, що змінюють стан мережі, визначаються віртуальною машиною. Під час обробки транзакції віртуальна машина перетворює код смарт-контракту у формат, який може бути виконаний апаратним забезпеченням вузла/валідатора.
Найважливішим ядром у віртуальній машині є LLVM (low-level-virtual-machine), яке можна вважати найважливішим ядром компілятора. На малюнку показана схема роботи оригінального EVM, а смарт-контракт перетворюється в байт-код через проміжний код LLVM IR. Ці байт-коди зберігаються в блокчейні, і коли викликається смарт-контракт, байт-код перетворюється на відповідний код операції, який потім виконується апаратним забезпеченням EVM і вузлом.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/b3da87c9e06d747a77eba26a9dbd96e9.)
1.2 Основні віртуальні машини
1.2.1 EVM - Блокчейн віртуальна машина має один камінь, EVM - вісім відер, а решта розділена на два відра
Представницькі проекти: Optimism, Arbitrum
Як блокчейн-екосистема з найвищою активністю розробників і користувачів у галузі, віртуальна машина Ethereum EVM — це віртуальна машина на основі стека, яка забезпечує середовище віртуального комп'ютера, емулюючи апаратні пристрої, такі як центральний процесор, пам'ять, пам'ять і стеки, щоб виконувати інструкції смарт-контрактів і зберігати стан і дані смарт-контрактів. Набір інструкцій EVM включає різні коди операцій з кодом операції, такі як арифметичні операції, логічні операції, операції зберігання, операції переходу тощо.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/5697bec2651732ec30d01cdb82f404c2.)
Пам'ять і пам'ять, емульовані EVM, є пристроями, які використовуються для зберігання стану та даних смарт-контракту. EVM розглядає пам'ять і пам'ять як дві різні області, які можуть отримати доступ до стану та даних смарт-контракту шляхом читання та запису в пам'ять і пам'ять.
Стек симуляцій EVM використовується для зберігання операндів та результатів інструкцій. Більшість інструкцій у наборі команд EVM засновані на стеку, вони зчитують операнди зі стека та надсилають результати назад у стек.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/3868c7284468389a35dd1c4f01a906ae.)
Очевидно, що процес проектування EVM відбувається знизу вгору, спочатку доопрацьовуючи змодельоване апаратне середовище (стек, пам'ять), а потім проектуючи власний набір наборів інструкцій для складання (Opcode) і байт-коду (Bytecode) відповідно до відповідного середовища. Спільнота Ethereum розробила дві скомпільовані мови високого рівня - Solidity і Vyper - для ефективності виконання EVM. Зайве говорити, що Vyper — це високорівнева мова EVM Віталіка, розроблена для усунення деяких недоліків Solidity, але вона не отримала великого поширення в спільноті, тому поступово канула в невідомість.
1.2.2zkEVM - Я хочу все: сумісність із середовищем EVM + підтримка глобального перетворення коренів стану для створення zk-proof
Оскільки EVM не побудований з урахуванням zk-proof-обчислень, він не є дружнім до схем доказу, особливо з точки зору спеціальних кодів операцій, архітектури на основі стека, накладних витрат на зберігання та доказу. zkEVM — це віртуальна машина, яка виконує смарт-контракти у спосіб, сумісний із zk-proof-proof-обчисленнями, щоб процес виконання EVM можна було перевірити ефективніше та економічно вигідніше за допомогою zk-proof/validity-proof. У порівнянні з OPRollup, виконавчому шару потрібно лише скопіювати EVM, а створення ZK-дружнього EVM є додатковим викликом для ZK Rollup.
ZK-rollups нелегко сумісні з віртуальною машиною Ethereum (EVM). Доведення обчислень EVM загального призначення в схемі є складнішим і ресурсомістким, ніж доведення простого обчислення, такого як передача токена, описана раніше.
Однак прогрес у технології з нульовим розголошенням(Opens in a new tab) відновив інтерес до обгортання обчислень EVM у докази з нульовим розголошенням. Ці зусилля спрямовані на створення реалізації EVM з нульовим розголошенням (zkEVM), яка може ефективно перевіряти правильність виконання програми.
Як і EVM, zkEVM переходить між станами після виконання обчислень на певних входах. Різниця полягає в тому, що zkEVM також створює докази з нульовим розголошенням, щоб перевірити правильність кожного кроку у виконанні програми. Докази валідності можуть перевірити правильність операцій, пов'язаних зі станом віртуальної машини (пам'ять, стек, сховище) і самим обчисленням (тобто, чи викликала операція правильні коди операцій і чи правильно їх виконала?). ）。
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/e4db398cf7cd926f3d6ce5de03b860de.)
В даний час Rollup важко досягти дружньої до ZK і сумісності з EVM (або навіть еквівалентної), тобто або максимально повно відтворити рівень виконання Ethereum L1, включаючи хеші, дерева станів, дерева транзакцій, попередню компіляцію і т.д., щоб клієнт виконання Ethereum L1 міг використовувати його в тому вигляді, в якому він є, для обробки блоків Rollup; Або відмовтеся від сумісності з EVM і відтворіть існуючий код операції для доказу/перевірки в схемі, що дозволить виконувати смарт-контракти.
1.2.3zkVM - Ви не можете мати його в обох напрямках: віртуальні машини з захистом від zk-proof, орієнтовані на ефективність, без evm
Представницькі проекти: Starknet, Zksync, RISC ZERO
Замість сумісності з EVM, zkVM знайшов спільний дільник між криптографією та мовами високого рівня, основними цілями якого є докази даних та оновлення стану, забезпечуючи загальну основу для широкого спектру додатків.
Starkware має певне технологічне лідерство завдяки ранньому старту у всій сфері ZK та відносно достатньому накопиченню технологій. Він є репрезентативною технічною архітектурою, орієнтованою на ZK, навколо якої будується Cairo VM і Cairo language. Недоліком є те, що в Каїрі дорожче вчитися.
Фреймворк ZKsync сумісний як з EVM, так і з ZK, і інтегрує Solidity з власноруч розробленою мовою схем Zinc, об'єднуючи їх на рівні ІЧ в компіляторі. Перевага полягає в тому, що LLVM ядра компілятора сумісний з декількома мовами.
RISC Zero використовує архітектуру RISC-V для створення симуляторів, які дозволяють програмістам писати програми для zkVM на мовах загального призначення, таких як Rust, C/C++ і Go, що означає, що логіка програми не повинна обмежуватися тим, що може бути виражено в Solidity, дозволяючи писати незалежний від ланцюга код.
1.2.4Конфіденційність zkVM - zk friendly + вбудована підтримка конфіденційності намагається запалити нову іскру в екосистемі
Представницькі проекти: Aleo, Ola, PolygonMiden
Блокчейн — це система публічного реєстру, де всі транзакції здійснюються ончейн, що означає, що зміни стану, що містять інформацію про активи, пов'язані з адресами чи рахунками, є відкритими та прозорими. В результаті, крім роботи над рішеннями для масштабування, деякі блокчейн-команди вважають, що наступною ключовою функцією, яку потрібно впровадити, є конфіденційність.
На додаток до дружньої до zk підтримки масштабування, PrivacyzkVM дозволяє розробникам додатків верхнього рівня відкривати dapps, пов'язані з конфіденційністю, завдяки функціям конфіденційності, які за замовчуванням підтримуються власною мовою програмування, що принесе нові сценарії додатків і грандіозні наративи, такі як повне вирішення проблеми MEV і забезпечення права власності на дані користувача. Звичайно, складність дизайну PrivacyzkVM вимагає набагато більшої технічної команди для реалізації, а на її реалізацію може піти кілька років.
1.2.5SVM - Після припливу все ще залишаються вуглинки: середовище виконання, яке було розроблено з максимальною продуктивністю
SVM, або Solana Virtual Machine, фокусується на високопродуктивному середовищі виконання, а смарт-контракти в основному пишуться на Rust. На відміну від однопотокових обчислювальних середовищ виконання EVM і EOSWASM, SVM дозволяє транзакції, що не перетинаються, і одночасне виконання транзакцій, які зчитують лише один і той самий стан, вимагаючи, щоб транзакції Solana описували всі стани, які будуть прочитані або записані в них під час виконання.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/7224c8325f628b476cc8a58648118a12.)
Крім того, для швидкої перевірки/трансляції великої кількості блоків транзакцій у процесі перевірки транзакцій у мережі Solana широко використовуються оптимізації конвеєрів, які поширені при проектуванні процесорів. Щоб впоратися з ситуацією, коли ряд кроків обробляє вхідний потік даних, і кожен крок має різну апаратну відповідальність. Типовою аналогією є прально-сушильна машини, які послідовно перуть/сушать/складають кілька партій білизни. Прання необхідно проводити перед сушінням, а складання - перед сушінням, але кожну з цих трьох операцій виконує окремий агрегат.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/4a6afec0f411e515b6b7acd0ca7f7986.)
Крім того, SVM засновані на регістрах і мають набагато менший набір інструкцій, ніж EVM, що полегшує перевірку виконання SVM у ZK. Для оптимістичних зведень дизайни на основі реєстрів полегшують встановлення контрольних точок.
1.2.6FuelVM - Buff Stacked: паралельна віртуальна машина під фреймворком UTXO
Представницький проект: Паливо
Fuel VM заснований на технологіях EVM, Solana, WASM, BTC & Cosmos і має наступні особливості в порівнянні з EVM:
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/893b74b06bf09e594fcaa3facdcab828.)
Найбільш унікальним є те, що Fuel не тільки має можливість виконувати транзакції паралельно з транзакціями, що не перетинаються, встановлюючи списки доступу, такі як SVM, але також використовує модель UTXO, яка поділяється на токен UTXO та контракт UTXO, що ще більше підвищує ефективність доступу та пропускну здатність обчислень.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/597b6194925d676cbc7b16ee50934720.)
Крім того, Fuel VM забезпечує потужний і плавний досвід розробника за допомогою власної мови для конкретної предметної області, Sway, і допоміжного інструментарію Fort, з середовищем розробки, яке зберігає переваги мов смарт-контрактів, таких як Solidity, приймаючи парадигми, введені в екосистему інструментів Rust.
У майбутньому віртуальна машина Fuel також реалізує оновлення мови Sway, включаючи оптимізацію компілятора з точки зору розміру байт-коду, Sway підтримуватиме більше бекендів (бекенди EVM вже в розробці), абстракції будуть більш економічними, більше додатків буде перенесено з Solidity/Vyper на Sway, покращений аналіз повторного входу на рівні компілятора тощо.
1.2.7ESCVM – наступник Ordinal/Smartweave: обчислювальний рівень поверх Ethereum
Репрезентативний проект: Протокол Ethions
ESCVM, або Ethions Virtual Machine, — це схема смарт-контрактів, запропонована Ethions Protocol. Сам протокол Ethions – це протокол, схожий на BTC Ordinal у ланцюжку Ethereum, зосереджений на вивченні недорогих альтернатив смарт-контрактам та L2.
Ethions дозволяє користувачам обходити зберігання та виконання смарт-контрактів за невелику частину вартості та застосовувати calldata у Tx для обчислень за допомогою заздалегідь узгоджених правил протоколу. Простіше кажучи, якщо успішна транзакція Ethereum має calldata, яка відповідає зазначеній дійсній специфікації даних, а унікальна адреса & «to» не дорівнює 0, її можна вважати юридично створеною Ethion, де адреса «від» є творцем, а адреса «кому» є власником.
На початку дизайну кожен Ethion більше схиляється до форми NFT, наприклад, image NFT, і безпосередньо записує вміст зображення в calldata через формат Base64:
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/6a16558230f9a8edcdf93f3c49f3ff18.)
Найпопулярнішим етом останнім часом є Ethion, який був створений з посиланням на специфікацію протоколу BRC-20:
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/32932301680ca546fcdd7ac441b73628.)
Смарт-контракт, представлений ESC VM, відомий як «тупий контракт», рекламується як логічний контракт, але не взаємодіє ончейн у вигляді самого EVM. Крім того, ESC VM також додає спеціальний формат "Computer Command", який буде розпізнаватися ESC VM для взаємодії з тупими контрактами, такими як Deploy - deploy - deploy - deploy - call dumb contract.
У цієї схеми є деякі обмеження, одне з яких полягає в тому, що функція «тупого контракту» не підлягає оплаті, тобто якщо ви хочете відправити ETH через тупий контракт, ви повинні використовувати «мостовий контракт», а сам «мостовий контракт» має ризик зловживання контролем і крадіжки активів; По-друге, в екосистемі існує поріг входу, який не дозволяє довільно створювати тупі контракти, і його код повинен бути визначений через пропозицію управління Ethions Protocol.
Підводячи підсумок, можна сказати, що ESC VM — це обчислювальний рівень, побудований поверх Ethereum L1 як рівень зберігання даних, який реалізується шляхом розміщення логіки контрактів, викликів контрактів, викликів контрактів та іншого вмісту даних у calldata Ethereum tx, а глобальний консенсус стану ESC VM — це консенсус клієнтів ESC VM, який схожий на логіку реалізації SmartWeave Arweave, але рівень зберігання даних SmartWeave — це Arweave.
1.2.8BitVM - Цікавий дослідницький експеримент: однорангові канали виконання на BTC
Представницький проект: ZeroSync
Робін Лінус (Robin Linus), засновник ZeroSync, 9 жовтня випустив офіційний документ «BitVM: Compute Anything On Bitcoin», який є не віртуальною машиною, якщо бути точним, а спробою створити повний обчислювальний простір Тюрінга з контрактами, що зберігаються в ланцюжку Bitcoin, але логіка контракту виконується поза мережею. Якщо ви вважаєте, що інша сторона не виконує зобов'язання, ви можете запустити челендж у ланцюжку, а якщо інша сторона не зможе правильно відповісти, ви можете забрати всі кошти в контракті.
Перевага полягає в тому, що він може надати Bitcoin Turing повноту без будь-яких змін у протоколі Bitcoin, без нових кодів операцій, без софт-форків і готовий до застосування.
Його недоліки також очевидні, один полягає в тому, що він підтримує транзакції лише між двома сторонами (одна доводить, а інша перевіряє), а інша полягає в тому, що створення контракту вимагає створення великої кількості даних і попереднього підписання великої кількості транзакцій, а вартість зберігання інформації поза мережею величезна.
Ось короткий вступ до технічної логіки:
ЗОБОВ'ЯЗАННЯ ЩОДО ВВЕДЕННЯ БАЛІВ
Точкове зобов'язання на вході дозволяє програматору встановити вхідне значення 0 або 1 для логічного вентиля, і в цьому промісі є два хеш-значення H(A0) і H(A1), і програматору потрібно розкрити хеш-попередник, наприклад A0, потім встановити вхідне значення на 0, якщо A1 виявлено, встановити вхідне значення на 1.
Зобов'язання Logic Gate
Отримавши вхідні значення, ви можете об'єднати будь-який логічний вентиль у Bitcoin Script, об'єднавши коди операцій amp і NAND Bitcoin.
Обіцянка двійкової схеми
Повноти Тюрінга можна досягти, об'єднавши сотні мільйонів логічних вентилів у двійкову схему. Для того, щоб зафіксувати цю двійкову схему в мережі Bitcoin, всі логічні шлюзи повинні бути поміщені в листовий вузол з адресою Taproot.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/7468e3b36e547f00ef329309820a4b07.)
ЧЕЛЕНДЖ - СЕСІЯ ВІДПОВІДІ
Недостатньо зафіксувати схему в ланцюжку, обом сторонам транзакції потрібен ефективний спосіб перевірки правильності розрахунків контракту. В ідеалі, контракт діє поза мережею, і обидві сторони щасливі, коли вони співпрацюють і не сперечаються. Однак, якщо між двома сторонами угоди виникає суперечка, необхідно увійти в стадію Challenge-Response, щоб перевірити результати розрахунку і примусово розподілити баланс каналу через Bitcoin Script.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/31d50ed5a8744519960a6656929a6615.)
Таким чином, BitVM - це далеко не якийсь BitcoinRollup або L2, який не має повноцінного середовища виконання віртуальної машини, глобального стану, мови високого рівня для публікації складних смарт-контрактів, і не може дозволити будь-якій кількості користувачів легко взаємодіяти з цими контрактами. Щоб проілюструвати це на прикладі простої людини, BitVM схожий на створення гігантського комп'ютера, більшого за кімнату в епоху, коли кожен може використовувати мобільні пристрої.
1.2.9 MoveVM - продукт успадкування генів Facebook Web2
Представницькі проекти: Aptos, Sui
Move - це мова програмування для написання безпечних смарт-контрактів, яка спочатку була розроблена Facebook для підтримки блокчейна Diem, а після припинення блокчейн-проекту Diem такі проекти, як Aptos і Sui, продовжили використання мови Move. Найбільшою особливістю блокчейну Move є те, що сховище даних використовує глобальне сховище, яке складається з дерева з адресою облікового запису як кореневою, і кожна адреса може зберігати ресурсні дані та код модуля.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/880930d84eb1ed81df7b4ec1fbd8c82f.)
Існує два різних типи програм для Move: модулі та скрипти. Модуль – це бібліотека, яка визначає типи структур та функції, які оперують цими типами. Тип структури визначає глобальний режим зберігання для Переміщення, а функція модуля визначає правила оновлення сховища. Самі модулі також зберігаються в глобальному сховищі. Скрипти, з іншого боку, є точкою входу до виконуваного файлу, подібно до основної функції в традиційних мовах, і є тимчасовими фрагментами коду, які не публікуються в глобальному сховищі.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/bffe7529268a49a3df8994f343dc55b0.)
Таким чином, модуль Move схожий на модуль динамічної бібліотеки, який завантажується під час виконання системного виконуваного файлу, тоді як сценарій схожий на основну програму. Користувачі можуть писати власні сценарії для доступу до глобального сховища, включаючи виклик модулів, тоді як публікувати модулі або виконувати сценарії можна маніпулювати через MoveVM.
1.3 Тенденція екологічного розвитку
Тепер, коли мережевий ефект EVM настільки сильний, міграція користувачів EVM до екосистем, що не належать до ланцюга EVM, стала найбільшою точкою зростання для нових блокчейн-проектів, що принесе більше компонування Dapp, а більший зв'язок може призвести до швидшого зростання користувачів у найближчі роки.
1.3.1 Сумісність із інтерфейсом гаманця
Історично склалося так, що знайомство користувачів EVM з ланцюгами, які не є EVM, було серйозною перешкодою, але нещодавній запуск Metamask Snap подолає цей бар'єр. Користувачі EVM можуть продовжувати використовувати MetaMask без необхідності перемикати гаманці. Завдяки внескам Drift з відкритим вихідним кодом, які створюють чудову реалізацію MetaMask Snap, UX є еквівалентом взаємодії з будь-яким ланцюжком EVM. Користувачі основної мережі Eclipse зможуть взаємодіяти з нативними додатками в MetaMask або використовувати власні гаманці Solana, такі як Salmon.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/5e997aade0d79e4b85ab48913fcc7941.)
Сумісність із серверною частиною 1.3.2VM
1.3.2.1 Транспілятор/компілятор
Представницький проект: Wrap
Warp — це транспілер Solidity-Cairo, який був розроблений Nethermind, відомою командою інфраструктури на Ethereum. Warp може перекласти код Solidity на Cairo, але перекладена каїрська програма часто потребує модифікації та додавання функцій Cairo (таких як виклик вбудованих функцій, оптимізація пам'яті тощо) для максимізації ефективності виконання.
1.3.2.2 Інтерпретатор байт-коду/рівень, сумісний з віртуальними машинами
Представницькі проекти: Kakarot, Neon EVM
Kakarot — це інтерпретатор байт-коду EVM, реалізований у вигляді смарт-контракту, написаного в Каїрі на Starknet, який імітує стек, пам'ять, виконання та інші аспекти EVM у вигляді каїрського смарт-контракту. У порівнянні з перекладом коду, Kakarot реалізує поелементну реалізацію Opcode і Pre-compile за EVM, а також створює такі компоненти, як Account Registry і Blockhash Registry для забезпечення додаткової обробки для зіставлення адрес облікових записів і збору інформації про блоки, так що kakarot має більш високу вбудовану сумісність.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/663d518717668dd2d6b29088d974b1a6.)
Neon EVM — це тип EVM, який працює як смарт-контракт і може бути розгорнутий у будь-якому ланцюжку SVM. Сама основна мережа Eclipse використовує SVM як середовище виконання, але забезпечує повну сумісність з EVM (включаючи підтримку байт-коду EVM і Ethereum JSON-RPC) через Neon EVM і більш високу пропускну здатність, ніж однопотоковий EVM. Крім того, кожен екземпляр Neon EVM має свій локальний ринок комісій, тобто існує верхня межа (1/4 блокового обчислювального блоку), пов'язана з взаємодією одного контрактного рахунку на висоті блоку, тому користувачам потрібно сплачувати пріоритетні збори лише тоді, коли конкретна взаємодія з гарячим контрактом або блок заповнені. У цьому сенсі додаток розгортає свій власний контракт, щоб отримати перевагу, подібну до переваги ланцюжка додатків, тим самим зменшуючи порушення користувацького досвіду, безпеки або ліквідності всієї мережі, коли конкретний контракт взаємодіє з перевантаженням tx.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/103e4dc44ec28ccee4ab8035e4e0867d.)
Ресурси:
«Kakarot: Досліджуючи шлях Starknet до сумісності з EVM», Cynic & Starknet Astro,
«BitVM гаряче обговорюється, чи зможе мережа Bitcoin досягти повноти Тюрінга?» ",Хаотянь,
«Огляд архітектури та екосистеми технологій Starkware», Maxlion,
«Дослідження проекту丨Звіт про дослідження палива модульного високошвидкісного виконавчого шару», від Web3CN,
«Аналіз першої критичної вразливості Aptos Move VM», від Numen Cyber Labs,
11."Що таке SVM - віртуальна машина Solana", від Squaads,
«Представляємо основну мережу Eclipse: Ethereum SVM L2», від Eclipse,
15.«Різні типи ZK-EVM», Віталік Бутерін,
«Звіт про дослідження Cipholio: розмови про рішення та майбутнє ZkVM», YOLO SHEN, Cipholio Ventures,
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Під хвилею роллапів віртуальним машинам все ще є що розповісти
Автор: PSE Trading Analyst @cryptohawk
TL; ДОКТОР
Віртуальна машина – це комп'ютерна система, що емулюється програмним забезпеченням, яка забезпечує середовище виконання програми. Він може емулювати різноманітні апаратні пристрої, щоб дозволити програмам працювати в контрольованому та сумісному середовищі.
Віртуальна машина Ethereum (EVM) — це віртуальна машина на основі стека, яка виконує смарт-контракти Ethereum; zkEVM оптимізує ефективність генерації zk-proof щодо еквівалентності/сумісності EVM.
zkVM відкидає еквівалентність/сумісність EVM і збільшує пріоритет дружності до zk.
privacyzkVM накладає вбудовані функції конфіденційності на zkVM;
SVM, FuelVM і MoveVM мають спільну рису в прагненні до максимальної продуктивності за рахунок паралельного виконання, але вони мають свої особливості в деталях дизайну.
ESCVM і BitVM провели кілька інноваційних експериментів на обчислювальному рівні на ланцюжках ETH і BTC відповідно, але попит на реальну реалізацію в поточних умовах низький.
**1.1 Що таке віртуальна машина? **
Віртуальна машина (ВМ) - це будівельний блок віртуалізованих обчислювальних ресурсів, який виконує практично ті ж функції, що і комп'ютер, включаючи запуск додатків і операційних систем. Концепція віртуальних машин не нова, і технологія широко використовується в багатьох технологічних екосистемах.
У контексті блокчейну віртуальна машина (VM) — це частина програмного забезпечення, яка запускає програми, які часто називають середовищем виконання, яке виконує смарт-контракти блокчейну. Віртуальні машини зазвичай забезпечують віртуальне комп'ютерне середовище, емулюючи різні апаратні пристрої. Різні віртуальні машини можуть емулювати різні апаратні пристрої, але зазвичай включають процесор, пам'ять, жорсткі диски, мережеві інтерфейси тощо. Коли надсилається ончейн-транзакція, віртуальна машина відповідає за обробку транзакції та оновлення стану блокчейну (поточного глобального стану всієї мережі), на який впливає виконання цієї транзакції. Конкретні правила, що змінюють стан мережі, визначаються віртуальною машиною. Під час обробки транзакції віртуальна машина перетворює код смарт-контракту у формат, який може бути виконаний апаратним забезпеченням вузла/валідатора.
Найважливішим ядром у віртуальній машині є LLVM (low-level-virtual-machine), яке можна вважати найважливішим ядром компілятора. На малюнку показана схема роботи оригінального EVM, а смарт-контракт перетворюється в байт-код через проміжний код LLVM IR. Ці байт-коди зберігаються в блокчейні, і коли викликається смарт-контракт, байт-код перетворюється на відповідний код операції, який потім виконується апаратним забезпеченням EVM і вузлом.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/b3da87c9e06d747a77eba26a9dbd96e9.)
1.2 Основні віртуальні машини
1.2.1 EVM - Блокчейн віртуальна машина має один камінь, EVM - вісім відер, а решта розділена на два відра
Представницькі проекти: Optimism, Arbitrum
Як блокчейн-екосистема з найвищою активністю розробників і користувачів у галузі, віртуальна машина Ethereum EVM — це віртуальна машина на основі стека, яка забезпечує середовище віртуального комп'ютера, емулюючи апаратні пристрої, такі як центральний процесор, пам'ять, пам'ять і стеки, щоб виконувати інструкції смарт-контрактів і зберігати стан і дані смарт-контрактів. Набір інструкцій EVM включає різні коди операцій з кодом операції, такі як арифметичні операції, логічні операції, операції зберігання, операції переходу тощо.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/5697bec2651732ec30d01cdb82f404c2.)
Пам'ять і пам'ять, емульовані EVM, є пристроями, які використовуються для зберігання стану та даних смарт-контракту. EVM розглядає пам'ять і пам'ять як дві різні області, які можуть отримати доступ до стану та даних смарт-контракту шляхом читання та запису в пам'ять і пам'ять.
Стек симуляцій EVM використовується для зберігання операндів та результатів інструкцій. Більшість інструкцій у наборі команд EVM засновані на стеку, вони зчитують операнди зі стека та надсилають результати назад у стек.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/3868c7284468389a35dd1c4f01a906ae.)
Очевидно, що процес проектування EVM відбувається знизу вгору, спочатку доопрацьовуючи змодельоване апаратне середовище (стек, пам'ять), а потім проектуючи власний набір наборів інструкцій для складання (Opcode) і байт-коду (Bytecode) відповідно до відповідного середовища. Спільнота Ethereum розробила дві скомпільовані мови високого рівня - Solidity і Vyper - для ефективності виконання EVM. Зайве говорити, що Vyper — це високорівнева мова EVM Віталіка, розроблена для усунення деяких недоліків Solidity, але вона не отримала великого поширення в спільноті, тому поступово канула в невідомість.
1.2.2zkEVM - Я хочу все: сумісність із середовищем EVM + підтримка глобального перетворення коренів стану для створення zk-proof
Представницькі проекти: Taiko, Scroll, PolygonzkEVM
Оскільки EVM не побудований з урахуванням zk-proof-обчислень, він не є дружнім до схем доказу, особливо з точки зору спеціальних кодів операцій, архітектури на основі стека, накладних витрат на зберігання та доказу. zkEVM — це віртуальна машина, яка виконує смарт-контракти у спосіб, сумісний із zk-proof-proof-обчисленнями, щоб процес виконання EVM можна було перевірити ефективніше та економічно вигідніше за допомогою zk-proof/validity-proof. У порівнянні з OPRollup, виконавчому шару потрібно лише скопіювати EVM, а створення ZK-дружнього EVM є додатковим викликом для ZK Rollup.
ZK-rollups нелегко сумісні з віртуальною машиною Ethereum (EVM). Доведення обчислень EVM загального призначення в схемі є складнішим і ресурсомістким, ніж доведення простого обчислення, такого як передача токена, описана раніше.
Однак прогрес у технології з нульовим розголошенням(Opens in a new tab) відновив інтерес до обгортання обчислень EVM у докази з нульовим розголошенням. Ці зусилля спрямовані на створення реалізації EVM з нульовим розголошенням (zkEVM), яка може ефективно перевіряти правильність виконання програми.
Як і EVM, zkEVM переходить між станами після виконання обчислень на певних входах. Різниця полягає в тому, що zkEVM також створює докази з нульовим розголошенням, щоб перевірити правильність кожного кроку у виконанні програми. Докази валідності можуть перевірити правильність операцій, пов'язаних зі станом віртуальної машини (пам'ять, стек, сховище) і самим обчисленням (тобто, чи викликала операція правильні коди операцій і чи правильно їх виконала?). ）。
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/e4db398cf7cd926f3d6ce5de03b860de.)
В даний час Rollup важко досягти дружньої до ZK і сумісності з EVM (або навіть еквівалентної), тобто або максимально повно відтворити рівень виконання Ethereum L1, включаючи хеші, дерева станів, дерева транзакцій, попередню компіляцію і т.д., щоб клієнт виконання Ethereum L1 міг використовувати його в тому вигляді, в якому він є, для обробки блоків Rollup; Або відмовтеся від сумісності з EVM і відтворіть існуючий код операції для доказу/перевірки в схемі, що дозволить виконувати смарт-контракти.
1.2.3zkVM - Ви не можете мати його в обох напрямках: віртуальні машини з захистом від zk-proof, орієнтовані на ефективність, без evm
Представницькі проекти: Starknet, Zksync, RISC ZERO
Замість сумісності з EVM, zkVM знайшов спільний дільник між криптографією та мовами високого рівня, основними цілями якого є докази даних та оновлення стану, забезпечуючи загальну основу для широкого спектру додатків.
Starkware має певне технологічне лідерство завдяки ранньому старту у всій сфері ZK та відносно достатньому накопиченню технологій. Він є репрезентативною технічною архітектурою, орієнтованою на ZK, навколо якої будується Cairo VM і Cairo language. Недоліком є те, що в Каїрі дорожче вчитися.
Фреймворк ZKsync сумісний як з EVM, так і з ZK, і інтегрує Solidity з власноруч розробленою мовою схем Zinc, об'єднуючи їх на рівні ІЧ в компіляторі. Перевага полягає в тому, що LLVM ядра компілятора сумісний з декількома мовами.
RISC Zero використовує архітектуру RISC-V для створення симуляторів, які дозволяють програмістам писати програми для zkVM на мовах загального призначення, таких як Rust, C/C++ і Go, що означає, що логіка програми не повинна обмежуватися тим, що може бути виражено в Solidity, дозволяючи писати незалежний від ланцюга код.
1.2.4Конфіденційність zkVM - zk friendly + вбудована підтримка конфіденційності намагається запалити нову іскру в екосистемі
Представницькі проекти: Aleo, Ola, PolygonMiden
Блокчейн — це система публічного реєстру, де всі транзакції здійснюються ончейн, що означає, що зміни стану, що містять інформацію про активи, пов'язані з адресами чи рахунками, є відкритими та прозорими. В результаті, крім роботи над рішеннями для масштабування, деякі блокчейн-команди вважають, що наступною ключовою функцією, яку потрібно впровадити, є конфіденційність.
На додаток до дружньої до zk підтримки масштабування, PrivacyzkVM дозволяє розробникам додатків верхнього рівня відкривати dapps, пов'язані з конфіденційністю, завдяки функціям конфіденційності, які за замовчуванням підтримуються власною мовою програмування, що принесе нові сценарії додатків і грандіозні наративи, такі як повне вирішення проблеми MEV і забезпечення права власності на дані користувача. Звичайно, складність дизайну PrivacyzkVM вимагає набагато більшої технічної команди для реалізації, а на її реалізацію може піти кілька років.
1.2.5SVM - Після припливу все ще залишаються вуглинки: середовище виконання, яке було розроблено з максимальною продуктивністю
Представницькі проекти: Eclipse Mainnet, Nitro, MakerDAOChain (можливо)
SVM, або Solana Virtual Machine, фокусується на високопродуктивному середовищі виконання, а смарт-контракти в основному пишуться на Rust. На відміну від однопотокових обчислювальних середовищ виконання EVM і EOSWASM, SVM дозволяє транзакції, що не перетинаються, і одночасне виконання транзакцій, які зчитують лише один і той самий стан, вимагаючи, щоб транзакції Solana описували всі стани, які будуть прочитані або записані в них під час виконання.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/7224c8325f628b476cc8a58648118a12.)
Крім того, для швидкої перевірки/трансляції великої кількості блоків транзакцій у процесі перевірки транзакцій у мережі Solana широко використовуються оптимізації конвеєрів, які поширені при проектуванні процесорів. Щоб впоратися з ситуацією, коли ряд кроків обробляє вхідний потік даних, і кожен крок має різну апаратну відповідальність. Типовою аналогією є прально-сушильна машини, які послідовно перуть/сушать/складають кілька партій білизни. Прання необхідно проводити перед сушінням, а складання - перед сушінням, але кожну з цих трьох операцій виконує окремий агрегат.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/4a6afec0f411e515b6b7acd0ca7f7986.)
Крім того, SVM засновані на регістрах і мають набагато менший набір інструкцій, ніж EVM, що полегшує перевірку виконання SVM у ZK. Для оптимістичних зведень дизайни на основі реєстрів полегшують встановлення контрольних точок.
1.2.6FuelVM - Buff Stacked: паралельна віртуальна машина під фреймворком UTXO
Представницький проект: Паливо
Fuel VM заснований на технологіях EVM, Solana, WASM, BTC & Cosmos і має наступні особливості в порівнянні з EVM:
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/893b74b06bf09e594fcaa3facdcab828.)
Найбільш унікальним є те, що Fuel не тільки має можливість виконувати транзакції паралельно з транзакціями, що не перетинаються, встановлюючи списки доступу, такі як SVM, але також використовує модель UTXO, яка поділяється на токен UTXO та контракт UTXO, що ще більше підвищує ефективність доступу та пропускну здатність обчислень.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/597b6194925d676cbc7b16ee50934720.)
Крім того, Fuel VM забезпечує потужний і плавний досвід розробника за допомогою власної мови для конкретної предметної області, Sway, і допоміжного інструментарію Fort, з середовищем розробки, яке зберігає переваги мов смарт-контрактів, таких як Solidity, приймаючи парадигми, введені в екосистему інструментів Rust.
У майбутньому віртуальна машина Fuel також реалізує оновлення мови Sway, включаючи оптимізацію компілятора з точки зору розміру байт-коду, Sway підтримуватиме більше бекендів (бекенди EVM вже в розробці), абстракції будуть більш економічними, більше додатків буде перенесено з Solidity/Vyper на Sway, покращений аналіз повторного входу на рівні компілятора тощо.
1.2.7ESCVM – наступник Ordinal/Smartweave: обчислювальний рівень поверх Ethereum
Репрезентативний проект: Протокол Ethions
ESCVM, або Ethions Virtual Machine, — це схема смарт-контрактів, запропонована Ethions Protocol. Сам протокол Ethions – це протокол, схожий на BTC Ordinal у ланцюжку Ethereum, зосереджений на вивченні недорогих альтернатив смарт-контрактам та L2.
Ethions дозволяє користувачам обходити зберігання та виконання смарт-контрактів за невелику частину вартості та застосовувати calldata у Tx для обчислень за допомогою заздалегідь узгоджених правил протоколу. Простіше кажучи, якщо успішна транзакція Ethereum має calldata, яка відповідає зазначеній дійсній специфікації даних, а унікальна адреса & «to» не дорівнює 0, її можна вважати юридично створеною Ethion, де адреса «від» є творцем, а адреса «кому» є власником.
На початку дизайну кожен Ethion більше схиляється до форми NFT, наприклад, image NFT, і безпосередньо записує вміст зображення в calldata через формат Base64:
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/6a16558230f9a8edcdf93f3c49f3ff18.)
Найпопулярнішим етом останнім часом є Ethion, який був створений з посиланням на специфікацію протоколу BRC-20:
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/32932301680ca546fcdd7ac441b73628.)
Смарт-контракт, представлений ESC VM, відомий як «тупий контракт», рекламується як логічний контракт, але не взаємодіє ончейн у вигляді самого EVM. Крім того, ESC VM також додає спеціальний формат "Computer Command", який буде розпізнаватися ESC VM для взаємодії з тупими контрактами, такими як Deploy - deploy - deploy - deploy - call dumb contract.
У цієї схеми є деякі обмеження, одне з яких полягає в тому, що функція «тупого контракту» не підлягає оплаті, тобто якщо ви хочете відправити ETH через тупий контракт, ви повинні використовувати «мостовий контракт», а сам «мостовий контракт» має ризик зловживання контролем і крадіжки активів; По-друге, в екосистемі існує поріг входу, який не дозволяє довільно створювати тупі контракти, і його код повинен бути визначений через пропозицію управління Ethions Protocol.
Підводячи підсумок, можна сказати, що ESC VM — це обчислювальний рівень, побудований поверх Ethereum L1 як рівень зберігання даних, який реалізується шляхом розміщення логіки контрактів, викликів контрактів, викликів контрактів та іншого вмісту даних у calldata Ethereum tx, а глобальний консенсус стану ESC VM — це консенсус клієнтів ESC VM, який схожий на логіку реалізації SmartWeave Arweave, але рівень зберігання даних SmartWeave — це Arweave.
1.2.8BitVM - Цікавий дослідницький експеримент: однорангові канали виконання на BTC
Представницький проект: ZeroSync
Робін Лінус (Robin Linus), засновник ZeroSync, 9 жовтня випустив офіційний документ «BitVM: Compute Anything On Bitcoin», який є не віртуальною машиною, якщо бути точним, а спробою створити повний обчислювальний простір Тюрінга з контрактами, що зберігаються в ланцюжку Bitcoin, але логіка контракту виконується поза мережею. Якщо ви вважаєте, що інша сторона не виконує зобов'язання, ви можете запустити челендж у ланцюжку, а якщо інша сторона не зможе правильно відповісти, ви можете забрати всі кошти в контракті.
Перевага полягає в тому, що він може надати Bitcoin Turing повноту без будь-яких змін у протоколі Bitcoin, без нових кодів операцій, без софт-форків і готовий до застосування.
Його недоліки також очевидні, один полягає в тому, що він підтримує транзакції лише між двома сторонами (одна доводить, а інша перевіряє), а інша полягає в тому, що створення контракту вимагає створення великої кількості даних і попереднього підписання великої кількості транзакцій, а вартість зберігання інформації поза мережею величезна.
Ось короткий вступ до технічної логіки:
ЗОБОВ'ЯЗАННЯ ЩОДО ВВЕДЕННЯ БАЛІВ
Точкове зобов'язання на вході дозволяє програматору встановити вхідне значення 0 або 1 для логічного вентиля, і в цьому промісі є два хеш-значення H(A0) і H(A1), і програматору потрібно розкрити хеш-попередник, наприклад A0, потім встановити вхідне значення на 0, якщо A1 виявлено, встановити вхідне значення на 1.
Зобов'язання Logic Gate
Отримавши вхідні значення, ви можете об'єднати будь-який логічний вентиль у Bitcoin Script, об'єднавши коди операцій amp і NAND Bitcoin.
Обіцянка двійкової схеми
Повноти Тюрінга можна досягти, об'єднавши сотні мільйонів логічних вентилів у двійкову схему. Для того, щоб зафіксувати цю двійкову схему в мережі Bitcoin, всі логічні шлюзи повинні бути поміщені в листовий вузол з адресою Taproot.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/7468e3b36e547f00ef329309820a4b07.)
ЧЕЛЕНДЖ - СЕСІЯ ВІДПОВІДІ
Недостатньо зафіксувати схему в ланцюжку, обом сторонам транзакції потрібен ефективний спосіб перевірки правильності розрахунків контракту. В ідеалі, контракт діє поза мережею, і обидві сторони щасливі, коли вони співпрацюють і не сперечаються. Однак, якщо між двома сторонами угоди виникає суперечка, необхідно увійти в стадію Challenge-Response, щоб перевірити результати розрахунку і примусово розподілити баланс каналу через Bitcoin Script.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/31d50ed5a8744519960a6656929a6615.)
Таким чином, BitVM - це далеко не якийсь BitcoinRollup або L2, який не має повноцінного середовища виконання віртуальної машини, глобального стану, мови високого рівня для публікації складних смарт-контрактів, і не може дозволити будь-якій кількості користувачів легко взаємодіяти з цими контрактами. Щоб проілюструвати це на прикладі простої людини, BitVM схожий на створення гігантського комп'ютера, більшого за кімнату в епоху, коли кожен може використовувати мобільні пристрої.
1.2.9 MoveVM - продукт успадкування генів Facebook Web2
Представницькі проекти: Aptos, Sui
Move - це мова програмування для написання безпечних смарт-контрактів, яка спочатку була розроблена Facebook для підтримки блокчейна Diem, а після припинення блокчейн-проекту Diem такі проекти, як Aptos і Sui, продовжили використання мови Move. Найбільшою особливістю блокчейну Move є те, що сховище даних використовує глобальне сховище, яке складається з дерева з адресою облікового запису як кореневою, і кожна адреса може зберігати ресурсні дані та код модуля.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/880930d84eb1ed81df7b4ec1fbd8c82f.)
Існує два різних типи програм для Move: модулі та скрипти. Модуль – це бібліотека, яка визначає типи структур та функції, які оперують цими типами. Тип структури визначає глобальний режим зберігання для Переміщення, а функція модуля визначає правила оновлення сховища. Самі модулі також зберігаються в глобальному сховищі. Скрипти, з іншого боку, є точкою входу до виконуваного файлу, подібно до основної функції в традиційних мовах, і є тимчасовими фрагментами коду, які не публікуються в глобальному сховищі.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/bffe7529268a49a3df8994f343dc55b0.)
Таким чином, модуль Move схожий на модуль динамічної бібліотеки, який завантажується під час виконання системного виконуваного файлу, тоді як сценарій схожий на основну програму. Користувачі можуть писати власні сценарії для доступу до глобального сховища, включаючи виклик модулів, тоді як публікувати модулі або виконувати сценарії можна маніпулювати через MoveVM.
1.3 Тенденція екологічного розвитку
Тепер, коли мережевий ефект EVM настільки сильний, міграція користувачів EVM до екосистем, що не належать до ланцюга EVM, стала найбільшою точкою зростання для нових блокчейн-проектів, що принесе більше компонування Dapp, а більший зв'язок може призвести до швидшого зростання користувачів у найближчі роки.
1.3.1 Сумісність із інтерфейсом гаманця
Історично склалося так, що знайомство користувачів EVM з ланцюгами, які не є EVM, було серйозною перешкодою, але нещодавній запуск Metamask Snap подолає цей бар'єр. Користувачі EVM можуть продовжувати використовувати MetaMask без необхідності перемикати гаманці. Завдяки внескам Drift з відкритим вихідним кодом, які створюють чудову реалізацію MetaMask Snap, UX є еквівалентом взаємодії з будь-яким ланцюжком EVM. Користувачі основної мережі Eclipse зможуть взаємодіяти з нативними додатками в MetaMask або використовувати власні гаманці Solana, такі як Salmon.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/5e997aade0d79e4b85ab48913fcc7941.)
Сумісність із серверною частиною 1.3.2VM
1.3.2.1 Транспілятор/компілятор
Представницький проект: Wrap
Warp — це транспілер Solidity-Cairo, який був розроблений Nethermind, відомою командою інфраструктури на Ethereum. Warp може перекласти код Solidity на Cairo, але перекладена каїрська програма часто потребує модифікації та додавання функцій Cairo (таких як виклик вбудованих функцій, оптимізація пам'яті тощо) для максимізації ефективності виконання.
1.3.2.2 Інтерпретатор байт-коду/рівень, сумісний з віртуальними машинами
Представницькі проекти: Kakarot, Neon EVM
Kakarot — це інтерпретатор байт-коду EVM, реалізований у вигляді смарт-контракту, написаного в Каїрі на Starknet, який імітує стек, пам'ять, виконання та інші аспекти EVM у вигляді каїрського смарт-контракту. У порівнянні з перекладом коду, Kakarot реалізує поелементну реалізацію Opcode і Pre-compile за EVM, а також створює такі компоненти, як Account Registry і Blockhash Registry для забезпечення додаткової обробки для зіставлення адрес облікових записів і збору інформації про блоки, так що kakarot має більш високу вбудовану сумісність.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/663d518717668dd2d6b29088d974b1a6.)
Neon EVM — це тип EVM, який працює як смарт-контракт і може бути розгорнутий у будь-якому ланцюжку SVM. Сама основна мережа Eclipse використовує SVM як середовище виконання, але забезпечує повну сумісність з EVM (включаючи підтримку байт-коду EVM і Ethereum JSON-RPC) через Neon EVM і більш високу пропускну здатність, ніж однопотоковий EVM. Крім того, кожен екземпляр Neon EVM має свій локальний ринок комісій, тобто існує верхня межа (1/4 блокового обчислювального блоку), пов'язана з взаємодією одного контрактного рахунку на висоті блоку, тому користувачам потрібно сплачувати пріоритетні збори лише тоді, коли конкретна взаємодія з гарячим контрактом або блок заповнені. У цьому сенсі додаток розгортає свій власний контракт, щоб отримати перевагу, подібну до переваги ланцюжка додатків, тим самим зменшуючи порушення користувацького досвіду, безпеки або ліквідності всієї мережі, коли конкретний контракт взаємодіє з перевантаженням tx.
! [Під хвилею роллапів віртуальним машинам все ще є що розповісти] (https://cdn-img.panewslab.com//panews/2022/10/30/images/103e4dc44ec28ccee4ab8035e4e0867d.)
Ресурси:
«Kakarot: Досліджуючи шлях Starknet до сумісності з EVM», Cynic & Starknet Astro,
«BitVM гаряче обговорюється, чи зможе мережа Bitcoin досягти повноти Тюрінга?» ",Хаотянь,
«Огляд архітектури та екосистеми технологій Starkware», Maxlion,
«Дослідження проекту丨Звіт про дослідження палива модульного високошвидкісного виконавчого шару», від Web3CN,
«Аналіз першої критичної вразливості Aptos Move VM», від Numen Cyber Labs,
11."Що таке SVM - віртуальна машина Solana", від Squaads,
«Представляємо основну мережу Eclipse: Ethereum SVM L2», від Eclipse,
15.«Різні типи ZK-EVM», Віталік Бутерін,