Threaded Virtual Machine

Venom blockchain cung cấp một cách để thực thi các hợp đồng thông minh trên TVM (Threaded Virtual Machine), một máy Turing hoàn chỉnh dựa trên khả năng thực thi các chỉ thị cấp máy.

Lưu ý rằng Threaded Virtual Machine được sử dụng để thực thi mã hợp đồng thông minh trên masterchain và basechain. Các workchain khác trên Venom blockchain có thể sử dụng các máy ảo khác thay vì TVM (ví dụ như EVM).

Theo thiết kế, TVM có mô hình giao tiếp bất đồng bộ giữa các tài khoản. Mỗi tài khoản chỉ có thể ảnh hưởng đến trạng thái của tài khoản khác bằng cách gửi một tin nhắn. Nó cho phép xử lý đồng thời nhiều hợp đồng thông minh, điều này có thể dẫn đến cải tiến hiệu suất đáng kể so với các máy ảo truyền thống.

Mô hình Actor trong TVM​

Mô hình Actor là một mô hình toán học của tính toán đồng thời thường được sử dụng trong các hệ thống phân tán và trong các ngôn ngữ lập trình như Erlang. Đó là một cách tổ chức và cấu trúc hành vi của các quy trình hoặc tác nhân đồng thời trong một hệ thống phân tán.

Trong mô hình này, một tài khoản của blockchain Venom có thể được coi là một tác nhân. Giống như tác nhân, tài khoản có một địa chỉ duy nhất, có thể gửi và nhận tin nhắn, thay đổi trạng thái, thay đổi hành vi (khả năng nâng cấp) và thậm chí sinh ra các tài khoản khác (khởi tạo).

Mô hình này nhấn mạnh khái niệm đồng thời truyền thông điệp, cho phép cô lập và xử lý song song các tác nhân. Kết quả là, nó cung cấp một cách để xử lý sự phức tạp của các hệ thống đồng thời và phân tán bằng cách chia nhỏ chúng thành các thành phần đơn giản hơn mà có thể được kết hợp để tạo thành các hệ thống phức tạp hơn.

TVM sử dụng mô hình Actor để xử lý các tương tác giữa các tài khoản, khác với cách hoạt động của các mạng dựa trên EVM. Trong EVM, các giao dịch được thực hiện từng cái một và mỗi giao dịch phải được hoàn thành trước khi giao dịch tiếp theo có thể bắt đầu. Từ quan điểm của mô hình Actor, cách thức xử lý giao dịch trong các mạng dựa trên EVM có thể không hiệu quả. Điều này là do tất cả các hợp đồng thông minh trên mạng được hợp nhất thành một trạng thái và có thể được coi là một tác nhân duy nhất trong hệ thống, trong khi chỉ các tác nhân bên ngoài (người dùng, dịch vụ web, bất kỳ tác nhân ngoài chuỗi nào) mới được coi là các tác nhân riêng biệt. Nhu cầu cao từ các tác nhân bên ngoài dẫn đến sự chậm trễ và tăng chi phí duy trì mạng.

Trái ngược với điều đó, blockchain Venom sử dụng mô hình giao tiếp không đồng bộ, trong đó một tin nhắn là cách cho người gửi khởi tạo một hành động trên một tài khoản (hợp đồng thông minh) và có thể thay đổi trạng thái của nó. Tin nhắn được gửi đến các tài khoản và chứa các hướng dẫn để thực hiện hợp đồng thông minh. Về mặt lý thuyết, mỗi tài khoản có thể hoạt động độc lập và tương tác với các tác nhân bên ngoài một cách riêng biệt với các tài khoản khác. Tuy nhiên, để nâng cao hiệu quả, các tài khoản được nhóm thành các phân đoạn như một phần của giao thức Phân đoạn động,

Cách tiếp cận này cho phép các hợp đồng thực thi ở chế độ không đồng bộ, trong đó các luồng thực thi có thể chạy song song và những người tham gia không biết về trạng thái hiện tại của nhau. TVM không cần đợi các cuộc gọi giữa các hợp đồng nằm trong các phân đoạn khác nhau được xử lý miễn là không có phụ thuộc liên kết các hợp đồng đó.