Tìm hiểu AVM: Máy ảo hoàn chỉnh Turing cho phép BTC triển khai "máy trạng thái" động

Nguồn: Chế độ xem chuỗi

Cách thực hiện Hiểu sách trắng về máy ảo AVM mới nhất do @atomicalsxyz phát hành? Nói một cách đơn giản: đó là một phương pháp mô phỏng máy ảo Bitcoin để cho phép mạng chính Bitcoin “không trạng thái” ban đầu triển khai hệ thống hợp đồng thông minh, sau đó có thể hoàn thành khả năng ghi và xử lý trạng thái của các tài sản phức tạp hơn bên cạnh tài sản BTC. Tương tự như Turing hoàn thành hợp đồng thông minh. Tiếp theo, hãy chia sẻ hiểu biết của tôi:

1) Bitcoin ban đầu được thiết kế như một hệ thống tiền điện tử ngang hàng, với một số khả năng lưu trữ dữ liệu tập lệnh nhất định và một số OP cơ bản Mã hoạt động của mã cũng có một bộ logic xác minh tài sản dựa trên các điều kiện chi tiêu và khóa thời gian UTXO.

Do đó, mạng Bitcoin có thể đạt được khả năng quản lý tài sản "không trạng thái" khi ghi và truyền tài sản BTC. Do những hạn chế của mô hình tối giản UTXO và các quy tắc chuyển đổi trạng thái được xác định 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 một tài sản BTC duy nhất.

Nếu bạn cố gắng thêm nội dung mới vào mạng Bitcoin, chẳng hạn như BRC20, ARC20, Runes và các nội dung khác, bạn sẽ cần một mô hình "máy trạng thái" động phức tạp hơn để ghi lại hành vi của các tài sản này, lưu trữ, giao dịch, thay đổi trạng thái, v.v. Làm thế nào để đạt được điều này?

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 để xây dựng mô hình "máy trạng thái" ngoài chuỗi nhằm mở rộng quá trình xử lý, chẳng hạn như @NervosNetwork  @RoochNetwork   các giải pháp mở rộng Lớp thứ hai xuất sắc khác hiện đang xuất sắc, ngay cả các giải pháp gốc như RGB và Lightning Network, đều thuộc loại này;

Là một cách khác để trực tiếp mở rộng chức năng của tập lệnh Script để thêm hoạt động mới? Hoặc không gian lưu trữ để xử lý việc tạo và chuyển giao các nội dung phức tạp như Covenant và OP_CAT dựa trên việc áp dụng các tiêu chuẩn đề xuất BIP thuộc loại này;

Các giải pháp trên. hai phương pháp hoặc quá “chủ động” “Khó đạt được sự đồng thuận, thống nhất trong thời gian ngắn hoặc quá “thụ động” và có tính không chắc chắn lớn. Máy ảo AVM cung cấp một giải pháp đặc biệt nằm ở đâu đó giữa hai giải pháp này và trực tiếp xây dựng môi trường thực thi máy ảo trên mạng chính Bitcoin.

2) Thực hiện như thế nào? Nguyên tắc hoạt động chính của AVM bao gồm ba phần:

1. Mô phỏng tập lệnh Bitcoin, thực chất là tập lệnh Bitcoin, thực hiện Turing thông qua PDA xếp chồng kép (máy tự động lưu trữ có thể ép) Hoàn tất. thuộc tính;

2. Môi trường vận hành Sandbox, toàn bộ trình mô phỏng nằm trong môi trường cách ly được kiểm soát, do đó việc thực thi trong sandbox và thực thi bên ngoài không ảnh hưởng lẫn nhau;< /p>

3. Băm trạng thái cho phép người tham gia xác minh xem trạng thái của người lập chỉ mục của họ có được đồng bộ hóa chính xác hay không, ngăn chặn các cuộc tấn công tiềm ẩn từ trạng thái không nhất quán.

Hiểu đơn giản: AVM trực tiếp sử dụng không gian lưu trữ hạn chế hiện tại của BTC và khung xử lý Mã OP, bằng cách đưa một phương thức mã hóa và giải mã (sha) đặc biệt vào mỗi hộp giao dịch mạng chính BTC. môi trường).

Hộp cát này đi kèm với bộ chỉ mục riêng, bộ phân tích cú pháp hộp cát (bộ lệnh), Cơ sở dữ liệu toàn cầu (cơ sở dữ liệu), v.v. và có thể hoàn thành một bộ lưu trữ nội dung hoàn chỉnh, ghi lại trạng thái giao dịch một cách độc lập , v.v. Việc quản lý tương đương với việc tích hợp một "máy trạng thái" động vào mạng chính BTC, sau đó có thể thực hiện xử lý hợp đồng thông minh phức tạp, đồng bộ hóa và xác minh trạng thái.

3) Về mặt lý thuyết, máy ảo AVM có thể cho phép mạng chính Bitcoin có các chức năng vận hành hợp đồng thông minh cơ bản, giúp Bitcoin có thể quản lý nhiều tài sản phức tạp và triển khai DApps logic trạng thái phức tạp. tương đương với việc cung cấp cho mạng Bitcoin một chức năng sinh thái tự xây dựng nhất định.

Đây chắc chắn là một tiến bộ lớn, ít nhất là cùng mức độ đổi mới về khả năng mở rộng BTC như RGB, Lightning Network và nhiều giải pháp xử lý giao thức lớp thứ hai tuyệt vời khác. Nó thậm chí còn tốt hơn các giải pháp khác về mặt Bản địa.

Tuy nhiên, AVM dựa vào các tập lệnh Bitcoin Script để lưu trữ mã và Mã OP để thực hiện giao dịch, do đó, về tổng thể, nó bị hạn chế bởi hiệu suất mạng chính của BTC, chẳng hạn như: khối lưu trữ kích thước không gian, tốc độ thoát , vân vân.

Hãy tưởng tượng rằng một dự án DeFi dựa trên AVM chỉ có thể xử lý 7 giao dịch mỗi phút và phải mất mười phút chờ đợi giữa hai lần chuyển đổi trạng thái. Ngay cả khi về mặt lý thuyết, một hợp đồng thông minh như vậy đã hoàn tất, vẫn bị trói tay chân. Hơn nữa, việc dựa vào bộ hướng dẫn tập lệnh Bitcoin Script để phát triển các chức năng hợp đồng phức tạp sẽ phức tạp và khó khăn hơn so với việc phát triển hợp đồng thông minh bằng các ngôn ngữ như Ethereum Solidity.

Hơn nữa, sách trắng AVM chỉ làm rõ phương pháp thực thi máy ảo tích hợp của Make Sense. Các vấn đề như cách triển khai thực tế trực tuyến và cách môi trường ứng dụng vận hành cũng như cách thức triển khai. hoạt động ổn định vẫn chưa rõ.

Những điều trên

Nhìn chung, tôi có xu hướng coi việc phát triển và triển khai AVM là một sự phát triển có lợi dựa trên phần mở rộng tập lệnh BTC mainnet Script Việc thăm dò tích cực 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 hơn trên mạng chính BTC. Đồng thời, mạng chính Bitcoin có thể đóng vai trò và giá trị lớn hơn trong việc xây dựng hệ sinh thái lớp thứ hai và hệ sinh thái kết hợp trên . -chain và off-chain như BitVM.

Tuy nhiên, giống như các loại giải pháp mở rộng BTC khác, AVM cũng có những ưu điểm và nhược điểm và nó phải dựa vào cấu trúc sinh thái sau khi triển khai để mở rộng sức hấp dẫn "hợp pháp" của mình. để duy trì một thái độ hợp lý, thận trọng và lạc quan.