Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs(website): add overview EIP-4844 blob data transactions #14338

Merged
merged 5 commits into from
Aug 4, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
62 changes: 60 additions & 2 deletions packages/website/pages/docs/concepts/overview.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ cheaper than on L1, it is still necessary to adjust
its price in a way to avoid L2 space being abused.
EIP-1559 on Taiko dynamically adjusts the block space price.

## Rate Limiting using EIP-1559
## Rate limiting using EIP-1559

Although rollups can have significantly
higher network capacity than L1s,
Expand Down Expand Up @@ -54,7 +54,7 @@ the same mechanism is used on Ethereum it allows Taiko to be Ethereum equivalent
(with some small implementation detail changes) even for this part of its network,
which is not obviously the case for L2s.

## EIP-1559 Powered Prover fees
## EIP-1559 powered prover fees

Proving blocks requires significant compute power to calculate the proof
to submit and verify the proof on Ethereum. Provers need
Expand Down Expand Up @@ -105,3 +105,61 @@ increased. To lower the chance that the estimated cost is too
low and extra Taiko tokens need to be minted, a slightly
higher baseFee can be charged to the proposer than the
one predicted by the model.

## EIP-4844 scaling via blob data

EIP-4844 is an Ethereum upgrade that bolts blob data to consensus layer blocks.

<br />
<center>
<Image
src="/images/diagrams/concepts/eip-4844/blob-bolt-block.png"
alt="proposed"
width={1200}
height={500}
/>
</center>

YouTube Video Presentation: [Ethereum's first steps towards serious scalability/EIP-4844 (Proto-danksharding)](https://www.youtube.com/watch?v=JQDUvqv60qw)

The main motivation for EIP-4844 is scaling Ethereum with transactions that are:

- Compressed (similar to raw byte calldata for rollups to read and execute from)
- Cheap (blob data is cheaper than calldata)
- Ephemeral
- Exist long enough for rollups to execute data
- With enough verification data after expiration recorded to prove blob data

The impact is:

- Cheaper transactions are achieved
- Increase in rollup TPS (transactions per second); possibly, 10 times as much

<br />
<center>
<Image
src="/images/diagrams/concepts/eip-4844/scale-rollup-ten-times.png"
alt="proposed"
width={1200}
height={500}
/>
</center>

EIP-4844 focuses on using Polynomial Commitments instead of Merkle Trees.
This is because Polynomial Commitments have data recovery and are more lightweight than Merkle Trees as shown below.
However, Polynomial Commitments are more challenging to develop with, since they use complicated math.

<br />
<center>
<Image
src="/images/diagrams/concepts/eip-4844/merkle-tree-vs-polynomial-commitment.png"
alt="proposed"
width={1200}
height={500}
/>
</center>

EIP-4844 will be released in the Ethereum Cancun upgrade.
The Cancun upgrade ETA is Q4 2023 and can be tracked with other Ethereum upgrades at [Wen Merge?](https://wenmerge.com/)

Taiko Mainnet expects to launch with blob data transaction support after EIP-4844 is released. However, Taiko can support transactions without EIP-4844 blob data as well.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.