! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-5a402ab8f9-dd1a6f-69ad2a.webp)
TL; ДОКТОР
Віртуальна машина – це комп'ютерна система, яка моделюється програмним забезпеченням і забезпечує середовище для виконання програми. Він може емулювати різноманітні апаратні пристрої, щоб дозволити програмам працювати в контрольованому та сумісному середовищі.
Віртуальна машина Ethereum (EVM) — це віртуальна машина на основі стека, яка виконує смарт-контракти Ethereum; zkEVM зробив певну оптимізацію ефективності генерації zk-proof у еквівалентності/сумісності EVM.
zkVM відкидає еквівалентність/сумісність EVM і збільшує пріоритет дружності до zk.
конфіденційність zkVM накладає вбудовані функції конфіденційності на zkVM;
SVM, FuelVM і MoveVM мають спільну рису в прагненні до максимальної продуктивності за рахунок паралельного виконання, але вони мають свої особливості в деталях дизайну.
ESC VM і BitVM провели кілька інноваційних експериментів на обчислювальному рівні на ланцюжках ETH і BTC відповідно, але попит на реальну реалізацію в поточних умовах низький.
3. Величезна екосистема користувачів EVM визначає, що будь-якій блокчейн-мережі, яка відмовиться від неї, буде важко конкурувати з нею в короткостроковій перспективі, тому екосистема, яка не є EVM, може представити користувачів екосистеми EVM за допомогою транспіляторів/компіляторів/інтерпретаторів байт-коду або навіть рівнів сумісності з віртуальними машинами, а також використовувати функції віртуальної машини, що не належать до EVM, для створення нового екологічного наративу або необхідного шляху до успіху.
1.1 Що таке віртуальна машина?
Віртуальна машина (ВМ) - це будівельний блок віртуалізованих обчислювальних ресурсів, який виконує практично ті ж функції, що і комп'ютер, включаючи запуск додатків і операційних систем. Концепція віртуальних машин не нова, і технологія широко використовується в багатьох технологічних екосистемах.
У контексті блокчейну віртуальна машина (VM) — це частина програмного забезпечення, яка запускає програми, які часто називають середовищем виконання, яке виконує смарт-контракти блокчейну. Віртуальні машини зазвичай забезпечують віртуальне комп'ютерне середовище, емулюючи різні апаратні пристрої. Різні віртуальні машини можуть емулювати різні апаратні пристрої, але зазвичай включають процесор, пам'ять, жорсткі диски, мережеві інтерфейси тощо. Коли надсилається ончейн-транзакція, віртуальна машина відповідає за обробку транзакції та оновлення стану блокчейну (поточного глобального стану всієї мережі), на який впливає виконання цієї транзакції. Конкретні правила, що змінюють стан мережі, визначаються віртуальною машиною. Під час обробки транзакції віртуальна машина перетворює код смарт-контракту у формат, який може бути виконаний апаратним забезпеченням вузла/валідатора.
Найважливішим ядром у віртуальній машині є LLVM (low-level-virtual-machine), яке можна вважати найважливішим ядром компілятора. На малюнку показана схема роботи оригінального EVM, а смарт-контракт перетворюється в байт-код через проміжний код LLVM IR. Ці байт-коди зберігаються в блокчейні, і коли викликається смарт-контракт, байт-код перетворюється на відповідний код операції, який потім виконується апаратним забезпеченням EVM і вузлом.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-e6504cde98-dd1a6f-69ad2a.webp)
1.2 Основні віртуальні машини
1.2.1 EVM - Віртуальна машина блокчейну має загалом один камінь, EVM є ексклюзивним для восьми сегментів, а решта розділена на два відра
Репрезентативні проекти: Оптимізм, Арбітраж
Як блокчейн-екосистема з найвищою активністю розробників і користувачів у галузі, віртуальна машина Ethereum EVM — це віртуальна машина на основі стека, яка забезпечує середовище віртуального комп'ютера, емулюючи апаратні пристрої, такі як центральний процесор, пам'ять, пам'ять і стеки, щоб виконувати інструкції смарт-контрактів і зберігати стан і дані смарт-контрактів. Набір інструкцій EVM включає різні коди операцій з кодом операції, такі як арифметичні операції, логічні операції, операції зберігання, операції переходу тощо.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-b215612938-dd1a6f-69ad2a.webp)
Пам'ять і пам'ять, емульовані EVM, є пристроями, які використовуються для зберігання стану та даних смарт-контракту. EVM розглядає пам'ять і пам'ять як дві різні області, які можуть отримати доступ до стану та даних смарт-контракту шляхом читання та запису в пам'ять і пам'ять.
Стек симуляцій EVM використовується для зберігання операндів та результатів інструкцій. Більшість інструкцій у наборі команд EVM засновані на стеку, вони зчитують операнди зі стека та надсилають результати назад у стек.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-74a85b3f36-dd1a6f-69ad2a.webp)
Очевидно, що процес проектування EVM відбувається знизу вгору, спочатку доопрацьовуючи змодельоване апаратне середовище (стек, пам'ять), а потім проектуючи власний набір наборів інструкцій для складання (Opcode) і байт-коду (Bytecode) відповідно до відповідного середовища. Спільнота Ethereum розробила дві скомпільовані мови високого рівня - Solidity і Vyper - для ефективності виконання EVM. Зайве говорити, що Vyper — це високорівнева мова EVM Віталіка, розроблена для усунення деяких недоліків Solidity, але вона не отримала великого поширення в спільноті, тому поступово канула в невідомість.
1.2.2 zkEVM - Я хочу все: сумісність з середовищем EVM + підтримка глобального перетворення коренів станів для генерації zk-proof
Оскільки EVM не побудований з урахуванням zk-proof-обчислень, він не є дружнім до схем доказу, особливо з точки зору спеціальних кодів операцій, архітектури на основі стека, накладних витрат на зберігання та доказу. zkEVM — це віртуальна машина, яка виконує смарт-контракти у спосіб, сумісний із zk-proof-proof-обчисленнями, щоб процес виконання EVM можна було перевірити ефективніше та економічно вигідніше за допомогою zk-proof/validity-proof. У порівнянні з OP Rollup, виконавчий шар повинен лише скопіювати EVM, а дружня до ZK конструкція EVM є додатковою проблемою для ZK Rollup.
ZK-rollups нелегко сумісні з віртуальною машиною Ethereum (EVM). Доведення обчислень EVM загального призначення в схемі є складнішим і ресурсомістким, ніж доведення простого обчислення, такого як передача токена, описана раніше.
Однак прогрес у технології з нульовим розголошенням(opens in a new tab) відновив інтерес до обгортання обчислень EVM у докази з нульовим розголошенням. Ці зусилля спрямовані на створення реалізації EVM з нульовим розголошенням (zkEVM), яка може ефективно перевіряти правильність виконання програми.
Як і EVM, zkEVM переходить між станами після виконання обчислень на певних входах. Різниця полягає в тому, що zkEVM також створює докази з нульовим розголошенням, щоб перевірити правильність кожного кроку у виконанні програми. Докази валідності можуть перевірити правильність операцій, пов'язаних зі станом віртуальної машини (пам'ять, стек, сховище) і самим обчисленням (тобто, чи викликала операція правильні коди операцій і чи правильно їх виконала?). ）。
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-3885eea05b-dd1a6f-69ad2a.webp)
В даний час Rollup важко досягти дружньої до ZK і сумісності з EVM (або навіть еквівалентної), тобто або максимально повно відтворити рівень виконання Ethereum L1, включаючи хеші, дерева станів, дерева транзакцій, попередню компіляцію і т.д., щоб клієнт виконання Ethereum L1 можна було використовувати як є для обробки блоків Rollup; Або відмовтеся від сумісності з EVM і відтворіть існуючий код операції для доказу/перевірки в схемі, що дозволить виконувати смарт-контракти.
1.2.3 zkVM - Ви не можете мати його в обох напрямках: віртуальні машини з захистом від ефективності, не пов'язані з 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, Polygon Miden
Блокчейн — це система публічного реєстру, де всі транзакції здійснюються ончейн, що означає, що зміни стану, що містять інформацію про активи, пов'язані з адресами чи рахунками, є відкритими та прозорими. В результаті, крім роботи над рішеннями для масштабування, деякі блокчейн-команди вважають, що наступною ключовою функцією, яку потрібно впровадити, є конфіденційність.
На додаток до дружньої до zk підтримки масштабування, Privacy zkVM дозволяє розробникам додатків верхнього рівня відкривати децентралізовані програми, пов'язані з конфіденційністю, завдяки функціям конфіденційності, які за замовчуванням підтримуються власною мовою програмування, що принесе нові сценарії додатків і грандіозні наративи, такі як повне вирішення проблеми MEV і забезпечення права власності на дані користувача. Звичайно, складність дизайну Privacy zkVM вимагатиме набагато більшої технічної команди для реалізації, і на це може піти кілька років.
1.2.5 SVM - Після припливу все ще є вуглинки: середовище виконання, яке було розроблено з максимальною продуктивністю
SVM, або Solana Virtual Machine, фокусується на високопродуктивному середовищі виконання, а смарт-контракти в основному пишуться на Rust. На відміну від однопотокових обчислювальних середовищ EVM та EOS WASM, SVM забезпечують неперекриття транзакцій і одночасне виконання транзакцій, які зчитують лише один і той самий стан, вимагаючи, щоб транзакції Solana описували всі стани, які будуть прочитані або записані в них під час виконання.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-5c07390761-dd1a6f-69ad2a.webp)
Крім того, щоб забезпечити швидку перевірку/трансляцію великих блоків транзакцій, у процесі перевірки транзакцій у мережі Solana широко використовуються оптимізації конвеєрів, які поширені при проектуванні процесорів. Щоб впоратися з ситуацією, коли ряд кроків обробляє вхідний потік даних, і кожен крок має різну апаратну відповідальність. Типовою аналогією є пральна та сушильна машини, які послідовно перуть/сушать/складають кілька партій білизни. Прання необхідно проводити перед сушінням, а складання - перед сушінням, але кожну з цих трьох операцій виконує окремий агрегат.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-c9b316a16d-dd1a6f-69ad2a.webp)
Крім того, SVM засновані на регістрах і мають набагато менший набір інструкцій, ніж EVM, що полегшує перевірку виконання SVM у ZK. Для оптимістичних зведень дизайни на основі реєстрів полегшують встановлення контрольних точок.
1.2.6 Fuel VM - Buff Stacking: Паралельна віртуальна машина під фреймворком UTXO
Репрезентативний проект: Паливо
Fuel VM заснований на технологіях EVM, Solana, WASM, BTC & Cosmos і має наступні особливості в порівнянні з EVM:
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-dc84c420c7-dd1a6f-69ad2a.webp)
Найбільш унікальним є те, що Fuel не тільки має можливість виконувати транзакції паралельно з транзакціями, що не перетинаються, встановлюючи списки доступу, такі як SVM, але також використовує модель UTXO, яка поділяється на токен UTXO та контракт UTXO, що ще більше підвищує ефективність доступу та пропускну здатність обчислень.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-54817c581d-dd1a6f-69ad2a.webp)
Крім того, Fuel VM забезпечує потужний і плавний досвід розробника за допомогою власної мови для конкретної предметної області, Sway, і допоміжного інструментарію Fort, з середовищем розробки, яке зберігає переваги мов смарт-контрактів, таких як Solidity, приймаючи парадигми, введені в екосистему інструментів Rust.
У майбутньому віртуальна машина Fuel також реалізує оновлення мови Sway, включаючи оптимізацію компілятора з точки зору розміру байт-коду, Sway підтримуватиме більше бекендів (бекенди EVM вже в розробці), абстракції будуть більш економічними, більше додатків буде перенесено з Solidity/Vyper на Sway, покращений аналіз повторного входу на рівні компілятора тощо.
1.2.7 ESC VM - наступник Ordinal/Smartweave: обчислювальний рівень поверх Ethereum
Репрезентативний проект: Протокол Ethions
ESC VM, або Ethions Virtual Machine, — це рішення для смарт-контрактів, запропоноване Ethions Protocol. Сам протокол Ethions — це протокол, схожий на BTC Ordinal у ланцюжку Ethereum, зосереджений на вивченні недорогих альтернатив смарт-контрактам і L2.
Ethions дозволяє користувачам обходити зберігання та виконання смарт-контрактів за невелику частину вартості та застосовувати calldata у Tx для обчислень за допомогою заздалегідь узгоджених правил протоколу. Простіше кажучи, якщо успішна транзакція Ethereum має calldata, яка відповідає зазначеній дійсній специфікації даних, а унікальна адреса & «to» не дорівнює 0, її можна вважати юридично створеною Ethion, де адреса «від» є творцем, а адреса «кому» є власником.
На початку дизайну кожен Ethion більше схиляється до форми NFT, наприклад, image NFT, і безпосередньо записує вміст зображення в calldata через формат Base 64:
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-59364b934a-dd1a6f-69ad2a.webp)
Найпопулярнішим етом останнім часом є Ethion, який був створений з посиланням на специфікацію протоколу BRC-20:
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-8b1cde6b8b-dd1a6f-69ad2a.webp)
Смарт-контракт, представлений ESC VM, відомий як «тупий контракт», рекламується як логічний контракт, але сам по собі не взаємодіє в ланцюжку у формі EVM. Крім того, ESC VM також додає спеціальний формат "machine command", який буде розпізнаватися ESC VM для взаємодії з тупими контрактами, такими як 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.8 Bit VM - Цікавий дослідницький експеримент: одноранговий канал виконання поверх BTC
Репрезентативний проект: ZeroSync
Засновник ZeroSync Робін Лінус (Robin Linus) 9 жовтня випустив офіційний документ «BitVM: Compute Anything On Bitcoin», який є не віртуальною машиною, якщо бути точним, а спробою створити повний обчислювальний простір Тюрінга з контрактами, що зберігаються в ланцюжку Bitcoin, але логіка контрактів виконується поза мережею. Якщо ви вважаєте, що інша сторона не виконує зобов'язання, ви можете запустити челендж у ланцюжку, а якщо інша сторона не зможе правильно відповісти, ви можете забрати всі кошти в контракті.
Перевага полягає в тому, що він може надати Bitcoin Turing повноту без будь-яких змін у протоколі Bitcoin, без нових кодів операцій, без софт-форків і готовий до застосування.
Його недоліки також очевидні, один полягає в тому, що він підтримує транзакції лише між двома сторонами (одна доводить, а інша перевіряє), а інша полягає в тому, що створення контракту вимагає створення великої кількості даних і попереднього підписання великої кількості транзакцій, а вартість зберігання інформації поза мережею величезна.
Ось короткий вступ до технічної логіки:
(1) Зобов'язання щодо введення балів
Точкове зобов'язання на вході дозволяє програматору встановити вхідне значення 0 або 1 для логічного вентилю, і в цьому промісі є два хеш-значення H(A 0) і H(A 1), і програматору потрібно відкрити хеш-попередник, наприклад A 0, потім встановити вхідне значення на 0, якщо виявлено A 1, то встановити вхідне значення на 1 .
(2) Зобов'язання логічних воріт
Отримавши вхідні значення, ви можете об'єднати будь-який логічний вентиль у Bitcoin Script, об'єднавши коди операцій amp і NAND Bitcoin.
(3) Зобов'язання двійкових ланцюгів
Повноти Тюрінга можна досягти, об'єднавши сотні мільйонів логічних вентилів у двійкову схему. Для того, щоб зафіксувати цю двійкову схему в мережі Bitcoin, всі логічні шлюзи повинні бути поміщені в листовий вузол з адресою Taproot.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-2adb7ce547-dd1a6f-69ad2a.webp)
(4) Зв'язок «виклик-відповідь»
Недостатньо зафіксувати схему в ланцюжку, обом сторонам транзакції потрібен ефективний спосіб перевірки правильності розрахунків контракту. В ідеалі, контракт діє поза мережею, і обидві сторони щасливі, коли вони співпрацюють і не сперечаються. Однак, якщо між двома сторонами транзакції виникає суперечка, вам потрібно ввести крок виклик-відповідь, щоб перевірити результати розрахунку та примусово розподілити баланс каналу через Bitcoin Script.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-51632a6382-dd1a6f-69ad2a.webp)
Таким чином, BitVM далеко не є якимось Bitcoin Rollup або L2 і не має повноцінного середовища виконання віртуальної машини, глобального стану, мови високого рівня для публікації складних смарт-контрактів, і не може дозволити будь-якій кількості користувачів легко взаємодіяти з цими контрактами. Щоб проілюструвати це на прикладі простої людини, BitVM схожий на створення гігантського комп'ютера, більшого за кімнату в епоху, коли кожен може використовувати мобільні пристрої.
1.2.9 MoveVM - продукт генів Facebook Web2
Представницькі проекти: Aptos, Sui
Move - це мова програмування для написання безпечних смарт-контрактів, яка спочатку була розроблена Facebook для підтримки блокчейна Diem, а після припинення блокчейн-проекту Diem такі проекти, як Aptos і Sui, продовжили використання мови Move. Найбільшою особливістю блокчейну Move є те, що сховище даних використовує глобальне сховище, яке складається з дерева з адресою облікового запису як кореневою, і кожна адреса може зберігати ресурсні дані та код модуля.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-4bc57a20bb-dd1a6f-69ad2a.webp)
Існує два різних типи програм для Move: модулі та скрипти. Модуль – це бібліотека, яка визначає типи структур та функції, які оперують цими типами. Тип структури визначає глобальний режим зберігання для Переміщення, а функція модуля визначає правила оновлення сховища. Самі модулі також зберігаються в глобальному сховищі. Скрипти, з іншого боку, є точкою входу до виконуваного файлу, подібно до основної функції в традиційних мовах, і є тимчасовими фрагментами коду, які не публікуються в глобальному сховищі.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-8a301faa9e-dd1a6f-69ad2a.webp)
Таким чином, модуль Move схожий на модуль динамічної бібліотеки, який завантажується під час виконання системного виконуваного файлу, тоді як сценарій схожий на основну програму. Користувачі можуть писати власні сценарії для доступу до глобального сховища, включаючи модулі виклику, тоді як публікувати модулі або виконувати сценарії можна маніпулювати через віртуальну машину Move.
1.3 Тенденції екологічного розвитку
Тепер, коли мережевий ефект EVM настільки сильний, міграція користувачів EVM до екосистем, що не належать до ланцюга EVM, стала найбільшою точкою зростання для нових блокчейн-проектів, що принесе більше компонування Dapp, а більший зв'язок може призвести до швидшого зростання користувачів у найближчі роки.
1.3.1 Сумісність з інтерфейсом гаманця
Історично склалося так, що знайомство користувачів EVM з ланцюгами, які не є EVM, було серйозною перешкодою, але нещодавній запуск Metamask Snap подолає цей бар'єр. Користувачі EVM можуть продовжувати використовувати MetaMask без необхідності перемикати гаманці. Завдяки внескам Drift з відкритим вихідним кодом, які створюють чудову реалізацію MetaMask Snap, UX є еквівалентом взаємодії з будь-яким ланцюжком EVM. Користувачі основної мережі Eclipse зможуть взаємодіяти з нативними додатками в MetaMask або використовувати власні гаманці Solana, такі як Salmon.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-238b0558fb-dd1a6f-69ad2a.webp)
1.3.2 Сумісність із серверною частиною віртуальних машин
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 має більш високу вбудовану сумісність.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-7049ae3417-dd1a6f-69ad2a.webp)
Neon EVM — це тип EVM, який працює як смарт-контракт і може бути розгорнутий у будь-якому ланцюжку SVM. Сама основна мережа Eclipse використовує SVM як середовище виконання, але забезпечує повну сумісність з EVM (включаючи підтримку байт-коду EVM і Ethereum JSON-RPC) через Neon EVM і більш високу пропускну здатність, ніж однопотоковий EVM. Крім того, кожен екземпляр Neon EVM має свій локальний ринок комісій, тобто існує верхня межа (1/4 блокового обчислювального блоку), пов'язана з взаємодією одного контрактного рахунку на висоті блоку, тому користувачам потрібно сплачувати пріоритетні збори лише тоді, коли конкретна взаємодія з гарячим контрактом або блок заповнені. У цьому сенсі додаток розгортає свій власний контракт, щоб отримати перевагу, подібну до переваги ланцюжка додатків, тим самим зменшуючи порушення користувацького досвіду, безпеки або ліквідності всієї мережі, коли конкретний контракт взаємодіє з перевантаженням tx.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-663a3c3002-dd1a6f-69ad2a.webp)
Ресурси:
«Kakarot: Досліджуючи шлях Starknet до сумісності з EVM», Cynic & Starknet Astro
«BitVM гаряче обговорюється, чи зможе мережа Bitcoin досягти повноти Тюрінга?» »,Хаотянь
«Архітектура та екосистема технологій Starkware», від Maxlion
«Дослідження проекту丨Звіт про дослідження палива модульного високошвидкісного виконавчого шару», від Web3 CN
«Аналіз першої критичної вразливості Aptos Move VM», Numen Cyber Labs
"Що таке SVM - віртуальна машина Solana", від Squaads
«Представляємо основну мережу Eclipse: Ethereum SVM L2», від Eclipse
15.«Різні типи ZK-EVM», Віталік Бутерін
«Звіт про дослідження Cipholio: дискусія про підхід і майбутнє ZkVM», YOLO SHEN, Cipholio Ventures
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
PSE Trading: Під хвилею роллапів віртуальним машинам все ще є що розповісти
Спочатку написано PSE Trading Analyst @cryptohawk
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-5a402ab8f9-dd1a6f-69ad2a.webp)
TL; ДОКТОР
zkVM відкидає еквівалентність/сумісність EVM і збільшує пріоритет дружності до zk.
конфіденційність zkVM накладає вбудовані функції конфіденційності на zkVM;
SVM, FuelVM і MoveVM мають спільну рису в прагненні до максимальної продуктивності за рахунок паралельного виконання, але вони мають свої особливості в деталях дизайну.
ESC VM і BitVM провели кілька інноваційних експериментів на обчислювальному рівні на ланцюжках ETH і BTC відповідно, але попит на реальну реалізацію в поточних умовах низький. 3. Величезна екосистема користувачів EVM визначає, що будь-якій блокчейн-мережі, яка відмовиться від неї, буде важко конкурувати з нею в короткостроковій перспективі, тому екосистема, яка не є EVM, може представити користувачів екосистеми EVM за допомогою транспіляторів/компіляторів/інтерпретаторів байт-коду або навіть рівнів сумісності з віртуальними машинами, а також використовувати функції віртуальної машини, що не належать до EVM, для створення нового екологічного наративу або необхідного шляху до успіху.
1.1 Що таке віртуальна машина?
Віртуальна машина (ВМ) - це будівельний блок віртуалізованих обчислювальних ресурсів, який виконує практично ті ж функції, що і комп'ютер, включаючи запуск додатків і операційних систем. Концепція віртуальних машин не нова, і технологія широко використовується в багатьох технологічних екосистемах.
У контексті блокчейну віртуальна машина (VM) — це частина програмного забезпечення, яка запускає програми, які часто називають середовищем виконання, яке виконує смарт-контракти блокчейну. Віртуальні машини зазвичай забезпечують віртуальне комп'ютерне середовище, емулюючи різні апаратні пристрої. Різні віртуальні машини можуть емулювати різні апаратні пристрої, але зазвичай включають процесор, пам'ять, жорсткі диски, мережеві інтерфейси тощо. Коли надсилається ончейн-транзакція, віртуальна машина відповідає за обробку транзакції та оновлення стану блокчейну (поточного глобального стану всієї мережі), на який впливає виконання цієї транзакції. Конкретні правила, що змінюють стан мережі, визначаються віртуальною машиною. Під час обробки транзакції віртуальна машина перетворює код смарт-контракту у формат, який може бути виконаний апаратним забезпеченням вузла/валідатора.
Найважливішим ядром у віртуальній машині є LLVM (low-level-virtual-machine), яке можна вважати найважливішим ядром компілятора. На малюнку показана схема роботи оригінального EVM, а смарт-контракт перетворюється в байт-код через проміжний код LLVM IR. Ці байт-коди зберігаються в блокчейні, і коли викликається смарт-контракт, байт-код перетворюється на відповідний код операції, який потім виконується апаратним забезпеченням EVM і вузлом.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-e6504cde98-dd1a6f-69ad2a.webp)
1.2 Основні віртуальні машини
1.2.1 EVM - Віртуальна машина блокчейну має загалом один камінь, EVM є ексклюзивним для восьми сегментів, а решта розділена на два відра
Репрезентативні проекти: Оптимізм, Арбітраж
Як блокчейн-екосистема з найвищою активністю розробників і користувачів у галузі, віртуальна машина Ethereum EVM — це віртуальна машина на основі стека, яка забезпечує середовище віртуального комп'ютера, емулюючи апаратні пристрої, такі як центральний процесор, пам'ять, пам'ять і стеки, щоб виконувати інструкції смарт-контрактів і зберігати стан і дані смарт-контрактів. Набір інструкцій EVM включає різні коди операцій з кодом операції, такі як арифметичні операції, логічні операції, операції зберігання, операції переходу тощо.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-b215612938-dd1a6f-69ad2a.webp)
Пам'ять і пам'ять, емульовані EVM, є пристроями, які використовуються для зберігання стану та даних смарт-контракту. EVM розглядає пам'ять і пам'ять як дві різні області, які можуть отримати доступ до стану та даних смарт-контракту шляхом читання та запису в пам'ять і пам'ять.
Стек симуляцій EVM використовується для зберігання операндів та результатів інструкцій. Більшість інструкцій у наборі команд EVM засновані на стеку, вони зчитують операнди зі стека та надсилають результати назад у стек.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-74a85b3f36-dd1a6f-69ad2a.webp)
Очевидно, що процес проектування EVM відбувається знизу вгору, спочатку доопрацьовуючи змодельоване апаратне середовище (стек, пам'ять), а потім проектуючи власний набір наборів інструкцій для складання (Opcode) і байт-коду (Bytecode) відповідно до відповідного середовища. Спільнота Ethereum розробила дві скомпільовані мови високого рівня - Solidity і Vyper - для ефективності виконання EVM. Зайве говорити, що Vyper — це високорівнева мова EVM Віталіка, розроблена для усунення деяких недоліків Solidity, але вона не отримала великого поширення в спільноті, тому поступово канула в невідомість.
1.2.2 zkEVM - Я хочу все: сумісність з середовищем EVM + підтримка глобального перетворення коренів станів для генерації zk-proof
Репрезентативні проекти: Taiko, Scroll, Polygon zkEVM
Оскільки EVM не побудований з урахуванням zk-proof-обчислень, він не є дружнім до схем доказу, особливо з точки зору спеціальних кодів операцій, архітектури на основі стека, накладних витрат на зберігання та доказу. zkEVM — це віртуальна машина, яка виконує смарт-контракти у спосіб, сумісний із zk-proof-proof-обчисленнями, щоб процес виконання EVM можна було перевірити ефективніше та економічно вигідніше за допомогою zk-proof/validity-proof. У порівнянні з OP Rollup, виконавчий шар повинен лише скопіювати EVM, а дружня до ZK конструкція EVM є додатковою проблемою для ZK Rollup.
ZK-rollups нелегко сумісні з віртуальною машиною Ethereum (EVM). Доведення обчислень EVM загального призначення в схемі є складнішим і ресурсомістким, ніж доведення простого обчислення, такого як передача токена, описана раніше.
Однак прогрес у технології з нульовим розголошенням(opens in a new tab) відновив інтерес до обгортання обчислень EVM у докази з нульовим розголошенням. Ці зусилля спрямовані на створення реалізації EVM з нульовим розголошенням (zkEVM), яка може ефективно перевіряти правильність виконання програми.
Як і EVM, zkEVM переходить між станами після виконання обчислень на певних входах. Різниця полягає в тому, що zkEVM також створює докази з нульовим розголошенням, щоб перевірити правильність кожного кроку у виконанні програми. Докази валідності можуть перевірити правильність операцій, пов'язаних зі станом віртуальної машини (пам'ять, стек, сховище) і самим обчисленням (тобто, чи викликала операція правильні коди операцій і чи правильно їх виконала?). ）。
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-3885eea05b-dd1a6f-69ad2a.webp)
В даний час Rollup важко досягти дружньої до ZK і сумісності з EVM (або навіть еквівалентної), тобто або максимально повно відтворити рівень виконання Ethereum L1, включаючи хеші, дерева станів, дерева транзакцій, попередню компіляцію і т.д., щоб клієнт виконання Ethereum L1 можна було використовувати як є для обробки блоків Rollup; Або відмовтеся від сумісності з EVM і відтворіть існуючий код операції для доказу/перевірки в схемі, що дозволить виконувати смарт-контракти.
1.2.3 zkVM - Ви не можете мати його в обох напрямках: віртуальні машини з захистом від ефективності, не пов'язані з 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, Polygon Miden
Блокчейн — це система публічного реєстру, де всі транзакції здійснюються ончейн, що означає, що зміни стану, що містять інформацію про активи, пов'язані з адресами чи рахунками, є відкритими та прозорими. В результаті, крім роботи над рішеннями для масштабування, деякі блокчейн-команди вважають, що наступною ключовою функцією, яку потрібно впровадити, є конфіденційність.
На додаток до дружньої до zk підтримки масштабування, Privacy zkVM дозволяє розробникам додатків верхнього рівня відкривати децентралізовані програми, пов'язані з конфіденційністю, завдяки функціям конфіденційності, які за замовчуванням підтримуються власною мовою програмування, що принесе нові сценарії додатків і грандіозні наративи, такі як повне вирішення проблеми MEV і забезпечення права власності на дані користувача. Звичайно, складність дизайну Privacy zkVM вимагатиме набагато більшої технічної команди для реалізації, і на це може піти кілька років.
1.2.5 SVM - Після припливу все ще є вуглинки: середовище виконання, яке було розроблено з максимальною продуктивністю
Репрезентативні проекти: Eclipse Mainnet, Nitro, MakerDAO Chain (можливо)
SVM, або Solana Virtual Machine, фокусується на високопродуктивному середовищі виконання, а смарт-контракти в основному пишуться на Rust. На відміну від однопотокових обчислювальних середовищ EVM та EOS WASM, SVM забезпечують неперекриття транзакцій і одночасне виконання транзакцій, які зчитують лише один і той самий стан, вимагаючи, щоб транзакції Solana описували всі стани, які будуть прочитані або записані в них під час виконання.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-5c07390761-dd1a6f-69ad2a.webp)
Крім того, щоб забезпечити швидку перевірку/трансляцію великих блоків транзакцій, у процесі перевірки транзакцій у мережі Solana широко використовуються оптимізації конвеєрів, які поширені при проектуванні процесорів. Щоб впоратися з ситуацією, коли ряд кроків обробляє вхідний потік даних, і кожен крок має різну апаратну відповідальність. Типовою аналогією є пральна та сушильна машини, які послідовно перуть/сушать/складають кілька партій білизни. Прання необхідно проводити перед сушінням, а складання - перед сушінням, але кожну з цих трьох операцій виконує окремий агрегат.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-c9b316a16d-dd1a6f-69ad2a.webp)
Крім того, SVM засновані на регістрах і мають набагато менший набір інструкцій, ніж EVM, що полегшує перевірку виконання SVM у ZK. Для оптимістичних зведень дизайни на основі реєстрів полегшують встановлення контрольних точок.
1.2.6 Fuel VM - Buff Stacking: Паралельна віртуальна машина під фреймворком UTXO
Репрезентативний проект: Паливо
Fuel VM заснований на технологіях EVM, Solana, WASM, BTC & Cosmos і має наступні особливості в порівнянні з EVM:
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-dc84c420c7-dd1a6f-69ad2a.webp)
Найбільш унікальним є те, що Fuel не тільки має можливість виконувати транзакції паралельно з транзакціями, що не перетинаються, встановлюючи списки доступу, такі як SVM, але також використовує модель UTXO, яка поділяється на токен UTXO та контракт UTXO, що ще більше підвищує ефективність доступу та пропускну здатність обчислень.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-54817c581d-dd1a6f-69ad2a.webp)
Крім того, Fuel VM забезпечує потужний і плавний досвід розробника за допомогою власної мови для конкретної предметної області, Sway, і допоміжного інструментарію Fort, з середовищем розробки, яке зберігає переваги мов смарт-контрактів, таких як Solidity, приймаючи парадигми, введені в екосистему інструментів Rust.
У майбутньому віртуальна машина Fuel також реалізує оновлення мови Sway, включаючи оптимізацію компілятора з точки зору розміру байт-коду, Sway підтримуватиме більше бекендів (бекенди EVM вже в розробці), абстракції будуть більш економічними, більше додатків буде перенесено з Solidity/Vyper на Sway, покращений аналіз повторного входу на рівні компілятора тощо.
1.2.7 ESC VM - наступник Ordinal/Smartweave: обчислювальний рівень поверх Ethereum
Репрезентативний проект: Протокол Ethions
ESC VM, або Ethions Virtual Machine, — це рішення для смарт-контрактів, запропоноване Ethions Protocol. Сам протокол Ethions — це протокол, схожий на BTC Ordinal у ланцюжку Ethereum, зосереджений на вивченні недорогих альтернатив смарт-контрактам і L2.
Ethions дозволяє користувачам обходити зберігання та виконання смарт-контрактів за невелику частину вартості та застосовувати calldata у Tx для обчислень за допомогою заздалегідь узгоджених правил протоколу. Простіше кажучи, якщо успішна транзакція Ethereum має calldata, яка відповідає зазначеній дійсній специфікації даних, а унікальна адреса & «to» не дорівнює 0, її можна вважати юридично створеною Ethion, де адреса «від» є творцем, а адреса «кому» є власником.
На початку дизайну кожен Ethion більше схиляється до форми NFT, наприклад, image NFT, і безпосередньо записує вміст зображення в calldata через формат Base 64:
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-59364b934a-dd1a6f-69ad2a.webp)
Найпопулярнішим етом останнім часом є Ethion, який був створений з посиланням на специфікацію протоколу BRC-20:
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-8b1cde6b8b-dd1a6f-69ad2a.webp)
Смарт-контракт, представлений ESC VM, відомий як «тупий контракт», рекламується як логічний контракт, але сам по собі не взаємодіє в ланцюжку у формі EVM. Крім того, ESC VM також додає спеціальний формат "machine command", який буде розпізнаватися ESC VM для взаємодії з тупими контрактами, такими як 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.8 Bit VM - Цікавий дослідницький експеримент: одноранговий канал виконання поверх BTC
Репрезентативний проект: ZeroSync
Засновник ZeroSync Робін Лінус (Robin Linus) 9 жовтня випустив офіційний документ «BitVM: Compute Anything On Bitcoin», який є не віртуальною машиною, якщо бути точним, а спробою створити повний обчислювальний простір Тюрінга з контрактами, що зберігаються в ланцюжку Bitcoin, але логіка контрактів виконується поза мережею. Якщо ви вважаєте, що інша сторона не виконує зобов'язання, ви можете запустити челендж у ланцюжку, а якщо інша сторона не зможе правильно відповісти, ви можете забрати всі кошти в контракті.
Перевага полягає в тому, що він може надати Bitcoin Turing повноту без будь-яких змін у протоколі Bitcoin, без нових кодів операцій, без софт-форків і готовий до застосування.
Його недоліки також очевидні, один полягає в тому, що він підтримує транзакції лише між двома сторонами (одна доводить, а інша перевіряє), а інша полягає в тому, що створення контракту вимагає створення великої кількості даних і попереднього підписання великої кількості транзакцій, а вартість зберігання інформації поза мережею величезна.
Ось короткий вступ до технічної логіки:
(1) Зобов'язання щодо введення балів
Точкове зобов'язання на вході дозволяє програматору встановити вхідне значення 0 або 1 для логічного вентилю, і в цьому промісі є два хеш-значення H(A 0) і H(A 1), і програматору потрібно відкрити хеш-попередник, наприклад A 0, потім встановити вхідне значення на 0, якщо виявлено A 1, то встановити вхідне значення на 1 .
(2) Зобов'язання логічних воріт
Отримавши вхідні значення, ви можете об'єднати будь-який логічний вентиль у Bitcoin Script, об'єднавши коди операцій amp і NAND Bitcoin.
(3) Зобов'язання двійкових ланцюгів
Повноти Тюрінга можна досягти, об'єднавши сотні мільйонів логічних вентилів у двійкову схему. Для того, щоб зафіксувати цю двійкову схему в мережі Bitcoin, всі логічні шлюзи повинні бути поміщені в листовий вузол з адресою Taproot.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-2adb7ce547-dd1a6f-69ad2a.webp)
(4) Зв'язок «виклик-відповідь»
Недостатньо зафіксувати схему в ланцюжку, обом сторонам транзакції потрібен ефективний спосіб перевірки правильності розрахунків контракту. В ідеалі, контракт діє поза мережею, і обидві сторони щасливі, коли вони співпрацюють і не сперечаються. Однак, якщо між двома сторонами транзакції виникає суперечка, вам потрібно ввести крок виклик-відповідь, щоб перевірити результати розрахунку та примусово розподілити баланс каналу через Bitcoin Script.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-51632a6382-dd1a6f-69ad2a.webp)
Таким чином, BitVM далеко не є якимось Bitcoin Rollup або L2 і не має повноцінного середовища виконання віртуальної машини, глобального стану, мови високого рівня для публікації складних смарт-контрактів, і не може дозволити будь-якій кількості користувачів легко взаємодіяти з цими контрактами. Щоб проілюструвати це на прикладі простої людини, BitVM схожий на створення гігантського комп'ютера, більшого за кімнату в епоху, коли кожен може використовувати мобільні пристрої.
1.2.9 MoveVM - продукт генів Facebook Web2
Представницькі проекти: Aptos, Sui
Move - це мова програмування для написання безпечних смарт-контрактів, яка спочатку була розроблена Facebook для підтримки блокчейна Diem, а після припинення блокчейн-проекту Diem такі проекти, як Aptos і Sui, продовжили використання мови Move. Найбільшою особливістю блокчейну Move є те, що сховище даних використовує глобальне сховище, яке складається з дерева з адресою облікового запису як кореневою, і кожна адреса може зберігати ресурсні дані та код модуля.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-4bc57a20bb-dd1a6f-69ad2a.webp)
Існує два різних типи програм для Move: модулі та скрипти. Модуль – це бібліотека, яка визначає типи структур та функції, які оперують цими типами. Тип структури визначає глобальний режим зберігання для Переміщення, а функція модуля визначає правила оновлення сховища. Самі модулі також зберігаються в глобальному сховищі. Скрипти, з іншого боку, є точкою входу до виконуваного файлу, подібно до основної функції в традиційних мовах, і є тимчасовими фрагментами коду, які не публікуються в глобальному сховищі.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-8a301faa9e-dd1a6f-69ad2a.webp)
Таким чином, модуль Move схожий на модуль динамічної бібліотеки, який завантажується під час виконання системного виконуваного файлу, тоді як сценарій схожий на основну програму. Користувачі можуть писати власні сценарії для доступу до глобального сховища, включаючи модулі виклику, тоді як публікувати модулі або виконувати сценарії можна маніпулювати через віртуальну машину Move.
1.3 Тенденції екологічного розвитку
Тепер, коли мережевий ефект EVM настільки сильний, міграція користувачів EVM до екосистем, що не належать до ланцюга EVM, стала найбільшою точкою зростання для нових блокчейн-проектів, що принесе більше компонування Dapp, а більший зв'язок може призвести до швидшого зростання користувачів у найближчі роки.
1.3.1 Сумісність з інтерфейсом гаманця
Історично склалося так, що знайомство користувачів EVM з ланцюгами, які не є EVM, було серйозною перешкодою, але нещодавній запуск Metamask Snap подолає цей бар'єр. Користувачі EVM можуть продовжувати використовувати MetaMask без необхідності перемикати гаманці. Завдяки внескам Drift з відкритим вихідним кодом, які створюють чудову реалізацію MetaMask Snap, UX є еквівалентом взаємодії з будь-яким ланцюжком EVM. Користувачі основної мережі Eclipse зможуть взаємодіяти з нативними додатками в MetaMask або використовувати власні гаманці Solana, такі як Salmon.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-238b0558fb-dd1a6f-69ad2a.webp)
1.3.2 Сумісність із серверною частиною віртуальних машин
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 має більш високу вбудовану сумісність.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-7049ae3417-dd1a6f-69ad2a.webp)
Neon EVM — це тип EVM, який працює як смарт-контракт і може бути розгорнутий у будь-якому ланцюжку SVM. Сама основна мережа Eclipse використовує SVM як середовище виконання, але забезпечує повну сумісність з EVM (включаючи підтримку байт-коду EVM і Ethereum JSON-RPC) через Neon EVM і більш високу пропускну здатність, ніж однопотоковий EVM. Крім того, кожен екземпляр Neon EVM має свій локальний ринок комісій, тобто існує верхня межа (1/4 блокового обчислювального блоку), пов'язана з взаємодією одного контрактного рахунку на висоті блоку, тому користувачам потрібно сплачувати пріоритетні збори лише тоді, коли конкретна взаємодія з гарячим контрактом або блок заповнені. У цьому сенсі додаток розгортає свій власний контракт, щоб отримати перевагу, подібну до переваги ланцюжка додатків, тим самим зменшуючи порушення користувацького досвіду, безпеки або ліквідності всієї мережі, коли конкретний контракт взаємодіє з перевантаженням tx.
! [Торгівля PSE: Під хвилею зведення VM все ще є що розповісти] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-663a3c3002-dd1a6f-69ad2a.webp)
Ресурси:
«Kakarot: Досліджуючи шлях Starknet до сумісності з EVM», Cynic & Starknet Astro
«BitVM гаряче обговорюється, чи зможе мережа Bitcoin досягти повноти Тюрінга?» »,Хаотянь
«Архітектура та екосистема технологій Starkware», від Maxlion
«Дослідження проекту丨Звіт про дослідження палива модульного високошвидкісного виконавчого шару», від Web3 CN
«Аналіз першої критичної вразливості Aptos Move VM», Numen Cyber Labs
"Що таке SVM - віртуальна машина Solana", від Squaads
«Представляємо основну мережу Eclipse: Ethereum SVM L2», від Eclipse
15.«Різні типи ZK-EVM», Віталік Бутерін