Trình tự = Trình tổng hợp + Nhà sản xuất tiêu đề

Nâng cao2/28/2024, 8:50:09 AM
Bài viết này, với mục đích làm cho mô hình Rollup dễ hiểu và phân tích hơn, nhà nghiên cứu NashQ của Celestia đã chia trình tự sắp xếp của Rollup thành hai thực thể logic - trình tổng hợp và trình tạo tiêu đề. Đồng thời, ông chia quy trình đặt hàng giao dịch thành ba bước hợp lý: đưa vào, đặt hàng và thực hiện. Được hướng dẫn bởi tư duy phân tích này, sáu biến thể quan trọng chính của Tổng hợp có chủ quyền rõ ràng và dễ hiểu hơn. NashQ đã thảo luận chi tiết về khả năng chống kiểm duyệt và tính tồn tại của các biến thể Rollup khác nhau, đồng thời khám phá cấu hình tối thiểu của từng nút biến thể Rollup ở trạng thái tin cậy tối thiểu (nghĩa là để đạt được trạng thái Không tin cậy, ít nhất là loại nút nào người dùng Rollup cần chạy).
  • Tiêu đề gốc được chuyển tiếp: Nhà nghiên cứu Celestia phân tích 6 biến thể tổng hợp: Sequencer=aggregator+Header Generator

Lưu ý: Với mục đích làm cho mô hình Tổng hợp dễ hiểu và phân tích hơn, nhà nghiên cứu NashQ của Celestia đã chia Trình tự tổng hợp thành hai thực thể logic - Bộ tổng hợp và Nhà sản xuất tiêu đề. Đồng thời, ông chia quy trình đặt hàng giao dịch thành ba bước hợp lý: đưa vào, đặt hàng và thực hiện.

Được hướng dẫn bởi tư duy phân tích này, sáu biến thể chính của Tổng hợp có chủ quyền rõ ràng và dễ hiểu hơn. NashQ đã thảo luận chi tiết về khả năng chống kiểm duyệt và tính tồn tại của các biến thể Rollup khác nhau, cũng như cấu hình tối thiểu của từng nút biến thể Rollup ở trạng thái giảm thiểu độ tin cậy (tức là để đạt được trạng thái không tin cậy, ít nhất những loại nút nào mà người dùng Rollup cần phải chạy).

Mặc dù bài viết này phân tích Rollup từ góc nhìn của Celestia, khác với cách cộng đồng Ethereum phân tích mô hình Rollup, xem xét nhiều mối liên kết giữa Ethereum Rollup và Celestia Sovereign Rollup, cũng như tầm ảnh hưởng ngày càng tăng của sau này, bài viết này cũng cực kỳ cực kỳ quan trọng. đáng đọc cho những người đam mê Ethereum.

Bản tổng hợp là gì?

Rollup là các chuỗi khối đăng dữ liệu giao dịch của chúng lên một chuỗi khối khác và kế thừa sự đồng thuận cũng như tính sẵn có của dữ liệu.

Tại sao tôi lại đổi “chặn” thành “dữ liệu giao dịch” ở đây? Hãy để tôi cho bạn biết sự khác biệt giữa khối tổng hợp và dữ liệu tổng hợp và cho bạn thấy rằng tổng số tối thiểu chỉ cần dữ liệu tổng hợp với biến thể đầu tiên của chúng tôi.

Khối cuộn lên là cấu trúc dữ liệu đại diện cho chuỗi khối ở một độ cao nhất định. Nó bao gồm dữ liệu tổng hợp và tiêu đề tổng hợp. Và dữ liệu tổng hợp là một lô giao dịch hoặc là sự khác biệt về trạng thái giữa các lô giao dịch.

Biến thể 1: Tổng hợp bi quan dựa trên

Cách đơn giản nhất để xây dựng một bản tổng hợp bắt đầu bằng việc người dùng đăng các giao dịch lên một blockchain khác. Chúng tôi sẽ gọi blockchain này là lớp đồng thuận và sẵn có của dữ liệu, nhưng tôi sẽ rút ngắn nó thành Lớp DA trong tất cả các sơ đồ sau. (Lưu ý: tương tự như Layer1 thường được nhắc đến trong cộng đồng Ethereum).

Trong biến thể đầu tiên của chúng tôi, mỗi nút tổng hợp phải phát lại tất cả các giao dịch trên blockchain để kiểm tra trạng thái mới nhất. Chúng tôi vừa tạo một Bản tổng hợp bi quan!

Bản tổng hợp bi quan là bản tổng hợp chỉ hỗ trợ các nút đầy đủ phát lại tất cả các giao dịch trong danh sách tổng hợp để kiểm tra tính hợp lệ của nó.

Nhưng trong trường hợp này, ai là người sắp xếp thứ tự trong trường hợp này? Không có thực thể nào thực sự thực hiện các giao dịch ngoài chính các nút tổng hợp đầy đủ. Thông thường, trình sắp xếp chuỗi sẽ tổng hợp các giao dịch và tạo tiêu đề tổng hợp, nhưng không có tiêu đề trong trường hợp này!

Để tạo điều kiện thuận lợi cho việc thảo luận, chúng tôi chia trình sắp xếp chuỗi thành hai thực thể logic: trình tổng hợp và trình tạo tiêu đề phân biệt nó. Một thực thể phải nhận biết trạng thái (tức là phải thực thi trạng thái để tính toán tiêu đề), nhưng trình tổng hợp không cần hiểu trạng thái để có thể tổng hợp nó.

Trình tự là quá trình tổng hợp và sản xuất tiêu đề.

Tổng hợp là quá trình gộp các giao dịch thành một đợt. Một lô giao dịch bao gồm một hoặc nhiều giao dịch. (Lưu ý: Batch là phần dữ liệu trong khối Rollup ngoại trừ Header).

Sản xuất tiêu đề là quá trình tạo tiêu đề tổng hợp.

Tiêu đề tổng hợp là siêu dữ liệu về khối, tối thiểu bao gồm cam kết về các giao dịch trong khối đó. (Lưu ý: Cam kết ở đây đề cập đến cam kết về tính chính xác của kết quả xử lý giao dịch).

Qua góc nhìn trên, chúng ta có thể thấy được ai đóng vai trò trong từng thành phần của Rollup. Đầu tiên chúng ta hãy nhìn vào phần tổng hợp. Bản tổng hợp bi quan được đề cập trước đó không có quy trình sản xuất tiêu đề và người dùng xuất bản các giao dịch trực tiếp lên Lớp DA, điều đó có nghĩa là mạng Lớp DA về cơ bản hoạt động như một công cụ tổng hợp.

Bản tổng hợp bi quan là một biến thể của Bản tổng hợp ủy quyền bước tổng hợp cho Lớp DA. Nó không có trình tự sắp xếp. Đôi khi kiểu tổng hợp này được gọi là "tổng hợp dựa trên".

Dựa trên Rollup có khả năng chống kiểm duyệt và tính sống động tương tự như Lớp DA (hoạt động đo lường tốc độ phản hồi của hệ thống đối với các yêu cầu của người dùng). Nếu người dùng loại Rollup này muốn đạt được trạng thái tin cậy tối thiểu (gần nhất với Trustless), thì họ phải chạy ít nhất một nút nhẹ Lớp DA và một nút tổng hợp đầy đủ.

Biến thể 2: Tổng hợp bi quan bằng cách sử dụng Bộ tổng hợp được chia sẻ

Hãy thảo luận về tổng hợp bi quan bằng cách sử dụng các công cụ tổng hợp được chia sẻ. Ý tưởng này đã được Evan Forbes đề xuất trong bài đăng trên diễn đàn của anh ấy về thiết kế trình sắp xếp được chia sẻ. Giả định chính là trình sắp xếp trình tự được chia sẻ là cách chính thức duy nhất để sắp xếp các giao dịch theo trình tự. Evan giải thích lợi ích của trình sắp xếp trình tự được chia sẻ như thế này:

