zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
यह शोध पत्र zkFuzz प्रस्तुत करता है, जो एक नवीन म्यूटेशन-आधारित फज़िंग फ्रेमवर्क है जो सैद्धांतिक ट्रेस-कन्स्ट्रेंट कंसिस्टेंसी टेस्ट (TCCT) पर आधारित है, जो मौजूदा स्टैटिक और फॉर्मल एनालिसिस टूल्स की सीमाओं को पार करते हुए ज़ीरो-नॉलेज सर्किट्स में अंडर- और ओवर-कन्स्ट्रेंड कमजोरियों का प्रभावी ढंग से पता लगाता है।