Packages

This page introduces the key components of Tokamak zk-EVM and where to find them.

Core Components

Tokamak zk-EVM consists of several key components, each available as open-source repositories:

Core Package

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

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

Contains the complete Tokamak zk-EVM system:

  • Synthesizer: Frontend compiler that converts Ethereum transactions to circuit representations
  • QAP Compiler: Circuit library with pre-compiled subcircuits for EVM operations
  • Prover & Verifier: Backend proof generation and verification system

GUI Playground

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

Releases: https://github.com/tokamak-network/Tokamak-zk-EVM-Playgrounds/releases

Portable desktop application that enables:

  • One-click proof generation
  • Easy access for non-developers and non-technical users

CLI Tool

Repository: https://github.com/tokamak-network/create-tokamak-zk-evm

Command-line interface for:

  • Quick proof generation and verification
  • Development and testing workflows
  • Integration with existing projects