---
# System prepended metadata

title: Introduction to Taiko

---

---
title: "Introduction to Taiko"
description: "Introduction to Taiko"
---

![](https://i.imgur.com/D2iXM1i.png =100x)

## Taiko
### Overview of the Taiko Type-1 ZK-EVM

Matt Finestone \
Co-founder @ Taiko Labs

---

## Topics of discussion

- Background on Taiko
- What are we?
- Tradeoff space understanding
- 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 from all around the world

---

## 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
- Released an alpha-1 and alpha-2 testnet, alpha-3 coming soon 👀

![](https://i.imgur.com/8i6RoUC.png =500x)

---

## What are we: Ethereum-equivalent

![](https://i.imgur.com/4e3Dvgx.png =400x)

- Type 1 ZK-EVM
    - We choose compatibility over proof generation time
- EVM-equivalent
    - Yellow paper validity rules (defining the state transition)
    - No changes to the gas schedule
- Ethereum architecture
    - Re-use execution clients
    - Gas costs, state tries, hashes, etc.
    - Equivalent bridge contracts on L1 and L2
    - We are also ["based"](https://ethresear.ch/t/based-rollups-superpowers-from-l1-sequencing/15016) (or L1-sequenced)
- Decentralized and open source

---

## What are we: Decentralized

![](https://i.imgur.com/95B4aQC.png =400x)

---

## Why we like our point on the tradeoff curve
   
- EVM winning/has won
    - Zero cognitive overhead for devs; all tooling, best DevX
- Ethereum infrastructure maximum re-use, minimum diffs.
    - Battle-hardened, well supported
- Security edge cases minimized or removed
    - Contracts/dapps -- peace of mind for devs (and users)
    - Nodes/infra -- peace of mind for whole network
- We are comfortable with what we tradeoff: *proof generation time*

---

## We are comfortable with what we tradeoff
   
- Matters less than people expect from time/delay POV 
    - Only matters for withdrawals; everything on rollup quick and deterministic
        - Optimistic rollups, 7 day delay
        - Liquidity providing bridges
        - Sidecar proofs for withdrawals
- Cost continuously coming down from hardware and software optimization, our own and across the community.

---

### Proposing

![](https://i.imgur.com/ukSXMJt.png =500x)

---

### Proving

![](https://i.imgur.com/ums9sbn.png =500x)


---

### Verifying

![](https://i.imgur.com/g8q1EjJ.png =500x)

---

### What are we: flowchart overview

<section>
  <div class="image-grid">
    <img src="https://i.imgur.com/ukSXMJt.png" alt="" width="200" />
    <img src="https://i.imgur.com/ums9sbn.png" alt="" width="200" />
    <img src="https://i.imgur.com/g8q1EjJ.png" alt="" width="200" />
    <img src="https://i.imgur.com/nPg7qKO.png" alt="" width="200" />
  </div>
</section>

---

## Where are we going: learnings from Taiko alpha-1 testnet

- ~2k unique proposers
    - Proposing was permissionless, just commit your rollup blocks to Ethereum L1 

---

## Where are we going: learnings from Taiko alpha-2 testnet

- ~140 unique provers
    - Proving is permissionless, first proof wins; incentivizes max efficiency (it's not the full EVM circuit).
- Issues found. Protocol economics flaw, precision too low.

---

## 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 / prover fee
    - Proposer fee is based on gas per second
- Apply lessons learned from alpha-2
    - Contract upgradability
    - Does prover decentralization matter
- More circuits included

---

## Where are we going: long term

- Equivalent
- Decentralized
- Ethereum

---

## 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 starter repo dapp-slaps:
    - https://github.com/d1onys1us/dapp-slaps
- Also help build Taiko itself, check CONTRIBUTING.md:
    - https://github.com/taiko-mono

---

## Thank you

<div style="text-align:center;">
    <figure style="display:inline-block; margin:0 20px;">
        <img src="https://i.imgur.com/N8Gea6F.png" width="150" height="150">
        <figcaption>Follow on Twitter</figcaption>
    </figure>
    <figure style="display:inline-block; margin:0 20px;">
        <img src="https://i.imgur.com/WdMDAIt.png" width="150" height="150">
        <figcaption>Read the docs</figcaption>
    </figure>
</div>

<br />

| | |
|--|--|
|**Discord**|https://discord.gg/taikoxyz|
|**Docs**|https://taiko.xyz|
|**GitHub**|https://github.com/taikoxyz|
|**Twitter**|https://twitter.com/taikoxyz|

<style>
.reveal {
  font-size: 24px;
}

.image-grid {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  grid-gap: 10px;
  justify-items: center;
  align-items: center;
}

.image-grid img {
  max-width: 100%;
  height: auto;
}
</style>
