对话Taiko：什么是多重证明路线？与以太坊终局有何关联？ -> Cuộc trò chuyện với Taiko: Đường dẫn chứng minh đa lớp là gì? Liên quan đến Ethereum Finality như thế nào?

5 tháng 23, Taiko đã công bố trang web truy vấn phân phối miễn phí vòng đầu tiên, nhưng đã gây ra một đợt tranh cãi về sự công bằng trong cộng đồng. Trước phản ứng của người sáng lập Daniel Wang, cộng đồng dường như cũng không đồng tình.

同时，ngày 25 tháng 5, nhà sáng lập Ethereum Vitalik Buterin đã đề xuất một khối đầu tiên trên mạng chính Taiko và chú thích trong phần ghi chú của khối rằng: “Tôi rất vui khi nhìn thấy Taiko được ra mắt như một nền tảng Based Rollup, Ethereum sẽ được hưởng lợi từ việc áp dụng nhiều phương pháp L2 khác nhau, tôi rất đánh giá cao Taiko là dự án tiên phong trong hướng phát triển này.”

Taiko, một dự án Based Rollup, đã thu hút sự quan tâm của nhiều VC như Redwood China, Generative Ventures, Hashed, Lightspeed Faction, Token Bay Capital và Flow Traders. Khác với các dự án Rollup khác, Taiko tập trung vào lĩnh vực L2 sau khi đợt nâng cấp Cancun của Ethereum. Điều này khiến cho mọi người tò mò về sự đặc biệt của Taiko so với các dự án ZK mở rộng nổi tiếng khác và cách mà giải pháp mở rộng của nó sẽ ảnh hưởng đến hệ sinh thái L2.

带着这些疑问，ChainFeeds 对话 Taiko 团队，就 Taiko 的起源、愿景、Ethereum扩容方案等内容进行了探讨。

CHÚ Ý:

• Người sáng lập Taiko Daniel Wang hy vọng mở rộng Ethereum mà không cần hy sinh tính phi tập trung, đạt được sự kết hợp của mạng lưới tầng hai trung ương và phi tập trung, cho phép dApp đưa ra quyết định giữa hai lựa chọn.
• Contestable Rollup là một trừu tượng của zkRollup và Optimistic Rollup. Trong tương lai, nếu bằng chứng không kiến ​​thức đủ rẻ, Contestable có thể được cấu hình thành zkRollup hoàn toàn. Trong quá trình phát triển chứng minh SGX, nhóm Taiko dần nhận ra sự quan trọng của khách hàng không trạng thái và tin rằng trong tương lai, việc chạy khách hàng không trạng thái trong zkVM để tạo ra chứng minh không thông tin là khả thi.
• Taiko đã được triển khai trên mạng chính, việc gửi và chứng minh khối không cần phép cấp, nhưng hợp đồng vẫn có chủ sở hữu. Nhóm Taiko dự định trong khoảng một năm sau khi triển khai trên mạng chính, chuyển giao toàn bộ quyền sở hữu và kiểm soát hợp đồng cho Taiko DAO, hoàn toàn từ bỏ quyền sở hữu và kiểm soát mạng.

Nguồn gốc của Taiko: Mở rộng Ethereum mà không đánh đổi tính phi tập trung

Taiko sáng lập viên Daniel Wang đã tạo ra giao thức DEX Loopring dựa trên cơ sở ZKRollup trong cộng đồng Ethereum vào năm 2017. Tuy nhiên, kiến trúc của Loopring không hoàn toàn phù hợp với tầm nhìn của Daniel. Daniel hy vọng có thể mở rộng Ethereum mà không phải hi sinh tính phi tập trung, đạt được sự kết hợp giữa mạng lưới tập trung và phi tập trung ở lớp hai, giúp các ứng dụng phi tập trung có thể đưa ra quyết định thông minh hơn giữa hai lựa chọn. Tuy nhiên, Loopring chỉ có thể được xây dựng thành một mạng lưới lớp hai không thể lập trình, thiếu cấu trúc máy ảo và cơ chế tạo khối của nó cũng là tập trung để giảm chi phí.

