Dialogue with Taiko: What is a multi-proof route? How is it related to the finality of Ethereum?

Written by Linda Bell

On May 23, Taiko released the first round of airdrop query page, butCommunityThis has sparked a debate about fairness. In response to the founder Daniel Wang,CommunityIt seems that he doesn't buy it.

At the same time, on May 25, Ethereum co-founder Vitalik Buterin proposed the first block on the Taiko mainnet as a block proposer, and added a comment to the block: “I am very happy to see Taiko launched as a Based Rollup platform. Ethereum benefits from adopting a variety of different approaches. L2s, and I appreciate that Taiko is one of the first projects to move in this direction.”

After the Cancun upgrade, the Ethereum ecosystem has put its focus back on L2 Field. Unlike other Rollup projects, Taiko is developing a solution based on Based Rollup, and has attracted the favor of many VCs such as Sequoia China, Generative Ventures, Hashed, Lightspeed Faction, Token Bay Capital and Flow Traders. It makes people curious, compared with other well-known ZK expansion projects, what is special about Taiko? How will its expansion solution affect the L2 ecological landscape?

With these questions in mind, ChainFeeds talked to the Taiko team to discuss Taiko’s origin, vision, Ethereum expansion plan, and more.

Key excerpts:

• Taiko founder Daniel Wang hopes to expand Ethereum without sacrificing decentralization, to achieve a situation where centralized and decentralized second-layer networks coexist, allowing dApps to make decisions between the two options.

• Contestable Rollup is an abstraction of zkRollup and Optimistic Rollup.Zero knowledge proofCheap enough to make Contestable a pure zkRollup.

• In the process of developing SGX proofs, the Taiko team gradually realized the importance of stateless clients and firmly believed that running stateless clients in zkVM would be a good choice for building blockchain applications.Zero knowledge prooffeasibility.

• Taiko has launched the mainnet, and the submission and certification of blocks are permissionless, butcontractThere are still owners. The Taiko team plans to launch the mainnet in about a year.contractAll transferred to Taiko DAO, completely giving up ownership and control of the network.

Taiko Origin: Scaling Ethereum without Sacrificing Decentralization

Daniel Wang, the founder of Taiko, created Loopring, the first Ethereum ecosystem DEX protocol built on ZKRollup in 2017. However, the architecture of Loopring did not fully match Daniel's vision. Daniel hoped to expand Ethereum without sacrificing decentralization, so that centralized and decentralized second-layer networks could coexist, allowing decentralized applications to make smarter decisions between the two options. However, Loopring can only be built as a non-programmable second-layer network, lacking a virtual machine structure, and in order to reduce costs, its block generation mechanism is also centralized.

Before founding Taiko, Daniel Wang and like-minded developers had many discussions, focusing mainly on two directions: decentralized social networks or the infrastructure required for decentralized social networks, "permissionless second-layer networks." After careful consideration, everyone generally believed that it was risky to get involved in the field of decentralized social networks, while permissionless second-layer networks had greater differentiated competitive space, and Taiko came into being.

Taiko is a Type-1 zkEVM that provides exactly the same opcodes and functions as Ethereum, ensuring high compatibility with the existing Ethereum ecosystem. The Taiko team emphasized that the original design of Taiko was the Based Rollup structure, which means that Ethereum validators are ultimately responsible for Taiko's block generation, which achieves decentralization of proposers. In March of this year, Taiko completed a $15 million Series A financing round led by Lightspeed Faction, Hashed, Generative Ventures, and Token Bay Capital, with a total financing amount of $37 million. In response to the favor of VCs, the Taiko team stated that they attach great importance to the strategic synergy between investment institutions and Taiko. And the reason why Taiko was able to become the world's largest Discord in a short period of time is that Community(over 1.07 million members) and attracted hundreds of dApps to be deployed. In addition to the advantages of Type-1 and fully decentralized architecture, the support of investors is also indispensable.

Exploring Ethereum Rollup Design Framework: BCR and BBR

One of the main differences between Taiko and other Rollups is that it chooses the Based Rollup mechanism, which does not rely on a centralized sorter, but relies on Ethereum validators to sort transactions and blocks. Furthermore, Taiko co-founder Daniel Wang proposed the concept of "Based Contestable Rollup (BCR)" at the end of 2023. This concept introduces the Contestable mechanism because ZK-EVM code cannot always be error-free, and Taiko is decentralized and has a low fault tolerance, so a cautious attitude needs to be taken.

The Taiko team also elaborated on the main considerations for choosing the Contestable design:

• First, Based Rollup does not require permission, and a "higher level of proof" must be introduced to resolve potential bugs in the software. This avoids the need for centralized networks to shut down the network for data error correction. Of course, as the Taiko network runs longer, this error correction mechanism can be gradually removed.

• Secondly, although SGX proofs are thousands of times cheaper than zero-knowledge proofs, they are not the most ideal or decentralized way to verify. The Contestable design allows challenges to be raised when doubts arise about SGX proofs, requiring the use of higher-level proofs to re-verify blocks, while reducing costs and increasing the credibility of verification.

• Finally, Contestable Rollup is flexible and scalable, and can be seen as an abstraction of zkRollup and Optimistic Rollup. For example, if zero-knowledge proofs become cheaper in the future, we can configure Contestable Rollup as a pure zkRollup, or as a pure Optimistic Rollup according to the needs of the application, thereby adapting to different verification requirements.

