Reverie

KKW 2018 में उल्लिखित NIZKPoK का एक कुशल कार्यान्वयन

Reverie, Improved Non-Interactive Zero Knowledge with Applications to Post-Quantum Signatures में उल्लिखित MPC-in-the-head NIZKPoK का एक कार्यान्वयन (प्रोवर और वेरिफायर) है। Reverie का उद्देश्य जटिल प्रेडिकेट्स के लिए ठोस प्रोवर दक्षता (छोटे स्थिरांकों के साथ रैखिक प्रमाणन समय) प्रदान करना है। यह कार्यान्वयन 128-बिट (शास्त्रीय) सुरक्षा प्रदान करने और मनमाने रिंगों का समर्थन करने का प्रयास करता है, सबसे कुशलतापूर्वक Z₂ और Z₆₄।

Reverie एक लाइब्रेरी (सरलीकृत और स्ट्रीमिंग इंटरफ़ेस के साथ) के साथ-साथ Bristol प्रारूप में निर्दिष्ट कथनों को सिद्ध/सत्यापित करने के लिए एक CLI प्रोग्राम भी प्रदान करता है, ताकि आसान प्रयोग संभव हो सके।

चलाना

Reverie को अपेक्षाकृत नया nightly Rust चाहिए।

SSE+AESNI का उपयोग करके

time RUSTFLAGS="-C target-cpu=native -C target-feature=+aes,+ssse3,+sse2" cargo run --release

या इससे भी बेहतर AVX2+AESNI के साथ

time RUSTFLAGS="-C target-cpu=native -C target-feature=+aes,+ssse3,+sse2,+avx2" cargo run --release

0.3+ में सुधार

• GF(2) पर 8 खिलाड़ियों के 8 उदाहरणों को एक single 64-bit integer में पैक करें (विवरण के लिए gist देखें)।
• AESNI के साथ AES पर स्विच करें
• प्रमाणन को एक ही पास में संघनित करने के लिए जस्ट-इन-टाइम प्रीप्रोसेसिंग