Nova
Proof system
A high-speed recursive proof system for cryptographic primitives
Nova: High-speed recursive arguments from folding schemes
722 stars
23 watching
190 forks
Language: Rust
last commit: about 1 month ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 starkware-libs/stone-prover | A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs. | 261 |
 dusk-network/plonk | A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs | 554 |
 floodyberry/poly1305-donna | Provides efficient implementations of a message-authentication code | 112 |
 nvzqz/divan | A tool for measuring performance in Rust applications | 988 |
 jhumphry/spark_norx | An implementation of a widely used authenticated encryption algorithm | 8 |
| starkware-libs/cairo-lang | A language and package for writing provable programs in Python. | 1,350 |
 jeaye/ncurses-rs | A low-level wrapper around the ncurses TUI lib for Rust | 685 |
 pfultz2/cloak | A library to demonstrate the recursive capabilities of the preprocessor in C. | 924 |
 scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,846 |
| starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
 hsivonen/recode_rs | Tool for encoding conversion | 12 |
 willcrichton/tyrade | Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |
 wilbowma/cur | An experimental language with static and dynamic types, theorem proving, and meta-programming capabilities. | 222 |
 andrewmilson/sandstorm | A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs. | 158 |