Tokamak zk-EVM CLI for installing the local prover runtime and running synthesize, preprocess, prove, verify, and proof export commands.

Enables the generation of rpc for Off/On-chain ZK inputs, and reconstruction of a secret variable.

A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.

Core logic to pre-compute CRISP ZK inputs (WASM/JavaScript bindings).

Client library for generating and verifying Semaphore & RLN ZK proofs.

Transaction prover for Veilnyx transactions

Lean Incremental Merkle tree with non-membership proofs implementation in TypeScript.

Browser-facing Tokamak zk-EVM synthesizer package with bundled subcircuit library assets.

o1js-zk-utils supporting Nori Bridge

Library for managing identities for Semaphore and RLN protocols.

a repo for generating randomness on chain

A PCD representing a proof of ownership of an EdDSA-signed ticket. The prover is able to prove ownership of a ticket corresponding to their semaphore identity, and optionally prove the ticket corresponds to one of a list of valid events. The prover can ke

Zero-knowledge powered shielded transfer library for interacting with Kusama Shield

ZK Email SDK for TypeScript

Cowl Protocol CLI — private trading on Robinhood Chain from your terminal. Shielded pool, private trades, stealth addresses, view keys, and gasless relayer.

zk-SNARK circuits for MACI

A powerful, runtime-agnostic ZKTeco Biometric Device SDK for Node.js and Cloudflare Workers (raw TCP sockets).

zk-kit poseidon artifacts

@tokamak-zk-evm/snark-browser-compat provides browser-compatible Tokamak zk-EVM preprocessing, proof generation, verification, and artifact conversion.

Shared data types and interfaces for MidnightJS modules