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.

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

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.

BLS signature implementation on the BLS12-381 curve that meets the IETF spec.

A template for easily building Autonomous Verified Services with WAVS.

The Gennaro Distributed Key Generation Algorithm