Stars
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
Master programming by recreating your favorite technologies from scratch.
Zero-Knowledge Proof Systems Circuit Compiler
Template repository for zkLLVM-based projects
A performant, 100% open-source, contributor-friendly zkVM.
Essential UI blocks for building mobile web apps.
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Statistics-driven benchmarking library for Rust
The problem data (Test case generator, judge's solution, task, ...) of Library Checker
Common data structures and algorithms in Rust
RustFFT is a high-performance FFT library written in pure Rust.
Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Basic scaffolding for setting up and writing a Halo2 ZK circuit
Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
A library for lattice-based multiparty homomorphic encryption in Go
Official Python wrapper for OpenFHE. Current release is v0.8.8 (released on June 25, 2024).
This is the development repository for the OpenFHE library. The current (stable) version is v1.2.0 (released on June 25, 2024).
✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources
A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex.