plonk
Proof system
A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
551 stars
24 watching
149 forks
Language: Rust
last commit: about 1 month ago
Linked from 2 awesome lists
cryptographyplonkrustzero-knowledge
ventali/awesome-zkRelated projects:
| Repository | Description | Stars |
|---|---|---|
 zk-garage/plonk | A Rust implementation of PLONK proving system with optimized performance and genericity for curve types | 294 |
| dusk-network/poseidon252 | An implementation of a hash algorithm suitable for use in zero-knowledge proof systems | 209 |
 0xpolygonzero/plonky2 | A Rust implementation of a cryptographic protocol for secure multi-party computation and proof systems | 778 |
| dusk-network/rusk | An implementation of a decentralized platform and tools in Rust | 163 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 694 |
 adria0/plonk-by-fingers | Implementation of the Plonk by Hand protocol in Rust to understand its inner workings | 61 |
 espressosystems/jellyfish | A Rust implementation of a cryptographic system and extensions. | 406 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 158 |
 sunscreen-tech/sunscreen | A compiler for encrypted computation and proof systems based on fully homomorphic encryption | 247 |
 pluto/ronkathon | A collection of cryptographic primitives implemented in Rust from scratch to understand everything from first principles. | 190 |
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 234 |
| dusk-network/bls12_381 | Implementation of a pairing-friendly elliptic curve group with extra features needed by the Dusk-Network team. | 21 |
 noir-lang/noir | A language for creating secure and efficient proofs in cryptography using a compiler and runtime system | 895 |
 ddkang/zkml | A framework for constructing proofs of ML model execution in ZK-SNARKs | 345 |
 dalek-cryptography/bulletproofs | A high-performance Rust implementation of Bulletproofs, enabling efficient single-party and multi-party computations with programmable constraints. | 1,049 |