Con đường nhiều bằng chứng là gì? Nó liên quan đến trò chơi cuối cùng của Ethereum như thế nào?

Tác giả: LINDABELL Nguồn: chainfeeds

Vào ngày 23 tháng 5, Taiko đã công bố vòng đầu tiên của trang truy vấn airdrop. Nhưng nó đã gây ra một làn sóng tranh luận về sự công bằng trong cộng đồng. Đối mặt với phản hồi từ người sáng lập Daniel Wang, cộng đồng dường như không mua nó.

Đồng thời, vào ngày 25 tháng 5, người đồng sáng lập Ethereum Vitalik Buterin đã đề xuất khối đầu tiên trên mạng chính Taiko với tư cách là người đề xuất khối và trên Block phần tái bút cho biết: "Tôi rất vui khi thấy Taiko được ra mắt dưới dạng nền tảng Dựa trên Rollup. Ethereum được hưởng lợi từ L2 bằng nhiều phương pháp khác nhau và tôi đánh giá cao rằng 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 quay trở lại trọng tâm cho lĩnh vực L2. Không giống như các dự án Rollup khác, Taiko đang phát triển các giải pháp dựa trên Dựa Rollup và đã thu hút được sự ưu ái của nhiều quỹ đầu tư mạo hiểm như Sequoia China, Generative Ventures, Hashed, Lightspeed Faction, Token Bay Capital và Flow Traders. Người ta không khỏi thắc mắc, so với các dự án mở rộng ZK nổi tiếng khác, Taiko có gì đặc biệt? Kế hoạch mở rộng của nó sẽ ảnh hưởng đến cảnh quan sinh thái L2 như thế nào?

Với những câu hỏi này, ChainFeeds đã nói chuyện với nhóm Taiko và thảo luận về nguồn gốc, tầm nhìn, kế hoạch mở rộng Ethereum của Taiko, v.v.

Các đoạn trích chính:

• Người sáng lập Taiko Daniel Wang hy vọng có thể mở rộng Ethereum mà không phải hy sinh khả năng phân quyền và đạt được sự tồn tại chung của các mạng cấp hai tập trung và phi tập trung, cho phép các dApp đưa ra quyết định giữa hai lựa chọn.

• Contestable Rollup là một bản tóm tắt của zkRollup và Optimistic Rollup. Trong tương lai, nếu bằng chứng không có kiến ​​thức đủ rẻ, Contestable có thể được xây dựng dưới dạng zkRollup thuần túy.

• Trong quá trình phát triển bằng chứng SGX, nhóm Taiko dần nhận ra tầm quan trọng của khách hàng không quốc tịch và tin chắc rằng tương lai sẽ như thế nào trong zkVM Tính khả thi của việc chạy một máy khách không trạng thái để tạo ra bằng chứng không có kiến ​​thức.

• Taiko đã được ra mắt trên mạng chính. Việc gửi và chứng nhận các khối là không cần cấp phép, nhưng hợp đồng vẫn có chủ sở hữu. Nhóm Taiko có kế hoạch chuyển tất cả các hợp đồng sang Taiko DAO khoảng một năm sau khi mạng chính đi vào hoạt động, từ bỏ hoàn toàn quyền sở hữu và quyền kiểm soát mạng.

Nguồn gốc Taiko: Mở rộng quy mô Ethereum mà không hy sinh tính phân quyền

Người sáng lập Taiko Daniel Wang đã tạo ra giao thức DEX sinh thái Ethereum đầu tiên Loopring dựa trên ZKRollup vào năm 2017. Nhưng 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 sẽ mở rộng Ethereum mà không phải hy sinh khả năng phân quyền và đạt được sự tồn tại chung của mạng lớp thứ hai tập trung và phi tập trung, để các ứng dụng phi tập trung có thể đưa ra quyết định sáng suốt hơn giữa hai lựa chọn. Tuy nhiên, Loopring chỉ có thể được xây dựng dưới dạng mạng cấp hai không thể lập trình, thiếu cấu trúc máy ảo và để giảm chi phí, cơ chế tạo khối của nó cũng được tập trung hóa.

Trước khi thành lập Taiko, Daniel Wang đã có nhiều cuộc thảo luận với các nhà phát triển cùng chí hướng, chủ yếu tập trung vào hai hướng: mạng xã hội phi tập trung hoặc phi tập trung. Cơ sở hạ tầng cần thiết cho một mạng xã hội tập trung mạng là "mạng lớp thứ hai không được phép". Sau khi cân nhắc cẩn thận, mọi người thường tin rằng việc tham gia vào lĩnh vực mạng xã hội phi tập trung là rủi ro, trong khi các mạng cấp hai không được phép có nhiều chỗ hơn cho sự khác biệt và cạnh tranh, và Taiko đã ra đời.

