Hiện nay, có hai loại tổng hợp chính:
- Dựa trên các khối tổng hợp , thứ tự các giao dịch trong khối tổng hợp được xác định bởi L1: một Block tổng hợp là một giao dịch L1, và thứ tự của các khối giống với thứ tự các giao dịch đó xuất hiện trên L1.
- Tổng hợp tuần tự , trong đó thứ tự các giao dịch được xác định bởi một cơ chế ngoài chuỗi, ví dụ: một bộ sắp xếp tập trung hoặc cơ chế Consensus BFT. Lịch sử tổng hợp được ghi nhận định kỳ vào L1, nhưng các quyết định về thứ tự được đưa ra rõ ràng bởi cơ chế ngoài chuỗi.
Các giao dịch rollup tuần tự có ưu điểm chính là độ trễ thấp hơn nhiều so với Ethereum L1. Các giao dịch rollup dựa trên khối có ưu điểm chính là khả năng kết hợp đồng bộ với Ethereum L1. Một giao dịch có thể thực hiện các hành động sử dụng cả tính thanh khoản L1 và L2, bằng cách trực tiếp chứa toàn bộ Block L2 và thực hiện các hành động trước và sau đó, bao gồm cả các xác nhận sau đó để hoàn tác mọi thứ (bao gồm cả Block L2), nếu chúng thất bại .
Bài viết này sẽ chứng minh rằng việc kết hợp cả hai phương pháp là khả thi, nhưng cần có một số hạn chế.
Thiết kế
Có ba loại khối L2:
- Các khối tuần tự thông thường : những khối này yêu cầu chứng chỉ trình tự (ví dụ: chữ ký máy chủ trung tâm, phiếu bầu từ 2/3 ủy ban…) để hợp lệ và chúng xuất hiện thường xuyên.
- Các khối tuần tự kết thúc khe : những khối này yêu cầu chứng chỉ trình tự và đi kèm với một thông báo đặc biệt cho biết rằng việc xây dựng một Block cơ sở trên chúng và đưa nó vào L1 là hợp lệ, chỉ trong khe hiện tại (và cũng nếu Block cha L1 khớp).
- Khối cơ sở : bất kỳ ai cũng có thể xây dựng và thêm chúng vào, nhưng chỉ có thể đặt trên cùng một Block tự kết thúc bằng vị trí (hoặc, có thể, trên cùng một Block cơ sở khác).
Nhiệm vụ của bộ tạo trình tự L2 là chơi trò chơi định thời. Thông thường, chúng phát hành các khối tổng hợp được sắp xếp theo trình tự với độ trễ rất thấp. Sau đó, gần cuối khe, chúng phát hành một Block được sắp xếp theo trình tự kết thúc khe - đủ sớm để người xây dựng có thể tạo một Block cơ sở và đưa nó vào, nhưng đủ muộn để giảm thiểu khoảng thời gian không có độ trễ rất thấp. Cuối cùng, chúng bắt đầu tạo các khối được sắp xếp theo trình tự cho khe tiếp theo ngay khi chúng chắc chắn rằng Block L1 đã được xác nhận.
Nếu trong một vị trí nhất định, không có Block cơ sở nào được bao gồm (hoặc do không ai đến xây dựng đúng giờ, hoặc do người đề xuất vắng mặt hoặc bị lỗi), thì bộ điều khiển trình tự sẽ bắt đầu vị trí tiếp theo bằng cách xây dựng trực tiếp lên trên Block kết thúc vị trí của vị trí trước đó.
Của cải
- Thiết kế này chỉ tương thích với các khối L2 sẵn sàng hoàn nguyên nếu khối L1 hoàn nguyên. Điều này là do nếu một Block cơ sở hoàn nguyên, bất kỳ khối nào được xây dựng tiếp theo trên đó cũng sẽ hoàn nguyên. Việc chờ đợi cho đến khi Block L1 chứa Block cơ sở hoàn tất sẽ gây ra sự chậm trễ quá lâu, ngay cả trong điều kiện lý thuyết lý tưởng về cơ chế Tính chất cuối cùng của L1.
- Trong điều kiện bình thường, độ trễ xung quanh thời điểm công bố khối L1 sẽ khá Short. L2 công bố Block kết thúc khe của nó, ngay lập tức những người xây dựng sẽ xây dựng các khối dựa trên đó, rất nhanh sau đó người đề xuất sẽ tạo Block L1 của mình bao gồm các khối đó, và sau đó những người chứng thực sẽ thực hiện chứng thực ngay sau khi người đề xuất đề xuất, dọn đường cho các khối được tuần tự mới được đưa vào.
- Lưu ý rằng việc xuất bản một Block kết thúc khe quá muộn không gây ra rủi ro bảo mật: điều tồi tệ nhất xảy ra đơn giản là không ai xây dựng trên khối đó. Tuy nhiên, việc xuất bản Block được sắp xếp đầu tiên của khe tiếp theo quá sớm lại tiềm ẩn rủi ro bảo mật, bởi vì nếu người sắp xếp xây dựng trên một Block bị sắp xếp lại, thì Block của họ cũng sẽ bị sắp xếp lại.
- Thời gian trì hoãn lâu nhất xảy ra trong trường hợp người đề xuất vắng mặt, vì những người xác nhận sẽ chờ để chắc chắn rằng không có người đề xuất nào hiện diện, và chỉ sau đó mới công bố các xác nhận.
- Thiết kế này không đạt được lợi ích về tính không cần cấp phép của các khối tổng hợp dựa trên cơ sở, bởi vì việc xây dựng một Block dựa trên cơ sở yêu cầu chứng chỉ trình tự từ một Block được sắp xếp theo trình tự kết thúc khe. Để đạt được tính không cần cấp phép, cách dễ nhất là giới thiệu một kênh bao gồm bắt buộc trên L1. Những người xây dựng Block dựa trên cơ sở có thể chịu trách nhiệm bao gồm tất cả các giao dịch trong hộp thư đến bao gồm bắt buộc.
