Lean Ethereum protocol specifications and test vector generation framework.

Minimal zkVM, targeting XMSS aggregation and recursion.

Implementation for https://eprint.iacr.org/2025/1300

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

Injectorpp is a powerful tool designed to facilitate the writing of unit tests without the need to introduce traits solely for testing purposes. It streamlines the testing process by providing a se…

A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs

A verifiable supercomputer

A pqSNARK with lightweight proofs, powered by the Whir PCS.

Noir is a domain specific language for zero knowledge proofs

the race to prove Ethereum in real-time

Making client-side ZK proving on mobile simple.

Development repository for the Triton language and compiler

A SNARK using towers of binary fields, implemented in Rust .

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

A lattice-based non-interactive folding scheme written in Rust

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

Solidity libraries and contracts for verifying WHIR proofs on the EVM.

A performant and modular zkVM framework built for customization and extensibility.

Client side zero-knowledge proving.

The European Digital Identity Wallet