在创立 Taiko 之前，Daniel Wang 和志同道合的开发者进行了多次讨论，主要聚焦在两个方向上：Phi tập trung web xã hội hoặc Phi tập trung web xã hội cần thiết về cơ sở hạ tầng “Mạng lưới tầng hai không cần phép thuận”. Sau khi suy nghĩ kỹ, mọi người đều cho rằng tham gia lĩnh vực web xã hội phi tập trung mang theo rủi ro cao, trong khi mạng lưới tầng hai không cần phép thuận lại có không gian cạnh tranh khác biệt lớn hơn, Taiko đã ra đời.

Taiko là một Type-1 zkEVM, cung cấp mã hoạt động và tính năng hoàn toàn giống như Ethereum, đảm bảo tính tương thích cao với hệ sinh thái Ethereum hiện có. Nhóm Taiko nhấn mạnh rằng thiết kế ban đầu của Taiko là cấu trúc Based Rollup, tức là các người xác minh Ethereum cuối cùng sẽ chịu trách nhiệm về khối của Taiko, điều này thực hiện sự phi tập trung của người đề xuất. Vào tháng 3 năm nay, Taiko đã hoàn thành vòng gọi vốn chuẩn A trị giá 15 triệu USD do Lightspeed Faction, Hashed, Generative Ventures, Token Bay Capital dẫn đầu, tổng số vốn huy động đạt 37 triệu USD. Đối với sự ưa chuộng của VC, nhóm Taiko cho biết họ rất coi trọng các tổ chức đầu tư và sự phối hợp chiến lược của Taiko. Ngoài ưu điểm của loại Type-1 và cấu trúc hoàn toàn phi tập trung, sự hỗ trợ từ các nhà đầu tư cũng đóng một vai trò không thể chê trách trong việc Taiko có thể trở thành một trong những cộng đồng Discord lớn nhất thế giới trong thời gian ngắn (hơn 1.07 triệu thành viên) và thu hút hàng trăm dApp triển khai.

Khám phá Khung thiết kế Rollup Ethereum: BCR và BBR

Taiko và một số sự khác biệt chính so với các Rollup khác là việc chọn cơ chế Based Rollup, không phụ thuộc vào bộ sắp xếp tập trung, mà phụ thuộc vào việc sắp xếp giao dịch và khối bởi các người xác minh Ethereum. Hơn nữa, vào cuối năm 2023, Đồng sáng lập Liên minh Taiko Daniel Wang đã đưa ra khái niệm “Based Contestable Rollup (BCR)”. Khái niệm này giới thiệu cơ chế có thể tranh cãi, vì mã ZK-EVM không thể không bao giờ có lỗi và Taiko là phi tập trung và ít dung sai, vì vậy cần phải tiếp cận một cách cẩn thận.

Nhóm Taiko cũng đã trình bày những yếu tố chính trong việc lựa chọn thiết kế có thể cạnh tranh:

• Đầu tiên, Based Rollup không cần phải được phép, nhưng phải giới thiệu “bằng chứng cấp cao hơn” để giải quyết lỗi tiềm ẩn trong phần mềm. Điều này loại bỏ việc mạng tập trung cần phải tắt mạng để sửa lỗi dữ liệu. Tất nhiên, khi thời gian hoạt động của mạng Taiko tăng lên, cơ chế sửa lỗi này có thể dần dần được loại bỏ.
• Thứ hai, mặc dù chứng minh SGX rẻ hơn hàng nghìn lần so với bằng chứng không kiến ​​thức, nhưng nó không phải là cách xác minh lý tưởng nhất hoặc phi tập trung nhất. Thiết kế có thể tranh luận cho phép đưa ra thách thức khi nghi ngờ về chứng minh SGX, yêu cầu xác minh lại khối với cấp độ chứng minh cao hơn, đồng thời giảm chi phí và tăng đáng tin cậy của việc xác minh.
• Cuối cùng, Contestable Rollup có tính linh hoạt và mở rộng, có thể xem là một sự trừu tượng hóa của zkRollup và Optimistic Rollup. Ví dụ, nếu trong tương lai zk-SNARK rẻ hơn, chúng ta có thể cấu hình Contestable Rollup thành pure zkRollup, hoặc theo nhu cầu của ứng dụng để cấu hình nó thành pure Optimistic Rollup, từ đó phù hợp với các yêu cầu xác minh khác nhau.

