reverie

Reverie KKW 2018에서 제시된 NIZKPoK의 효율적인 구현 Reverie는 Improved Non-Interactive Zero Knowledge with Applications to Post-Quantum Signatures에 기술된 MPC-in-the-head NIZKPoK의 구현prover 및 verifier입니다. Reverie는 복잡한 술어에 대해 구체적인 prover 효율성작은 상수를 갖는 선형 증명 시간을 제공하는 것을 목표로 합니다. 이 구현은 128비트고전적 보안을 제공하며 임의의 환ring을...