Taiko Labs — An Ethereum Based Rollup. — Page 15

Based Rollup FAQ

Special thanks to Brecht, Archie, and Dave for comments and review. TL;DR In this article, we briefly cover a general rollup architecture and the rollup properties required for long-term robustness and safety. Then, we mention the origination history of the based rollup and unpack its architecture. In the FAQ section, we answer questions about based rollups. Disclaimer: rollup definitions struggle from lack of alignment sometimes. In this article, we refer to the rollup layers taxonomy provid...

ZK-Roller-Coaster #14

This is the 14th edition of ZK-Roller-Coaster where we track and investigate the most exciting, meaningful, and crazy ZK-stuff of the prior two weeks. Special thanks to 14th edition contributors: Hlpr and stacker1. Disclaimer: this is a collection of tweets, writings, videos, and other materials; these don’t express our opinion and may not necessarily be accurate. Please do (or continue) your own research. Hold on tight! 🎢Spice of the weeks 🍿Worries around worries around liquid stakingThe M...

ZK-EVM types: Ethereum-equivalent, EVM-equivalent, Type 1, Type 4, and other cryptic buzzwords

TL;DR A year ago, quite a few ZK-EVMs announced the upcoming launch of testnets. The community wondered what the difference between all these projects was and what Ethereum-equivalence, EVM-equivalence, and other popped-up buzzwords meant. To bring clarity, Vitalik wrote an article, “The different types of ZK-EVMs,” providing a taxonomy for different types of ZK-EVMs and explaining the difference. The core idea is: Type 1 (e.g., Taiko) is perfectly Ethereum-equivalent, and Type 4 (e.g., zkSyn...

Announcing the Taiko Community Advocate Program

Ethereum has just turned 8 — what a ride it has been! The community has already achieved a lot — from becoming the first smart contract platform to helping millions around the world access open finance and other financial services, but there is still work to do! That work is mainly concentrated on scaling, among other technical challenges. However, as the scalability race intensifies and teams continue to build with their heads down, there’s another crucial area that needs attention — culture...

Jólnir Testnet (Alpha-5) is live!

Our fifth testnet is here! Jólnir (Alpha-5) brings new exciting adjustments to how proposing and proving works on Taiko. Let’s see what those changes are and how you can participate!New PBS-inspired proposing and proving designJólnir comes with a new, Proposer-Builder Separation (PBS)-inspired proposing and proving implementation. Here’s how it works:In Grímsvötn, a proposer needed to deposit some TTKO in order to propose a block;In Jólnir, proposers need to acquire a bond from provers to pro...

Why EIP-4844 matters for rollups and how it works for ZK-EVM

Special thanks to Brecht Devos and Ben Wan for review. Special special thanks to Dani for the meme.TL;DRTwo core changes are coming with EIP-4844:Increased amount of data that can be posted in one Ethereum block. So, rollup throughput will grow.Introduction of a new transaction type, blob transaction, and a separate fee market. So, the data transactions won’t compete with regular transactions.Both these changes will decrease the data posting cost for rollups. However, today, it’s impossible t...

ZK-Roller-Coaster #13

This is the 13th edition of ZK-Roller-Coaster where we track and investigate the most exciting, meaningful, and crazy ZK-stuff of the prior two weeks. And this is the 8th edition of ZK-Roller-Coaster produced by the Taiko community! Special thanks to 13th edition contributors: Yona, Hlpr. Disclaimer: this is a collection of tweets, writings, videos, and other materials; these don’t express our opinion and may not necessarily be accurate. Please do (or continue) your own research. Hold on tigh...

Why multi-prover matters. SGX as a possible solution.

TL;DRWhile ZK-Rollups, circuits, and SNARKs are very complex and not mature enough, using multi-prover approach can hedge the risk of bugs and vulnerabilities in proving systems, architectures, and implementations. The multi-prover can be implemented using different types of proofs (e.g., validity proofs and fraud proofs), different proving systems (e.g., SNARK and STARK), and different implementations by different teams. In the first part of this article, we cover the significance of multi-p...

ZK-Roller-Coaster #12

This is the 12th edition of ZK-Roller-Coaster where we track and investigate the most exciting, meaningful, and crazy ZK-stuff of the prior two weeks. Special thanks to 12th edition contributors: José Ve, Alexander B., Hlpr, tRDM, ex_scxr, alexhuk. Disclaimer: this is a collection of tweets, writings, videos, and other materials; these don’t express our opinion and may not necessarily be accurate. Please do (or continue) your own research. Hold on tight! 🎢Spice of the weeks 🍿FRI or not FRI ...

Proof of Meow: how ZK-VM works

TL;DR If you have ever wondered how a ZK-VM works, below we explain it in one diagram, with an example of “Proof of Meow.” For more serious people, in the second section, we redraw this diagram to prove EVM instead of meow.Section 1: for those who love kittiesDisclaimer: In this explanation, we use some mental models to provide intuition behind “how ZK-EVM works.” In fact, there are more details and nuances, check a series of articles by the PSE group on ZK-EVM to explore it in a more technic...

L2 MEV wat

Special thanks to Nikete Della Penna, RJ, Matthew Finestone, and Brecht Devos for review and valuable insights.TLDRIn this article, we “map” the current landscape of L2 MEV, thinking about different MEV consequences for different L2 designs. We also briefly overview different ways of L2s decentralization and how it might impact L2 MEV.Wat is MEVDisclaimer: feel free to skip if you are familiar with MEV. For a detailed MEV explanation, check the article “Ethereum is a dark forest” by Paradigm ...

Eldfell L3 (alpha-4) is live!

Taiko’s fourth testnet has arrived! Eldfell L3 (alpha-4) is our first experiment with inception layers and a new staking based proving design. We are launching this testnet in order to test two things:Deploying Taiko on Taiko as an L3 inception layer (a rollup on a rollup 😏)Testing a new staking based prover economicsOur alpha-N releases are always experiments to test our hypothesis on the protocol and build a more robust system. So let's dive in!Inception layersInception layers are a n...

Based Rollup FAQ

Special thanks to Brecht, Archie, and Dave for comments and review. TL;DR In this article, we briefly cover a general rollup architecture and the rollup properties required for long-term robustness and safety. Then, we mention the origination history of the based rollup and unpack its architecture. In the FAQ section, we answer questions about based rollups. Disclaimer: rollup definitions struggle from lack of alignment sometimes. In this article, we refer to the rollup layers taxonomy provid...

ZK-EVM types: Ethereum-equivalent, EVM-equivalent, Type 1, Type 4, and other cryptic buzzwords

TL;DR A year ago, quite a few ZK-EVMs announced the upcoming launch of testnets. The community wondered what the difference between all these projects was and what Ethereum-equivalence, EVM-equivalence, and other popped-up buzzwords meant. To bring clarity, Vitalik wrote an article, “The different types of ZK-EVMs,” providing a taxonomy for different types of ZK-EVMs and explaining the difference. The core idea is: Type 1 (e.g., Taiko) is perfectly Ethereum-equivalent, and Type 4 (e.g., zkSyn...

Closing in on Stage 1: The Shasta Upgrade Is Almost Here!

A redesign of Taiko’s protocol that reduces proposing costs by over 20x and supports permissionless preconfirmations.

• Ethereum
• Layer2
• Rollups

Wrapping Up Season 6, Trailblazer Role and the Road Ahead

Greetings, Trailblazers. Learn about the Season 6 rewards and the future of Trailblazers program.