“Để mở khóa UX tương đương với web2, trình sắp xếp được chia sẻ […] có thể cung cấp các cam kết mềm nhanh chóng (lưu ý: không phải là sự đảm bảo đáng tin cậy lắm). Các cam kết mềm này cung cấp một số lời hứa tùy ý về thứ tự giao dịch cuối cùng (nghĩa là chúng hứa rằng thứ tự giao dịch sẽ không thay đổi) và có thể được sử dụng để tạo các phiên bản trạng thái được cập nhật sớm (nhưng việc quyết toán vẫn chưa được hoàn thành vào thời điểm đó). thời gian này).

Ngay sau khi dữ liệu khối được xác nhận sẽ được đăng trên lớp cơ sở (s/b đề cập đến DAlayer), trạng thái có thể được coi là cuối cùng.”

Bởi vì chúng tôi vẫn là một bản tổng hợp bi quan, chúng tôi chỉ có các nút đầy đủ tổng hợp và không có nút ánh sáng. Mỗi nút phải thực hiện tất cả các giao dịch để đảm bảo tính hợp lệ. Không có nút ánh sáng nào trong hệ thống này nên không cần tiêu đề cuộn lên, hay còn gọi là nhà sản xuất tiêu đề. (Lưu ý: Nói chung, một light node của blockchain không cần đồng bộ hóa các khối hoàn chỉnh mà chỉ nhận các tiêu đề khối)

Vì không có bước tạo Tiêu đề tổng hợp nên trình sắp xếp chia sẻ tổng hợp nêu trên không cần thực hiện các giao dịch để cập nhật trạng thái (điều kiện tiên quyết để tạo Tiêu đề), mà chỉ bao gồm quá trình tổng hợp dữ liệu giao dịch. Vì vậy, tôi thích gọi nó là một công cụ tổng hợp được chia sẻ.

Trong biến thể này, người dùng Rollup cần chạy ít nhất những thứ sau ở trạng thái giảm thiểu độ tin cậy:

Nút ánh sáng lớp DA + nút ánh sáng của mạng tổng hợp dùng chung + Nút đầy đủ cuộn lên.

Tại thời điểm này, cần phải xác minh tiêu đề tổng hợp đã xuất bản (không đề cập đến Tiêu đề tổng hợp) thông qua nút ánh sáng của mạng tổng hợp được chia sẻ. Như đã đề cập ở trên, trình tổng hợp được chia sẻ đảm nhận nhiệm vụ sắp xếp giao dịch. Trong tiêu đề tổng hợp được xuất bản, nó chứa cam kết mật mã, tương ứng với Lô được xuất bản trên Lớp DA.

Bằng cách này, người vận hành nút Tổng hợp có thể xác nhận rằng Lô nhận được từ Lớp DA được tạo bởi trình tổng hợp được chia sẻ chứ không phải bởi người khác.

(Vì nội dung bên trên tương đối khó hiểu nên các bạn có thể đọc lại sơ đồ)

Bao gồm là quá trình một giao dịch được chấp nhận vào blockchain.

Đặt hàng là quá trình sắp xếp các giao dịch theo một trình tự cụ thể trong blockchain.

Thực thi là quá trình xử lý các giao dịch trong chuỗi khối và tác động của chúng được áp dụng cho trạng thái của chuỗi khối.

Vì công cụ tổng hợp được chia sẻ kiểm soát việc đưa vào và sắp xếp thứ tự nên chúng tôi kế thừa khả năng chống kiểm duyệt của nó.

Nếu chúng ta giả sử L_ss là mức độ hoạt động của tập hợp được chia sẻ và L_da là mức độ hoạt động của Lớp DA thì mức độ hoạt động của sơ đồ này là L = L_da && L_ss. Nói cách khác, nếu một trong hai hệ thống gặp lỗi về khả năng hoạt động thì bản tổng hợp cũng gặp lỗi về khả năng hoạt động.

Để đơn giản, tôi sẽ sử dụng tính sống động như một boolean. Nếu trình tổng hợp được chia sẻ không thành công thì chúng tôi không thể tiếp tục quá trình tổng hợp. Nếu Lớp DA không thành công, chúng tôi có thể tiếp tục thực hiện các cam kết mềm của đơn vị tổng hợp chung. Tuy nhiên, chúng tôi vẫn phải dựa vào sự đồng thuận và tính sẵn có của dữ liệu của công cụ tổng hợp được chia sẻ, điều này sẽ tệ hơn so với Lớp DA ban đầu.

Hãy tiếp tục khám phá khả năng chống kiểm duyệt của giải pháp Rollup trên:

Trong sơ đồ này, Lớp DA không thể kiểm duyệt các giao dịch cụ thể. (Lưu ý: Việc xem xét giao dịch thường có thể từ chối cho phép tải một số giao dịch nhất định lên chuỗi). Nó chỉ có thể kiểm duyệt toàn bộ các lô tổng hợp mà trình tổng hợp được chia sẻ đã tổng hợp. (từ chối một lô được đưa vào Lớp DA).

Tuy nhiên, theo quy trình làm việc của Rollup, khi trình tổng hợp chia sẻ gửi lô giao dịch đến Lớp DA, nó đã hoàn thành trình tự giao dịch và thứ tự giữa các lô khác nhau cũng đã được xác định. Do đó, loại xem xét giao dịch này của Lớp DA không có tác dụng nào khác ngoại trừ việc trì hoãn tính cuối cùng của sổ cái tổng hợp.

Tóm lại, tôi tin rằng trọng tâm của việc chống kiểm duyệt là đảm bảo rằng không một thực thể nào có thể kiểm soát hoặc thao túng luồng thông tin trong hệ thống, trong khi tính sống động liên quan đến việc duy trì chức năng và tính khả dụng của hệ thống, ngay cả khi mất mạng và những hành động chống đối. Mặc dù điều này mâu thuẫn với định nghĩa học thuật chính thống hiện nay, tôi vẫn sẽ sử dụng định nghĩa về khái niệm mà tôi đã nêu.

Biến thể 3: Tổng hợp bi quan với tập hợp dựa trên và chia sẻ

Mặc dù cộng đồng được hưởng các lợi ích của một công cụ tổng hợp được chia sẻ, chúng tôi muốn tránh phụ thuộc vào nó và muốn có một dự phòng cho Lớp DA. Chúng tôi sẽ kết hợp việc đặt hàng và cho phép người dùng gửi giao dịch trực tiếp đến Lớp DA. Nó kết hợp tổng hợp dựa trên và chia sẻ.

Chúng tôi giả định thứ tự cuối cùng sẽ được hiểu là tất cả các giao dịch được sắp xếp bởi bộ tổng hợp chung và sau đó là tất cả các giao dịch dựa trên khối DA-Layer. Chúng tôi gọi đây là quy tắc lựa chọn ngã ba tổng hợp.

Việc tổng hợp ở đây là một quá trình gồm hai bước. Đầu tiên, công cụ tổng hợp được chia sẻ sẽ dẫn đầu, tổng hợp một số giao dịch. Sau đó, Lớp DA tổng hợp với các lô và giao dịch đã đặt hàng mà người dùng trực tiếp gửi.

Phân tích khả năng chống kiểm duyệt hiện nay phức tạp hơn. Nút mạng Lớp DA có thể xem xét Lô được gửi bởi trình tổng hợp được chia sẻ trước khi khối Lớp DA tiếp theo được tạo ra. Sau khi biết dữ liệu giao dịch trong Lô, nút Lớp DA có thể trích xuất giá trị MEV, bắt đầu giao dịch chạy trước với tài khoản của nó trên mạng Tổng hợp và đưa nó vào khối Lớp DA trước khi bao gồm Lô được gửi bởi Tổng hợp tổng hợp được chia sẻ.

