Special thanks to arnaucube**,* Brecht Devos, Barak, Benedikt Bünz, Binyi Chen, and Ben Wan for review.*TL;DRThe goal, the whole zk industry is working on, – is to (i) decrease the proof generation cost as much as possible while (ii) preserving proof as small as possible and (iii) verification as efficient as possible. It’s possible through prover optimisation or, as an alternative, one can compress the data the prover proves.Huge work was done on folding scheme techniques within the last sev...

Special thanks to arnaucube**,* Brecht Devos, Barak, Benedikt Bünz, Binyi Chen, and Ben Wan for review.*TL;DRThe goal, the whole zk industry is working on, – is to (i) decrease the proof generation cost as much as possible while (ii) preserving proof as small as possible and (iii) verification as efficient as possible. It’s possible through prover optimisation or, as an alternative, one can compress the data the prover proves.Huge work was done on folding scheme techniques within the last sev...

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...

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...

We are super excited to announce the launch of Taiko’s first community grant program! 🌍🏗️ The aim of this program is to discover and support innovative community members that build up and build on the Taiko ecosystem, with the financial incentives and developer resources needed to bring their visions to life. Despite still being in our testnet phase we think there is immense value in supporting ambitious builders from Day 0, and allowing them to participate in the network’s potential succes...

We are super excited to announce the launch of Taiko’s first community grant program! 🌍🏗️ The aim of this program is to discover and support innovative community members that build up and build on the Taiko ecosystem, with the financial incentives and developer resources needed to bring their visions to life. Despite still being in our testnet phase we think there is immense value in supporting ambitious builders from Day 0, and allowing them to participate in the network’s potential succes...

TL;DR: In this article, we unpack the recently launched L3s on Taiko. We discuss the role of L3s in scaling Ethereum, the new use cases that L3s allow us to have, and some details on Taiko's specific approach.Meme inspired by ex_scxr.IntroductionWhen we talk about scaling Ethereum, we usually mean rollups that execute transactions off-chain and confirm (i) the proof of a transaction batch correct execution and (ii) “batch transactions summary” (block hash) on-chain. However, for the Ethe...

TL;DR: In this article, we unpack the recently launched L3s on Taiko. We discuss the role of L3s in scaling Ethereum, the new use cases that L3s allow us to have, and some details on Taiko's specific approach.Meme inspired by ex_scxr.IntroductionWhen we talk about scaling Ethereum, we usually mean rollups that execute transactions off-chain and confirm (i) the proof of a transaction batch correct execution and (ii) “batch transactions summary” (block hash) on-chain. However, for the Ethe...

This is the 9th 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 4th edition of ZK-Roller-Coaster produced by the Taiko community! Special thanks to 9th edition contributors: Alex_ADEdge, kshyun28, BluePillow alexanderblv, yona 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 co...

This is the 9th 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 4th edition of ZK-Roller-Coaster produced by the Taiko community! Special thanks to 9th edition contributors: Alex_ADEdge, kshyun28, BluePillow alexanderblv, yona 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 co...

This is the 10th 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 5th edition of ZK-Roller-Coaster produced by the Taiko community! Special thanks to 10th edition contributors: Alexander B., Zen. 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 ...

This is the 10th 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 5th edition of ZK-Roller-Coaster produced by the Taiko community! Special thanks to 10th edition contributors: Alexander B., Zen. 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 ...

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...

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...

Alpha-3 has been drumming along for one month now! Let's take a look at what’s happened.Stats updatesThree weeks ago, our stats were: 📤 Unique proposers → 150 ✅ Unique provers → 67 🕒 Average block time → 3.5 seconds 🤝 Total transactions → 1,312,898 🧱 Total blocks → 185,351 💻 Wallet addresses → 207,063See our tweet thread for a full recap: https://twitter.com/taikoxyz/status/1669605951576625153And as of today, our stats are: 📤 Unique proposers → 3469 ✅ Unique provers → 462 🕒 Averag...

Alpha-3 has been drumming along for one month now! Let's take a look at what’s happened.Stats updatesThree weeks ago, our stats were: 📤 Unique proposers → 150 ✅ Unique provers → 67 🕒 Average block time → 3.5 seconds 🤝 Total transactions → 1,312,898 🧱 Total blocks → 185,351 💻 Wallet addresses → 207,063See our tweet thread for a full recap: https://twitter.com/taikoxyz/status/1669605951576625153And as of today, our stats are: 📤 Unique proposers → 3469 ✅ Unique provers → 462 🕒 Averag...

This is the 8th 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 third edition of ZK-Roller-Coaster produced by the Taiko community! Special thanks to 8th edition contributors: BluePillow and Alexander Belyaev! 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 ...

This is the 8th 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 third edition of ZK-Roller-Coaster produced by the Taiko community! Special thanks to 8th edition contributors: BluePillow and Alexander Belyaev! 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 ...

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 ...

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 ...

TLDR: This article explores the approaches of different L2s to cross-chain messaging from rollups’ perspective, focusing more on trustless cross-chain communication. We briefly explain the direct state reading approach, light client approach, and storage proofs. We also mention proof aggregating mechanism, trusted-third party cross-chain messaging, and core ZK-cross-chain solutions. In the end, we cover examples of how different L2s approach cross-chain messaging today.ContentsPart I: Introdu...

TLDR: This article explores the approaches of different L2s to cross-chain messaging from rollups’ perspective, focusing more on trustless cross-chain communication. We briefly explain the direct state reading approach, light client approach, and storage proofs. We also mention proof aggregating mechanism, trusted-third party cross-chain messaging, and core ZK-cross-chain solutions. In the end, we cover examples of how different L2s approach cross-chain messaging today.ContentsPart I: Introdu...

This is the 11th 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 11th edition contributors: Alexander B., Thisu, 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 tight! 🎢Spice of the weeks 🍿ZK-EVM wars in progress!This time Polygon...

This is the 11th 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 11th edition contributors: Alexander B., Thisu, 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 tight! 🎢Spice of the weeks 🍿ZK-EVM wars in progress!This time Polygon...