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

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

Thank you & now open for questions