Rõ ràng, tính hữu hạn của lệnh giao dịch được đảm bảo bởi cam kết mềm của loại biến thể Rollup thứ ba dễ vỡ hơn loại biến thể Rollup thứ hai được đề cập ở trên. Trong trường hợp này, bộ tổng hợp được chia sẻ sẽ chuyển giá trị MEV cho nút Lớp DA. Về vấn đề này, tôi đề nghị độc giả xem bài giảng về việc kiểm duyệt MEV có lợi.

Hiện tại, một số giải pháp thiết kế đã xuất hiện để làm giảm khả năng các nút mạng Lớp DA thực hiện các giao dịch MEV như vậy, chẳng hạn như chức năng “thời gian sắp xếp lại cửa sổ”, sẽ làm trì hoãn các giao dịch được người dùng mạng Rollup gửi trực tiếp tới Lớp DA . Sovereign Labs đã trình bày chi tiết điều này trong đề xuất thiết kế của mình có tên là Trình tự dựa trên xác nhận mềm, trong đó khái niệm “trình sắp xếp ưu tiên” được đề xuất.

Vì MEV phụ thuộc vào sơ đồ tổng hợp mà bạn chọn và quy tắc lựa chọn nhánh của quá trình tổng hợp, một số sẽ không bị rò rỉ và một số sẽ rò rỉ một số hoặc tất cả MEV cho Lớp DA, nhưng đó là chủ đề cho một ngày khác.

Về tính sống động, thiết kế tổng hợp này có ưu điểm hơn là chỉ có một công cụ tổng hợp dùng chung. Nếu trình tổng hợp được chia sẻ gặp lỗi về khả năng hoạt động, người dùng vẫn có thể gửi giao dịch đến Lớp DA.

Cuối cùng, hãy nói về thiết lập giảm thiểu độ tin cậy nhỏ nhất: nút ánh sáng Lớp DA + nút ánh sáng tổng hợp được chia sẻ + nút đầy đủ cuộn lên.

Tại thời điểm này, chúng tôi vẫn cần xác thực các tiêu đề của trình tổng hợp được chia sẻ cho nút đầy đủ tổng hợp của chúng tôi để có thể phân biệt các lô giao dịch cho quy tắc lựa chọn nhánh của nó.

Biến thể 4: Tổng hợp lạc quan dựa trên nhà sản xuất tiêu đề tập trung

Hãy bắt đầu nấu một số nút nhẹ bằng cách sử dụng một biến thể được gọi là tổng hợp lạc quan dựa trên trình tạo tiêu đề tập trung. Thiết kế này sử dụng Lớp DA để tổng hợp các giao dịch nhưng chúng tôi giới thiệu một trình tạo tiêu đề tập trung để kích hoạt các nút ánh sáng tổng hợp.

Các nút ánh sáng tổng hợp có thể gián tiếp xác minh tính hợp lệ của các giao dịch Rollup thông qua một vòng bằng chứng gian lận duy nhất. Nút ánh sáng sẽ có thái độ lạc quan đối với trình tạo Tiêu đề tổng hợp và đưa ra xác nhận cuối cùng sau khi khoảng thời gian chống gian lận kết thúc. Một khả năng khác là nó nhận được bằng chứng gian lận từ một nút đầy đủ trung thực khi biết rằng trình tạo Tiêu đề đã gửi dữ liệu không chính xác.

Tôi sẽ không đi sâu vào chi tiết về cách thức hoạt động của bằng chứng gian lận một vòng vì điều này sẽ phá vỡ phạm vi của bài viết này. Lợi ích ở đây là bạn có thể giảm thời gian trong khoảng thời gian chống gian lận từ 7 ngày xuống một mức nào đó, thời gian này vẫn chưa được xác định nhưng mức độ nhỏ hơn. Các nút ánh sáng có thể nhận được bằng chứng gian lận thông qua lớp p2p mà không cần chờ tranh chấp, vì mọi thứ đều được ghi lại trong một bằng chứng duy nhất.

Chúng tôi sử dụng Lớp DA làm công cụ tổng hợp kế thừa khả năng chống kiểm duyệt của nó. Nó bao gồm và đặt hàng. Nhà sản xuất tiêu đề tập trung sẽ đọc thứ tự chuẩn từ Lớp DA và có thể tạo tiêu đề hợp lệ từ đó. Nhà sản xuất tiêu đề tập trung sẽ đăng tiêu đề và gốc trạng thái lên Lớp DA. Những nguồn gốc tiểu bang này là cần thiết để tạo ra bằng chứng gian lận chống lại cam kết này. Trình tổng hợp thực hiện việc bao gồm và sắp xếp, trong khi trình tạo tiêu đề thực hiện việc thực thi.

Người ta giả định rằng Lớp DA (cũng đóng vai trò là công cụ tổng hợp của Rollup tại thời điểm này) đủ phi tập trung và có khả năng chống kiểm duyệt tốt. Ngoài ra, nhà sản xuất Tiêu đề không thể thay đổi trình tự giao dịch Tổng hợp do trình tổng hợp xuất bản. Bây giờ, nếu nhà sản xuất Tiêu đề được phân cấp, lợi ích duy nhất là tính sống động tốt hơn, nhưng các thuộc tính khác của Tổng hợp vẫn giống như biến thể đầu tiên, Dựa trên Tổng hợp.

Nếu nhà sản xuất tiêu đề gặp lỗi về khả năng hoạt động thì bản tổng hợp cũng gặp lỗi về khả năng hoạt động. Nút nhẹ sẽ không thể theo chuỗi, trong khi các nút đầy đủ vẫn có thể theo chuỗi nếu muốn, quay trở lại trạng thái tổng hợp bi quan dựa trên như được mô tả trong biến thể 1. Rõ ràng,Cấu hình tối thiểu để giảm thiểu độ tin cậy được mô tả trong biến thể 4 là:

Nút ánh sáng lớp DA + Nút ánh sáng cuộn lên.

Biến thể 5: ZK-Rollup dựa trên thị trường chứng minh phi tập trung

Chúng ta đã thảo luận về Tổng hợp bi quan (Tổng hợp dựa trên) và Tổng hợp lạc quan, bây giờ là lúc xem xét ZK-Rollup. Gần đây Toghrul đã trình bày về việc tách trình tổng hợp (Sequencer) và trình tạo Header (Prover) (Tách Sequencer-Prover trong Zero-Knowledge Rollups). Trong mô hình này, việc xuất bản các giao dịch dưới dạng dữ liệu Tổng hợp thay vì Phân biệt trạng thái sẽ dễ xử lý hơn, vì vậy tôi sẽ tập trung vào dữ liệu trước. Biến thể 5 là một zk-rollup dựa trên thị trường chứng minh phi tập trung.

Đến bây giờ, bạn đã quen với công việc của một bản tổng hợp dựa trên. Biến thể 5 ủy quyền vai trò tổng hợp cho các nút Lớp DA, thực hiện công việc bao gồm và sắp xếp. Tôi sẽ trích dẫn từ tài liệu của Sovereign-Labs, tài liệu này thực hiện một công việc tuyệt vời trong việc giải thích vòng đời thiết kế của họ. Tôi sẽ điều chỉnh nó một chút để nó phù hợp với biến thể 5.

Người dùng đăng một khối dữ liệu mới lên chuỗi L1. Ngay sau khi blob được hoàn thiện trên L1, về mặt logic, nó sẽ là cuối cùng. Ngay sau khi khối L1 được hoàn tất, các nút đầy đủ của quá trình tổng hợp sẽ quét qua nó và xử lý tất cả các đốm màu dữ liệu có liên quan theo thứ tự chúng xuất hiện, tạo ra gốc trạng thái tổng hợp mới. Tại thời điểm này, khối được hoàn thiện một cách chủ quan từ góc nhìn của tất cả các nút đầy đủ.

