zkVMs đang định nghĩa lại việc thực thi. Chúng xác minh logic thông qua các chứng minh mật mã, không phải thực thi. Bitcoin đang bước vào mô hình này thông qua các relay và chứng minh bao gồm. Việc thực thi có thể lập trình, nhưng các 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.