Về kiến trúc Based Contestable Rollup, Daniel Wang cũng đã đưa ra mô tả chi tiết trong bài viết. BCR là một loại Rollup có tính tranh cãi và sử dụng sắp xếp theo Based. Theo thiết kế này, bất kỳ ai cũng có thể tranh luận về việc chuyển đổi trạng thái trong các khối, nhưng phải thanh toán tiền đặt cọc tranh chấp bằng token Taiko và cần chứng minh cấp cao hơn để giải quyết tranh chấp để xác minh khối đó. Nếu người tranh luận chiến thắng, họ có thể thu hồi tiền đặt cọc tranh chấp và nhận được 1/4 tiền đặt cọc hiệu lực ban đầu của người chứng minh. Người chứng minh mới cũng sẽ nhận được 1/4 tiền đặt cọc hiệu lực ban đầu của người chứng minh làm phí chứng minh, phần còn lại 1/2 sẽ bị thu hồi. Ngược lại, cũng vậy. Đáng chú ý là trong cơ chế này, các người ký chữ ký đa bên sẽ chung cùng nhau đóng vai trò là tầng chứng minh cao nhất trong vài năm đầu tiên. Là cấp chứng minh cao nhất, trong trường hợp này, việc chuyển đổi trạng thái được coi là cuối cùng và không còn cho phép tranh cãi tiếp theo.

" "

" "

Ngoài ra, kiến trúc BCR của Taiko còn có một tính năng cốt lõi, đó là cho phép mỗi cấp độ sử dụng hệ thống chứng minh riêng của mình. Nhóm Taiko cho biết, trong kiến trúc dựa trên Contestable Rollup, các loại chứng minh khác nhau có thể được xây dựng, ví dụ chứng minh Optimistic chi phí thấp nhất, sau đó là chứng minh SGX, tiếp theo là chứng minh zkEVM hoặc zkVM. Các loại chứng minh khác nhau này là biểu hiện của khái niệm Contestable và cũng có thể kết hợp chúng thành hệ thống chứng minh đa dạng hỗn hợp, ví dụ “SGX+zkVM” có thể coi là chứng minh đáng tin cậy hơn so với việc chỉ sử dụng chứng minh zkVM.

作为首个重要的里程碑，Taiko 计划在 Alpha-6 测试网 Katla 上测试 BCR 的实际运作情况，随后在主网推出。在此之后，Taiko 计划要么升级协议为Boosted Based Rollup（BBR），要么推出独立的 BBR 二层作为第二个重要里程碑。Taiko 表示，若要实现以太坊原生的扩展能力，Boosted Based Rollup 是一个明智的选择。通过允许 L1 验证者为整个网络提议新区块，将使以太坊获得开箱即用的扩展能力。对于开发者而言，BBR 能够对交易执行和存储进行分片。而对于用户而言，用户体验感将获得提升，因为 dApp 会分布在所有 L2 上。

" "

Chuyển đổi cấp độ truyền thông: Chuyển sang ZKVM?

Mọi người đều quen thuộc với zkEVM, nhưng EVM không phải là thiết kế để chạy trong mạch chứng minh không kiến thức, vì vậy trong thực tế, triển khai zkEVM thường cần phải thực hiện một số sự cân nhắc. Khác với zkEVM, zkVM được thiết kế như một máy ảo thực hiện cho hệ thống chứng minh không kiến thức. Các ưu điểm của nó bao gồm: không cần học mật mã và hệ thống ZKP, dễ sử dụng; có tính chất chung, ZK-VM Turing hoàn thành có thể được sử dụng cho bất kỳ tính toán nào; rất đơn giản, một tập hợp ràng buộc đơn giản đủ để mô tả toàn bộ VM; có thể sử dụng đệ quy, xác minh chứng minh chỉ là việc thực hiện một chương trình khác trên VM.

Taiko đã bắt đầu chuyển từ việc sử dụng mô hình zkEVM sang việc sử dụng mô hình zkVM. Sau khi chuyển sang mô hình zkVM, Taiko có thể sửa đổi và chạy một client để tạo ra chứng minh ZK. Để đảm bảo tính ổn định, Taiko đa dạng hóa giả thiết mã hóa bằng cách xây dựng một hệ thống chứng minh đa dạng và đóng góp vào nhiều zkVM khác nhau (như RISC Zero, SP1, Powdr), cũng như sử dụng SGX để tăng cường sự riêng tư và an toàn mà không tiết lộ dữ liệu.

