Tokamak zk-EVM 2024 Q2 Report
Prepare for Takeoff
Hi, this is Jake, leading the Tokamak zk-EVM project. We’re thrilled to share our progress for the second quarter of 2024.
During the second quarter, we’ve been busy preparing to share our story with the world. While we’re not quite ready to launch a service or demo a product, our strategy has become more detailed and is starting to meet the needs of the Ethereum ecosystem. We’re also working hard on documenting and implementing our concepts.
Events We’ll Speak At
This November, DEVCON, the biggest conference for Ethereum contributors, will take place in Bangkok. In addition, various events are scheduled across Asian countries in the second half of the year. Here are events where we will share our story:
- ETHTOKYO: It is an Ethereum community hackaton held in Tokyo, Japan from August 23 to 26, 2024.
- ETHKL: It is another Ethereum community hackaton held in Kulal Lumpur, Malaysia from October 4 to 6, 2024.
We’re also looking forward to seeing you at DEVCON.
Progress in research and development
Besides preparing for our speeches, we’ve made good progress in R&D.
Research
As we mentioned earlier, our zk-EVM won’t rely solely on ZKPs or SNARKs; it will also utilize multi-party computation and threshold cryptography. We’ve reviewed extensive literature on existing protocols, ranging from traditional distributed key generation based on Shamir’s secret key sharing to Snarky ceremonies and threshold cryptography for verifying a signature of correct computation. With this background, we’ve set out to design our own protocols.
Development
We’ve improved the compatibility of Tokamak zk-EVM subcircuits with EVM arithmetic operations. We’re now developing a compiler that takes unrolled transaction bytecode as input and generates a wire map, guiding how to combine the subcircuits to derive an optimized transaction circuit. This compiler is the last unimplemented element in the front-end of the Tokamak zk-SNARK.
What’s next?
- Documenting secure multiparty computation for Tokamak zk-SNARK’s setup.
- Documenting threshold cryptography for distributed verification of wire maps.
- Developing the Tokamak zk-SNARK compiler.
Contact us
We’re actively seeking creative researchers and developers. Reach out to us at hr@tokamak.network. For technical discussions, contact jake@tokamak.network.
