وجدنا نفس المشكلة في فيات-شامير في ستة أجهزة zkVM مستقلة. النتيجة: يمكن للمهاجم تجاوز التشفير تماما وإثبات عبارات رياضية مستحيلة (مثل سك مليون دولار من العدم). التحليل الكامل ↓