Nhà sản xuất tiêu đề của chúng tôi trong thiết kế này là thị trường chứng minh phi tập trung.

Các nút Prover (các nút đầy đủ chạy bên trong ZKVM) thực hiện quy trình gần giống như các nút đầy đủ - quét qua khối DA và xử lý tất cả các lô theo thứ tự - tạo ra bằng chứng và đăng chúng lên chuỗi. (Bằng chứng cần phải được đăng trên chuỗi nếu tổng hợp muốn khuyến khích người chứng minh - nếu không, không thể biết người chứng minh nào là người đầu tiên xử lý một lô nhất định). Sau khi bằng chứng cho một lô nhất định đã được đăng trên chuỗi, lô đó về mặt chủ quan sẽ là cuối cùng đối với tất cả các nút, bao gồm cả các nút nhẹ.

(Vì có nhiều khái niệm liên quan nên các bạn có thể xem lại sơ đồ)

Biến thể 5 có khả năng chống kiểm duyệt tương tự như Lớp DA. Thị trường chứng minh phi tập trung không thể kiểm duyệt các giao dịch vì Lớp DA xác định thứ tự chuẩn. Chúng tôi chỉ phân cấp nhà sản xuất tiêu đề để hoạt động tốt hơn và tạo ra một thị trường khuyến khích. Sự sống động ở đây là L = L_da && L_pm (thị trường chứng minh). Nếu các ưu đãi của thị trường chứng minh bị sai lệch hoặc có lỗi về tính hoạt động, các nút ánh sáng sẽ không thể tuân theo chuỗi, nhưng các nút đầy đủ tổng hợp vẫn có thể tuân theo chuỗi nếu muốn, quay trở lại tổng hợp bi quan dựa trên. Ở đây có thiết lập giảm thiểu độ tin cậy nhỏ nhất, giống như trong trường hợp lạc quan có nút ánh sáng Lớp DA + nút ánh sáng cuộn lên.

Biến thể 6: Tổng hợp kết hợp dựa trên Nhà sản xuất tiêu đề lạc quan tập trung và Nhà cung cấp dịch vụ phi tập trung

Chúng tôi vẫn để các nút Lớp DA đóng vai trò là bộ tổng hợp cho Rollup và ủy quyền cho chúng xử lý việc bao gồm và sắp xếp các giao dịch.

Như bạn có thể thấy trong hình bên dưới, cả ZK Rollup và Optimistic Rollup đều sử dụng cùng một lô giao dịch được đặt hàng trên Lớp DA làm nguồn của sổ cái tổng hợp. Đây là lý do tại sao chúng ta có thể sử dụng hai hệ thống bằng chứng cùng một lúc: các lô giao dịch được đặt hàng trên Lớp DA không bị ảnh hưởng bởi chính hệ thống bằng chứng.

Hãy nói về sự cuối cùng. Từ góc độ của một nút tổng hợp đầy đủ, quá trình tổng hợp là cuối cùng khi Lớp DA là cuối cùng, vì nó chỉ cần thực hiện các giao dịch cho biến thể này. Nhưng chúng tôi quan tâm nhiều hơn đến tính hữu hạn của nút ánh sáng. Giả sử nhà sản xuất tiêu đề tập trung đặt một số cổ phần, ký tên trên tiêu đề và đăng các gốc trạng thái được tính toán lên Lớp DA.

Giống như biến thể 4 trước đó, các nút ánh sáng sẽ tin tưởng một cách lạc quan vào việc thực thi và chờ đợi bằng chứng gian lận từ một nút đầy đủ trung thực cho thấy nhà sản xuất tiêu đề đã phạm tội gian lận. Sau khi cửa sổ chống gian lận kết thúc, khối tổng hợp sẽ là khối cuối cùng xét từ góc độ nút ánh sáng tổng hợp.

Điểm mấu chốt là nếu chúng tôi có thể nhận được bằng chứng ZK, chúng tôi không còn phải đợi cửa sổ chứng minh gian lận kết thúc nữa. Ngoài bằng chứng gian lận một vòng, chúng tôi có thể thay thế bằng chứng gian lận bằng bằng chứng ZK và loại bỏ mọi tiêu đề độc hại được tạo từ nhà sản xuất tiêu đề lạc quan!

Khi nút ánh sáng nhận được chứng chỉ ZK tương ứng với một lô giao dịch Rollup nhất định, lô đó sẽ được hoàn tất.

Bây giờ chúng tôi có một cam kết mềm nhanh chóng và một quyết định cuối cùng nhanh chóng.

Biến thể 6 vẫn có khả năng chống kiểm duyệt tương tự như Lớp DA như cơ sở của nó. Đối với độ sống động, chúng ta sẽ có L = L_da && (L_op || L_pm ), có nghĩa là chúng ta đã tăng mức đảm bảo độ sống động của mình. Nếu nhà sản xuất tiêu đề tập trung hoặc thị trường chứng minh gặp sự cố về khả năng tồn tại, chúng ta có thể quay lại kế hoạch khác.

Thiết lập giảm thiểu độ tin cậy nhỏ nhất là nút ánh sáng Lớp DA + nút ánh sáng cuộn lên.

Bản tóm tắt:

  1. Chúng tôi chia trình sắp xếp chuỗi thành hai thực thể logic: trình tổng hợp và trình tạo tiêu đề

  2. Chúng tôi chia trình sắp xếp thành ba quy trình logic: bao gồm, đặt hàng và thực thi.

  3. Các bản tổng hợp bi quan và các bản tổng hợp dựa trên là một điều

  4. Tùy thuộc vào nhu cầu của bạn, bạn có thể trình tổng hợp plug-and-play và nhà sản xuất tiêu đề.

  5. Mỗi biến thể Rollup trong bài viết này đều tuân theo mẫu thiết kế sau:

Cuối cùng, tôi có một số suy nghĩ. Hãy suy nghĩ về:

  • Làm thế nào để các bản tổng hợp cổ điển phù hợp với điều này? (đề cập đến Ethereum Rollup)
  • Trong tất cả các biến thể, chúng tôi chỉ yêu cầu trình tổng hợp thực hiện việc bao gồm + sắp xếp và thực thi trình tạo tiêu đề. Điều gì sẽ xảy ra nếu trình tổng hợp chỉ thực hiện việc bao gồm và trình tạo tiêu đề thực hiện việc đặt hàng và thực thi? Hãy suy nghĩ về đấu giá trên chuỗi. Chúng ta có thể tách cả ba ra không?
  • Thị trường nhà sản xuất tiêu đề/nhà sản xuất tiêu đề chung là gì?
  • Ai nhận được MEV? Và chúng ta có thể lấy lại được không?

Tuyên bố từ chối trách nhiệm:

  1. Bài viết này được in lại từ [Geek Web3], Forward the Original Title'Nhà nghiên cứu Celestia phân tích 6 biến thể Rollup: Sequencer = aggregator + Header Generator',Tất cả bản quyền thuộc về tác giả gốc [NashQ, Celestia Researcher]. Nếu có ý kiến phản đối việc tái bản này, vui lòng liên hệ với nhóm Gate Learn , họ sẽ xử lý kịp thời.
  2. Tuyên bố miễn trừ trách nhiệm pháp lý: Các quan điểm và ý kiến trình bày trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
  3. Việc dịch bài viết sang các ngôn ngữ khác được thực hiện bởi nhóm Gate Learn. Trừ khi được đề cập, việc sao chép, phân phối hoặc đạo văn các bài viết đã dịch đều bị cấm.

