تمثل خوارزمية zkSNARK (حجة المعرفة غير التفاعلية المختصرة ذات المعرفة الصفرية) الانتقال من أمان بلوكشين البسيط إلى الحوسبة الخاصة القابلة للتحقق. على عكس بروتوكولات التجزئة التقليدية التي تعطي الأولوية للمنطق المتكرر، فإن zkSNARK هو إطار عمل رياضي كثيف يتطلب موارد هائلة للضرب القياسي المتعدد (MSM) وتحويلات نظرية الأعداد (NTT). تم تصميم الأجهزة المُحسنة لـ zkSNARK، والتي يُشار إليها غالبًا باسم بنية "المُثبت"، للتعامل مع هذه المهام الجبرية المتقدمة، مما يمكّن شبكات مثل Aleo من تنفيذ عقود ذكية خاصة على نطاق واسع دون الكشف عن البيانات الحساسة.

ما يميز أجهزة zkSNARK هو كثافة مواردها الهجينة. يتطلب إنشاء دليل توازنًا دقيقًا بين تنسيق وحدة المعالجة المركزية عالية التردد والتسريع المتوازي الهائل عبر وحدات معالجة الرسومات أو مصفوفات البوابات القابلة للبرمجة الميدانية المتخصصة. من خلال الاستثمار في أجهزة المُثبت المُحسنة لـ zkSNARK، فإنك تضع نفسك في سوق "الخصوصية كخدمة" الناشئ. لم يعد الأمر يتعلق فقط بتأمين دفتر الأستاذ؛ بل يتعلق بتوفير قوة الحوسبة الأساسية لعصر جديد من التطبيقات اللامركزية حيث تكون سلامة الحوسبة وإخفاء هوية المستخدم هي السلع الأساسية.