Agentic commerce: from click-to-buy → AI agents that decide, negotiate & transact autonomously. Curated ideas, best practices & implementations. Contribute your vision! ✨

Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more

A curated list of projects, tools, and resources for securing AI agent authentication, protecting credentials, and managing secrets in LLM-powered systems.

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

COMS 6998 (Fall 2025): Refinement-typed DSL for certified AIR constraints and lookups

BitVM with Verifiable Garbled Circuit optimized

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

GOAT BitVM2 Node

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

GOAT Locking and Bridging Scripts

Smarter Bitcoin Contracts

GOAT Decentralized Sequencer

ZKM Development Template/Framework

A "Type 0" zkEVM

Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity

zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA

Eigen VM JS SDK

Simple EVM implementation in [no_std] Rust to be used in Powdr.

Performance and security acceleration for zkVMs.

Implementation of BFT consensus protocols based on the Narwhal mempool.

Eigen zkVM's Proving Service

Generates a stark from a pil

A STARK prover and verifier for arbitrary computations

STARK-based virtual machine

Javascript/NodeJS Plonk prover and verifier on bellman