Làm thế nào để hiểu AVM: Một máy ảo Turing-complete cho phép BTC triển khai máy trạng thái động?

Tác giả gốc: Hạo Thiên

Làm thế nào để hiểu được sách trắng về máy ảo AVM do @atomicalsxyz phát hành gần đây? Nói một cách đơn giản: đây là một cách mô phỏng máy ảo Bitcoin, để mạng chính Bitcoin ban đầu không có trạng thái có thể hiện thực hóa khả năng mang theo hệ thống hợp đồng thông minh, sau đó hoàn thiện khả năng ghi lại và xử lý trạng thái của 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 hoàn chỉnh của Turing. Tiếp theo, hãy chia sẻ 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 mặt điện tử ngang hàng với khả năng lưu trữ dữ liệu tập lệnh nhất định, một số Mã OP cơ bản và một bộ logic xác minh tài sản dựa trên khóa thời gian UTXO và điều kiện chi tiêu.

Do đó, mạng Bitcoin có thể đạt được quản lý tài sản không trạng thái khi ghi lại 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ý quản lý hạn chế một tài sản BTC duy nhất.

Nếu bạn thử thêm tài sản mới vào mạng Bitcoin, chẳng hạn như BRC 20, ARC 20, Runes, v.v., 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 lưu trữ, giao dịch, thay đổi trạng thái, v.v. của các tài sản này. 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à các giải pháp lớp 2 để 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 tuyệt vời hiện tại như @NervosNetwork @RoochNetwork và thậm chí các giải pháp gốc như RGB và Lightning Network đều thuộc danh mục này.

Một cách khác là mở rộng trực tiếp chức năng của Script để thêm các hoạt động hoặc không gian lưu trữ mới để xử lý việc tạo và chuyển giao các tài sản phức tạp. Các giải pháp như Covenant và OP_CAT dựa trên các tiêu chuẩn đề xuất BIP được thông qua thuộc về danh mục này.

Hai phương pháp trên hoặc là quá chủ động và khó đạt được sự đồng thuận trong thời gian ngắn, hoặc là quá thụ động và có độ không chắc chắn lớn. Máy ảo AVM cung cấp giải pháp xử lý đặc biệt nằm giữa hai phương 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) Làm thế nào để thực hiện? Nguyên lý 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à bộ lệnh Bitcoin, đạt được tính hoàn thiện của Turing thông qua PDA (Máy tự động lưu trữ có thể đẩy) xếp chồng kép;

2. Môi trường hoạt động sandbox: toàn bộ trình mô phỏng nằm trong một môi trường được kiểm soát và tách biệt, do đó việc thực thi trong sandbox không ảnh hưởng đến việc thực thi bên ngoài sandbox;

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

Nói một cách đơ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à khuôn khổ xử lý OP Codes bằng cách giới thiệu phương pháp mã hóa và giải mã đặc biệt (môi trường hộp cát) trong mỗi giao dịch mạng chính BTC.

Hộp cát này đi kèm với một trình lập chỉ mục, trình phân tích cú pháp hộp cát (bộ hướng dẫn), cơ sở dữ liệu toàn cầu, v.v. và có thể hoàn thành độc lập việc lưu trữ một bộ tài sản hoàn chỉnh, hồ sơ trạng thái giao dịch và các hoạt động quản lý khác. Nó tương đương với việc xây dựng 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 cũng như đồng bộ hóa và xác minh trạng thái.

3) Với máy ảo AVM, về mặt lý thuyết, mạng chính Bitcoin có thể có các chức năng vận hành hợp đồng thông minh cơ bản, cho phép Bitcoin quản lý nhiều tài sản phức tạp và khả năng đưa DApp logic trạng thái phức tạp lên mạng, 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 độ cải tiến 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ề Bản địa.

Tuy nhiên, AVM dựa vào Bitcoin Script để lưu trữ mã và OP Code để thực hiện giao dịch, do đó, nó thường bị giới hạn bởi hiệu suất của mạng chính BTC, chẳng hạn như kích thước không gian lưu trữ khối, tốc độ đầu ra, v.v.

Hãy tưởng tượng một dự án DeFi được xây dựng trên AVM chỉ có thể xử lý 7 giao dịch mỗi phút và cần phải chờ mười phút giữa hai lần chuyển đổi trạng thái. Ngay cả khi một hợp đồng thông minh như vậy về mặt lý thuyết là hoàn chỉnh, nó vẫn bị hạn chế. 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 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õ cách thực hiện máy ảo tích hợp Make Senses. Cách thức thực sự triển khai trực tuyến trong môi trường ứng dụng và cách thức chạy ổn định vẫn chưa được biết.

bên trên

Nhìn chung, tôi có xu hướng xem việc phát triển và triển khai AVM là một cuộc khám phá có lợi và chủ động dựa trên việc mở rộng tập lệnh Script của BTC mainnet. Nó 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 mainnet BTC. Đồng thời, mainnet 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à 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. Nó cũng phụ thuộc vào việc xây dựng sinh thái sau khi hạ cánh để mở rộng sức hấp dẫn chính thống của nó. Nên duy trì thái độ lý trí, thận trọng và lạc quan.

Bài viết này có nguồn từ internet: Làm thế nào để hiểu AVM: Máy ảo Turing hoàn chỉnh cho phép BTC triển khai máy trạng thái động?

Có liên quan: Các vụ trộm tiền xu xảy ra thường xuyên. Chúng ta cần biết gì về việc bảo vệ tài sản tiền điện tử?

  Làm thế nào để xác định địa chỉ ví giả? Tại sao ví lạnh vẫn có nguy cơ bị hack? Các cuộc tấn công này xảy ra như thế nào? Những người nào trở thành mục tiêu của tin tặc? Làm thế nào để tránh những vấn đề như vậy? Gần đây, Web3 thường xuyên chứng kiến tình trạng trộm coin, đặc biệt là vụ trộm 1.155 WBTC được nhiều người theo dõi, thu hút sự chú ý rộng rãi của công chúng. Việc bảo vệ tài sản được mã hóa cũng trở thành tâm điểm chú ý của mọi người. Để ứng phó với vụ việc này, PoPP và OneKey đã cùng nhau tổ chức một Không gian để chia sẻ với cộng đồng các vấn đề về bảo mật trên chuỗi, chứa đầy thông tin thực tế và cung cấp bài học khoa học phổ biến cho những người mới tham gia chưa có nhận thức về phòng ngừa. Khách mời: PoPP CTO: Neo OneKey Eco head: Cavin Host: JY Không gian này chủ yếu thảo luận về các vấn đề sau: 1. Làm thế nào để xác định…