Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

Lattice zkVM (post-quantum zkVM)

cuPQC SDK Developer Hub: samples, integration guides, and technical/release blogs

Open source repository of plugins primarily intended for knowledge workers to use in Claude Cowork

💫 Toolkit to help you get started with Spec-Driven Development

Personal notes about ZKP

Libp2p bindings for Python

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

A month-long zkp study group, one topic at a time.

Infrastructure for MPCStats Demo

Examples and guides for using the Gemini API

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

Simplified educational python plonk implementation

一起来残酷共学 Ethereum Protocol 做好申请 Fellowship 的准备吧

A compiler for homomorphic encryption

Create MPC apps with TypeScript.

A Framework of Lattice-based Zero-knowledge Arguments in Rust

MPC in wasm based on emp-toolkit

A library for lattice-based multiparty homomorphic encryption in Go

PSE Hackathon

A curated list of educational materials, guides, and research papers for beginners interested in learning about Fully Homomorphic Encryption (FHE).

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

Ethereum Foundation Learning grant proposal

Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).

Perform data science on data that remains in someone else's server