Nova
Proof system
A high-speed recursive proof system for cryptographic primitives
Nova: High-speed recursive arguments from folding schemes
714 stars
23 watching
188 forks
Language: Rust
last commit: 27 days ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 694 |
 starkware-libs/stone-prover | A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs. | 260 |
 dusk-network/plonk | A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs | 551 |
 floodyberry/poly1305-donna | Provides efficient implementations of a message-authentication code | 112 |
 nvzqz/divan | A tool that allows developers to easily and efficiently compare the performance of different parts of their codebase | 954 |
 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,348 |
 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. | 921 |
 scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,838 |
| starkware-libs/cairo | A Rust-based language for creating provable programs that can perform general computation | 1,599 |
 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 |