Crate zkp

This crate has an experimental zero-knowledge proof compiler implemented using Rust macros.

It provides a DSL resembing Camenisch-Stadler notation for proving statements about discrete logarithms in the Ristretto group on Curve25519, as implemented in curve25519-dalek. Note that both the Ristretto implementation in curve25519-dalek, as well as this library, are currently UNFINISHED, UNREVIEWED, AND EXPERIMENTAL. (I haven't actually checked carefully that the proofs are sound, for instance...)

Macros

create_nipk

Creates a module with code required to produce a non-interactive zero-knowledge proof statement, to serialize it to wire format, to parse from wire format, and to verify the proof statement.