Tổng quan về tình trạng phát triển của hệ sinh thái Rollup
Tác giả gốc:Alex Beckett
Tổng hợp văn bản gốc: The Way of DeFi
Tác giả gốc:
Optimistic Rollup
Tổng hợp văn bản gốc: The Way of DeFi
Rollup đã trải qua một chặng đường dài kể từ khi ra mắt vào năm 2019. Chúng ta đã chứng kiến sự hình thành của hai phe đối địch chính, cũng như nhiều thiết kế lý thuyết Rollup hứa hẹn khác liên quan đến nhiều tiến hóa lai. Nửa chừng năm 2022, chúng ta hãy xem sự phát triển hiện tại của hệ sinh thái Rollup.
Vì các Bản tổng hợp lạc quan nói chung có thời gian sử dụng trực tiếp trên mạng chính lâu hơn đáng kể so với các bản tổng hợp zk-rollup của chúng, nên chúng nhận được phần lớn các ứng dụng tổng hợp. Hai ứng dụng Tổng hợp lạc quan hàng đầu là Arbitrum và Optimism đã xuất hiện được một thời gian.
Theo đo lường của TVL, Arbitrum xếp hạng cao nhất với 2,4 tỷ đô la. Mặc dù đã hoạt động trên mạng chính trong hơn một năm, nhưng hệ thống này vẫn đang trong quá trình thử nghiệm đào tạo. Hiện tại, Offchain Labs, đơn vị phát triển Arbitrum, vận hành một đơn đặt hàng tập trung duy nhất. Mặc dù bằng chứng gian lận tương tác là theo thời gian thực, nhưng những người đặt hàng riêng lẻ là những thực thể duy nhất trong danh sách trắng có thể gửi tranh chấp để tạo bằng chứng gian lận. Từ góc độ người dùng, họ vẫn phải tin tưởng nhiều vào hệ thống, mặc dù dự kiến sẽ dần dần chuyển sang phân cấp.
Bản nâng cấp giao thức tiếp theo của Arbitrum, Nitro, đã có trên devnet và sẽ đại tu kiến trúc hiện tại, thay thế máy ảo Arbitrum tùy chỉnh bằng tổ hợp WASM-Geth. Bằng chứng gian lận tương tác của Arbitrum sẽ chạy trên WASM và phần mềm nút sẽ có cơ sở mã tương đương với Geth, với một số tối ưu hóa dành riêng cho Rollup. Nói chung, Nitro sẽ mang lại những tối ưu hóa đáng kể, hiệu suất cao hơn và khả năng tương thích EVM tốt hơn.
Lạc quan là Bản tổng hợp lạc quan lớn thứ hai và đứng thứ ba trong số tất cả các Bản tổng hợp của TVL ở mức 469 triệu đô la. Trường hợp của Optimism PBC cũng tương tự như trường hợp của Arbitrum, chỉ có một bộ phân loại tập trung. Tuy nhiên, Optimism PBC đã tìm ra cách mang lại lợi ích tích cực cho mạng bằng cách sử dụng lợi nhuận kiếm được từ người đặt hàng để tài trợ hồi tố cho hàng hóa công cộng. Trong vòng đầu tiên, tổng cộng 1 triệu đô la Mỹ đã được quyên góp cho 58 dự án phúc lợi công cộng. Nếu có bất kỳ cách nào để có tác động tích cực trong trường hợp đặt hàng tập trung, thì đây là một con đường nên thực hiện.
Hiện tại, Optimism thiếu bằng chứng gian lận, nhưng mong đợi sự phân cấp dần dần và nâng cấp bảo mật cần thiết - đây cũng là tiêu chuẩn. Tuy nhiên, hầu hết tất cả các Bản tổng hợp đều có khả năng nâng cấp ngay lập tức hoặc bị trì hoãn, vì vậy tính bảo mật của một Bản tổng hợp cuối cùng phụ thuộc vào việc nâng cấp nhiều chữ ký.
Bản nâng cấp Bedrock sắp tới sẽ thay đổi kiến trúc của Optimism thành một thứ tương tự như của Arbitrium. Máy ảo Optimism hiện tại sẽ được thay thế bằng tổ hợp MIPS-Geth, trong đó phần mềm nút tương đương với nút Ethereum Geth thông thường - điều này được gọi là tương đương Ethereum. Bằng chứng gian lận tương tác cũng sẽ có sẵn như một tính năng bổ sung, một bản nâng cấp cho bằng chứng gian lận không tương tác ban đầu. Nhìn chung, Bedrock sẽ là một bước tiến lớn của Optimism, bổ sung nhiều tính năng và cải tiến cho hệ thống.
Nhân tiện, Chủ nghĩa lạc quan cũng là một bước tiến lớn hướng tới thử nghiệm quản trị phi chuyên quyền. Việc đưa ra quyết định sẽ được thực hiện giữa hai ngôi nhà, Ngôi nhà Token và Ngôi nhà Công dân. Token House sẽ sử dụng các token thông thường để bỏ phiếu, trong khi Citizen House sẽ sử dụng hệ thống một công dân một phiếu bầu. Do đó, rào cản khó khăn nhất trong một hệ thống như vậy có thể là tìm ra cách tốt nhất để gán quyền công dân cho người dùng đồng thời giảm thiểu khả năng bị tấn công Sybil. Nếu người dùng có thể có nhiều quốc tịch, họ có thể gây ảnh hưởng hiệu quả hơn đối với việc quản trị so với công dân bình thường. Sự lạc quan lưu ý rằng họ sẽ sử dụng NFT không thể chuyển nhượng để đại diện cho quyền công dân, nhưng mối đe dọa về việc các cá nhân trao đổi khóa riêng tư để có thêm phiếu bầu vẫn còn.
Fuel là một người chơi đáng chú ý khác trong lĩnh vực Optimsitic Rollup, thực hiện một cách tiếp cận rất khác so với Arbitrum và Optimism. Fuel Labs đang xây dựng một máy ảo tùy chỉnh cho Fuel V2 bằng cách sử dụng ngôn ngữ lập trình dựa trên rỉ sét. Mặc dù Bản tổng hợp tương thích với EVM đặc biệt hữu ích để tích hợp hệ sinh thái phát triển Ethereum vào Bản tổng hợp, nhưng các máy ảo tùy chỉnh là nơi có thể đạt được mức tăng hiệu suất cao nhất vì chúng không phải tuân thủ các tiêu chuẩn hiện có.
Có lẽ phần yêu thích của tôi về Fuel V2 là xử lý giao dịch song song, chủ yếu là do khi có đủ dung lượng dữ liệu, nút cổ chai thông lượng sẽ trở thành quá trình thực thi. Sau khi tắc nghẽn thông lượng chuyển sang thực thi, một Tổng số thực hiện xử lý song song sẽ có lợi thế hơn một Tổng số không thực hiện. Đáng chú ý, Fuel V1 là Bản tổng hợp lạc quan của mạng chính đầu tiên hoạt động trên Ethereum và vẫn là Bản tổng hợp duy nhất có người đặt hàng không được phép và tranh chấp gian lận cũng như không có đa chữ ký được nâng cấp.
Ở dạng hiện tại, Bản tổng hợp lạc quan vượt trội hơn nhiều so với bản tổng hợp zk. Hai cân nhắc chính xoay quanh:
Zk-rollup
Khả năng kết hợp đầy đủ, không giới hạn: zk-rollups có những khó khăn cố hữu trong việc soạn hợp đồng thông minh trên các mạch zk. Zk-rollup duy nhất thường có thể kết hợp được là StarkNet, hiện đã cho phép triển khai hợp đồng thông minh và đặt giới hạn trên cho lượng TVL mà một cây cầu có thể hỗ trợ. Tất cả các zk-rollup khác là chuyển mã thông báo dành riêng cho ứng dụng hoặc chỉ.
Khả năng tương thích với EVM: Các mạch zk có các vấn đề về khả năng tương thích cố hữu với một số loại mật mã tiêu chuẩn trong EVM, khiến zkEVM trở thành một nhiệm vụ cực kỳ khó khăn. Bản tổng hợp lạc quan đã xuất hiện được một thời gian trên mạng chính với khả năng tương thích với EVM và các bản nâng cấp dự kiến sẽ đạt được sự tương đương hơn nữa.
Starknet hiện là zk-rollup có thể kết hợp được cho mục đích chung duy nhất đang hoạt động trên mạng chính. Tuy nhiên, hệ thống vẫn ở chế độ alpha ban đầu với nhiều hạn chế khác nhau. Cầu nối giữa StarkNet và Ethereum được giới hạn ở một lượng TVL nhất định, lượng TVL này đã tăng dần kể từ khi ra mắt. Việc triển khai hợp đồng thông minh trên StarkNet cũng được đưa vào danh sách trắng. Tôi nghĩ rằng điều này chủ yếu là để giảm nguy cơ lỗi kết nối thông minh, vì có thể không có đủ (bất kỳ?) kiểm toán viên nào để kiểm tra tất cả các hợp đồng Cairo mà nhà phát triển muốn triển khai - có nghĩa là StarkWare sẽ đảm nhận vai trò này vào thời điểm đó hiện tại. Khả năng kiểm tra là một trong những nhược điểm phổ biến của các ngôn ngữ tùy chỉnh mới và sự phức tạp của hệ thống zk chỉ làm trầm trọng thêm vấn đề này. Cuối cùng, StarkNet hiện đang dẫn đầu.mạng thử nghiệmZkSync là một ứng cử viên "zk-rollup" lớn khác và đã sử dụng zkSync 2.0 một thời gian để xây dựng zk-rollup cho mục đích chung. gần đây
mạng thử nghiệm
Đánh dấu phiên bản đầu tiên của zkEVM trên mạng thử nghiệm trực tiếp. Tuy nhiên, với việc bổ sung zkPorter, zkSync 2.0 không chỉ là một Bản tổng hợp. Đây sẽ là một Volition cho phép người dùng lựa chọn giữa zkPorter và Ethereum để xuất bản dữ liệu giao dịch của họ. Trong khi Ethereum đang nâng cấp thông lượng dữ liệu bằng cách sử dụng danksharding, Volition là một nền tảng trung gian tốt đẹp cung cấp cho người dùng các tùy chọn trong phạm vi an toàn của chi phí giao dịch.
Trong khi hầu hết các zk-rollup ưu tiên khả năng mở rộng, quyền riêng tư là một khía cạnh quan trọng khác mà zk-rollup có thể kích hoạt. Aztec hiện đang dẫn đầu trong lĩnh vực quyền riêng tư với zk-rollup chuyển mã thông báo riêng tư của họ (zk.money) - chúng là bản tổng hợp Ethereum tập trung vào quyền riêng tư duy nhất mà tôi biết. Aztec cũng sẽ ra mắt phiên bản tiếp theo, Aztec connect, trong khoảng tuần tới, cho phép người dùng truy cập Ethereum DeFi một cách riêng tư. Đây là một cải tiến lớn so với việc sử dụng thứ gì đó như Tornado Cash, trong đó quyền riêng tư chỉ đạt được bằng cách làm xáo trộn thay vì chặn giao dịch trực tiếp - hy vọng không ai liên kết ví Tornado của bạn hoặc quyền riêng tư của bạn tăng lên.
Zk-rollup vốn đã phức tạp, việc thêm quyền riêng tư càng khiến vấn đề trở nên phức tạp hơn. Có thể các bản tổng hợp zk sẽ không bao giờ đạt đến trạng thái hợp đồng thông minh có thể kết hợp riêng tư. Do đó, quyền riêng tư có thể xuất hiện thông qua các chuỗi dành riêng cho ứng dụng, thông qua zk-rollup hoặc xác thực trên zk-rollup.
Nhiều zk-rollup khác cũng tồn tại trong quá trình sản xuất, bao gồm các dự án khác nhau cho Scroll và Polygon. Một điểm khác biệt lớn với zk-rollups là việc sử dụng môi trường thực thi VM hoặc zkEVM tùy chỉnh. Ưu điểm và nhược điểm của nó tương tự như Optimistic Rollup. Tuy nhiên, zk-rollup phức tạp hơn khi triển khai zkEVM. Do đó, một trường hợp rất mạnh mẽ có thể được thực hiện để đi theo lộ trình sử dụng các máy ảo và ngôn ngữ tùy chỉnh như StarkNet và Cairo.
Rollup có chủ quyền
Hai phần cuối cùng trong danh mục Tổng hợp hiện là lý thuyết, mặc dù đang được phát triển tích cực. Một Bản tổng hợp có chủ quyền khác với một Bản tổng hợp thông thường ở chỗ nó có quy tắc lựa chọn rẽ nhánh cho phép nó rẽ nhánh độc lập với lớp cơ sở của nó. Thay vào đó, một bản tổng hợp thông thường ủy quyền lựa chọn rẽ nhánh của nó cho lớp dàn xếp của nó — lớp này phải là lớp dàn xếp vì nó cần đảm bảo tính chính xác của bản tổng hợp.
Các bản tổng số có chủ quyền sẽ nổi bật nhất trên các lớp Dữ liệu có sẵn (DA) chẳng hạn như Celestia, trong đó lớp DA không thể đảm bảo tính chính xác của các giao dịch Tổng số. Do đó, Rollup cho những thứ như Celestia có chủ quyền theo mặc định, vì chúng phải đảm bảo tính chính xác trong giao dịch của chính chúng thông qua bằng chứng gian lận/tính hợp lệ và lựa chọn fork. Không nên nhầm lẫn điều này với sự đồng thuận do Celestia cung cấp để đồng ý về thứ tự giao dịch.
Đối với Rollup có chủ quyền lạc quan, giả định rằng các giao dịch là chính xác, vì vậy các nút Rollup chỉ cần tải xuống dữ liệu khối từ Celestia. Zk - Các bản tổng hợp có chủ quyền đảm bảo tính chính xác thông qua các bằng chứng hợp lệ sẽ được phân phối giữa các nút tổng số thông qua mạng p2p.
Đối với tôi, tầm quan trọng của các bản tổng hợp có chủ quyền là khả năng rẽ nhánh của chúng, điều này cho phép các bản tổng hợp này thực sự độc lập với lớp cơ sở của chúng. Về cơ bản, Sovereign Rollups lấy lại các cơ chế truy đòi xã hội.
Bản tổng hợp dàn xếp
Bản tổng hợp dàn xếp là Bản tổng hợp có chủ quyền được xây dựng để dàn xếp. Điều quan trọng, lớp thanh toán là bất kỳ chuỗi khối nào có các cầu nối và tổng số tối thiểu hóa độ tin cậy hai chiều. Cầu cho phép chuyển mã thông báo hai chiều giữa lớp Tổng số và lớp giải quyết. Giảm thiểu độ tin cậy là đặc tính của cầu nối trong đó giao tiếp chỉ dựa trên một số giả định trung thực được chứng minh bằng cách xác thực tính khả dụng và gian lận/tính hợp lệ của dữ liệu.
Validum
Như với bất kỳ lớp dàn xếp nào, mục đích của tổng số dàn xếp là cung cấp môi trường cho "bản tổng hợp" để xác minh bằng chứng, giải quyết tranh chấp và kết nối mã thông báo. Tuy nhiên, "Bản tổng hợp" ở trên dàn xếp là kết hợp về mặt kỹ thuật ở chỗ chúng sử dụng DA ngoài chuỗi thông qua lớp dữ liệu sẵn có chứa bản tổng hợp dàn xếp - làm cho chúng trở thành một loại hợp lệ hoặc một loại hợp lệ Lạc quan.
Tổng số kết hợp
StarkEx sử dụng Ủy ban về tính khả dụng của dữ liệu (DAC) bao gồm một nhóm các bên đáng tin cậy để cung cấp tính khả dụng của dữ liệu để xác minh StarkEx. Mặc dù ủy quyền tính khả dụng của dữ liệu cho các ủy ban được phép làm giảm tính bảo mật, nhưng nó cho phép xác thực StarkEx để cung cấp các giao dịch rẻ hơn so với zk-rollup. Việc giảm chi phí là có thể bởi vì việc đăng dữ liệu lên Ethereum rất tốn kém - đó cũng là chi phí biến đổi chính dẫn đến phí giao dịch Rollup.
Việc sử dụng lớp khả dụng của dữ liệu bên ngoài có thể giảm bớt một số lo ngại về bảo mật khi xác thực bằng DAC. Sự gia tăng chính về bảo mật đến từ bảo mật kinh tế tiền điện tử do chuỗi khối cung cấp, nơi các nút có thể bị cầm tù và trừng phạt vì hoạt động không trung thực. Việc triển khai Validium này là một bổ sung thú vị cho sự đánh đổi giữa chi phí và an toàn trong phạm vi "Rollup".Celestia
Optimistic Validium
Mô tả hình ảnh
hình ảnh từ
Volition
Giống như xác thực, giá trị xác thực Lạc quan là một Bản tổng hợp lạc quan kết hợp trong đó dữ liệu giao dịch được xuất bản ngoài chuỗi. Không có sự đồng thuận chung về những gì lai đặc biệt nên được gọi, vì vậy đây là những gì tôi sẽ nói.
Metis hiện là phương thức xác thực Lạc quan duy nhất chuyển từ mô hình Tổng hợp lạc quan sang giảm phí giao dịch với chi phí bảo mật. Tính hợp lệ lạc quan có các đảm bảo bảo mật yếu hơn so với các đối tác hợp lệ của nó vì dữ liệu sẵn có là cần thiết để tạo bằng chứng gian lận và giải quyết tranh chấp thành công. Bằng chứng gian lận không thể chứng minh gian lận nếu xảy ra tranh chấp và không có sẵn dữ liệu cho quá trình chuyển trạng thái liên quan. Do đó, nếu các nhà cung cấp dữ liệu sẵn có ngoài chuỗi không cung cấp dữ liệu, tiền có thể bị đánh cắp khỏi giá trị xác thực của Optimistic.
Adamantium
Bằng cách kết hợp zk-rollup và validium, Volition là sự kết hợp mang đến cho người dùng sự lựa chọn về tính khả dụng của dữ liệu trên chuỗi hoặc ngoài chuỗi. Các lựa chọn được đưa ra ở cấp độ giao dịch riêng lẻ, trong đó dữ liệu ngoài chuỗi thể hiện phí rẻ hơn và bảo mật kém hơn, trong khi dữ liệu trên chuỗi dẫn đến phí cao hơn và bảo mật cao hơn. Điều này cho phép người dùng tự do lựa chọn được cung cấp bởi một hệ thống duy nhất, thay vì tìm kiếm một chuỗi phù hợp với sở thích an toàn chi phí của người dùng.
Enshrined rollup
Adamantium là một xác minh trong đó mọi người tự cung cấp cho mạng dữ liệu sẵn có của riêng họ. Dữ liệu giao dịch của các cá nhân được lưu trữ bởi cá nhân họ (ngoài chuỗi) và họ phải duy trì trực tuyến để chứng thực tính khả dụng của dữ liệu cho mỗi khối. Nếu người dùng ngoại tuyến hoặc không chứng thực được thì tiền của họ sẽ tự động được rút trực tuyến về lớp thanh toán. Mặc dù StarkWare đã đưa ra thiết kế adamantium, nhưng không có bất kỳ dấu hiệu rõ ràng nào cho thấy StarkWare hoặc bất kỳ nhóm nào đang làm việc với nó. Cuối cùng, nếu nó được phát triển, nó có thể trở thành một tùy chọn thích hợp cho người dùng hoặc tổ chức muốn kiểm soát cá nhân nhiều hơn đối với bảo mật của họ, đó là lý do tại sao người dùng adamantium được gọi là "người dùng quyền lực".
