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
554 stars
24 watching
149 forks
Language: Rust
last commit: 4 months 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 | 295 |
| dusk-network/poseidon252 | An implementation of a hash algorithm suitable for use in zero-knowledge proof systems | 210 |
 0xpolygonzero/plonky2 | A Rust implementation of a cryptographic protocol for secure multi-party computation and proof systems | 791 |
| dusk-network/rusk | A reference implementation and tools for a decentralized platform built on the Rust programming language | 169 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 adria0/plonk-by-fingers | Implementation of the Plonk by Hand protocol in Rust to understand its inner workings | 60 |
 espressosystems/jellyfish | A Rust implementation of a cryptographic system and extensions. | 412 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 159 |
 sunscreen-tech/sunscreen | A compiler for encrypted computation and proof systems based on fully homomorphic encryption | 250 |
 pluto/ronkathon | A collection of cryptographic primitives implemented in Rust from scratch to understand everything from first principles. | 192 |
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 237 |
| 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 | 924 |
 ddkang/zkml | A framework for constructing proofs of ML model execution in ZK-SNARKs | 349 |
 dalek-cryptography/bulletproofs | A high-performance Rust implementation of Bulletproofs, enabling efficient single-party and multi-party computations with programmable constraints. | 1,058 |