Frontend

The frontend of Tokamak zk-EVM consists of compiler tools that convert Ethereum transactions and blocks into Tokamak zk-SNARK circuits. This section covers the core frontend components and their documentation.

Components

Synthesizer

The Synthesizer is the main frontend compiler that processes Ethereum transactions and generates wire maps for Tokamak zk-SNARK proof generation.

Documentation:

• Concepts - Fundamental concepts and architecture
• Execution Flow - Step-by-step transaction processing
• Code Architecture - Code structure and implementation details
• Data Structures - Core data types (DataPt, StackPt, MemoryPt)
• Opcodes - EVM opcode implementation reference

Quick Links:

• GitHub Repository
• Official Documentation

Related Components

QAP Compiler

The QAP Compiler manages the library of fundamental subcircuits used by the Synthesizer. These subcircuits implement EVM operations for 256-bit words.

• GitHub Repository

Additional Resources

• Research Paper: Tokamak zk-SNARK
• Main Repository: Tokamak-zk-EVM
• Backend Documentation: Coming soon