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 →

ETHGlobal Tokyo Workshop

Introduction to Taiko: Using Ethereum-equivalence for ZK-EVM superpowers

Brecht & Dave from Taiko Labs

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 →

Topics of discussion

  • Overview of bounties
  • What is Taiko
  • Ideas to think about with the bounties
  • Codebase walkthrough + intro to dapp-slaps

Overview of bounties

  • 20k in bounties!
  • Best Dapps 👷
  • Infrastructure Improvements 🧱
  • Catch MEEEEEEEEEV! 🤖
  • ZK-Zone 🥷
  • Protocol Economics (no-code bounty!) 🤓
  • Ethereum Public Goods 🌏
  • Fun bounty 💃🏽

What is Taiko

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 →

  • An Ethereum-equivalent ZK Rollup (a Type 1 ZK-EVM)
  • L1 sequenced / "based rollup"
  • Fully open source and MIT licensed (community project)
  • Fully permissionless block proposing and proving

Block proposing

Deriving blocks

Proving blocks

Verifying blocks

Infrastructure Improvements

Goal: Improve usability

  • NFT bridge: ERC20 bridge avaiable already
  • ZK optimized bridge: MPT check in circuit, verify ZKP
  • ZK additions to blockscout explorer (block proven/verified/…)
  • GUI or set-up wizard to help anyone run a rollup node

Protocol Proposing Improvements

Goal: Improve the efficiency of proposing blocks

  • Improve block proposing cost estimation
    • L1: proposing a block is free
    • L2: costs depend on L1, time dependent
  • "based" sequencer
    • Integrate flashbots, no more anarchy
  • Integrate a shared sequencer (or emulate one)
    • Taiko already is fault tolerant for invalid transactions
  • Craft a kind of “mev-boost” for Taiko L2

Protocol Economics (no-code bounty!)

Goal: simple and robust

  1. Proposer buys L2 blockspace:
    • gas <-> ETH EIP-1559 style, but
      • No fixed block times
      • Block size not dynamic
  2. Pay the prover
    • Generally paid by the proposer
    • Trying to find the most efficient prover
      • First to submit: proof time <-> TKO
      • Auction: reserve based on (cost, proof time)
      • PoS: Stake based on any data (incentives!)

Codebase walkthrough + intro to dapp-slaps

Thank you

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 →
Follow on Twitter
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 →
Read the docs
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 →
These slides
Discord https://discord.gg/taikoxyz
Docs https://taiko.xyz
GitHub https://github.com/taikoxyz
Twitter https://twitter.com/taikoxyz
Select a repo