TechFlow: Đa chứng minh là gì? Liên quan thế nào đến cục diện cuối cùng của Ethereum?
Tuyển chọn TechFlowTuyển chọn TechFlow
TechFlow: Đa chứng minh là gì? Liên quan thế nào đến cục diện cuối cùng của Ethereum?
Khác với các dự án Rollup khác, Taiko đang phát triển một giải pháp dựa trên Based Rollup. So với các dự án mở rộng ZK nổi tiếng khác, Taiko có điểm gì đặc biệt? Giải pháp mở rộng của nó sẽ ảnh hưởng ra sao đến cục diện hệ sinh thái L2?
Chuyên sâu báo cáo Web3Tác giả: LINDABELL
Ngày 23 tháng 5, Taiko đã công bố trang tra cứu đợt airdrop đầu tiên, nhưng điều này lại gây ra một làn sóng tranh luận trong cộng đồng về tính công bằng. Trước phản hồi từ người sáng lập Daniel Wang, cộng đồng dường như không chấp nhận.
Đồng thời, ngày 25 tháng 5, Vitalik Buterin, đồng sáng lập Ethereum, với tư cách là nhà đề xuất khối, đã đề xuất khối đầu tiên trên mạng chính Taiko và để lại bình luận trong khối rằng: "Tôi rất vui khi thấy Taiko ra mắt như một nền tảng Based Rollup. Ethereum được hưởng lợi từ việc các L2 áp dụng nhiều phương pháp khác nhau, và tôi đánh giá cao Taiko là một trong những dự án đầu tiên đi theo hướng này."
Sau nâng cấp Cancun, hệ sinh thái Ethereum một lần nữa tập trung sự chú ý vào lĩnh vực L2. Khác với các dự án Rollup khác, Taiko đang phát triển giải pháp Based Rollup và thu hút sự quan tâm của nhiều VC nổi bật như Sequoia China, Generative Ventures, Hashed, Lightspeed Faction, Token Bay Capital và Flow Traders. Điều này khiến người ta không khỏi tự hỏi, so với các dự án mở rộng ZK nổi tiếng khác, Taiko có điểm gì đặc biệt? Giải pháp mở rộng của nó sẽ ảnh hưởng đến格局 của hệ sinh thái L2 như thế nào?
Mang theo những câu hỏi này, ChainFeeds đã phỏng vấn đội ngũ Taiko để thảo luận về nguồn gốc, tầm nhìn và các nội dung liên quan đến giải pháp mở rộng Ethereum của Taiko.
Tóm tắt trọng tâm:
-
Người sáng lập Taiko, Daniel Wang, mong muốn mở rộng Ethereum mà không hy sinh tính phi tập trung, nhằm hiện thực hóa tình trạng song song giữa mạng lưới lớp 2 tập trung và phi tập trung, cho phép các dApp đưa ra quyết định sáng suốt hơn giữa hai lựa chọn.
-
Contestable Rollup là một khái quát hóa của zkRollup và Optimistic Rollup. Trong tương lai, nếu bằng chứng kiến thức không (zero-knowledge proof) đủ rẻ, Contestable có thể được cấu hình thành một zkRollup thuần túy.
-
Trong quá trình phát triển bằng chứng SGX, đội ngũ Taiko dần nhận ra tầm quan trọng của khách hàng vô trạng thái (stateless client), và tin chắc vào khả năng thực tế của việc chạy khách hàng vô trạng thái trong zkVM để tạo ra bằng chứng kiến thức không.
-
Taiko đã ra mắt mạng chính, việc gửi và xác minh khối đều không cần giấy phép, nhưng hợp đồng vẫn còn chủ sở hữu. Đội ngũ Taiko dự định sẽ chuyển quyền sở hữu hợp đồng sang DAO Taiko khoảng một năm sau khi ra mắt mạng chính, từ bỏ hoàn toàn quyền sở hữu và kiểm soát mạng lưới.
Nguồn gốc Taiko: Mở rộng Ethereum mà không hy sinh tính phi tập trung
Người sáng lập Taiko, Daniel Wang, đã tạo ra giao thức DEX đầu tiên trong hệ sinh thái Ethereum dựa trên ZKRollup – Loopring – vào năm 2017. Tuy nhiên, kiến trúc của Loopring không phù hợp hoàn toàn với tầm nhìn của Daniel. Ông mong muốn mở rộng Ethereum mà không hy sinh tính phi tập trung, đạt được trạng thái tồn tại song song giữa mạng lớp 2 tập trung và phi tập trung, để 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. Nhưng Loopring chỉ có thể xây dựng thành một mạng lớp 2 không lập trình được, thiếu cấu trúc máy ảo, và cơ chế tạo khối cũng mang tính tập trung để giảm chi phí.
Trước khi thành lập Taiko, Daniel Wang và các nhà phát triển đồng lòng đã thảo luận nhiều lần, tập trung chủ yếu vào hai hướng: mạng xã hội phi tập trung hoặc cơ sở hạ tầng thiết yếu cho mạng xã hội phi tập trung – "mạng lớp 2 không cần giấy phép". Sau suy xét kỹ lưỡng, mọi người đều cho rằng tham gia lĩnh vực mạng xã hội phi tập trung rủi ro cao, trong khi mạng lớp 2 không cần giấy phép có không gian cạnh tranh khác biệt lớn hơn, vì vậy Taiko ra đời.
Taiko là một zkEVM loại Type-1, cung cấp mã vận hành và chức năng giống hệt Ethereum, đảm bảo tính tương thích cao với hệ sinh thái Ethereum hiện tại. Đội ngũ Taiko nhấn mạnh rằng ban đầu thiết kế của Taiko đã là cấu trúc Based Rollup, tức là để các validator Ethereum cuối cùng chịu trách nhiệm tạo khối cho Taiko, từ đó đạt được tính phi tập trung ở người đề xuất. Tháng Ba năm nay, Taiko đã hoàn tất vòng gọi vốn A trị giá 15 triệu USD do Lightspeed Faction, Hashed, Generative Ventures và Token Bay Capital dẫn đầu, nâng tổng số vốn huy động lên 37 triệu USD. Về sự ủng hộ từ các nhà đầu tư, đội ngũ Taiko cho biết họ rất coi trọng tính đồng bộ chiến lược giữa các tổ chức đầu tư và Taiko. Ngoài ưu thế của loại Type-1 và kiến trúc hoàn toàn phi tập trung, sự hỗ trợ từ các nhà đầu tư cũng đóng vai trò quan trọng giúp Taiko trong thời gian ngắn trở thành một trong những cộng đồng Discord lớn nhất thế giới (trên 1,07 triệu thành viên) và thu hút hàng trăm dApp triển khai.
Khám phá khuôn khổ thiết kế Rollup Ethereum: BCR và BBR
Một trong những điểm khác biệt chính của Taiko so với các Rollup khác là lựa chọn cơ chế Based Rollup, không phụ thuộc vào bộ sắp xếp (sequencer) tập trung, mà dựa vào các validator Ethereum để sắp xếp giao dịch và khối. Hơn nữa, đồng sáng lập Daniel Wang của Taiko đã đề xuất khái niệm "Based Contestable Rollup (BCR)" vào cuối năm 2023. Khái niệm này giới thiệu cơ chế tranh cãi (contestation), bởi vì mã ZK-EVM không thể mãi mãi không có lỗi, và Taiko là mạng phi tập trung với độ dung sai thấp, do đó cần có thái độ thận trọng.
Đội ngũ Taiko cũng trình bày các lý do chính khi chọn thiết kế Contestable:
-
Thứ nhất, Based Rollup không yêu cầu giấy phép, nên phải đưa vào "bằng chứng cấp cao hơn" để giải quyết các lỗi tiềm ẩn trong phần mềm. Điều này tránh được nhu cầu phải tạm dừng mạng để sửa lỗi dữ liệu như trong mạng tập trung. Tất nhiên, khi thời gian vận hành mạng Taiko tăng lên, cơ chế sửa lỗi này có thể dần loại bỏ.
-
Thứ hai, mặc dù bằng chứng SGX rẻ hơn hàng nghìn lần so với bằng chứng kiến thức không, nhưng nó không phải là cách xác thực lý tưởng hay phi tập trung nhất. Thiết kế Contestable cho phép đưa ra thách thức khi nghi ngờ bằng chứng SGX, yêu cầu xác minh lại khối bằng bằng chứng cấp cao hơn, vừa giảm chi phí vừa tăng độ tin cậy xác thực.
-
Cuối cùng, Contestable Rollup có tính linh hoạt và mở rộng cao, có thể xem là sự trừu tượng hóa của zkRollup và Optimistic Rollup. Ví dụ, nếu trong tương lai bằng chứng kiến thức không rẻ hơn, chúng ta có thể cấu hình Contestable Rollup thành một zkRollup thuần túy, hoặc tùy theo nhu cầu ứng dụng mà cấu hình thành một Optimistic Rollup thuần túy, từ đó đáp ứng các nhu cầu xác thực khác nhau.
Về kiến trúc Based Contestable Rollup, Daniel Wang cũng đã mô tả chi tiết trong bài viết. BCR là một Rollup có tính chất tranh cãi và sử dụng việc sắp xếp dựa trên (Based). Trong thiết kế này, bất kỳ ai cũng có thể tranh cãi về chuyển đổi trạng thái trong khối, nhưng phải đặt cọc khoản tiền tranh cãi bằng token TKO của Taiko, và cần có bằng chứng cấp cao hơn để giải quyết tranh cãi thì mới xác thực được khối. Nếu người tranh cãi thắng, họ sẽ lấy lại khoản tiền cọc và nhận được 1/4 khoản ký quỹ hiệu lực của người chứng minh ban đầu. Người chứng minh mới cũng nhận được 1/4 khoản ký quỹ hiệu lực làm phí chứng minh, phần còn lại 1/2 sẽ bị tịch thu. Ngược lại cũng tương tự. Lưu ý rằng, trong cơ chế này, trong vài năm đầu, nhóm đa chữ ký sẽ cùng đóng vai trò là cấp chứng minh cao nhất. Là mức chứng minh cao nhất, trong trường hợp này, chuyển đổi trạng thái được coi là đã xác định cuối cùng, không cho phép tranh cãi thêm.
Ngoài ra, kiến trúc BCR của Taiko còn có một đặc điểm 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. Đội ngũ Taiko cho biết, trong khuôn khổ Contestable Rollup, có thể xây dựng nhiều cấp chứng minh khác nhau, ví dụ như bằng chứng Optimistic chi phí thấp nhất, tiếp theo là bằng chứng SGX, rồi đến bằng chứng zkEVM hoặc zkVM. Các loại bằng chứng khác nhau này thể hiện khái niệm Contestable, và thậm chí có thể kết hợp chúng để tạo ra hệ thống đa bằng chứng hỗn hợp, ví dụ "SGX + zkVM" có thể được xem là bằng chứng đáng tin cậy hơn so với chỉ dùng bằng chứng zkVM.
Là cột mốc quan trọng đầu tiên, Taiko dự định thử nghiệm hoạt động thực tế của BCR trên mạng thử nghiệm Alpha-6 Katla, sau đó triển khai trên mạng chính. Sau đó, Taiko có kế hoạch hoặc nâng cấp giao thức thành Boosted Based Rollup (BBR), hoặc ra mắt một L2 độc lập BBR như cột mốc quan trọng thứ hai. Taiko cho biết, để đạt được khả năng mở rộng bản địa trên Ethereum, Boosted Based Rollup là một lựa chọn khôn ngoan. Bằng cách cho phép các validator L1 đề xuất khối mới cho toàn bộ mạng, Ethereum sẽ có được khả năng mở rộng ngay lập tức. Đối với các nhà phát triển, BBR có thể phân mảnh việc thực thi giao dịch và lưu trữ. Còn đối với người dùng, trải nghiệm sẽ được cải thiện vì các dApp sẽ được phân bổ trên tất cả các L2.
Nâng cấp câu chuyện: Chuyển sang ZKVM?
Mọi người đều không xa lạ với zkEVM, nhưng EVM không được thiết kế để chạy trong mạch kiến thức không, do đó trong thực tiễn, việc triển khai zkEVM thường phải đánh đổi một số yếu tố. Khác với zkEVM, zkVM là máy ảo được triển khai như một mạch hệ thống bằng chứng kiến thức không. Ưu điểm bao gồm: không cần học mật mã và hệ thống ZKP, dễ sử dụng; mang tính phổ quát, ZK-VM đầy đủ Turing có thể làm bằng chứng cho mọi tính toán; đơn giản, một tập ràng buộc đơn giản là đủ để mô tả toàn bộ VM; có thể tận dụng đệ quy, việc xác minh bằng chứng chỉ là một chương trình khác chạy trên VM.
Taiko đã bắt đầu chuyển đổi từ mô hình zkEVM sang 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 bằng chứng ZK. Để đảm bảo độ vững chắc, Taiko xây dựng hệ thống bằng chứng đa dạng, đóng góp cho nhiều zkVM (như RISC Zero, SP1, Powdr) để đa dạng hóa các giả định mật mã, đồng thời sử dụng SGX để tăng cường quyền riêng tư và bảo mật mà không tiết lộ dữ liệu.
Đội ngũ Taiko cho biết, Taiko là một trong những nhóm tham gia sớm nhất vào việc phát triển PSE zkEVM của Quỹ Ethereum, và đã đóng góp, tối ưu hóa mã cho các mạch then chốt như Keccak và Moore. Tuy nhiên, trong quá trình này, họ cũng nhận ra hạn chế của mô hình phát triển này, ví dụ như mã toàn bộ ở cấp thấp, khó kiểm thử và xác minh, và không thân thiện với người mới. Khi tiếp tục khám phá trong quá trình phát triển bằng chứng SGX, nhóm dần nhận ra tầm quan trọng của client vô trạng thái, và dưới ảnh hưởng của tiến triển từ nhóm Risc0, họ tin chắc vào khả năng thực tế của việc chạy client vô trạng thái trong zkVM để tạo bằng chứng kiến thức không. Hiện tại, Taiko đã hợp tác với Risc0, và sau này sẽ hợp tác thêm với SP1 và nhiều nhóm zkVM khác, thông qua Contestable Rollup để tập hợp các hệ thống bằng chứng khác nhau, đồng thời giữ thiết kế L2 của Taiko luôn tách rời đầy đủ với từng zkVM.
Ngoài ra, Taiko đã ra mắt trên mạng chính Ethereum vào ngày 27, hiện đã xử lý và phát hành khoảng 15% khối dữ liệu toàn mạng Ethereum. Nhóm nhấn mạnh rằng mặc dù trong chế độ mạng chính Stage1, việc gửi và xác minh khối đều không cần giấy phép, nhưng hợp đồng vẫn còn chủ sở hữu. Nhóm dự định sẽ chuyển quyền sở hữu hợp đồng cho DAO Taiko khoảng một năm sau khi ra mắt mạng chính, từ bỏ hoàn toàn quyền sở hữu và kiểm soát mạng. Đội ngũ Taiko cũng cho biết sẽ đầu tư thêm nhiều nguồn lực vào nghiên cứu phát triển Preconfirmation, MEV và giải pháp Taiko BBR, với hy vọng trong tương lai mang lại nhiều bất ngờ hơn cho các dự án sinh thái và người dùng cộng đồng.
Bão airdrop: Liệu Taiko có thể giành lại niềm tin cộng đồng?
Taiko công bố kinh tế học token TKO vào ngày 23 tháng 5, tuyên bố sẽ dành 5% lượng token ban đầu cho airdrop khởi nguyên. Theo FAQ chính thức, sẽ có 300.000 địa chỉ đủ điều kiện nhận hơn 50 triệu token. Mặc dù biện pháp này nhằm tri ân cộng đồng, nhưng lại gây ra tranh cãi về "tính công bằng của airdrop". Một số thành viên cộng đồng phản ánh số lượng token nhận được thấp hơn kỳ vọng, một số người khác cho biết đã tham gia nhiệm vụ nhưng không nhận được airdrop.
Trước sự bất mãn của cộng đồng, đồng sáng lập Taiko Daniel Wang cũng đã phản hồi, nói rằng mục tiêu của Taiko là công bằng, nhưng không thể thỏa mãn tất cả mọi người, và xin lỗi những người dùng không nhận được TKO. Tuy nhiên, cộng đồng dường như không chấp nhận lời phát biểu này. Sau đó, Daniel Wang tiếp tục phản hồi trên cộng đồng Discord, cho biết nếu không nhận được airdrop là vì người khác có điểm số cao hơn. Về quy tắc airdrop không minh bạch, ông nói minh bạch cũng không giải quyết được bất đồng, vì định nghĩa "công bằng" mang tính chủ quan rất mạnh. Phát ngôn này một lần nữa đẩy Taiko vào tâm điểm dư luận, thậm chí có thành viên cộng đồng kêu gọi tẩy chay Taiko. Tuy nhiên, việc bị cộng đồng chất vấn vì airdrop không phải là điều mới lạ, gần đây các dự án phát hành airdrop đều gặp tình trạng tương tự. Đặc biệt khi việc farm airdrop đã trở thành một ngành công nghiệp, thu hút 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à dư luận cộng đồng có thể bị ảnh hưởng bởi các đội này. Trong tương lai, Taiko dự định sẽ thực hiện thêm hai đợt airdrop.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
@ChainFeedsxyz
