Tokamak-zk-EVM

Tokamak-zk-EVM is a zero-knowledge Ethereum Virtual Machine implementation that enables scalable and private smart contract execution.

Package Composition

This monorepo contains the core components of the Tokamak-zk-EVM ecosystem:

Frontend Packages

Package	Description	Language
qap-compiler	Library of subcircuits for basic EVM operations	circom
synthesizer	Compiler that converts an Ethereum transaction into a circuit for Tokamak zk-SNARK	javascript

Backend Packages

Package	Description	Language
mpc-setup	Tokamak zk-SNARK's setup alogirhtm (multi-party computation version)	rust
trusted-setup	Tokamak zk-SNARK's setup algorithm (trusted single entity version)	rust
prover	Tokamak zk-SNARK's proving algorithm	rust
verify	Tokamak zk-SNARK's verifying algorithm	rust, solidity

Libraries

Package	Description	Language
libs-rust-tools	Field, polynomial, signal processing related modules for Tokamak zk-SNARK	rust

Package Versions

Package	Current Version	Status
qap-compiler	v0.1.0	🔥 Alpha
synthesizer	v0.1.0	🔥 Alpha
prover	-	🚧 Planned
mpc-setup	-	🚧 Planned
trusted-setup	-	🚧 Planned
verify-rust	-	🚧 Planned
verify-sol	-	🚧 Planned
libs-rust-tools	v0.1.0	🔥 Alpha

Version Strategy

🔥 Alpha (v0.1.x)

• Initial implementation and testing

🧪 Beta (v0.2.x)

• System-wide testing and optimization

⭐️ Stable (v1.0.0)

• Production-ready release
• Full system integration and testing

Tokamak-zk-EVM flow chart

Ethereum compatibility

📝 Note: This section will be updated as new EVM features are implemented

Documentation

• Project Tokamak zk-EVM(Medium) (Outdated. Will be updated soon)
• Project Tokamak zk-EVM(Slide) (Outdated. Will be updated soon)
• Tokamak zk-SNARK Paper
• Frontend
  • Synthesizer

Contributing

We welcome contributions! Please see our Contributing Guidelines for details.

License

This project is licensed under MPL-2.0.