noir
Cryptography proof language
A language for creating secure and efficient proofs in cryptography using a compiler and runtime system
Noir is a domain specific language for zero knowledge proofs
924 stars
19 watching
214 forks
Language: Rust
last commit: almost 2 years agocompilercryptographynoir-langprogramming-languagezero-knowledge
Related projects:
| Repository | Description | Stars |
|---|---|---|
 dusk-network/plonk | A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs | 554 |
 sdiehl/bulletproofs | A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. | 534 |
 sine-fdn/garble-lang | A programming language designed to be used in multi-party computation with garbled circuits | 38 |
 galoisinc/cryptol | An interpreter for a public standard language for specifying cryptographic algorithms | 1,139 |
 microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 722 |
 0xpolygonzero/plonky2 | A Rust implementation of a cryptographic protocol for secure multi-party computation and proof systems | 791 |
 pluto/ronkathon | A collection of cryptographic primitives implemented in Rust from scratch to understand everything from first principles. | 192 |
| microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
 dalek-cryptography/bulletproofs | A high-performance Rust implementation of Bulletproofs, enabling efficient single-party and multi-party computations with programmable constraints. | 1,058 |
 sorairolake/scryptenc-rs | A Rust library and tool implementing a secure data encryption format based on the scrypt algorithm | 1 |
 dagenix/rust-crypto | A pure-Rust implementation of common cryptographic algorithms | 1,400 |
 zk-garage/plonk | A Rust implementation of PLONK proving system with optimized performance and genericity for curve types | 295 |
 adamisz/from0k2bp | Exploring the development of a cryptographic protocol from scratch to production-ready implementation | 156 |
 rustcrypto/nacl-compat | Provides Rust compatibility with NaCl-family libraries for secure cryptographic functions. | 60 |