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.

An ninh phụ thuộc vào độ vững chắc 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 không phù hợp.

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