تقوم zkVMs بإعادة تعريف التنفيذ. إنهم يتحققون من المنطق من خلال إثباتات التشفير ، وليس التنفيذ. تدخل Bitcoin هذا النموذج من خلال المرحلات وإثباتات التضمين. التنفيذ قابل للبرمجة ، لكن أسطح المخاطر قد تغيرت. التفاصيل أدناه.

يعتمد الأمان على سلامة الدائرة ودقة المترجم وحدود العزل. يمكن أن يمثل الدليل الصالح منطقا غير صالح إذا كان نموذج القيد غير مكتمل أو غير محاذاة.

يقوم Spearbit بتقييم أنظمة zkVM على مستوى القيد. تغطي المراجعات دقة الترميز ، وإثبات السلوك تحت المدخلات العدائية ، والتفاعلات مع بيانات Bitcoin ومنطق الجسر.