zk-evm

name	zk-evm
description	Activate when the user works with Tokamak zk-EVM, tokamak-cli, zero-knowledge proofs for Ethereum transactions, the Synthesizer, QAP compiler, subcircuits, Circom circuits, zk-SNARK backend, trusted setup, placementVariables, permutation, or TokamakL2JS.
license	MIT
metadata	{"author":"tokamak-network","version":"1.0.0"}

Tokamak zk-EVM

Converts Tokamak L2 transactions into zero-knowledge proofs. The system has two halves: a frontend (TypeScript, compiles transactions → circuits) and a backend (Rust, proves and verifies circuits).

Source: https://github.com/tokamak-network/Tokamak-zk-EVM

Architecture

tokamak-cli (entry point)
│
├── Frontend (compilers)
│   ├── qap-compiler     — Circom subcircuit library for EVM opcodes
│   │                       Output: subcircuits/library/
│   └── synthesizer      — Converts a transaction batch into a circuit
│                           Output: placementVariables.json, instance.json,
│                                   instance_description.json, permutation.json
│
└── Backend (Rust)
    ├── trusted-setup     — Generates reference string from subcircuit library
    │                       Output: combined_sigma.rkyv, sigma_verify.rkyv
    ├── prover            — Generates zk proof from circuit + setup outputs
    │                       Output: zk proof file
    └── verify            — Accepts or rejects the proof

tokamak-cli Commands