TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

Noir is a domain specific language for zero knowledge proofs

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

A toolkit for polynomial IOPs (PIOPs)

A Rust Implementation of the PLONK ZKP System and Extensions

A Trust-minimized Bitcoin Bridge

Performance and security acceleration for zkVMs.

Penumbra is a privacy-preserving decentralized exchange for all of crypto

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Fully Homomorphic Encryption library in Rust

Making client-side ZK proving on mobile simple.

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

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

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

Building blocks of a Circle STARK verifier in Bitcoin script

blaze is a Rust library for ZK acceleration on Xilinx FPGAs.

Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols

Spartan: High-speed zkSNARKs without trusted setup

RISC-V prover system for ZKsync OS

A PoC repo for a HyperNova impl

Threshold ECDSA via Triples

Out-of-circuit zkEVM implementation

OS for next iteration of the world computer

Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits

A re-implemented ECC circuits with halo2.