ماذا لو لم تضطر للتضحية بالمسؤولية من أجل السرعة عند استخدام SNARKs؟ يقدم وينهاو وانغ من @Yale برنامج Cirrus: أول بروتوكول SNARK موزع يحقق في الوقت نفسه قابلية التوسع الأفقية، والمساءلة، وإعداد موثوق عالمي.

بينما يعد توليد الإثبات الموزع أمرا أساسيا لتوسيع نطاق آلات التعلم الآلي وzkVMs القابلة للتحقيق، إلا أن البروتوكولات الحالية غالبا ما تتخلى عن المساءلة أو مرونة الإعداد. سيروس، المبني على هايبربلونك، يكسر هذه الزجاجة. المقاييس الرئيسية: - الحوسبة الخطية والاتصال اللوغاريتمي. - تحديد موقع العامل الخاطئ خلال <3 ثوان. - أسرع بمقدار 15 مرة من هيكاتون (CCS'24) لهاش بيدرسن.