Nova
by microsoft
Nova: High-speed recursive arguments from folding schemes
AI summary
Proof system
A high-speed recursive proof system for cryptographic primitives
- stars
- 722
- forks
- 190
- watching
- 23
Similar projects
Found by comparing what the projects do, not just their names.
Zero-Knowledge Proof System
A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support
Proof system
A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs.
Proof system
A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs
MAC implementation
Provides efficient implementations of a message-authentication code
nvzqz/divan988
Benchmarking tool
A tool for measuring performance in Rust applications
AES-like encryption
An implementation of a widely used authenticated encryption algorithm
Programming language
A language and package for writing provable programs in Python.
TUI wrapper
A low-level wrapper around the ncurses TUI lib for Rust
Preprocessor demo
A library to demonstrate the recursive capabilities of the preprocessor in C.
Computational proof system
A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge.
Programmable language
A Rust-based language for creating provable programs with computational integrity
encoder
Tool for encoding conversion
Type level language exploration
Exploring type-level programming in Rust with a focus on simplicity and expressiveness
wilbowma/cur222
Type system
An experimental language with static and dynamic types, theorem proving, and meta-programming capabilities.
Proof generator
A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs.
