إثباتات معرفة الصفر في مساحة دون خطية: إنجاز كبير

طور الباحثون نظام SSZKP، وهو نظام لإثباتات معرفة الصفر في مساحة دون خطية، مع تنفيذ بلغة Rust باستخدام KZG/BN254. يحقق استخدامًا للذاكرة قدره O(√T) لمسار بطول T، باستخدام IFFTs متعددة الكتل و مجمّعات البث. يستخدم SSZKP التزامات KZG القياسية دون تخزين كثيرات الحدود كاملة، مما يوفر نهجًا عالي الكفاءة لبناء أنظمة zk قابلة للتطوير. يتضمن المشروع أدوات سطر أوامر كاملة للطرف الذي يثبت و الطرف الذي يتحقق، بالإضافة إلى نصوص اختبار من طرف إلى طرف.