Reverie

An efficient implementation of the NIZKPoK outlined in KKW 2018

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 インスタンスを単一の 64 ビット整数にパックします (詳細は gist を参照)。
• AESNI を使用した AES への切り替え
• 証明を単一パスに凝縮するためのジャストインタイム前処理