zksecurity

Write low-level WebAssembly, from JavaScript

zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!

stone-cli is a CLI for proving and verifying Cairo programs.

An API compatible port of the Stone prover.

Private Attestations for Mina wallets

specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification

Python package for the flatter lattice reduction library

Website for the zkbugs project (https://github.com/zksecurity/zkbugs)

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

TypeScript framework for zk-SNARKs and zkApps

Progressive Mina Protocol Wallet