Taiko đội cho biết, Taiko là một trong những đội sớm tham gia phát triển PSE zkEVM của Ethereum và đã đóng góp và tối ưu hóa mã nguồn cho các mạch điện chính như Keccak và Moerk. Nhưng trong quá trình này, họ cũng nhận thức được hạn chế của mô hình phát triển này, ví dụ như mã nguồn đều là mã nguồn cấp thấp, khó kiểm tra và xác minh. Và đối với người mới, nó không phải là tốt. Theo quá trình phát triển chứng minh SGX, đội bắt đầu nhận thức dần về sự quan trọng của khách hàng không trạng thái và dưới sự ảnh hưởng của tiến bộ đạt được bởi đội Risc0, họ tin rằng trong tương lai, việc chạy khách hàng không trạng thái để tạo chứng minh không kiến thức trong zkVM là khả thi. Hiện tại, Taiko đã hợp tác với Risc0 và sẽ tiếp tục hợp tác với SP1 và nhiều đội zkVM khác, thông qua Contestable Rollup để tổng hợp các hệ thống chứng minh khác nhau này, đồng thời duy trì thiết kế lớp 2 của Taiko và kết hợp mỗi zkVM một cách đầy đủ.

此外, Taiko đã được triển khai trên mạng chính Ethereum vào ngày 27, hiện tại đã xử lý khoảng 15% khối dữ liệu trên mạng Ethereum toàn cầu. Nhóm phát triển nhấn mạnh rằng, mặc dù trong chế độ mạng chính Stage1, việc gửi khối và chứng minh khối đều không cần phải được phép, nhưng hợp đồng vẫn có chủ sở hữu. Nhóm phát triển dự định sau khoảng một năm kể từ khi triển khai trên mạng chính, chuyển quyền sở hữu hợp đồng cho Taiko DAO, hoàn toàn từ bỏ quyền sở hữu và quyền kiểm soát của mạng. Nhóm Taiko cũng cho biết sẽ đầu tư nhiều hơn vào nghiên cứu và phát triển Preconfirmation, MEV, và Taiko BBR, hy vọng trong tương lai sẽ mang đến nhiều bất ngờ cho các dự án sinh thái và cộng đồng người dùng.

Airdrop Wind: Taiko còn có thể khôi phục lòng tin của cộng đồng không?

Taiko đã công bố tokenomics TKO vào ngày 23 tháng 5, thông báo rằng 5% của lượng cung token ban đầu sẽ được sử dụng cho airdrop sáng lập. Theo câu hỏi thường gặp chính thức, có 300.000 địa chỉ được đủ điều kiện để nhận hơn 50 triệu token. Mặc dù biện pháp này nhằm trả ơn cộng đồng, nhưng đã gây ra tranh cãi về “công bằng của airdrop”. Một số thành viên cộng đồng phản ánh rằng số lượng token nhận được từ airdrop thấp hơn dự kiến, và một số người dùng khác cho biết họ đã tham gia nhiệm vụ liên quan nhưng không nhận được airdrop.

Đối mặt với sự bất mãn của cộng đồng thành viên, Daniel Wang, người sáng lập liên minh Taiko, đã đưa ra phản hồi rằng mục tiêu của Taiko là công bằng, nhưng không thể đáp ứng tất cả mọi người và xin lỗi đối với những người dùng chưa nhận được TKO. Tuy nhiên, cộng đồng dường như không tin vào lời phát biểu này, sau đó Daniel Wang đã đưa ra phản hồi khác trên cộng đồng Discord và cho biết nếu không nhận được airdrop là do người khác có nhiều điểm hơn. Về việc quy định về airdrop không minh bạch là vì tính minh bạch cũng không thể giải quyết được mọi khác biệt và định nghĩa “công bằng” có tính chủ quan cao. Bình luận này một lần nữa đẩy Taiko lên tâm điểm của dư luận, khiến cộng đồng kêu gọi chống lại Taiko. Tuy nhiên, việc airdrop bị cộng đồng đặt vấn đề không phải là điều mới mẻ, gần đây các dự án phát hành airdrop đều gặp trường hợp tương tự. Đặc biệt là khi việc cày airdrop trở thành một ngành công nghiệp và liên quan đến sự tham gia của nhiều đội chuyên nghiệp, họ cũng trở thành một phần của hệ sinh thái và ý kiến công đồng có thể bị ảnh hưởng bởi những đội này. Trong tương lai, Taiko cũng kế hoạch thực hiện hai lượt airdrop.