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

Benchmarks for Client-Side Proving Quarterly Report

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.

Private authentic photo sharing using ZKP

A blockchain network that proves the ownership & originality of photos with zero knowledge technology. The ultimate goal is to differentiate malicious AI-generated deepfakes from human-taken photos…

Prove your self

Making client-side proving on mobile simple.

Root repository for ⿻數位 Plurality: The Future of Collaborative Technology and Democracy by E. Glen Weyl, Audrey Tang and the Plurality Community