Taiko là zkEVM Loại 1 cung cấp các mã hoạt động và chức năng giống hệt như Ethereum, đảm bảo khả năng 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 dựa trên cấu trúc của Dựa Rollup, nghĩa là trình xác thực Ethereum chịu trách nhiệm cuối cùng về việc sản xuất khối của Taiko, nhằm đạt được sự phân cấp của những người đề xuất. Tính đến thời điểm hiện tại, Taiko có hơn 30.000 người đề xuất phi tập trung và hơn 14.000 người xác nhận phi tập trung. Vào tháng 3 năm nay, Taiko đã hoàn thành vòng tài trợ Series A trị giá 15 triệu đô la do Lightspeed Faction, Hashed, Generative Ventures và Token Bay Capital dẫn đầu, nâng tổng số tiền tài trợ lên 37 triệu đô la. Để đáp lại sự ưu ái của các quỹ đầu tư mạo hiểm, nhóm Taiko cho biết họ rất coi trọng sự phối hợp chiến lược giữa các tổ chức đầu tư và Taiko. Và lý do Taiko có thể trở thành một trong những cộng đồng Discord lớn nhất thế giới (hơn 1,07 triệu thành viên) trong một thời gian ngắn và thu hút hàng trăm dApp để triển khai, ngoài các loại Loại 1 và kiến ​​trúc phi tập trung hoàn toàn. những thuận lợi, sự hỗ trợ của các nhà đầu tư là tất yếu.

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

Các tính năng chính của Taiko và các bản tổng hợp khác Một trong những điểm khác biệt là nó chọn cơ chế Tổng hợp dựa trên, không dựa vào trình sắp xếp tập trung mà dựa vào trình xác thực Ethereum để sắp xếp các giao dịch và khối theo trình tự. Đi xa hơn, người đồng sáng lập Taiko Daniel Wang đã đề xuất khái niệm “Tổng hợp có thể cạnh tranh dựa trên (BCR)” vào cuối năm 2023. Khái niệm này giới thiệu cơ chế Có thể tranh cãi vì mã ZK-EVM không phải lúc nào cũng không có lỗi và Taiko được phân cấp và có khả năng chịu lỗi thấp, do đó cần phải có thái độ thận trọng.

Nhóm Taiko cũng đã trình bày chi tiết những cân nhắc chính khi chọn Thiết kế có thể cạnh tranh:

• < p style="text-align: left;">Trước hết, Dựa Rollup không yêu cầu sự cho phép và phải đưa ra "chứng nhận 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 việc các mạng tập trung phải tắt mạng để sửa dữ liệu. Tất nhiên, cơ chế sửa lỗi này có thể được loại bỏ dần khi mạng Taiko chạy lâu hơn.

• Thứ hai, mặc dù bằng chứng SGX rẻ hơn hàng ngàn lần so với bằng chứng không có kiến ​​thức nhưng nó không phải là phương pháp xác minh phi tập trung hoặc lý tưởng nhất phương pháp. Thiết kế có thể cạnh tranh cho phép đặt ra các thách thức khi nảy sinh nghi ngờ về bằng chứng SGX, yêu cầu các khối phải được xác thực lại bằng cách sử dụng bằng chứng cấp cao hơn, điều này làm tăng độ tin cậy của việc xác minh đồng thời giảm chi phí.

• Cuối cùng, Bản tổng hợp có thể cạnh tranh rất linh hoạt và có thể mở rộng và có thể được coi là một bản tóm tắt của zkRollup và Optimistic Rollup. Ví dụ: nếu bằng chứng không có kiến ​​thức trở nên rẻ hơn trong tương lai, chúng tôi có thể định cấu hình Bản tổng hợp có thể cạnh tranh dưới dạng zkRollup thuần túy hoặc định cấu hình nó dưới dạng Bản tổng hợp lạc quan thuần túy theo nhu cầu của ứng dụng để thích ứng với các nhu cầu xác minh khác nhau.

Về kiến ​​trúc của Based Contestable Rollup, Daniel Wang cũng đã đưa ra một cái nhìn tổng quan chi tiết trong bài viết. BCR là một Bản tổng hợp có các đặc điểm và cách sử dụng gây tranh cãi Phân loại dựa trên. Theo thiết kế này, bất kỳ ai cũng có thể tranh chấp việc chuyển đổi trạng thái trong một khối, nhưng khoản tiền gửi tranh chấp phải được thanh toán bằng mã thông báo Taiko và cần có bằng chứng cấp cao hơn để giải quyết tranh chấp trước khi khối có thể được xác minh. Nếu bên tranh chấp thắng, khoản bảo đảm tranh chấp có thể được thu hồi và 1/4 số tiền bảo đảm có hiệu lực của người chứng nhận ban đầu sẽ được trao. Người chứng nhận mới cũng sẽ nhận được 1/4 số tiền đặt cọc hợp lệ của người chứng nhận ban đầu dưới dạng phí chứng nhận và 1/2 còn lại sẽ bị hủy bỏ. ngược lại. Điều đáng chú ý là trong vài năm đầu tiên của cơ chế này, những người có nhiều chữ ký cùng đóng vai trò là cấp cao hơn của hệ thống phân cấp chứng thực. Là bằng chứng cấp 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 phép đặt câu hỏi thêm.

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. Nhóm Taiko tuyên bố rằng theo kiến ​​trúc dựa trên Tổng số có thể cạnh tranh, có thể xây dựng các cấp độ bằng chứng khác nhau, chẳng hạn như bằng chứng Lạc quan với chi phí thấp nhất, sau đó là bằng chứng SGX và sau đó là bằng chứng zkEVM hoặc zkVM. Các loại bằng chứng khác nhau này là hiện thân của khái niệm Có thể tranh cãi và những bằng chứng này cũng có thể được kết hợp để tạo ra một hệ thống đa bằng chứng kết hợp. Ví dụ: "SGX+zkVM" có thể được coi là bằng chứng đáng tin cậy hơn so với việc chỉ sử dụng bằng chứng zkVM. .