Trình tự = Trình tổng hợp + Nhà sản xuất tiêu đề

Nâng cao2/28/2024, 8:50:09 AM
Bài viết này, với mục đích làm cho mô hình Rollup dễ hiểu và phân tích hơn, nhà nghiên cứu NashQ của Celestia đã chia trình tự sắp xếp của Rollup thành hai thực thể logic - trình tổng hợp và trình tạo tiêu đề. Đồng thời, ông chia quy trình đặt hàng giao dịch thành ba bước hợp lý: đưa vào, đặt hàng và thực hiện. Được hướng dẫn bởi tư duy phân tích này, sáu biến thể quan trọng chính của Tổng hợp có chủ quyền rõ ràng và dễ hiểu hơn. NashQ đã thảo luận chi tiết về khả năng chống kiểm duyệt và tính tồn tại của các biến thể Rollup khác nhau, đồng thời khám phá cấu hình tối thiểu của từng nút biến thể Rollup ở trạng thái tin cậy tối thiểu (nghĩa là để đạt được trạng thái Không tin cậy, ít nhất là loại nút nào người dùng Rollup cần chạy).
  • Tiêu đề gốc được chuyển tiếp: Nhà nghiên cứu Celestia phân tích 6 biến thể tổng hợp: Sequencer=aggregator+Header Generator

Lưu ý: Với mục đích làm cho mô hình Tổng hợp dễ hiểu và phân tích hơn, nhà nghiên cứu NashQ của Celestia đã chia Trình tự tổng hợp thành hai thực thể logic - Bộ tổng hợp và Nhà sản xuất tiêu đề. Đồng thời, ông chia quy trình đặt hàng giao dịch thành ba bước hợp lý: đưa vào, đặt hàng và thực hiện.

Được hướng dẫn bởi tư duy phân tích này, sáu biến thể chính của Tổng hợp có chủ quyền rõ ràng và dễ hiểu hơn. NashQ đã thảo luận chi tiết về khả năng chống kiểm duyệt và tính tồn tại của các biến thể Rollup khác nhau, cũng như cấu hình tối thiểu của từng nút biến thể Rollup ở trạng thái giảm thiểu độ tin cậy (tức là để đạt được trạng thái không tin cậy, ít nhất những loại nút nào mà người dùng Rollup cần phải chạy).

Mặc dù bài viết này phân tích Rollup từ góc nhìn của Celestia, khác với cách cộng đồng Ethereum phân tích mô hình Rollup, xem xét nhiều mối liên kết giữa Ethereum Rollup và Celestia Sovereign Rollup, cũng như tầm ảnh hưởng ngày càng tăng của sau này, bài viết này cũng cực kỳ cực kỳ quan trọng. đáng đọc cho những người đam mê Ethereum.

Bản tổng hợp là gì?

Rollup là các chuỗi khối đăng dữ liệu giao dịch của chúng lên một chuỗi khối khác và kế thừa sự đồng thuận cũng như tính sẵn có của dữ liệu.

Tại sao tôi lại đổi “chặn” thành “dữ liệu giao dịch” ở đây? Hãy để tôi cho bạn biết sự khác biệt giữa khối tổng hợp và dữ liệu tổng hợp và cho bạn thấy rằng tổng số tối thiểu chỉ cần dữ liệu tổng hợp với biến thể đầu tiên của chúng tôi.

Khối cuộn lên là cấu trúc dữ liệu đại diện cho chuỗi khối ở một độ cao nhất định. Nó bao gồm dữ liệu tổng hợp và tiêu đề tổng hợp. Và dữ liệu tổng hợp là một lô giao dịch hoặc là sự khác biệt về trạng thái giữa các lô giao dịch.

Biến thể 1: Tổng hợp bi quan dựa trên

Cách đơn giản nhất để xây dựng một bản tổng hợp bắt đầu bằng việc người dùng đăng các giao dịch lên một blockchain khác. Chúng tôi sẽ gọi blockchain này là lớp đồng thuận và sẵn có của dữ liệu, nhưng tôi sẽ rút ngắn nó thành Lớp DA trong tất cả các sơ đồ sau. (Lưu ý: tương tự như Layer1 thường được nhắc đến trong cộng đồng Ethereum).

Trong biến thể đầu tiên của chúng tôi, mỗi nút tổng hợp phải phát lại tất cả các giao dịch trên blockchain để kiểm tra trạng thái mới nhất. Chúng tôi vừa tạo một Bản tổng hợp bi quan!

Bản tổng hợp bi quan là bản tổng hợp chỉ hỗ trợ các nút đầy đủ phát lại tất cả các giao dịch trong danh sách tổng hợp để kiểm tra tính hợp lệ của nó.

Nhưng trong trường hợp này, ai là người sắp xếp thứ tự trong trường hợp này? Không có thực thể nào thực sự thực hiện các giao dịch ngoài chính các nút tổng hợp đầy đủ. Thông thường, trình sắp xếp chuỗi sẽ tổng hợp các giao dịch và tạo tiêu đề tổng hợp, nhưng không có tiêu đề trong trường hợp này!

Để tạo điều kiện thuận lợi cho việc thảo luận, chúng tôi chia trình sắp xếp chuỗi thành hai thực thể logic: trình tổng hợp và trình tạo tiêu đề phân biệt nó. Một thực thể phải nhận biết trạng thái (tức là phải thực thi trạng thái để tính toán tiêu đề), nhưng trình tổng hợp không cần hiểu trạng thái để có thể tổng hợp nó.

Trình tự là quá trình tổng hợp và sản xuất tiêu đề.

Tổng hợp là quá trình gộp các giao dịch thành một đợt. Một lô giao dịch bao gồm một hoặc nhiều giao dịch. (Lưu ý: Batch là phần dữ liệu trong khối Rollup ngoại trừ Header).

Sản xuất tiêu đề là quá trình tạo tiêu đề tổng hợp.

Tiêu đề tổng hợp là siêu dữ liệu về khối, tối thiểu bao gồm cam kết về các giao dịch trong khối đó. (Lưu ý: Cam kết ở đây đề cập đến cam kết về tính chính xác của kết quả xử lý giao dịch).

Qua góc nhìn trên, chúng ta có thể thấy được ai đóng vai trò trong từng thành phần của Rollup. Đầu tiên chúng ta hãy nhìn vào phần tổng hợp. Bản tổng hợp bi quan được đề cập trước đó không có quy trình sản xuất tiêu đề và người dùng xuất bản các giao dịch trực tiếp lên Lớp DA, điều đó có nghĩa là mạng Lớp DA về cơ bản hoạt động như một công cụ tổng hợp.

Bản tổng hợp bi quan là một biến thể của Bản tổng hợp ủy quyền bước tổng hợp cho Lớp DA. Nó không có trình tự sắp xếp. Đôi khi kiểu tổng hợp này được gọi là "tổng hợp dựa trên".

Dựa trên Rollup có khả năng chống kiểm duyệt và tính sống động tương tự như Lớp DA (hoạt động đo lường tốc độ phản hồi của hệ thống đối với các yêu cầu của người dùng). Nếu người dùng loại Rollup này muốn đạt được trạng thái tin cậy tối thiểu (gần nhất với Trustless), thì họ phải chạy ít nhất một nút nhẹ Lớp DA và một nút tổng hợp đầy đủ.

Biến thể 2: Tổng hợp bi quan bằng cách sử dụng Bộ tổng hợp được chia sẻ

Hãy thảo luận về tổng hợp bi quan bằng cách sử dụng các công cụ tổng hợp được chia sẻ. Ý tưởng này đã được Evan Forbes đề xuất trong bài đăng trên diễn đàn của anh ấy về thiết kế trình sắp xếp được chia sẻ. Giả định chính là trình sắp xếp trình tự được chia sẻ là cách chính thức duy nhất để sắp xếp các giao dịch theo trình tự. Evan giải thích lợi ích của trình sắp xếp trình tự được chia sẻ như thế này:

