nizk

Spartan: High-speed zkSNARKs without trusted setup

The Total Solution for Blockchain with Privacy Protecting

Zero-Knowledge Proofs "for (not too much 😉 ) dummies"

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system

A blockchain demo that supports user attribute storage and authentication based on Ethereum and Web3.py

Verificatum compatible verifier and prover for NIZK proofs of shuffle

An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.

proving statements on data in non-interactive zero knowledge

implement of paper `BLCred: User-Centric Decentralized Identities with Anonymity and Accountability atop Distributed Ledgers`

A NIZK PoK to prove knowledge of the preimage of an El Gamal cipherterxt

TypeScript/JavaScript port of the ZKTally e-voting protocol: linkable ring signatures, Paillier homomorphic encryption, and NIZK binary-vote proofs for the browser and Node.js

From-scratch MPC-in-the-Head zero-knowledge proofs in Rust: ZKBoo, ZKB++ and KKW, plus a typed frontend where a leaky decomposition does not compile.

Privacy-preserving, anonymously verifiable e-voting protocol: linkable ring signatures, Paillier homomorphic encryption, and NIZK binary-vote proofs (Python reference implementation)

Java implementation of the Schnorr protocol