في مسار ZK داخل عالم البلوكشين، توجد ظاهرة شائعة إلى حد كبير: إذ يوجّه معظم القائمين على المشاريع جهودهم إلى تزيين العلامة التجارية وحياكة قصص للنظام البيئي، بينما في طبقة محرك التحقق الأساسية غالبًا ما يتم الاكتفاء باستئجار حلول جاهزة. وبمجرد نزع طبقات الخطاب التسويقي، يتضح أن كل zkRollup في جوهره يكرر الشيء نفسه مرارًا: «إن هذه الحسابات صحيحة، وإن إثباتات التشفير تُثبت ذلك». الشبكة نفسها لا تقوم سوى ببث هذا الادعاء؛ أما ما ينهض به حقًا فهو zkVM الكامن خلف الكواليس.

وهذا يطرح سؤالًا محوريًا: إذا كان محرك التحقق يحدد مباشرة الحدّ الأدنى لأمان الشبكة بأكملها، فلماذا يوافق الكثير من الفرق على تسليم مفاتيح حيوية إلى الآخرين؟

بالطبع، الجميع يدرك كلفة بناء zkVM من الصفر بنفسه: فدورة التطوير طويلة، وتكاليف التدقيق مرتفعة، كما أن تحديثات «مشترك المُثبتات» (provers) تتسارع بسرعة. وبالنسبة إلى كثير من سلاسل التطبيقات، قد يبدو الاستئجار خيارًا أكثر عملية. لكن للاستعانة بمورد خارجي تكلفة خفية نادرًا ما تُذكر في مخططات البنية: فمستوى الأمان لديك يصبح مرتبطًا بخريطة طريق شخص آخر، وبإيقاع تدقيقات ذلك الطرف، وبأي تغييرات في مجموعة التعليمات لديه. وإذا جرى ترقية المحرك الأساسي، فقد تنزاح «دلالات الإثبات» لديك تبعًا لذلك.

وبالنسبة إلى سلاسل التطبيقات الاعتيادية، قد يُحتمل ذلك إلى حد ما. لكن بالنسبة إلى شبكة يكون تموضعها «شبكة يمكنها إتمام التسوية دون الحاجة إلى محاكم» — أي شبكة بيتكوين L2 المصممة تحديدًا لوكلاء الذكاء الاصطناعي — فإن هذا النوع من الاعتماد يصبح غير مقبول.