“Để mở khóa UX tương đương với web2, trình sắp xếp được chia sẻ […] có thể cung cấp các cam kết mềm nhanh chóng (lưu ý: không phải là sự đảm bảo đáng tin cậy lắm). Các cam kết mềm này cung cấp một số lời hứa tùy ý về thứ tự giao dịch cuối cùng (nghĩa là chúng hứa rằng thứ tự giao dịch sẽ không thay đổi) và có thể được sử dụng để tạo các phiên bản trạng thái được cập nhật sớm (nhưng việc quyết toán vẫn chưa được hoàn thành vào thời điểm đó). thời gian này).

Ngay sau khi dữ liệu khối được xác nhận sẽ được đăng trên lớp cơ sở (s/b đề cập đến DAlayer), trạng thái có thể được coi là cuối cùng.”

Bởi vì chúng tôi vẫn là một bản tổng hợp bi quan, chúng tôi chỉ có các nút đầy đủ tổng hợp và không có nút ánh sáng. Mỗi nút phải thực hiện tất cả các giao dịch để đảm bảo tính hợp lệ. Không có nút ánh sáng nào trong hệ thống này nên không cần tiêu đề cuộn lên, hay còn gọi là nhà sản xuất tiêu đề. (Lưu ý: Nói chung, một light node của blockchain không cần đồng bộ hóa các khối hoàn chỉnh mà chỉ nhận các tiêu đề khối)

Vì không có bước tạo Tiêu đề tổng hợp nên trình sắp xếp chia sẻ tổng hợp nêu trên không cần thực hiện các giao dịch để cập nhật trạng thái (điều kiện tiên quyết để tạo Tiêu đề), mà chỉ bao gồm quá trình tổng hợp dữ liệu giao dịch. Vì vậy, tôi thích gọi nó là một công cụ tổng hợp được chia sẻ.

Trong biến thể này, người dùng Rollup cần chạy ít nhất những thứ sau ở trạng thái giảm thiểu độ tin cậy:

Nút ánh sáng lớp DA + nút ánh sáng của mạng tổng hợp dùng chung + Nút đầy đủ cuộn lên.

Tại thời điểm này, cần phải xác minh tiêu đề tổng hợp đã xuất bản (không đề cập đến Tiêu đề tổng hợp) thông qua nút ánh sáng của mạng tổng hợp được chia sẻ. Như đã đề cập ở trên, trình tổng hợp được chia sẻ đảm nhận nhiệm vụ sắp xếp giao dịch. Trong tiêu đề tổng hợp được xuất bản, nó chứa cam kết mật mã, tương ứng với Lô được xuất bản trên Lớp DA.

Bằng cách này, người vận hành nút Tổng hợp có thể xác nhận rằng Lô nhận được từ Lớp DA được tạo bởi trình tổng hợp được chia sẻ chứ không phải bởi người khác.

(Vì nội dung bên trên tương đối khó hiểu nên các bạn có thể đọc lại sơ đồ)

Bao gồm là quá trình một giao dịch được chấp nhận vào blockchain.

Đặt hàng là quá trình sắp xếp các giao dịch theo một trình tự cụ thể trong blockchain.

Thực thi là quá trình xử lý các giao dịch trong chuỗi khối và tác động của chúng được áp dụng cho trạng thái của chuỗi khối.

Vì công cụ tổng hợp được chia sẻ kiểm soát việc đưa vào và sắp xếp thứ tự nên chúng tôi kế thừa khả năng chống kiểm duyệt của nó.

Nếu chúng ta giả sử L_ss là mức độ hoạt động của tập hợp được chia sẻ và L_da là mức độ hoạt động của Lớp DA thì mức độ hoạt động của sơ đồ này là L = L_da && L_ss. Nói cách khác, nếu một trong hai hệ thống gặp lỗi về khả năng hoạt động thì bản tổng hợp cũng gặp lỗi về khả năng hoạt động.

Để đơn giản, tôi sẽ sử dụng tính sống động như một boolean. Nếu trình tổng hợp được chia sẻ không thành công thì chúng tôi không thể tiếp tục quá trình tổng hợp. Nếu Lớp DA không thành công, chúng tôi có thể tiếp tục thực hiện các cam kết mềm của đơn vị tổng hợp chung. Tuy nhiên, chúng tôi vẫn phải dựa vào sự đồng thuận và tính sẵn có của dữ liệu của công cụ tổng hợp được chia sẻ, điều này sẽ tệ hơn so với Lớp DA ban đầu.

Hãy tiếp tục khám phá khả năng chống kiểm duyệt của giải pháp Rollup trên:

Trong sơ đồ này, Lớp DA không thể kiểm duyệt các giao dịch cụ thể. (Lưu ý: Việc xem xét giao dịch thường có thể từ chối cho phép tải một số giao dịch nhất định lên chuỗi). Nó chỉ có thể kiểm duyệt toàn bộ các lô tổng hợp mà trình tổng hợp được chia sẻ đã tổng hợp. (từ chối một lô được đưa vào Lớp DA).

Tuy nhiên, theo quy trình làm việc của Rollup, khi trình tổng hợp chia sẻ gửi lô giao dịch đến Lớp DA, nó đã hoàn thành trình tự giao dịch và thứ tự giữa các lô khác nhau cũng đã được xác định. Do đó, loại xem xét giao dịch này của Lớp DA không có tác dụng nào khác ngoại trừ việc trì hoãn tính cuối cùng của sổ cái tổng hợp.

Tóm lại, tôi tin rằng trọng tâm của việc chống kiểm duyệt là đảm bảo rằng không một thực thể nào có thể kiểm soát hoặc thao túng luồng thông tin trong hệ thống, trong khi tính sống động liên quan đến việc duy trì chức năng và tính khả dụng của hệ thống, ngay cả khi mất mạng và những hành động chống đối. Mặc dù điều này mâu thuẫn với định nghĩa học thuật chính thống hiện nay, tôi vẫn sẽ sử dụng định nghĩa về khái niệm mà tôi đã nêu.

Biến thể 3: Tổng hợp bi quan với tập hợp dựa trên và chia sẻ

Mặc dù cộng đồng được hưởng các lợi ích của một công cụ tổng hợp được chia sẻ, chúng tôi muốn tránh phụ thuộc vào nó và muốn có một dự phòng cho Lớp DA. Chúng tôi sẽ kết hợp việc đặt hàng và cho phép người dùng gửi giao dịch trực tiếp đến Lớp DA. Nó kết hợp tổng hợp dựa trên và chia sẻ.

Chúng tôi giả định thứ tự cuối cùng sẽ được hiểu là tất cả các giao dịch được sắp xếp bởi bộ tổng hợp chung và sau đó là tất cả các giao dịch dựa trên khối DA-Layer. Chúng tôi gọi đây là quy tắc lựa chọn ngã ba tổng hợp.

Việc tổng hợp ở đây là một quá trình gồm hai bước. Đầu tiên, công cụ tổng hợp được chia sẻ sẽ dẫn đầu, tổng hợp một số giao dịch. Sau đó, Lớp DA tổng hợp với các lô và giao dịch đã đặt hàng mà người dùng trực tiếp gửi.

Phân tích khả năng chống kiểm duyệt hiện nay phức tạp hơn. Nút mạng Lớp DA có thể xem xét Lô được gửi bởi trình tổng hợp được chia sẻ trước khi khối Lớp DA tiếp theo được tạo ra. Sau khi biết dữ liệu giao dịch trong Lô, nút Lớp DA có thể trích xuất giá trị MEV, bắt đầu giao dịch chạy trước với tài khoản của nó trên mạng Tổng hợp và đưa nó vào khối Lớp DA trước khi bao gồm Lô được gửi bởi Tổng hợp tổng hợp được chia sẻ.

