A modular stack for zkVMs, with a focus on productivity, security and performance.

Performance and security acceleration for zkVMs.

pod2 & spec

Implementation of the Jubjub elliptic curve group

Wordle, but with ZK proofs!

Legion is a Zero-Knowledge Authentication Fabric built for privacy

Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably compliant actions execute.

Shared data types for building collaborative software

TypeScript port of deterministic CBOR (dCBOR), Gordian Envelope for privacy-preserving data, Uniform Resources (UR), secret sharing (SSKR/Shamir), XID decentralized identities, provenance marks, Li…

Efficient state-based CRDT replication and anti-entropy

A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…

The Generative UI framework

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

Composite zero-knowledge proofs (ZKPs) on RDF graphs, e.g., W3C Verifiable Credentials.

Showcase zero-knowledge proof generation and verification for VOLEitH Protocol

Implementation KZG zk-SNARKs protocol Marlin and Plonk in Python/SageMath

Modern Node.js FoundationDB bindings

An embeddable, lightweight, secure, high-performance JavaScript engine.

Prototype implementation of Prio, a system for the private computation of aggregate statistics.

An example app using POD & GPC

zkvot - World's first fully live anonymous voting application!

blog

Quick Merkle Database

Monorepo of tools for using the halo2 proving system in-browser using WASM.

WebAssembly Micro Runtime (WAMR)

An awesome overview of existing open-source decentralized apps, platforms, protocols and concepts for social networking, engagement and collaboration

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

Confidential Consortium Framework