ZK Circuit Fuzzer (IEEE S&P'26)

Proof of Assets Protocol for Aztec that supports both public and private balances powered by recursive zk-SNARKs

Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.

@peculiar/x509 is an easy to use TypeScript/Javascript library based on @peculiar/asn1-schema that makes generating X.509 Certificates and Certificate Requests as well as validating certificate cha…

Building a Secure and Interoperable Future for AI-Driven Payments.

A browser-based Noir zero-knowledge proof development environment.

Kotlin library for evaluating Android Key Attestation certification chains.

X.509 parser written in pure Rust. Fast, zero-copy, safe.

A Rust ASN.1 (DER) serializer.

zkID is a team committed to advancing ZKP standards and driving privacy-focused solutions in digital identity.

A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)

SDK for Digital Credentials

Implementation of the Google Zero-Knowledge library for Identity Protocols.

azooKey-Desktop is an open-source Japanese input method for macOS, written in Swift and powered by the Zenzai neural kana-kanji converter. It provides live conversion, optional LLM-based “Magic Con…

2025 core program

JSON Proof Token (JPT) library in Rust. Implementation of the new JOSE WG drafts: JSON Web Proof (JWP), JSON Proof Token (JPT) and JSON Proof Algorithms (JPA).

Making client-side ZK proving on mobile simple.

Benchmarking Noir + Barretenberg proving times across different constraint counts (i.e. program sizes).

Rust wrapper for Noir circuits integration.

A curated list of awesome things related to learning and programming in Noir.

Noir is a domain specific language for zero knowledge proofs

A monorepo of reusable Noir circuits.

Guidance on documentation, scripts and integration steps on using the EDC project results