Аналіз білої книги AVM: тьюрінг-повна віртуальна машина для динамічного станового автомата з BTC?

Як розуміти останню білу книгу AVM від @atomicalsxyz? Просто кажучи: це спосіб реалізації можливості розгортання системи смарт-контрактів на власне “безстатусній” основній мережі Bitcoin шляхом моделювання віртуальної машини Bitcoin, яка дозволяє записувати та обробляти стани складніших активів поза активами BTC, схоже на повноту за Тюрінгом смартконтрактів. Далі я поділюся своїм розумінням:

1）Біткойн спочатку був розроблений як система електронних грошей для обміну точка-точка з певними можливостями зберігання скриптових даних, а також операційних кодів OP, а також логіки перевірки активів на основі UTXO з блокуванням за часом та умовами витрати.

Тому, мережа Bitcoin може забезпечити управління активами в режимі "без стану" при записі та передачі активів BTC. Завдяки простій моделі UTXO та обмеженням передвизначених правил перетворення стану, ця модель без стану може використовуватися лише для обмеженого управління одиночними активами BTC.

Якщо ви намагаєтесь додати активи на мережі Біткойн, такі як BRC20, ARC20, Runes та інші активи, вам знадобиться більш складна динамічна модель “станової машини”, щоб відстежувати збереження, торгівлю, зміни стану тощо цих активів. Як це реалізувати?

Один спосіб - використання зовнішнього протоколу та рішення на другому рівні (layer2) для побудови моделі “стейт-машина” поза блокчейном для розширення обробки, такі як @NervosNetwork @RoochNetwork та інші відмінні рішення на другому рівні, навіть такі як RGB, Lighting Network та інші природні рішення, входять в цей тип.

Ще одним способом є пряме розширення функціональності сценарію для додавання нових операцій або простору для зберігання для обробки створення та перекладу складних активів, таких як Covenant та OP_CAT, які залежать від стандартів пропозицій BIP, що були прийняті.

Вищевказані два способи або занадто “активні”, що ускладнює досягнення єдності у консенсусі протягом короткого часу, або занадто “пасивні”, що призводить до великої невизначеності. AVM віртуальна машина пропонує альтернативу між цими двома підходами, надаючи спеціальне рішення для прямого створення середовища виконання віртуальної машини на головній мережі Bitcoin.

2. Як це зробити? Основні принципи роботи AVM включають три частини:

1、Симуляція скрипта Bitcoin фактично є набором інструкцій Bitcoin, який за допомогою подвійного стеку PDA (програмний пристрій з автоматичним збереженням) реалізує властивість повності за Тюрінгом;

2、середовище виконання пісочниці, весь симуляційний стенд знаходиться в контрольованому ізольованому середовищі, що робить виконання у пісочниці та поза нею взаємно незалежними;

3、хеш стану дозволяє учасникам перевірити, чи правильно синхронізований їхній стан з індексатором, що запобігає потенційним атакам на неоднорідність стану.

Просте розуміння: AVM безпосередньо використовує поточний обмежений обсяг зберігання BTC і OP-коди для обробки каркасу, вводячи спеціальний спосіб кодування та декодування (пісочний середовище) в кожну основну мережеву транзакцію BTC.

Цей пісочниця має вбудований індексатор, пісочницю розбору (набір інструкцій), глобальну базу даних та інші, що дозволяє незалежно забезпечити зберігання активів, реєстрацію стану угод та управління ними, що еквівалентно вбудованому в BTC головну мережу динамічному “становому автомату”, що в свою чергу дозволяє реалізувати складну обробку смарт-контрактів та синхронізацію й перевірку стану.

3. З наявністю теорії AVM віртуальної машини теоретично можна зробити так, щоб основна мережа Bitcoin мала базові можливості операцій із розумними контрактами, щоб Bitcoin мав можливість управління багаторазовими складними активами та можливість втілення складної логіки стану DApp, що в сутності означає надання можливості мережі Bitcoin для певного рівня функціоналу власної екосистеми.

Це, звичайно, можна вважати великим кроком вперед, принаймні щодо інноваційної здатності розширення BTC на рівні RGB, мережі Lightning та різноманітних відмінних протоколів другого рівня. Навіть в аспекті нативних можливостей воно перевершує інші варіанти.

Однак AVM потребує кодування зберігання на основі скриптів Bitcoin та виконання операцій OP Codes, тому в цілому воно обмежене продуктивністю основної мережі BTC, такою як обсяг зберігання блоків, швидкість генерації блоків і т.д.

试想，一个基于AVM构建的DeFi项目，每分钟只能处理7笔交易，两个状态转化之间需要等待十分钟，这样的смартконтракти即使理论上完备，依然被束缚住了手脚。而且依赖比特币脚本指令集来开发复杂的合约功能，要比ЕтерSolidity等语言开发смартконтракти更复杂、难度更大。

Крім того, Біла книга AVM лише роз’яснює спосіб виконання вбудованої віртуальної машини Make Sense, а фактичне впровадження в середовище застосування, його функціонування та стабільність залишаються невідомими.

Вищевказане

Загалом, я нахиляюся до того, щоб розглядати розробку AVM як корисне активне дослідження, що базується на розширенні сценаріїв BTC основної мережі, що насправді може стимулювати посадку деяких простих смартконтрактів на BTC основній мережі, одночасно може мати більший вплив та значення в екосистемі другого рівня для біткоїнової основної мережі та комбінованої екосистеми ланцюжка BitVM та ланцюжка поза блокчейном.

Проте, як і інші розширені рішення для BTC, AVM також має свої переваги та недоліки, і його привабливість “ортодоксальності” потребує підтвердження шляхом розвитку екосистеми після впровадження. Рекомендується залишатися розумним, обережним і оптимістичним відношенням.