proving statements on data in non-interactive zero knowledge

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

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

The Total Solution for Blockchain with Privacy Protecting

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

Java implementation of the Schnorr protocol

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

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

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

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

Spartan: High-speed zkSNARKs without trusted setup

Verificatum compatible verifier and prover for NIZK proofs of shuffle