ZKP

Non-Interactive Proof Generation from Interactive Zero Knowledge Protocols

Efficient implementations of interactive and non-interactive versions of Ligero-like protocols.