zkVM đang định nghĩa lại việc thực thi. Họ xác minh logic thông qua các bằng chứng mật mã, không phải thực thi. Bitcoin đang tham gia vào mô hình này thông qua chuyển tiếp và bằng chứng bao gồm. Việc thực hiện có thể lập trình được, nhưng bề mặt rủi ro đã thay đổi. Chi tiết bên dưới.

Bảo mật phụ thuộc vào độ lành mạnh của mạch, độ trung thực của trình biên dịch và ranh giới cách ly. Một bằng chứng hợp lệ có thể đại diện cho logic không hợp lệ nếu mô hình ràng buộc không đầy đủ hoặc sai lệch.

Spearbit đánh giá các hệ thống zkVM ở cấp độ ràng buộc. Các bài đánh giá bao gồm độ chính xác của mã hóa, hành vi bằng chứng dưới đầu vào đối nghịch và tương tác với dữ liệu Bitcoin và logic cầu nối.