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

STUMPY is a powerful and scalable Python library for modern time series analysis

Concurrency permutation testing tool for Rust.

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

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reusability

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

Animation engine for explanatory math videos

The Python implementation of the libp2p networking stack 🐍 [under development]

A Github Action to report the code coverage from LCOV files

Turso is an in-process SQL database, compatible with SQLite.

A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes

Extractable Witness Encryption for KZG Commitments

🦄 A curated list of privacy & security-focused software and services

Performance and security acceleration for zkVMs.

🥑 Language focused docker images, minus the operating system.

Experimental folding schemes library

Noname: a programming language to write zkapps

A markup-based typesetting system that is powerful and easy to learn.

Fast Rust bundler for JavaScript/TypeScript with Rollup-compatible API.

A library for building fast, reliable and evolvable network services.

circom language server

Rust Library for running the Starknet OS via the Cairo VM

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

DSL for Halo2 circuits

AdminJS is an admin panel for apps written in node.js

STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain …

“Zero setup” cross compilation and “cross testing” of Rust crates

🦍 The Cloud-Native Gateway for APIs & AI