Spartan: High-speed zkSNARKs without trusted setup
-
Updated
Dec 20, 2024 - Rust
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.
implement of paper `BLCred: User-Centric Decentralized Identities with Anonymity and Accountability atop Distributed Ledgers`
proving statements on data in non-interactive zero knowledge
A NIZK PoK to prove knowledge of the preimage of an El Gamal cipherterxt
Java implementation of the Schnorr protocol
Add a description, image, and links to the nizk topic page so that developers can more easily learn about it.
To associate your repository with the nizk topic, visit your repo's landing page and select "manage topics."