Là cột mốc quan trọng đầu tiên, Taiko có kế hoạch thử nghiệm hoạt động thực tế của BCR trên mạng thử nghiệm Alpha-6 Katla, sau đó khởi chạy nó trên mạng chính. Sau đó, Taiko có kế hoạch nâng cấp giao thức lên Boosted Based Rollup (BBR) hoặc khởi chạy lớp thứ hai BBR độc lập như một cột mốc quan trọng thứ hai. Taiko nói rằng Boosted Based Rollup là một lựa chọn sáng suốt để đạt được khả năng mở rộng vốn có của Ethereum. Ethereum sẽ có khả năng mở rộng quy mô bằng cách cho phép trình xác thực L1 đề xuất các khối mới cho toàn bộ mạng. Đối với các nhà phát triển, BBR cho phép phân chia việc thực hiện và lưu trữ giao dịch. Đối với người dùng, trải nghiệm người dùng sẽ được cải thiện vì dApps sẽ được phân phối trên tất cả các L2.

Nâng cấp tường thuật: chuyển sang ZKVM?

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

Taiko đã bắt đầu chuyển từ sử dụng mô hình zkEVM sang sử dụng mô hình zkVM. Bằng cách chuyển sang mô hình zkVM, Taiko có thể sửa đổi và chạy ứng dụng khách tạo bằng chứng ZK. Để đảm bảo tính mạnh mẽ, Taiko đa dạng hóa các giả định mã hóa bằng cách xây dựng nhiều hệ thống chứng minh và đóng góp vào nhiều zkVM (chẳng hạn như RISC Zero, SP1, Powdr), đồng thời sử dụng SGX để tăng cường quyền riêng tư mà không làm rò rỉ dữ liệu và bảo mật.

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

Ngoài ra, Taiko đã được ra mắt trên mạng chính Ethereum vào ngày 27 và hiện đã xử lý và phát hành khoảng 15% khối dữ liệu trên toàn bộ mạng Ethereum . Nhóm nghiên cứu nhấn mạnh rằng mặc dù ở chế độ mainnet Giai đoạn 1, việc gửi và chứng nhận các khối là không được phép nhưng hợp đồng vẫn có chủ sở hữu. Nhóm dự định chuyển quyền sở hữu hợp đồng cho Taiko DAO khoảng một năm sau khi mạng chính đi vào hoạt động, từ bỏ hoàn toàn quyền sở hữu và quyền kiểm soát mạng. Nhóm Taiko cũng cho biết họ sẽ đầu tư nhiều nguồn lực hơn vào việc nghiên cứu và phát triển các giải pháp Xác nhận trước, MEV và Taiko BBR, đồng thời hy vọng sẽ 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 trong tương lai.

Tranh cãi về airdrop: Taiko vẫn có thể khôi phục niềm tin của cộng đồng chứ?

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

Trước sự không hài lòng của các thành viên cộng đồng, Taiko Lianchuang Daniel Wang cũng phản hồi rằng mục tiêu của Taiko là sự công bằng nhưng không thể làm hài lòng tất cả mọi người và bày tỏ sự không hài lòng. dành cho những người không nhận được TKO. Tuy nhiên, cộng đồng dường như không trả tiền cho bài phát biểu của anh ấy. Sau đó, Daniel Wang lại phản hồi trong cộng đồng Discord và nói rằng nếu anh ấy không nhận được airdrop thì đó là do người khác có nhiều điểm hơn. Đối với tính không minh bạch của các quy tắc airdrop, đó là do tính minh bạch không thể giải quyết được sự khác biệt và định nghĩa về "sự công bằng" mang tính chủ quan rất cao. Những nhận xét này một lần nữa đẩy Taiko trở thành tâm điểm của dư luận, và một số thành viên trong cộng đồng đã kêu gọi tẩy chay Taiko. Tuy nhiên, việc cộng đồng thắc mắc về airdrop không có gì mới. Điều này đã xảy ra với các dự án gần đây đã phát hành airdrop. Đặc biệt khi giao dịch airdrop trở thành một ngành công nghiệp và có sự tham gia của một số lượng lớn các độ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 trong cộng đồng cũng có thể bị ảnh hưởng bởi các đội này. Trong tương lai, Taiko cũng có kế hoạch tiến hành hai đợt airdrop.