Taiko Labs — An Ethereum Based Rollup. — Page 18

ZK-Roller-Coaster #3

This is the 3rd edition of ZK-Roller-Coaster where we track and investigate the most exciting, meaningful, and crazy ZK-stuff of the prior two weeks. 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 🌶️Apr 6: “a project on zkSync raised 921 ETH ($1.7M) in a token sale, but funds are stuck forever in the smart cont...

What are ZK-SNARKs and how they work

Special thanks to Ben Wan, Matthew Finestone, and Brecht Devos for feedback and review.Table of contentsIntroductionZK-SNARK DefinitionThe Properties of ZK-SNARKsThe PLONKish ZK-SNARK Proof Systems 3.1 The PLONKish ZK-SNARKs in a Nutshell and Their Role 3.2 Commitment Schemes 3.3 Interactive Oracle Proof 3.4 Fiat-Shamir Heuristic 3.5. How the PLONKish ZK-SNARK Proof Systems Work 3.6 A Bit About Advanced PLONKish ZK-SNARK AspectsReferencesIntroductionA ZK-SNARK is a cryptographic proving syste...

Alpha-2 Testnet Update

We launched our alpha-2 testnet a bit over two weeks ago, and it has been a very useful one in terms of testing, finding issues, and other takeaways. We, and you, have utilized this testnet to primarily test decentralized proving and protocol economics. We want to say thank you to all who have helped test—transacting, deploying, node running and proving—and also want to express our apologies for any sub-optimal experience (transaction delays) you may have encountered in helping surface some o...

ZK-Roller-Coaster #2

This is the 2nd edition of ZK-Roller-Coaster where we track and investigate the most exciting, meaningful, and crazy ZK-stuff of the prior two weeks. 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 week 🌶️**Debate over worldcoin's biometry use and concerns about negative consequences. **After GPT4 release and Sam...

Taiko Alpha-2 Testnet is Live

Taiko alpha-2 testnet (a2) is live! Following our first testnet (a1), Snæfellsjökull, a2 continues the trend of Icelandic volcanos and is called Askja. Let’s scale this mountain on our road to scaling Ethereum securely. Relative to alpha-1, the most prominent changes are:ZKPs (validity proofs) are partially integratedProvers are in and are permissionless; proposers are permissioned (just us)—opposite of alpha-1Protocol economics are enabledReal rewards for provers to compensate their resource...

ZK-Roller-Coaster #1

This is the first edition of ZK-Roller-Coaster where we track and investigate the most exciting, meaningful, and crazy ZK-stuff of the prior two weeks. What to expect? New and ongoing ZK research discussions and proposals, new projects, updates from the already existing and beloved projects, ZK-drama, some educational watchings and writings, opportunities for builders, and puzzles for the curious. Not all of these every time but all of these from time to time. Let’s start with the first editi...

Taiko roadmap

Ethereum’s commitment to rollups is strong and credible; rollups’ commitment to Ethereum ought to be the same.Taiko is a fully decentralized, Ethereum-equivalent ZK-Rollup (Type 1 ZK-EVM). Our goal is to scale Ethereum while upholding the root principles of security, permissionlessness, and decentralization. We started building Taiko in Q1 2022 and are currently working on the ZK-EVM circuits, the L2 rollup node, and the protocol smart contracts on L1. In this article we would like to share t...

Taiko Community Update — Q4/2022

Below is our brief summary of what happened in the fourth quarter of 2022. It was a super busy one to close out the year, and now we are excited to be writing from 2023 - the year where ZK-EVMs are sure to leave an indelible mark on Ethereum and the world. Let’s jump right in.Research & DevelopmentZK-EVMImplemented RETURNDATASIZE/RETURNDATACOPY.Added circuit benchmarks.Added unit tests for math gadgets/super circuit.Added support for invalid transactions.Refactored math gadgets.Made improveme...

Taiko Ambassador Program

Ethereum has come a long way in its seven-year life — changing the world, in our opinion — but it is only just getting started. Scaling Ethereum at a technical level, as ZK-EVMs aim to do, is just one (huge) part of the equation in bringing it to the world - there is also the need to… actually bring it to the world! That’s why we are initiating the Taiko Ambassador Program. We need help in spreading the word that Ethereum scales securely and that you can use your existing solidity code, dapp,...

Taiko Alpha-1 Testnet is Live

Today, the Taiko Alpha-1 testnet (a1) is live - our first public testnet! We’ve codenamed this testnet, Snæfellsjökull. Be on the lookout for other Icelandic volcano releases as we approach mainnet over 2023! 🌋 We’re thrilled to reach this milestone towards our Type-1 ZK-EVM, with the ultimate goal of scaling Ethereum in a manner that is as secure and seamless for developers and users as possible. We still have a long way to go, but we hope you will join us in using and testing our first pub...

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.