Rõ ràng, tính hữu hạn của lệnh giao dịch được đảm bảo bởi cam kết mềm của loại biến thể Rollup thứ ba dễ vỡ hơn loại biến thể Rollup thứ hai được đề cập ở trên. Trong trường hợp này, bộ tổng hợp được chia sẻ sẽ chuyển giá trị MEV cho nút Lớp DA. Về vấn đề này, tôi đề nghị độc giả xem bài giảng về việc kiểm duyệt MEV có lợi.

Hiện tại, một số giải pháp thiết kế đã xuất hiện để làm giảm khả năng các nút mạng Lớp DA thực hiện các giao dịch MEV như vậy, chẳng hạn như chức năng “thời gian sắp xếp lại cửa sổ”, sẽ làm trì hoãn các giao dịch được người dùng mạng Rollup gửi trực tiếp tới Lớp DA . Sovereign Labs đã trình bày chi tiết điều này trong đề xuất thiết kế của mình có tên là Trình tự dựa trên xác nhận mềm, trong đó khái niệm “trình sắp xếp ưu tiên” được đề xuất.

Vì MEV phụ thuộc vào sơ đồ tổng hợp mà bạn chọn và quy tắc lựa chọn nhánh của quá trình tổng hợp, một số sẽ không bị rò rỉ và một số sẽ rò rỉ một số hoặc tất cả MEV cho Lớp DA, nhưng đó là chủ đề cho một ngày khác.

Về tính sống động, thiết kế tổng hợp này có ưu điểm hơn là chỉ có một công cụ tổng hợp dùng chung. Nếu trình tổng hợp được chia sẻ gặp lỗi về khả năng hoạt động, người dùng vẫn có thể gửi giao dịch đến Lớp DA.

Cuối cùng, hãy nói về thiết lập giảm thiểu độ tin cậy nhỏ nhất: nút ánh sáng Lớp DA + nút ánh sáng tổng hợp được chia sẻ + nút đầy đủ cuộn lên.

Tại thời điểm này, chúng tôi vẫn cần xác thực các tiêu đề của trình tổng hợp được chia sẻ cho nút đầy đủ tổng hợp của chúng tôi để có thể phân biệt các lô giao dịch cho quy tắc lựa chọn nhánh của nó.

Biến thể 4: Tổng hợp lạc quan dựa trên nhà sản xuất tiêu đề tập trung

Hãy bắt đầu nấu một số nút nhẹ bằng cách sử dụng một biến thể được gọi là tổng hợp lạc quan dựa trên trình tạo tiêu đề tập trung. Thiết kế này sử dụng Lớp DA để tổng hợp các giao dịch nhưng chúng tôi giới thiệu một trình tạo tiêu đề tập trung để kích hoạt các nút ánh sáng tổng hợp.

Các nút ánh sáng tổng hợp có thể gián tiếp xác minh tính hợp lệ của các giao dịch Rollup thông qua một vòng bằng chứng gian lận duy nhất. Nút ánh sáng sẽ có thái độ lạc quan đối với trình tạo Tiêu đề tổng hợp và đưa ra xác nhận cuối cùng sau khi khoảng thời gian chống gian lận kết thúc. Một khả năng khác là nó nhận được bằng chứng gian lận từ một nút đầy đủ trung thực khi biết rằng trình tạo Tiêu đề đã gửi dữ liệu không chính xác.

Tôi sẽ không đi sâu vào chi tiết về cách thức hoạt động của bằng chứng gian lận một vòng vì điều này sẽ phá vỡ phạm vi của bài viết này. Lợi ích ở đây là bạn có thể giảm thời gian trong khoảng thời gian chống gian lận từ 7 ngày xuống một mức nào đó, thời gian này vẫn chưa được xác định nhưng mức độ nhỏ hơn. Các nút ánh sáng có thể nhận được bằng chứng gian lận thông qua lớp p2p mà không cần chờ tranh chấp, vì mọi thứ đều được ghi lại trong một bằng chứng duy nhất.

Chúng tôi sử dụng Lớp DA làm công cụ tổng hợp kế thừa khả năng chống kiểm duyệt của nó. Nó bao gồm và đặt hàng. Nhà sản xuất tiêu đề tập trung sẽ đọc thứ tự chuẩn từ Lớp DA và có thể tạo tiêu đề hợp lệ từ đó. Nhà sản xuất tiêu đề tập trung sẽ đăng tiêu đề và gốc trạng thái lên Lớp DA. Những nguồn gốc tiểu bang này là cần thiết để tạo ra bằng chứng gian lận chống lại cam kết này. Trình tổng hợp thực hiện việc bao gồm và sắp xếp, trong khi trình tạo tiêu đề thực hiện việc thực thi.

Người ta giả định rằng Lớp DA (cũng đóng vai trò là công cụ tổng hợp của Rollup tại thời điểm này) đủ phi tập trung và có khả năng chống kiểm duyệt tốt. Ngoài ra, nhà sản xuất Tiêu đề không thể thay đổi trình tự giao dịch Tổng hợp do trình tổng hợp xuất bản. Bây giờ, nếu nhà sản xuất Tiêu đề được phân cấp, lợi ích duy nhất là tính sống động tốt hơn, nhưng các thuộc tính khác của Tổng hợp vẫn giống như biến thể đầu tiên, Dựa trên Tổng hợp.

Nếu nhà sản xuất tiêu đề gặp lỗi về khả năng hoạt động thì bản tổng hợp cũng gặp lỗi về khả năng hoạt động. Nút nhẹ sẽ không thể theo chuỗi, trong khi các nút đầy đủ vẫn có thể theo chuỗi nếu muốn, quay trở lại trạng thái tổng hợp bi quan dựa trên như được mô tả trong biến thể 1. Rõ ràng,Cấu hình tối thiểu để giảm thiểu độ tin cậy được mô tả trong biến thể 4 là:

Nút ánh sáng lớp DA + Nút ánh sáng cuộn lên.

Biến thể 5: ZK-Rollup dựa trên thị trường chứng minh phi tập trung

Chúng ta đã thảo luận về Tổng hợp bi quan (Tổng hợp dựa trên) và Tổng hợp lạc quan, bây giờ là lúc xem xét ZK-Rollup. Gần đây Toghrul đã trình bày về việc tách trình tổng hợp (Sequencer) và trình tạo Header (Prover) (Tách Sequencer-Prover trong Zero-Knowledge Rollups). Trong mô hình này, việc xuất bản các giao dịch dưới dạng dữ liệu Tổng hợp thay vì Phân biệt trạng thái sẽ dễ xử lý hơn, vì vậy tôi sẽ tập trung vào dữ liệu trước. Biến thể 5 là một zk-rollup dựa trên thị trường chứng minh phi tập trung.

Đến bây giờ, bạn đã quen với công việc của một bản tổng hợp dựa trên. Biến thể 5 ủy quyền vai trò tổng hợp cho các nút Lớp DA, thực hiện công việc bao gồm và sắp xếp. Tôi sẽ trích dẫn từ tài liệu của Sovereign-Labs, tài liệu này thực hiện một công việc tuyệt vời trong việc giải thích vòng đời thiết kế của họ. Tôi sẽ điều chỉnh nó một chút để nó phù hợp với biến thể 5.

Người dùng đăng một khối dữ liệu mới lên chuỗi L1. Ngay sau khi blob được hoàn thiện trên L1, về mặt logic, nó sẽ là cuối cùng. Ngay sau khi khối L1 được hoàn tất, các nút đầy đủ của quá trình tổng hợp sẽ quét qua nó và xử lý tất cả các đốm màu dữ liệu có liên quan theo thứ tự chúng xuất hiện, tạo ra gốc trạng thái tổng hợp mới. Tại thời điểm này, khối được hoàn thiện một cách chủ quan từ góc nhìn của tất cả các nút đầy đủ.

