An Open Payment Gateway for Humans and AI Agents.

Keeps track of transactions sent via Safe contacts and confirmed transactions. It also keeps track of Ether and ERC20 token transfers to Safe contracts.

Serves as a bridge for the Safe{Wallet} clients (Android, iOS, Web)

Midnight ZK

Nockchain protocol monorepo

Proving System For VEX

A stable library of useful TypeScript/JavaScript code

Rust environment for Soroban contracts.

Privacy Pools implementation on Soroban

Proof of concept privacy pool built using SP1.

ethproofs monorepo

Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡

We present Poseidon2b, a binary hardware friendly version of Poseidon2. It is designed to work together with binary extension field proving systems such as Binius.

Privacy-first tooling for the Ethereum ecosystem

x402 payments in Rust: verify, settle, and monitor payments over HTTP 402 flows

Pythonic Smart Contract Language for the EVM

Solidity implementation of the Renegade darkpool

Binary Proofs, Blazing Fast

Payy

A Noir implementation of Stealthdrop using PLUME nullifiers

Penumbra is a privacy-preserving decentralized exchange for all of crypto

Ethereum zkEVM book