Reverie

تنفيذ فعّال لإثبات NIZKPoK الموضح في KKW 2018

Reverie هو تنفيذ (مُثبِت ومُتحقِّق) لإثبات NIZKPoK القائم على تقنية MPC-in-the-head والموضح في تحسين الإثبات غير التفاعلي ذو المعرفة الصفرية مع تطبيقات على التوقيعات ما بعد الكم. يسعى Reverie إلى تقديم كفاءة ملموسة للمُثبِت (زمن إثبات خطي بثوابت صغيرة) للمسندات المعقدة. كما يسعى التنفيذ إلى توفير أمان 128-بت (كلاسيكي) ودعم حلقات عشوائية، وبكفاءة أعلى لكل من Z₂ و Z₆₄.

يوفّر Reverie كلاً من مكتبة (بواجهة مبسّطة وواجهة تدفّق)، بالإضافة إلى برنامج واجهة أوامر (CLI) لإثبات/التحقق من العبارات المحددة بتنسيق Bristol لتسهيل التجريب.

التشغيل

يتطلب 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+

• حزم 8 نسخ من 8 لاعبين فوق GF(2) في عدد صحيح واحد 64-بت (انظر gist للتفاصيل).
• التحول إلى AES مع AESNI
• معالجة مسبقة في الوقت المناسب لدمج الإثبات في تمريرة واحدة