Nhà sản xuất tiêu đề của chúng tôi trong thiết kế này là thị trường chứng minh phi tập trung.

Các nút Prover (các nút đầy đủ chạy bên trong ZKVM) thực hiện quy trình gần giống như các nút đầy đủ - quét qua khối DA và xử lý tất cả các lô theo thứ tự - tạo ra bằng chứng và đăng chúng lên chuỗi. (Bằng chứng cần phải được đăng trên chuỗi nếu tổng hợp muốn khuyến khích người chứng minh - nếu không, không thể biết người chứng minh nào là người đầu tiên xử lý một lô nhất định). Sau khi bằng chứng cho một lô nhất định đã được đăng trên chuỗi, lô đó về mặt chủ quan sẽ là cuối cùng đối với tất cả các nút, bao gồm cả các nút nhẹ.

(Vì có nhiều khái niệm liên quan nên các bạn có thể xem lại sơ đồ)

Biến thể 5 có khả năng chống kiểm duyệt tương tự như Lớp DA. Thị trường chứng minh phi tập trung không thể kiểm duyệt các giao dịch vì Lớp DA xác định thứ tự chuẩn. Chúng tôi chỉ phân cấp nhà sản xuất tiêu đề để hoạt động tốt hơn và tạo ra một thị trường khuyến khích. Sự sống động ở đây là L = L_da && L_pm (thị trường chứng minh). Nếu các ưu đãi của thị trường chứng minh bị sai lệch hoặc có lỗi về tính hoạt động, các nút ánh sáng sẽ không thể tuân theo chuỗi, nhưng các nút đầy đủ tổng hợp vẫn có thể tuân theo chuỗi nếu muốn, quay trở lại tổng hợp bi quan dựa trên. Ở đây có thiết lập giảm thiểu độ tin cậy nhỏ nhất, giống như trong trường hợp lạc quan có nút ánh sáng Lớp DA + nút ánh sáng cuộn lên.

Biến thể 6: Tổng hợp kết hợp dựa trên Nhà sản xuất tiêu đề lạc quan tập trung và Nhà cung cấp dịch vụ phi tập trung

Chúng tôi vẫn để các nút Lớp DA đóng vai trò là bộ tổng hợp cho Rollup và ủy quyền cho chúng xử lý việc bao gồm và sắp xếp các giao dịch.

Như bạn có thể thấy trong hình bên dưới, cả ZK Rollup và Optimistic Rollup đều sử dụng cùng một lô giao dịch được đặt hàng trên Lớp DA làm nguồn của sổ cái tổng hợp. Đây là lý do tại sao chúng ta có thể sử dụng hai hệ thống bằng chứng cùng một lúc: các lô giao dịch được đặt hàng trên Lớp DA không bị ảnh hưởng bởi chính hệ thống bằng chứng.

Hãy nói về sự cuối cùng. Từ góc độ của một nút tổng hợp đầy đủ, quá trình tổng hợp là cuối cùng khi Lớp DA là cuối cùng, vì nó chỉ cần thực hiện các giao dịch cho biến thể này. Nhưng chúng tôi quan tâm nhiều hơn đến tính hữu hạn của nút ánh sáng. Giả sử nhà sản xuất tiêu đề tập trung đặt một số cổ phần, ký tên trên tiêu đề và đăng các gốc trạng thái được tính toán lên Lớp DA.

Giống như biến thể 4 trước đó, các nút ánh sáng sẽ tin tưởng một cách lạc quan vào việc thực thi và chờ đợi bằng chứng gian lận từ một nút đầy đủ trung thực cho thấy nhà sản xuất tiêu đề đã phạm tội gian lận. Sau khi cửa sổ chống gian lận kết thúc, khối tổng hợp sẽ là khối cuối cùng xét từ góc độ nút ánh sáng tổng hợp.

Điểm mấu chốt là nếu chúng tôi có thể nhận được bằng chứng ZK, chúng tôi không còn phải đợi cửa sổ chứng minh gian lận kết thúc nữa. Ngoài bằng chứng gian lận một vòng, chúng tôi có thể thay thế bằng chứng gian lận bằng bằng chứng ZK và loại bỏ mọi tiêu đề độc hại được tạo từ nhà sản xuất tiêu đề lạc quan!

Khi nút ánh sáng nhận được chứng chỉ ZK tương ứng với một lô giao dịch Rollup nhất định, lô đó sẽ được hoàn tất.

Bây giờ chúng tôi có một cam kết mềm nhanh chóng và một quyết định cuối cùng nhanh chóng.

Biến thể 6 vẫn có khả năng chống kiểm duyệt tương tự như Lớp DA như cơ sở của nó. Đối với độ sống động, chúng ta sẽ có L = L_da && (L_op || L_pm ), có nghĩa là chúng ta đã tăng mức đảm bảo độ sống động của mình. Nếu nhà sản xuất tiêu đề tập trung hoặc thị trường chứng minh gặp sự cố về khả năng tồn tại, chúng ta có thể quay lại kế hoạch khác.

Thiết lập giảm thiểu độ tin cậy nhỏ nhất là nút ánh sáng Lớp DA + nút ánh sáng cuộn lên.

Bản tóm tắt:

  1. Chúng tôi chia trình sắp xếp chuỗi thành hai thực thể logic: trình tổng hợp và trình tạo tiêu đề

  2. Chúng tôi chia trình sắp xếp thành ba quy trình logic: bao gồm, đặt hàng và thực thi.

  3. Các bản tổng hợp bi quan và các bản tổng hợp dựa trên là một điều

  4. Tùy thuộc vào nhu cầu của bạn, bạn có thể trình tổng hợp plug-and-play và nhà sản xuất tiêu đề.

  5. Mỗi biến thể Rollup trong bài viết này đều tuân theo mẫu thiết kế sau:

Cuối cùng, tôi có một số suy nghĩ. Hãy suy nghĩ về:

  • Làm thế nào để các bản tổng hợp cổ điển phù hợp với điều này? (đề cập đến Ethereum Rollup)
  • Trong tất cả các biến thể, chúng tôi chỉ yêu cầu trình tổng hợp thực hiện việc bao gồm + sắp xếp và thực thi trình tạo tiêu đề. Điều gì sẽ xảy ra nếu trình tổng hợp chỉ thực hiện việc bao gồm và trình tạo tiêu đề thực hiện việc đặt hàng và thực thi? Hãy suy nghĩ về đấu giá trên chuỗi. Chúng ta có thể tách cả ba ra không?
  • Thị trường nhà sản xuất tiêu đề/nhà sản xuất tiêu đề chung là gì?
  • Ai nhận được MEV? Và chúng ta có thể lấy lại được không?

Tuyên bố từ chối trách nhiệm:

  1. Bài viết này được in lại từ [Geek Web3], Forward the Original Title'Nhà nghiên cứu Celestia phân tích 6 biến thể Rollup: Sequencer = aggregator + Header Generator',Tất cả bản quyền thuộc về tác giả gốc [NashQ, Celestia Researcher]. Nếu có ý kiến phản đối việc tái bản này, vui lòng liên hệ với nhóm Gate Learn , họ sẽ xử lý kịp thời.
  2. Tuyên bố miễn trừ trách nhiệm pháp lý: Các quan điểm và ý kiến trình bày trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
  3. Việc dịch bài viết sang các ngôn ngữ khác được thực hiện bởi nhóm Gate Learn. Trừ khi được đề cập, việc sao chép, phân phối hoặc đạo văn các bài viết đã dịch đều bị cấm.
Comece agora
Inscreva-se e ganhe um cupom de
$100
!