Taiko

Fully decentralized, Ethereum-equivalent ZK Rollup

Dave | d1onys1us
Developer Experience Engineer @ Taiko Labs

Topics of discussion

• Background on Taiko
• What are we?
• Where are we going?
• Resources for building on Taiko

Background on Taiko

• Scaling Ethereum with a Type 1 ZK-EVM
• Community ZK-EVM effort
• Several members from Loopring, built the first ZK Rollup on Ethereum
• Now around 25 people, ~20 will be here in Tokyo
  • We are coming from all around the world, very spread out

What are we?

• A fully decentralized, Ethereum-equivalent ZK Rollup (a Type 1 ZK-EVM)
• Fully open source and MIT licensed
• Community developed/driven, no permissioned block proposing/proving
  • ~55k community members on Discord
  • ~2k unique proposers last testnet
  • ~140 unique provers this testnet
• Released an alpha-1 and alpha-2 testnet, alpha-3 coming soon 👀

What are we: Ethereum-equivalent

• Type 1 ZK-EVM
  • We are choosing compatibility over proof generation time
• What's a rollup / state transition
  • Yellow paper validity rules (defining the state transition)
  • Derives from a base layer for consensus and data availability (we are also "based" 😎)
• Ethereum architecture
  • Re-use execution clients
  • Gas costs, state tries, hashes, etc.
  • Merkle proof cross-chain messaging
• Decentralized and open source
• A platform for building (eg. the bridge)

What are we: overview of current protocol design

Proposing

Proving

Verifying

Constructing the rollup state

Image Not Showing Possible Reasons The image file may be corrupted The server hosting the image is unavailable The image path is incorrect The image format is not supported Learn More →

What are we: flowchart overview

Where are we going: Taiko alpha-3 testnet

• Simplify protocol w/ major optimizations / features
  • Moving lots of validity logic into ZKPs
  • Enable EIP-1559 on L2
• EIP-1559 inspired proposer fee / prover reward based on network capacity / proof time
• Apply lessons learned from alpha-2
  • Contract upgradability
  • Does prover decentralization matter
• More circuits, possibly both permissionless proposers and provers (tokenomics enabled)
• Moving codebase to Foundry

Where are we going: long term

• Community finishes the circuits to prove Ethereum blocks as they look today (enshrined rollup? 👀)
• EIP-4844 (proto-danksharding) is exciting
• Rollup training wheels
  • Execution client diversity
  • Proof diversity
  • Governance

Resources to build on Taiko

• Dapp development a bit boring, essentially "build on Ethereum"
  • Any Ethereum learning resource applies; simply change the RPC like you would with another Ethereum-equivalent chain, such as an L1 testnet like Goerli
• Guides available at taiko.xyz
• Check out my starter repo dapp-slaps:
  • https://github.com/d1onys1us/dapp-slaps
• Also help build Taiko itself, check CONTRIBUTING.md:
  • https://github.com/taiko-mono
• We have 20K USD in prizes for ETH Global Tokyo
  Image Not Showing Possible Reasons

  • The image file may be corrupted
  • The server hosting the image is unavailable
  • The image path is incorrect
  • The image format is not supported

  Learn More →

Thank you & now open for questions