A static analyzer and linter for the Circom zero-knowledge DSL

Experimental folding schemes library

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

Noname: a programming language to write zkapps

Reference implementation for the Poseidon Snark-friendly Hash algorithm.

Artificial intelligence and zero knowledge.

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.

Making client-side ZK proving on mobile simple.

[Looking for new owners/maintainers, see #88] Rust implementation of Reed-Solomon erasure coding

zk-SNARK library

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

This is the main repository for the OpenChat application which runs on the Internet Computer

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.

DSL for Halo2 circuits

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

R1CS constraints for bits, fields, and elliptic curves

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

🦀 Rust support library for semaphore

A smart contract wallet controlled using email

WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

A Rust implementation of Starknet execution logic

Rust SDK for Soroban contracts.

A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

x402 payments in Rust: verify, settle, and monitor payments over HTTP 402 flows