Daniel Wang also gave a detailed overview of the architecture of Based Contestable Rollup in his article. BCR is a Rollup with controversial features and Based sorting. Under this design, anyone can dispute the state transition in a block, but must submit a dispute in Taiko TokenA dispute deposit is paid, and a higher level of proof is required to resolve the dispute in order to verify the block. If the disputant wins, the dispute deposit can be withdrawn and 1/4 of the original prover's validity deposit can be obtained. The new prover will also receive 1/4 of the original prover's validity deposit as a proof fee, and the remaining 1/2 will be confiscated. Vice versa. It is worth noting that in this mechanism, multiple signers jointly act as the upper level of the proof hierarchy in the first few years. As the highest level of proof, in this case, the state transition is considered final and no further questioning is allowed.

In addition, Taiko's BCR architecture also has a core feature, which is to allow each level to use its own proof system. The Taiko team said that under the Contestable Rollup-based architecture, different levels of proofs can be constructed, such as the lowest cost Optimistic proof, followed by SGX proof, and then zkEVM or zkVM proof. These different types of proofs are the embodiment of the Contestable concept, and these proofs can also be combined to make a hybrid multi-proof system. For example, "SGX+zkVM" can be regarded as a more credible proof than using only zkVM proof.

As the first important milestone, Taiko plans to test the actual operation of BCR on the Alpha-6 test network Katla, and then launch it on the main network. After that, Taiko plans to either upgrade the protocol to Boosted Based Rollup (BBR) or launch an independent BBR second layer as the second important milestone. Taiko said that Boosted Based Rollup is a wise choice to achieve the native expansion capability of Ethereum. By allowing L1 validators to propose new blocks for the entire network, it will enableXiaobai NavigationEthereum gains out-of-the-box scalability. For developers, BBR can shard transaction execution and storage. For users, the user experience will be improved because dApps will be distributed across all L2s.

Narrative upgrade: Moving to ZKVM?

Everyone is familiar with zkEVM, but EVM is not designed to run in zero-knowledge circuits, so in practice, implementing zkEVM often requires some trade-offs. Unlike zkEVM, zkVM is a virtual machine implemented as a zero-knowledge proof system circuit. Its advantages include: no need to learn cryptography and ZKP systems, easy to use; universal, Turing-complete ZK-VM can be used as a proof calculation for any calculation; simple, a simple set of constraints is enough to describe the entire VM; able to use recursion, proof verification is just another program executed on the VM.

Taiko has begun to transition from using the zkEVM model to using the zkVM model. After switching to the zkVM model, Taiko can modify and run a client to generate ZK proofs. To ensure robustness, Taiko diversifies cryptographic assumptions by building a multi-proof system and contributing to multiple zkVMs (such as RISC Zero, SP1, Powdr), and uses SGX to enhance privacy and security without leaking data.Safetysex.

The Taiko team said that Taiko was one of the first teams to participate in the development of the Ethereum Foundation's PSE zkEVM, and has contributed to and optimized the code of key circuits such as Keccak and Molke. However, in the process, they also realized the limitations of this development model, such as the code is all low-level code, which is difficult to test and verify. And it is not good for novices. With the continuous exploration in the development of SGX proofs, the team began to gradually realize the importance of stateless clients, and under the influence of the progress made by the Risc0 team, they firmly believe in the feasibility of running stateless clients in zkVM to generate zero-knowledge proofs in the future. Taiko has already cooperated with Risc0, and will cooperate with SP1 and more zkVM teams in the future to aggregate these different proof systems through Contestable Rollup, while keeping Taiko's second-layer design fully coupled with each zkVM.

In addition, Taiko was launched on the Ethereum mainnet on the 27th, and has processed and released about 15% of data blocks on the entire Ethereum network. The team emphasized that although the submission and proof of blocks are permissionless in the Stage 1 mainnet mode, the contract still has an owner. The team plans to transfer the contract ownership to Taiko about a year after the mainnet is launched. DAO, completely giving up the ownership and control of the network. The Taiko team also stated that it will invest more resources in the research and development of Preconfirmation, MEV, and Taiko BBR solutions, and hopes to bring more surprises to ecological projects and community users in the future.

Airdrop controversy: Can Taiko regain community confidence?

Taiko announced TKO on May 23 Token经济学，宣布将初始Token供应量的 5% 用于创世空投。根据官方 FAQ，将会有 300,000 个地址有资格认领超 5000 万枚代币。虽然该举措是为了回馈社区，但却引发了一波关于「空投是否公平」的争议。部分社区成员反映获得空投数量低于预期，还有部分用户表示参与了相关任务但并未获得空投。

In the face of dissatisfaction among community members, Taiko co-founder Daniel Wang also responded, saying that Taiko's goal is fairness, but it cannot satisfy everyone, and apologized to users who did not receive TKO. However, the community did not seem to buy into his remarks. Later, Daniel Wang responded again in the Discord community, saying that if he did not receive an airdrop, it was because others had more points. As for the opacity of the airdrop rules, it is because transparency cannot resolve differences, and the definition of "fairness" is highly subjective. This remark once again pushed Taiko to the center of public opinion, and some community members called for a boycott of Taiko. However, it is not new for the community to question airdrops. This has happened to projects that have recently released airdrops. Especially when airdrop order brushing has become an industry and involves the participation of a large number of professional teams, they have also become part of the ecosystem, and the community's public opinion may also be affected by these teams. In the future, Taiko also plans to conduct two rounds of airdrops.

The article comes from the Internet:Dialogue with Taiko: What is a multi-proof route? How is it related to the finality of Ethereum?

Related recommendation: The battle between Meme and governance tokens: In fact, everything is Meme coin

In short, everything is Meme. Written by: Yash Agarwal Compiled by: Xiaobai Navigation Coderworld Ramblings and insights on how and why Meme provides a fairer issuance compared to VC-backed governance tokens and TradFi — Lessons for crypto founders. A16z’s CTO recently argued that Mem…