في مجال zk، الجميع يتنافس في ابتكار الخوارزميات، لكن بصراحة، المشكلة الحقيقية هي ما إذا كانت قوة الحوسبة كافية. تلك المعادلات الرياضية تبدو جميلة، لكن الواقع قاسٍ للغاية - الموارد الحاسوبية المطلوبة لتوليد إثبات عدم المعرفة ليست شيئًا يمكن حله من خلال تعديلات على مستوى الكود.

على مدار العامين الماضيين، ستكتشف أنه بغض النظر عن مدى تحسين البرامج، لا يمكن تجاوز عائق الأجهزة. إن متطلبات قوة الحوسبة لتوليد الإثباتات واضحة، وهي تكلفة ثابتة. هل تريد أن تصبح zk-SNARKs حقيقة واقعة على نطاق واسع؟ الاعتماد فقط على الرياضيين لكتابة خوارزميات جميلة ليس كافياً، يجب أن يكون هناك عدد كافٍ من موارد قوة الحوسبة الميسورة التكلفة لمواكبة ذلك.