Bitcoin có thể xác thực các giao dịch với độ chính xác phi thường, nhưng nó chưa bao giờ được thiết kế để diễn giải logic tài chính phức tạp một cách độc lập. Nếu bạn muốn một cái gì đó tinh vi hơn một khoản chi tiêu đơn giản, bạn cần một cơ chế có khả năng đánh giá các điều kiện, kiểm tra các quy tắc và phối hợp các đầu vào trước khi bất kỳ điều gì chạm vào tập hợp UTXO. Cơ chế đó là môi trường thực thi. Một môi trường thực thi không phải là một chuỗi song song, một cầu nối, hay một giao thức siêu lớp trên Bitcoin. Nó là một khung làm việc xử lý các hoạt động tài chính ngoài chuỗi, kiểm tra chúng theo các quy tắc nghiêm ngặt, và neo kết quả cuối cùng trực tiếp vào Bitcoin trong một định dạng mà lớp cơ sở có thể xác thực độc lập. Không có gì thay đổi trong mô hình tin cậy của Bitcoin. Môi trường thực thi đơn giản cung cấp cấu trúc cần thiết để chạy logic cần thiết cho các ứng dụng tài chính thực sự trong khi vẫn nằm trong ranh giới của Bitcoin. Đây là những gì ArchVM được xây dựng để thực hiện. ArchVM đánh giá các hướng dẫn tài chính, thực thi các ràng buộc, và tạo ra các giao dịch mà các nút Bitcoin có thể xác minh mà không cần giả định thêm. Nó làm việc với mô hình UTXO thay vì trừu tượng hóa nó. Nó không giới thiệu một cơ chế đồng thuận riêng biệt. Nó không tạo ra các tài sản được bọc. Và nó không dựa vào các quy ước mà chính Bitcoin không thể xác minh. Cách tiếp cận này khác với L2s và các giao thức siêu lớp theo những cách cơ bản. L2s duy trì trạng thái và bảo mật riêng của chúng, sau đó định kỳ công bố các cam kết trở lại Bitcoin. Các giao thức siêu lớp dựa vào việc diễn giải ngoài chuỗi mà các nút Bitcoin không biết đến. Trong cả hai mô hình, Bitcoin là bề mặt thanh toán, không phải là nơi mà logic được đánh giá. ArchVM giữ trạng thái của nó đồng bộ với Bitcoin từ đầu. Các quy tắc governing một giao dịch được kiểm tra trong một môi trường được thiết kế riêng để cho phép khả năng lập trình lớn hơn trong khi vẫn tôn trọng các ràng buộc của Bitcoin - và đầu ra cuối cùng là một giao dịch Bitcoin tiêu chuẩn mà bất kỳ nút nào cũng có thể xác minh. Cấu trúc độc đáo đó - khả năng lập trình bổ sung trong một môi trường thực thi riêng biệt, trong khi hoàn tất trên Bitcoin - là điều cần thiết để mang các ứng dụng tài chính đến với Bitcoin. Tín dụng có tài sản thế chấp, các điều kiện tự động, các ghi chú có cấu trúc, các hành động phối hợp nhiều bên. Tất cả đều yêu cầu một khung xác định có thể thực thi logic trước khi thanh toán xảy ra. ArchVM cung cấp cho các nhà phát triển một cách để chạy logic tài chính trong khi vẫn được neo vào mô hình bảo mật của Bitcoin. Nó mở ra không gian cho các ứng dụng trên chuỗi mà không làm thay đổi nền tảng của Bitcoin hoặc buộc người dùng phải bọc hoặc cầu nối Bitcoin của họ để sử dụng Bitcoin DeFi. Khả năng lập trình trên Bitcoin trở nên thực tiễn khi logic được đánh giá thông qua một hệ thống được xây dựng đặc biệt cho thiết kế của Bitcoin. ArchVM là hệ thống đó.

Khám phá cách mà ArchVM đánh giá và thực thi logic bên trong mô hình Bitcoin: