Ngoài Rollup hợp lệ và Rollup lạc quan nổi tiếng, các phương pháp phân loại Rollup khác nhau là gì?
Được viết bởi: NIC Lin
Kiến thức cũ:
Hiểu cách hoạt động của Rollup và vấn đề về tính khả dụng của dữ liệu (Data Availability) của Rollup
Tóm tắt về Tổng số
Bất kể đó là Bản tổng hợp hợp lệ hay Bản tổng hợp lạc quan, họ sẽ tải dữ liệu lên L1 (chẳng hạn như Ethereum), để mọi người có thể truy cập dữ liệu của Bản tổng hợp bằng cách truy cập L1 và sử dụng dữ liệu này để lấy trạng thái mới nhất của Bản tổng hợp, chẳng hạn như Alice có 10 USDT và Bob có 5 USDT.
Những người không tải dữ liệu lên L1 không thuộc Rollup (chẳng hạn như Validium, zkPorter hoặc Arbitrum AnyTrust) và họ không phải là đối tượng của bài viết này. Ngoài ra, bài viết này sẽ không thảo luận về cách Tổng số xác minh tính hợp lệ của trạng thái, nghĩa là sự khác biệt giữa Tổng số Hiệu lực và Tổng số Lạc quan.
Phần đầu tiên của bài viết này sẽ giới thiệu Sovereign Rollup. Sovereign Rollup, đúng như tên gọi của nó, là một Rollup có quyền tự chủ. Việc nâng cấp phiên bản Rollup hoặc hard fork đều diễn ra trên Rollup Sovereign, không giống như Rollup mà mọi người quen thuộc hiện nay (sau đây gọi là Rollup Cổ điển). Vị trí của đợt chia tách là không phải trên Bản tổng hợp cổ điển mà trên hợp đồng Bản tổng hợp L1: hợp đồng Bản tổng hợp L1 thực hiện nâng cấp phiên bản thông qua ví đa chữ ký hoặc bỏ phiếu quản trị. Nghĩa là, hợp đồng trên L1 xác định phiên bản Rollup hiện tại sẽ sử dụng. Và nếu có một cuộc tấn công vào Rollup trong L1, chẳng hạn như tấn công vào cơ chế quản trị hoặc tấn công vào chính hợp đồng Rollup, Rollup sẽ bị ảnh hưởng. Ngược lại, vì Sovereign Rollup chỉ đơn giản coi L1 là nơi lưu trữ dữ liệu, nên tất cả các thành viên Sovereign Rollup có thể quyết định phiên bản nào sẽ sử dụng hiện tại trong chuỗi và bất kể điều gì xảy ra với L1, miễn là bản thân L1 không bị tấn công (chẳng hạn như Tổ chức lại hoặc tắt chuỗi), Bản tổng hợp có chủ quyền sẽ không bị ảnh hưởng.
Phần thứ hai sẽ giới thiệu về Rollup dựa trên. Tổng hợp dựa trên loại bỏ các vai trò như Trình sắp xếp thứ tự và chuyển giao quyền sắp xếp giao dịch cho các công cụ khai thác L1, Trình xác thực, Trình tìm kiếm MEV, v.v. Nó không chỉ làm cho việc phân loại các giao dịch trở nên phi tập trung hơn mà còn đơn giản hóa thiết kế và loại bỏ nhiều thành phần của hệ thống.
Tổng hợp có chủ quyền
Lớp khả dụng của dữ liệu và Lớp giải quyết
Bản tổng hợp cổ điển, chẳng hạn như Arbitrum, Optimism, StarkNet, v.v., không chỉ coi Ethereum (L1) là nơi lưu trữ dữ liệu (nghĩa là Lớp khả dụng dữ liệu), mà còn coi Ethereum là Lớp thanh toán: thanh toán được thực hiện trên Ethereum , và trạng thái của L2 là (Nghĩa là số dư của mỗi địa chỉ trong L2) được ghi vào L1.
Tại sao bạn cần ghi trạng thái L2 vào L1? Bởi vì theo cách này, L2 và L1 có thể trao đổi thông tin và tài sản: L1/L2 dApps có thể đồng bộ hóa thông tin và hợp tác, ETH của L1 có thể được chuyển an toàn giữa L1/L2 và ARB/OP của L2 cũng có thể được chuyển an toàn giữa L1/L2. chuyển giao giữa L2.
L1 có thể đọc trạng thái của L2 và có thể truyền tin nhắn một cách an toàn và L1/L2 có thể giao tiếp với nhau
Bản tổng hợp có chủ quyền loại bỏ Lớp dàn xếp (hoặc biến chính nó thành Lớp dàn xếp) và chỉ cần sử dụng L1 làm Lớp khả dụng của dữ liệu.
L1 chỉ đọc khối hoặc dữ liệu giao dịch mà Sovereign Rollup đưa vào L1, nhưng không biết trạng thái mới nhất của L2, vì vậy không có cách nào để giao tiếp
Tại sao loại bỏ Lớp Dàn xếp? Có nhiều căn cứ hoặc nguyên nhân khác nhau:
Như đã đề cập ở phần đầu, nếu Lớp Dàn xếp của Rollup nằm trong L1, nó sẽ bị ảnh hưởng bởi L1, cho dù nó được nâng cấp hay bị tấn công
Có thể bản thân L1 không hỗ trợ các phép tính phức tạp để ghi lại trạng thái Rollup và sử dụng trạng thái này để truyền đạt tài sản thông tin, ví dụ như trên Celestia, bạn chỉ có thể đưa dữ liệu lên đó, hoặc trên Bitcoin, bạn chỉ có thể thực hiện các phép tính với các khả năng hạn chế và L1 như vậy không thể trở thành Lớp giải quyết
Có lẽ bản thân Rollup không cần một chuỗi khác làm Lớp thanh toán, nó có mã thông báo và hệ sinh thái riêng và không cần trao đổi tài sản với L1
Cách thức hoạt động của Sovereign Rollup
Bản tổng hợp có chủ quyền chỉ cần sử dụng L1 làm Lớp khả dụng của dữ liệu, tải dữ liệu lên L1 và dựa vào L1 để đảm bảo rằng dữ liệu có sẵn và thứ tự của dữ liệu sẽ không thay đổi. Các nút Tổng số chủ quyền dựa vào việc đọc và diễn giải dữ liệu trên L1 để tính toán trạng thái mới nhất của Tổng số chủ quyền. "Diễn giải và tính toán" thực sự đại diện cho các quy tắc đồng thuận của Sovereign Rollup và Chức năng chuyển đổi trạng thái: cách lọc các khối và giao dịch tuân theo định dạng và quy tắc của Sovereign Rollup từ dữ liệu L1, cách xác minh các khối và giao dịch này sau khi sàng lọc và xác minh Sau đó, làm thế nào để thực hiện các giao dịch này để tính toán trạng thái mới nhất.
Nút Tổng số có chủ quyền sàng lọc các khối riêng của nó từ dữ liệu L1, đồng thời diễn giải và tính toán trạng thái mới nhất
Nếu hai nút Tổng số có chủ quyền thuộc các phiên bản khác nhau, thì chúng có thể diễn giải dữ liệu khác nhau hoặc tính toán các trạng thái mới nhất khác nhau và do đó, hai nút này sẽ không nằm trên cùng một chuỗi, những gì chúng nhìn thấy thực sự là một trong hai chuỗi được phân nhánh.
Các phiên bản nút khác nhau có thể có các trạng thái khác nhau và chúng được phân nhánh thành các chuỗi khác nhau *
Điều này thực sự giống như việc chạy các phiên bản khác nhau của các nút Ethereum, hai phiên bản có thể không phải là cùng một chuỗi. Ví dụ: sau hard fork, những người quên cập nhật phiên bản nút hoặc không muốn cập nhật phiên bản nút sẽ tự nhiên ở lại chuỗi ban đầu (chẳng hạn như ETC, ETHPoW), trong khi những người cập nhật phiên bản nút sẽ ở trên chuỗi mới (ETH ).
Độc giả ở đây cũng nên biết tại sao nó được gọi là Sovereign Rollup, bởi vì trong Sovereign Rollup, mọi người có thể chọn phiên bản nút và diễn giải dữ liệu theo sự đồng thuận (xã hội) của nhóm của họ. Nếu có sự bất đồng trong cộng đồng Sovereign Rollup ngày nay như ETHPoW vs ETH, điều đó có nghĩa là mọi người đều đi theo con đường của mình và chọn các phiên bản nút khác nhau để giải thích dữ liệu, nhưng dữ liệu vẫn là bản gốc và không thay đổi.
*Lưu ý: Tất nhiên, sau khi rẽ nhánh, các nút của các phiên bản tương ứng sẽ tải dữ liệu tuân theo quy tắc của riêng họ lên L1, sau đó cả hai bên sẽ trực tiếp lọc ra dữ liệu do bên kia tải lên. *
Tại thời điểm giữa, các nút sau được phân nhánh thành phiên bản v1.1.2 và sau đó các khối của nhau là độc lập
Có những bản tổng hợp chủ quyền nào?
Hiện tại không có ví dụ nào về Sovereign Rollup, nhưng khi xu hướng thiết kế mô-đun của blockchain ngày càng trở nên phổ biến, chắc chắn sẽ có nhiều Sovereign Rollup. Ví dụ: Rollkit khung mô-đun mà Celestia đang thiết kế có thể tạo Bản tổng hợp có chủ quyền thông qua SDK Cosmos. Không giống như chuỗi ban đầu (L1) được xây dựng bằng SDK Cosmos, chuỗi này sẽ cần triển khai sự đồng thuận của Tendermint để xác định thứ tự giao dịch, Bản tổng hợp chủ quyền có thể sử dụng một Trình sắp xếp thứ tự duy nhất để sắp xếp các giao dịch như Bản tổng hợp phổ biến hiện tại, loại bỏ nhu cầu đồng thuận nhiều lần các nút và dựa trên các mối quan tâm về Bảo mật của nó và các tài nguyên được sử dụng để thực thi thuật toán đồng thuận. Và Bản tổng hợp có chủ quyền tải dữ liệu giao dịch lên Celestia, nhưng đồng thời, vì là Bản tổng hợp có chủ quyền nên nó sẽ không bị ảnh hưởng bởi L1 (chẳng hạn như nâng cấp hoặc bị tấn công).
*Lưu ý 1: Rollkit sau này cũng hỗ trợ sử dụng Bitcoin làm Lớp khả dụng của dữ liệu. Một Rollup như vậy có thể kế thừa tính bảo mật của Bitcoin nhưng thông lượng sẽ bị giới hạn ở Bitcoin. *
*Lưu ý 2: Về cơ bản, các chuỗi dựa trên Celestia có thể được gọi là Tổng hợp có chủ quyền. *
Hoặc giả sử Arbitrum không còn sử dụng Ethereum làm lớp thanh toán, không còn nhu cầu trao đổi thông tin hoặc tài sản với Ethereum và chỉ coi Ethereum là nơi lưu trữ dữ liệu, thì Arbitrum đó cũng sẽ trở thành Sovereign Rollup.
Tổng hợp Dàn xếp
Cũng có những định nghĩa như Settlement Rollup, nhưng về cơ bản nó là Sovereign Rollup, và sau đó Sovereign Rollup này cũng sẽ là Settlement Layer của các chain khác. Điều đó có nghĩa là, nếu có các chuỗi khác trên Bản tổng hợp chủ quyền và các Bản tổng hợp khác coi đó là Lớp dàn xếp, thì Bản tổng hợp chủ quyền này có thể được gọi là Bản tổng hợp dàn xếp.
*Lưu ý: Để có thể trở thành Settlement Layer của các chuỗi khác, nó phải có các chức năng hợp đồng thông minh cơ bản, để hai bên có thể trao đổi thông tin và tài sản. *
Nếu Ethereum được thay đổi để tải tất cả thông tin chuỗi lên Celestia ngày hôm nay, thì Ethereum như vậy sẽ là Bản tổng hợp có chủ quyền trên Celestia và nó cũng sẽ là Bản tổng hợp dàn xếp, bởi vì có nhiều chuỗi trên Ethereum và nhiều Bản tổng hợp coi nó là Lớp dàn xếp .
Ethereum là Bản tổng hợp có chủ quyền trên Celestia và cũng là Bản tổng hợp dàn xếp
Lưu ý: Có lẽ trong tương lai, mọi người sẽ dần làm quen với mô đun hóa và chức năng của các Lớp khác nhau, và không còn bắt đầu từ góc độ Tổng hợp nữa, và các thuật ngữ như Tổng hợp Chủ quyền hay Tổng hợp Dàn xếp sẽ dần biến mất. Dù sao, điều quan trọng là làm thế nào để thiết kế chuỗi của bạn (cho dù đó là L1, L2, L3, v.v.), làm thế nào để đánh đổi và chọn các công cụ xây dựng phù hợp cho các lớp khác nhau.
Tổng hợp dựa trên
Một cách phân loại Rollup khác mới xuất hiện gần đây là Rollup dựa trên cơ sở, hay còn gọi là Rollup theo trình tự L1. Dựa trên Rollup's Based đề cập đến việc sắp xếp các giao dịch. Rollup không được bàn giao cho một Sequencer (hoặc nhiều Sequencer) để sắp xếp các giao dịch, mà được bàn giao hoàn toàn cho các công cụ khai thác L1, Trình xác thực hoặc Người tìm kiếm MEV, v.v. để sắp xếp các giao dịch. Khi Bản tổng hợp cổ điển tải dữ liệu lên L1, hợp đồng Bản tổng hợp L1 sẽ kiểm tra xem dữ liệu đó có được tải lên bởi Trình sắp xếp thứ tự đủ điều kiện hay không, trong khi Bản tổng hợp dựa trên không có hạn chế và bất kỳ ai cũng có thể tải dữ liệu đó lên.
Bất kỳ ai cũng có thể tải lên Khối tổng hợp dựa trên
Ưu điểm lớn nhất của Rollup dựa trên là không có Sequencer, do đó không có điểm lỗi duy nhất hoặc thậm chí không phải lo lắng về việc Sequencer có quyền đặt hàng giao dịch hoàn chỉnh hay không, nghĩa là không cần phải lo lắng về việc Sequencer gặp sự cố và gây tắt chuỗi hoặc cố tình không chấp nhận giao dịch từ những người dùng cụ thể hoặc lo lắng rằng Sequencer sẽ lấy MEV của người dùng một cách ác ý. Rollup dựa trên kế thừa hoàn toàn mức độ phân quyền của L1 trong quá trình tạo khối.
Rollup dựa trên có những ưu điểm sau:
Chi phí để người dùng rời khỏi Rollup rất thấp
Nói chung, Rollup sẽ thiết kế cơ chế Force Inclusion hoặc cơ chế Escape Hatch để người dùng có thể tự cài đặt trực tiếp trong L1 mà không cần sử dụng Sequencer nhằm ngăn Sequencer cố ý không chấp nhận các giao dịch cụ thể của người dùng hoặc Sequencer ngừng hoạt động khiến người dùng không thể thoát khỏi Rollup. khối L2. Tuy nhiên, chi phí đầu tiên của một thiết kế như vậy là chi phí cao.Người dùng phải trả phí cho công cụ khai thác L1 để chèn giao dịch.Chi phí thứ hai là các giao dịch được chèn từ L1 có thể ảnh hưởng đến quá trình đóng gói các khối L2 của Sequencer: có thể L1 sẽ chèn Giao dịch sẽ làm mất hiệu lực giao dịch mà Sequencer dự định thu thập vào khối L2. Ví dụ: giao dịch được chèn bởi Alice trong L1 chuyển tất cả tiền cho Bob, dẫn đến giao dịch mà Alice chuyển tiền cho Carol trong L1 không thành công khối L2.
Sau khi nhận được giao dịch của Alice, Sequencer xác nhận kết quả giao dịch và đặt nó vào khối tiếp theo
Nhưng Alice gửi một giao dịch khác trực tiếp đến L1 thông qua Force Inclusion, khiến giao dịch Alice mà Sequencer nhận được không thành công
Để ngăn giao dịch được chèn bởi L1 ảnh hưởng đến quá trình Sequencer đóng gói các khối L2, Arbitrum sẽ không có hiệu lực ngay lập tức khi giao dịch được chèn bởi L1 cần đợi Sequencer chủ động xin giao dịch được đưa vào khối mới nhất trước đó nó sẽ có hiệu lực hoặc nếu Sequencer không phản hồi, Nó sẽ có hiệu lực sau một khoảng thời gian. Sự lạc quan cho phép giao dịch có hiệu lực ngay lập tức, nếu giao dịch được chèn bởi L1 ảnh hưởng đến giao dịch trong khối L2 thì Sequencer phải tìm cách xử lý. Bạn có thể đọc phần giới thiệu này để tìm hiểu thêm về so sánh giữa Arbitrum và Optimism trong việc xử lý các giao dịch vị trí L1.
Thiết kế đơn giản hơn nhiều
Rollup dựa trên ít vai trò của Sequencer hơn so với Rollup chung, và do đó ít gánh nặng phần cứng hơn (không cần lo lắng về tải của máy Sequencer) và bất kỳ cơ chế nào để phân loại giao dịch công bằng hơn (chẳng hạn như cơ chế của Sequencer phi tập trung). Sau đó, không cần cơ chế Force Inclusion/Escape Hatch, bao gồm các hợp đồng liên quan đến L1 và các công cụ ngoài chuỗi liên quan để tạo điều kiện cho người dùng tự đặt giao dịch trong L1.
Nhưng Rollup dựa trên cũng có một số nhược điểm:
Không có dịch vụ xác nhận giao dịch trước
Với Sequencer, Sequencer có thể nhanh chóng cho người dùng biết kết quả thực hiện giao dịch của mình. Miễn là người dùng tin tưởng Sequencer, kết quả giao dịch có thể được xác nhận ngay lập tức mà không cần chờ giao dịch được tải lên L1.
Trong Tổng số dựa trên, Alice đợi cho đến khi giao dịch được tải lên L1 trước khi cô ấy tin rằng giao dịch của mình được bao gồm và cô ấy phải đợi ít nhất một khối L1
Nói chung là Rollup, nếu Alice tin rằng Sequencer sẽ chấp nhận giao dịch của mình, cô ấy có thể ngay lập tức xác nhận liệu giao dịch có được chấp nhận hay không
Giao thức mất nguồn doanh thu MEV
MEV không còn được bàn giao cho Sequencer để kiểm tra và trích xuất, mà là cho L1, vì vậy bản thân L2 không có cách nào để nhận được các lợi ích MEV. Doanh thu MEV có thể được nắm bắt bằng cách thiết kế cơ chế đấu thầu quyền sản xuất khối, nhưng nó sẽ tăng tương đối ngưỡng cho những người tham gia L1 tham gia sản xuất khối, điều này sẽ làm giảm mức độ phân cấp và việc áp dụng cơ chế đấu thầu cũng sẽ mang lại mức độ phức tạp nhất định.
Tài liệu tham khảo và đề nghị đọc thêm
Tổng hợp có chủ quyền
Tổng hợp dựa trên
Xem bản gốc
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Một bài viết để hiểu về phân loại Rollup
Được viết bởi: NIC Lin
Kiến thức cũ:
Hiểu cách hoạt động của Rollup và vấn đề về tính khả dụng của dữ liệu (Data Availability) của Rollup
Tóm tắt về Tổng số
Bất kể đó là Bản tổng hợp hợp lệ hay Bản tổng hợp lạc quan, họ sẽ tải dữ liệu lên L1 (chẳng hạn như Ethereum), để mọi người có thể truy cập dữ liệu của Bản tổng hợp bằng cách truy cập L1 và sử dụng dữ liệu này để lấy trạng thái mới nhất của Bản tổng hợp, chẳng hạn như Alice có 10 USDT và Bob có 5 USDT.
Những người không tải dữ liệu lên L1 không thuộc Rollup (chẳng hạn như Validium, zkPorter hoặc Arbitrum AnyTrust) và họ không phải là đối tượng của bài viết này. Ngoài ra, bài viết này sẽ không thảo luận về cách Tổng số xác minh tính hợp lệ của trạng thái, nghĩa là sự khác biệt giữa Tổng số Hiệu lực và Tổng số Lạc quan.
Phần đầu tiên của bài viết này sẽ giới thiệu Sovereign Rollup. Sovereign Rollup, đúng như tên gọi của nó, là một Rollup có quyền tự chủ. Việc nâng cấp phiên bản Rollup hoặc hard fork đều diễn ra trên Rollup Sovereign, không giống như Rollup mà mọi người quen thuộc hiện nay (sau đây gọi là Rollup Cổ điển). Vị trí của đợt chia tách là không phải trên Bản tổng hợp cổ điển mà trên hợp đồng Bản tổng hợp L1: hợp đồng Bản tổng hợp L1 thực hiện nâng cấp phiên bản thông qua ví đa chữ ký hoặc bỏ phiếu quản trị. Nghĩa là, hợp đồng trên L1 xác định phiên bản Rollup hiện tại sẽ sử dụng. Và nếu có một cuộc tấn công vào Rollup trong L1, chẳng hạn như tấn công vào cơ chế quản trị hoặc tấn công vào chính hợp đồng Rollup, Rollup sẽ bị ảnh hưởng. Ngược lại, vì Sovereign Rollup chỉ đơn giản coi L1 là nơi lưu trữ dữ liệu, nên tất cả các thành viên Sovereign Rollup có thể quyết định phiên bản nào sẽ sử dụng hiện tại trong chuỗi và bất kể điều gì xảy ra với L1, miễn là bản thân L1 không bị tấn công (chẳng hạn như Tổ chức lại hoặc tắt chuỗi), Bản tổng hợp có chủ quyền sẽ không bị ảnh hưởng.
Phần thứ hai sẽ giới thiệu về Rollup dựa trên. Tổng hợp dựa trên loại bỏ các vai trò như Trình sắp xếp thứ tự và chuyển giao quyền sắp xếp giao dịch cho các công cụ khai thác L1, Trình xác thực, Trình tìm kiếm MEV, v.v. Nó không chỉ làm cho việc phân loại các giao dịch trở nên phi tập trung hơn mà còn đơn giản hóa thiết kế và loại bỏ nhiều thành phần của hệ thống.
Tổng hợp có chủ quyền
Lớp khả dụng của dữ liệu và Lớp giải quyết
Bản tổng hợp cổ điển, chẳng hạn như Arbitrum, Optimism, StarkNet, v.v., không chỉ coi Ethereum (L1) là nơi lưu trữ dữ liệu (nghĩa là Lớp khả dụng dữ liệu), mà còn coi Ethereum là Lớp thanh toán: thanh toán được thực hiện trên Ethereum , và trạng thái của L2 là (Nghĩa là số dư của mỗi địa chỉ trong L2) được ghi vào L1.
Tại sao bạn cần ghi trạng thái L2 vào L1? Bởi vì theo cách này, L2 và L1 có thể trao đổi thông tin và tài sản: L1/L2 dApps có thể đồng bộ hóa thông tin và hợp tác, ETH của L1 có thể được chuyển an toàn giữa L1/L2 và ARB/OP của L2 cũng có thể được chuyển an toàn giữa L1/L2. chuyển giao giữa L2.
L1 có thể đọc trạng thái của L2 và có thể truyền tin nhắn một cách an toàn và L1/L2 có thể giao tiếp với nhau
Bản tổng hợp có chủ quyền loại bỏ Lớp dàn xếp (hoặc biến chính nó thành Lớp dàn xếp) và chỉ cần sử dụng L1 làm Lớp khả dụng của dữ liệu.
L1 chỉ đọc khối hoặc dữ liệu giao dịch mà Sovereign Rollup đưa vào L1, nhưng không biết trạng thái mới nhất của L2, vì vậy không có cách nào để giao tiếp
Tại sao loại bỏ Lớp Dàn xếp? Có nhiều căn cứ hoặc nguyên nhân khác nhau:
Cách thức hoạt động của Sovereign Rollup
Bản tổng hợp có chủ quyền chỉ cần sử dụng L1 làm Lớp khả dụng của dữ liệu, tải dữ liệu lên L1 và dựa vào L1 để đảm bảo rằng dữ liệu có sẵn và thứ tự của dữ liệu sẽ không thay đổi. Các nút Tổng số chủ quyền dựa vào việc đọc và diễn giải dữ liệu trên L1 để tính toán trạng thái mới nhất của Tổng số chủ quyền. "Diễn giải và tính toán" thực sự đại diện cho các quy tắc đồng thuận của Sovereign Rollup và Chức năng chuyển đổi trạng thái: cách lọc các khối và giao dịch tuân theo định dạng và quy tắc của Sovereign Rollup từ dữ liệu L1, cách xác minh các khối và giao dịch này sau khi sàng lọc và xác minh Sau đó, làm thế nào để thực hiện các giao dịch này để tính toán trạng thái mới nhất.
Nút Tổng số có chủ quyền sàng lọc các khối riêng của nó từ dữ liệu L1, đồng thời diễn giải và tính toán trạng thái mới nhất
Nếu hai nút Tổng số có chủ quyền thuộc các phiên bản khác nhau, thì chúng có thể diễn giải dữ liệu khác nhau hoặc tính toán các trạng thái mới nhất khác nhau và do đó, hai nút này sẽ không nằm trên cùng một chuỗi, những gì chúng nhìn thấy thực sự là một trong hai chuỗi được phân nhánh.
Điều này thực sự giống như việc chạy các phiên bản khác nhau của các nút Ethereum, hai phiên bản có thể không phải là cùng một chuỗi. Ví dụ: sau hard fork, những người quên cập nhật phiên bản nút hoặc không muốn cập nhật phiên bản nút sẽ tự nhiên ở lại chuỗi ban đầu (chẳng hạn như ETC, ETHPoW), trong khi những người cập nhật phiên bản nút sẽ ở trên chuỗi mới (ETH ).
Độc giả ở đây cũng nên biết tại sao nó được gọi là Sovereign Rollup, bởi vì trong Sovereign Rollup, mọi người có thể chọn phiên bản nút và diễn giải dữ liệu theo sự đồng thuận (xã hội) của nhóm của họ. Nếu có sự bất đồng trong cộng đồng Sovereign Rollup ngày nay như ETHPoW vs ETH, điều đó có nghĩa là mọi người đều đi theo con đường của mình và chọn các phiên bản nút khác nhau để giải thích dữ liệu, nhưng dữ liệu vẫn là bản gốc và không thay đổi.
*Lưu ý: Tất nhiên, sau khi rẽ nhánh, các nút của các phiên bản tương ứng sẽ tải dữ liệu tuân theo quy tắc của riêng họ lên L1, sau đó cả hai bên sẽ trực tiếp lọc ra dữ liệu do bên kia tải lên. *
Tại thời điểm giữa, các nút sau được phân nhánh thành phiên bản v1.1.2 và sau đó các khối của nhau là độc lập
Có những bản tổng hợp chủ quyền nào?
Hiện tại không có ví dụ nào về Sovereign Rollup, nhưng khi xu hướng thiết kế mô-đun của blockchain ngày càng trở nên phổ biến, chắc chắn sẽ có nhiều Sovereign Rollup. Ví dụ: Rollkit khung mô-đun mà Celestia đang thiết kế có thể tạo Bản tổng hợp có chủ quyền thông qua SDK Cosmos. Không giống như chuỗi ban đầu (L1) được xây dựng bằng SDK Cosmos, chuỗi này sẽ cần triển khai sự đồng thuận của Tendermint để xác định thứ tự giao dịch, Bản tổng hợp chủ quyền có thể sử dụng một Trình sắp xếp thứ tự duy nhất để sắp xếp các giao dịch như Bản tổng hợp phổ biến hiện tại, loại bỏ nhu cầu đồng thuận nhiều lần các nút và dựa trên các mối quan tâm về Bảo mật của nó và các tài nguyên được sử dụng để thực thi thuật toán đồng thuận. Và Bản tổng hợp có chủ quyền tải dữ liệu giao dịch lên Celestia, nhưng đồng thời, vì là Bản tổng hợp có chủ quyền nên nó sẽ không bị ảnh hưởng bởi L1 (chẳng hạn như nâng cấp hoặc bị tấn công).
*Lưu ý 1: Rollkit sau này cũng hỗ trợ sử dụng Bitcoin làm Lớp khả dụng của dữ liệu. Một Rollup như vậy có thể kế thừa tính bảo mật của Bitcoin nhưng thông lượng sẽ bị giới hạn ở Bitcoin. *
*Lưu ý 2: Về cơ bản, các chuỗi dựa trên Celestia có thể được gọi là Tổng hợp có chủ quyền. *
Hoặc giả sử Arbitrum không còn sử dụng Ethereum làm lớp thanh toán, không còn nhu cầu trao đổi thông tin hoặc tài sản với Ethereum và chỉ coi Ethereum là nơi lưu trữ dữ liệu, thì Arbitrum đó cũng sẽ trở thành Sovereign Rollup.
Tổng hợp Dàn xếp
Cũng có những định nghĩa như Settlement Rollup, nhưng về cơ bản nó là Sovereign Rollup, và sau đó Sovereign Rollup này cũng sẽ là Settlement Layer của các chain khác. Điều đó có nghĩa là, nếu có các chuỗi khác trên Bản tổng hợp chủ quyền và các Bản tổng hợp khác coi đó là Lớp dàn xếp, thì Bản tổng hợp chủ quyền này có thể được gọi là Bản tổng hợp dàn xếp.
*Lưu ý: Để có thể trở thành Settlement Layer của các chuỗi khác, nó phải có các chức năng hợp đồng thông minh cơ bản, để hai bên có thể trao đổi thông tin và tài sản. *
Nếu Ethereum được thay đổi để tải tất cả thông tin chuỗi lên Celestia ngày hôm nay, thì Ethereum như vậy sẽ là Bản tổng hợp có chủ quyền trên Celestia và nó cũng sẽ là Bản tổng hợp dàn xếp, bởi vì có nhiều chuỗi trên Ethereum và nhiều Bản tổng hợp coi nó là Lớp dàn xếp .
Ethereum là Bản tổng hợp có chủ quyền trên Celestia và cũng là Bản tổng hợp dàn xếp
Lưu ý: Có lẽ trong tương lai, mọi người sẽ dần làm quen với mô đun hóa và chức năng của các Lớp khác nhau, và không còn bắt đầu từ góc độ Tổng hợp nữa, và các thuật ngữ như Tổng hợp Chủ quyền hay Tổng hợp Dàn xếp sẽ dần biến mất. Dù sao, điều quan trọng là làm thế nào để thiết kế chuỗi của bạn (cho dù đó là L1, L2, L3, v.v.), làm thế nào để đánh đổi và chọn các công cụ xây dựng phù hợp cho các lớp khác nhau.
Tổng hợp dựa trên
Một cách phân loại Rollup khác mới xuất hiện gần đây là Rollup dựa trên cơ sở, hay còn gọi là Rollup theo trình tự L1. Dựa trên Rollup's Based đề cập đến việc sắp xếp các giao dịch. Rollup không được bàn giao cho một Sequencer (hoặc nhiều Sequencer) để sắp xếp các giao dịch, mà được bàn giao hoàn toàn cho các công cụ khai thác L1, Trình xác thực hoặc Người tìm kiếm MEV, v.v. để sắp xếp các giao dịch. Khi Bản tổng hợp cổ điển tải dữ liệu lên L1, hợp đồng Bản tổng hợp L1 sẽ kiểm tra xem dữ liệu đó có được tải lên bởi Trình sắp xếp thứ tự đủ điều kiện hay không, trong khi Bản tổng hợp dựa trên không có hạn chế và bất kỳ ai cũng có thể tải dữ liệu đó lên.
Bất kỳ ai cũng có thể tải lên Khối tổng hợp dựa trên
Ưu điểm lớn nhất của Rollup dựa trên là không có Sequencer, do đó không có điểm lỗi duy nhất hoặc thậm chí không phải lo lắng về việc Sequencer có quyền đặt hàng giao dịch hoàn chỉnh hay không, nghĩa là không cần phải lo lắng về việc Sequencer gặp sự cố và gây tắt chuỗi hoặc cố tình không chấp nhận giao dịch từ những người dùng cụ thể hoặc lo lắng rằng Sequencer sẽ lấy MEV của người dùng một cách ác ý. Rollup dựa trên kế thừa hoàn toàn mức độ phân quyền của L1 trong quá trình tạo khối.
Rollup dựa trên có những ưu điểm sau:
Chi phí để người dùng rời khỏi Rollup rất thấp
Nói chung, Rollup sẽ thiết kế cơ chế Force Inclusion hoặc cơ chế Escape Hatch để người dùng có thể tự cài đặt trực tiếp trong L1 mà không cần sử dụng Sequencer nhằm ngăn Sequencer cố ý không chấp nhận các giao dịch cụ thể của người dùng hoặc Sequencer ngừng hoạt động khiến người dùng không thể thoát khỏi Rollup. khối L2. Tuy nhiên, chi phí đầu tiên của một thiết kế như vậy là chi phí cao.Người dùng phải trả phí cho công cụ khai thác L1 để chèn giao dịch.Chi phí thứ hai là các giao dịch được chèn từ L1 có thể ảnh hưởng đến quá trình đóng gói các khối L2 của Sequencer: có thể L1 sẽ chèn Giao dịch sẽ làm mất hiệu lực giao dịch mà Sequencer dự định thu thập vào khối L2. Ví dụ: giao dịch được chèn bởi Alice trong L1 chuyển tất cả tiền cho Bob, dẫn đến giao dịch mà Alice chuyển tiền cho Carol trong L1 không thành công khối L2.
Sau khi nhận được giao dịch của Alice, Sequencer xác nhận kết quả giao dịch và đặt nó vào khối tiếp theo
Nhưng Alice gửi một giao dịch khác trực tiếp đến L1 thông qua Force Inclusion, khiến giao dịch Alice mà Sequencer nhận được không thành công
Để ngăn giao dịch được chèn bởi L1 ảnh hưởng đến quá trình Sequencer đóng gói các khối L2, Arbitrum sẽ không có hiệu lực ngay lập tức khi giao dịch được chèn bởi L1 cần đợi Sequencer chủ động xin giao dịch được đưa vào khối mới nhất trước đó nó sẽ có hiệu lực hoặc nếu Sequencer không phản hồi, Nó sẽ có hiệu lực sau một khoảng thời gian. Sự lạc quan cho phép giao dịch có hiệu lực ngay lập tức, nếu giao dịch được chèn bởi L1 ảnh hưởng đến giao dịch trong khối L2 thì Sequencer phải tìm cách xử lý. Bạn có thể đọc phần giới thiệu này để tìm hiểu thêm về so sánh giữa Arbitrum và Optimism trong việc xử lý các giao dịch vị trí L1.
Thiết kế đơn giản hơn nhiều
Rollup dựa trên ít vai trò của Sequencer hơn so với Rollup chung, và do đó ít gánh nặng phần cứng hơn (không cần lo lắng về tải của máy Sequencer) và bất kỳ cơ chế nào để phân loại giao dịch công bằng hơn (chẳng hạn như cơ chế của Sequencer phi tập trung). Sau đó, không cần cơ chế Force Inclusion/Escape Hatch, bao gồm các hợp đồng liên quan đến L1 và các công cụ ngoài chuỗi liên quan để tạo điều kiện cho người dùng tự đặt giao dịch trong L1.
Nhưng Rollup dựa trên cũng có một số nhược điểm:
Không có dịch vụ xác nhận giao dịch trước
Với Sequencer, Sequencer có thể nhanh chóng cho người dùng biết kết quả thực hiện giao dịch của mình. Miễn là người dùng tin tưởng Sequencer, kết quả giao dịch có thể được xác nhận ngay lập tức mà không cần chờ giao dịch được tải lên L1.
Trong Tổng số dựa trên, Alice đợi cho đến khi giao dịch được tải lên L1 trước khi cô ấy tin rằng giao dịch của mình được bao gồm và cô ấy phải đợi ít nhất một khối L1
Nói chung là Rollup, nếu Alice tin rằng Sequencer sẽ chấp nhận giao dịch của mình, cô ấy có thể ngay lập tức xác nhận liệu giao dịch có được chấp nhận hay không
Giao thức mất nguồn doanh thu MEV
MEV không còn được bàn giao cho Sequencer để kiểm tra và trích xuất, mà là cho L1, vì vậy bản thân L2 không có cách nào để nhận được các lợi ích MEV. Doanh thu MEV có thể được nắm bắt bằng cách thiết kế cơ chế đấu thầu quyền sản xuất khối, nhưng nó sẽ tăng tương đối ngưỡng cho những người tham gia L1 tham gia sản xuất khối, điều này sẽ làm giảm mức độ phân cấp và việc áp dụng cơ chế đấu thầu cũng sẽ mang lại mức độ phức tạp nhất định.
Tài liệu tham khảo và đề nghị đọc thêm