Official Compound Engineering plugin for Claude Code, Codex, and more

A general purpose, RISC-V zkVM built on top of Stwo.

Mobile side benchmarking for zkvms

Examples of my Claude Code infrastructure with skill auto-activation, hooks, and agents

A paper of Octopus contracts, smart contracts that operate ciphertexts outside the blockchain using signature-based witness encryption.

A practically efficient hash-based succinct argument that bypasses the arithmetization overheads

Client-side proving benchmarks

OB-Xf is a continuation and modernatization of the last open source release of OB-Xd by 2DaT and later discoDSP. It is inspired by the venerable Oberheim OB-X. Get the nightly https://github.com/su…

The PSE website

Spartan: High-speed zkSNARKs without trusted setup

Spartan on Arkworks

C++ library for IOP-based zkSNARKs

ZK Circuit Fuzzer (IEEE S&P'26)

Solidity libraries and contracts for verifying WHIR proofs on the EVM.

WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

Circom to MP-SPDZ

educational python plonk implementation, based on vitalik's py_plonk

Circom interpreter to arithmetic circuit description

Decentralized Dark Pools, implemented using Zama's fhEVM & fhenix

A trustless P2P fiat onramp powered by ZK proofs.

A Next.js template with everthing your web3 app needs.

Transfer X ETH with A account, withdraw Y ETH with B account.