AVM là gì: Một máy ảo Turing hoàn chỉnh giúp BTC đạt được «máy trạng thái» động?
Tuyển chọn TechFlowTuyển chọn TechFlow
AVM là gì: Một máy ảo Turing hoàn chỉnh giúp BTC đạt được «máy trạng thái» động?
AVM là một cuộc thám hiểm chủ động có ích, mở rộng từ script trên mạng chính BTC, có thể thúc đẩy việc triển khai một số hợp đồng thông minh tương đối đơn giản trên mạng chính BTC.
Chuyên sâu báo cáo Web3Tác giả: Haotian
Làm thế nào để hiểu văn bản trắng về máy ảo AVM mới nhất được @atomicalsxyz công bố? Nói đơn giản: đây là một phương pháp mô phỏng Máy ảo Bitcoin, cho phép mạng chính Bitcoin vốn "không trạng thái" ban đầu có khả năng triển khai hệ thống hợp đồng thông minh, từ đó hoàn thành việc ghi chép và xử lý các tài sản phức tạp hơn ngoài tài sản BTC, tương tự như hợp đồng thông minh Turing hoàn chỉnh. Dưới đây là góc nhìn của tôi:
1) Thiết kế ban đầu, Bitcoin là một hệ thống tiền điện tử ngang hàng, có khả năng lưu trữ dữ liệu Script nhất định, đồng thời sở hữu một số mã thao tác OP Codes cơ bản, cũng như một cơ chế xác thực tài sản dựa trên UTXO, khóa thời gian và điều kiện chi tiêu.
Do đó, khi ghi nhận và chuyển giao tài sản BTC, mạng lưới Bitcoin có thể thực hiện quản lý tài sản trong trạng thái "không trạng thái". Vì mô hình UTXO đơn giản cực đoan và các quy tắc chuyển đổi trạng thái được định nghĩa trước, mô hình không trạng thái này chỉ có thể xử lý việc quản lý hạn chế đối với duy nhất một loại tài sản BTC.
Nếu muốn thêm các tài sản mới lên mạng lưới Bitcoin, ví dụ như BRC20, ARC20, Runes,... thì cần một mô hình "máy trạng thái" động phức tạp hơn để ghi chép việc lưu trữ, giao dịch, biến đổi trạng thái của những tài sản này. Làm cách nào?
Một cách là sử dụng các giao thức bên ngoài và giải pháp lớp 2 (layer2), xây dựng mô hình "máy trạng thái" ở ngoài chuỗi để mở rộng xử lý; các giải pháp mở rộng lớp 2 xuất sắc hiện nay như @NervosNetwork hay @RoochNetwork, thậm chí cả các giải pháp gốc như RGB, Lightning Network đều thuộc nhóm này;
Cách khác là trực tiếp mở rộng chức năng của Script, bằng cách bổ sung các mã thao tác mới hoặc không gian lưu trữ để xử lý việc tạo và chuyển giao tài sản phức tạp, các phương án như Covenant và OP_CAT – phụ thuộc vào việc chấp thuận các đề xuất chuẩn BIP – cũng thuộc nhóm này;
Hai cách trên hoặc quá "chủ động", khó đạt được sự đồng thuận nhất trí trong thời gian ngắn, hoặc quá "thụ động", tiềm ẩn nhiều bất định lớn. Máy ảo AVM đưa ra một phương án xử lý đặc biệt nằm giữa hai hướng trên, tức là xây dựng trực tiếp môi trường thực thi máy ảo ngay trên mạng chính Bitcoin.
2) Làm thế nào? Nguyên lý hoạt động chính của AVM bao gồm ba phần:
1. Mô phỏng script Bitcoin, thực chất là tập lệnh Bitcoin, thông qua PDA hai ngăn xếp (tự động máy có thể đẩy vào lưu trữ) để đạt được thuộc tính Turing hoàn chỉnh;
2. Môi trường chạy hộp cát (sandbox), toàn bộ máy mô phỏng nằm trong một môi trường cách ly được kiểm soát, đảm bảo việc thực thi trong và ngoài hộp cát không ảnh hưởng lẫn nhau;
3. Băm trạng thái (state hash), cho phép người tham gia xác minh xem trạng thái của bộ chỉ mục (indexer) của họ có được đồng bộ đúng hay không, ngăn chặn các cuộc tấn công tiềm tàng do trạng thái không nhất quán.
Hiểu đơn giản: AVM tận dụng trực tiếp không gian lưu trữ hạn chế hiện tại của BTC và khung xử lý OP Codes, bằng cách đưa vào mỗi giao dịch trên mạng chính BTC một phương pháp mã hóa/giải mã đặc biệt (môi trường sandbox).
Sandbox này đi kèm bộ chỉ mục, trình phân tích sandbox (tập lệnh), cơ sở dữ liệu toàn cầu... có thể độc lập hoàn tất toàn bộ quy trình quản lý như lưu trữ tài sản, ghi chép trạng thái giao dịch, v.v., tương đương với việc tích hợp một "máy trạng thái" động bên trong mạng chính BTC, từ đó có thể thực hiện xử lý hợp đồng thông minh phức tạp cùng việc đồng bộ và xác minh trạng thái.
3) Về lý thuyết, với AVM máy ảo, mạng chính Bitcoin có thể sở hữu các chức năng vận hành cơ bản của hợp đồng thông minh, mang lại khả năng quản lý nhiều tài sản phức tạp và triển khai các DApp có logic trạng thái phức tạp, tương đương với việc mạng lưới Bitcoin có được một mức độ nhất định chức năng tự xây dựng hệ sinh thái.
Đây rõ ràng là một bước tiến vĩ đại, ít nhất cũng ngang tầm với các sáng kiến mở rộng khả năng BTC như RGB, Lightning Network và các giao thức lớp 2 xuất sắc khác. Thậm chí, xét về tính gốc (Native), nó còn vượt trội hơn các giải pháp khác.
Tuy nhiên, AVM phải dựa vào script Bitcoin để mã hóa lưu trữ, đồng thời dựa vào OP Codes để thực thi giao dịch, do đó hiệu năng tổng thể bị giới hạn bởi hiệu suất mạng chính BTC, ví dụ: dung lượng khối lưu trữ, tốc độ khai thác khối, v.v.
Hãy tưởng tượng, một dự án DeFi xây dựng trên AVM, mỗi phút chỉ xử lý được 7 giao dịch, hai lần chuyển trạng thái cần chờ đợi mười phút — ngay cả khi về mặt lý thuyết hợp đồng đã đầy đủ, thì vẫn bị trói buộc nghiêm trọng. Hơn nữa, việc phát triển các chức năng hợp đồng phức tạp dựa trên tập lệnh script Bitcoin sẽ khó khăn và phức tạp hơn nhiều so với việc dùng các ngôn ngữ như Solidity trên Ethereum để viết hợp đồng thông minh.
Hơn nữa, văn bản trắng AVM mới chỉ làm rõ một phương thức thực thi máy ảo tích hợp hợp lý, nhưng việc triển khai thực tế, vận hành ứng dụng, ổn định vận hành ra sao vẫn còn là điều chưa biết.
Trên đây
Nhìn tổng thể, tôi thiên về việc coi việc phát triển và triển khai AVM như một khám phá chủ động hữu ích dựa trên việc mở rộng script của mạng chính BTC, thực sự có thể thúc đẩy việc triển khai một số hợp đồng thông minh đơn giản trên mạng chính BTC, đồng thời giúp mạng chính Bitcoin phát huy vai trò và giá trị lớn hơn trong việc xây dựng hệ sinh thái lớp 2 cũng như trong các hệ sinh thái kết hợp trên-chuỗi và ngoài-chuỗi như BitVM.
Tuy nhiên, giống như các giải pháp mở rộng BTC khác, AVM cũng có ưu và nhược điểm riêng, và cũng cần dựa vào tình hình xây dựng hệ sinh thái sau khi triển khai để tự tăng thêm sức hút "tính chính thống"; do đó, tôi đề nghị giữ thái độ lạc quan thận trọng, tỉnh táo.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
Haotian | CryptoInsight
