reverie

Reverie KKW 2018 中所概述的 NIZKPoK 的高效实现 Reverie 是 Improved Non-Interactive Zero Knowledge with Applications to Post-Quantum Signatures 中概述的 MPC-in-the-head NIZKPoK 的实现（证明器与验证器）。 Reverie 旨在为复杂谓词提供具体的证明器效率（线性证明时间，且常数较小）。 该实现力求提供 128 位（经典）安全性，并支持任意环，最高效地支持 Z2 和 Z64。 Reverie 既提供了一个库（带有简化和流式接口）， 也提供了一个 C...