Reverie: An optimized zero-knowledge proof system

Summary: During an internship at Trail of Bits, an engineer implemented Reverie, a zero-knowledge proof system that optimizes for prover efficiency and requires no trusted setup, trading off larger proof size. Reverie is a Rust implementation of the MPC-in-the-head proof system from KKW 2018, built by applying the IKOS and Fiat-Shamir compilers to an MPC protocol, and it averages around 20 SHA-256 compressions per second on a 32-core AMD EPYC 7601.
What's compelling: The Zcash-style SNARK protocol cited here would take days or months to run for many complex applications, and Reverie's streaming prover and verifier let proofs be validated while still being generated and transmitted, which changes what proof workloads are practical.

Read the original at Trail of Bits Blog ↗