a zero-knowledge proof-carrying code platform for Lean 4

An onchain tournament for bots, inspired by Pac-Man and Agar.io.

⚙️🦀 Build portable, modular & lightweight Fullstack Agents

A minimal (and wicked fast) blockchain built with the Commonware Library.

zkEVM benchmarking

Benchmarks of popular zkVMs including Jolt

A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

Groth16 over ICICLE

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

Stress Testing ZK Systems Through Maximum Pain

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

This is the grand unified monorepo managing all Unattended Backpack infrastructure and project code.

Build real-time rollups with the industry's most flexible toolkit.

A curated list of zkVM, zero-knowledge virtual machine

Commonware Library Primitives and Examples

Efficient Zero-Knowledge Proofs for LoRA Verification

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

CF-Hero is a reconnaissance tool that uses multiple data sources to discover the origin IP addresses of Cloudflare-protected web applications

📚 A curated list of papers for Software Engineers

TypeScript AI platform with AI chat, Autonomous agents, Software developer agents, chatbots and more

Developer Wallet & DevTools for Anvil

Zero-Knowledge Database 🧠

This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast

Rust Merkle Trie for Blockchain Systems

distributed sequencer with zk consensus