Agentic orchestrator for parallel coding agents — plans tasks, spawns agents, and autonomously handles CI fixes, merge conflicts, and code reviews.

A compiler for homomorphic encryption

Trustless access web2 from web3. Proveable TLS for all chains.

zkBitcoin: zero-knowledge proofs on Bitcoin!

Official inference framework for 1-bit LLMs

Large-scale Self-supervised Pre-training Across Tasks, Languages, and Modalities

Run frontier AI locally.

zkBitcoin: zero-knowledge proofs on Bitcoin!

Noname: a programming language to write zkapps

A curated list of zero-knowledge folding schemes

Nova: High-speed recursive zero-knowledge arguments from folding schemes

Collection of security reviews of ZK Protocols

A Fully Homomorphic Encryption (FHE) library for bridging the gap between theory and practice with a focus on performance and accuracy.

An FHE compiler for C++

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

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

Practical Cryptography and Distributed Ledgers

A curated list of awesome Zero-Knowledge Proofs (ZKP) resources.

Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

zkEVM prover in C++

A work-in-progress example of minting NFTs at the point of sale

A library for lattice-based multiparty homomorphic encryption in Go

The Ethereum Improvement Proposal repository