Đi sâu vào các chi tiết kỹ thuật của Bộ tuần tự và cầu nối Polygon zkEVM

Tiêu đề gốc: "Dòng zkEVM (2) | Polygon zkEVM Thêm chi tiết kỹ thuật về Sequencer và Bridge"

Tác giả gốc: Oxhhh | Ethstorage (Twitter: @hhh69251498)

Bản gốc tổng hợp: Red One, BinaryDAO

Trong bài viết đầu tiên về đa giác zkEVM (zkEVM Series (1)｜Kiến trúc tổng thể của Polygon zkEVM và quy trình thực hiện giao dịch), chúng tôi đã tóm tắt khung tổng thể và quy trình thực hiện giao dịch của Polygon zkEVM, đồng thời phân tích cách Polygon zkEVM đạt được khả năng mở rộng điện toán đồng thời kế thừa tính bảo mật của L1; trong bài viết này, chúng tôi sẽ dựa vào bài viết trước để thiết lập khung, đi sâu vào chi tiết kỹ thuật hơn về Sequencer và Kết nối trong đa giác zkEVM, đồng thời khám phá các đặc điểm khác nhau của kiến trúc Trình sắp xếp chuỗi phi tập trung tiềm năng trong tương lai.

1. Phân tích chuyên sâu về cầu zkEVM

Ở phần trước Trong bài viết này, khi giới thiệu Polygon zkEVM, chúng tôi thực sự đã bỏ lỡ một phần rất quan trọng, đó là cầu nối gốc của Polygon zkEVM. (Lưu ý: Trong bài viết này, L2 đề cập cụ thể đến Rollup và L1 đề cập cụ thể đến Ethereum.)

1. Quản lý trạng thái dữ liệu chuỗi chéo 

Polygon zkEVM duy trì một cây ở L1 và một cây ở L2 tương ứng là Cây thoát, có tên lần lượt là cây Thoát Merkle L1 và cây Thoát Merkle L2. Nhưng để quản lý tốt hơn hai cây này, Polygon zkEVM đã khéo léo kết hợp hai cây này như minh họa bên dưới:

Nghĩa là, sử dụng L1 Exit Tree Root làm nút lá bên trái của Global Exit Tree và sử dụng L2 Exit Tree Root làm nút lá bên phải của Global Exit Tree. Tuy nhiên, cần lưu ý rằng Gốc cây L1 và Gốc cây L2 là Cây Merkle thưa thớt (SMT) và Cây thoát toàn cầu là Cây Merkle nhị phân.

L1/L2 Exit Tree Thông tin cơ bản của các nút lá như sau:

2. Quy trình chuỗi chéo

trên Đa giác Trong thiết kế hợp đồng của zkEVM, các hợp đồng Cầu nối và Đồng thuận được tách rời nhiều nhất có thể. Hiện tại, các hợp đồng được triển khai ở L1 chủ yếu được chia thành ba loại, như thể hiện trong hình bên dưới:

Cần lưu ý rằng không có mối quan hệ thừa kế giữa chúng, chúng là những hợp đồng độc lập và cả PolygonZkEVMBridge và PolygonZkEVM đều sẽ được điều chỉnh. PolygonZkEVMGlobalExitRoot để cập nhật hoặc xác minh Root cây thoát toàn cầu.

Quy trình chuỗi chéo của L1 L2  

Quy trình chuỗi chéo của L1 L2 tương ứng với màu cam đánh dấu vào hình trên Ba bước:

globalExitRoot trong cấu trúc tương ứng với BatchData trong mã sau:

Hợp đồng của PolygonZkEVMBridge trong L2  ;

https://testnet-zkevm.polygonscan.com/tx/0x2a742f2f8a7b8635a76cc70b4574bebb1a81b2c0c1a618188773a1f 8f2 283bb8

https://testnet-zkevm.polygonscan.com/address/0x39e780d8800f7396e8b7530a8925b14025aedc77#code2)

Quy trình chuỗi chéo L2 L1

Người dùng gọi hợp đồng Bridge được triển khai trong L2 (PolygonZkEVMBridge.sol)  gửi L2-Bridge-Tx, nút này sẽ cập nhật và thêm nút mới trong Cây thoát L2, sau đó cập nhật Root cây thoát L2 và Root cây thoát toàn cầu theo trình tự.

Tiếp theo, Sequencer sẽ đưa L2-Bridge-Tx vào một Batch nhất định và gửi đến sự đồng thuận L1 và hợp đồng DA (PolygonZkEVM.sol).

Sau đó, khi Bộ tổng hợp gọi TrustedVerifyBatches() để gửi bằng chứng hợp lệ cho L1, nó cũng sẽ tải lên L2 Exit Root làm Đầu vào. Đó là NewLocalExitRoot trong chức năng sau. Nó thể hiện rằng L2 có các giao dịch BridgeToL1 mới, nhưng các giao dịch này chưa thể được rút trong L1. Bạn cần đợi NewLocalExitRoot mới được xác minh thành công.

ExitRoot cục bộ mới sắp đến cũng sẽ được sử dụng như một phần của mạch xác minh. Nhập logic xác minh này để biết liệu các giao dịch BridgeToL1 mới xảy ra trong L2 của tôi có làm cho L2Exit Tree Root thay đổi hay không. Trở thành Local ExitRoot mới của bài gửi hiện tại.

Nếu Bằng chứng về tính hợp lệ này được xác minh thì Global Exit RootManager của L1 sẽ cập nhật L2 Thoát gốc trre và Thoát gốc cây toàn cầu:

  GlobalExitRootManager.updateExitRoot(newLocalExitRoot);

Tại thời điểm này, người dùng có thể gọi hàm ClaimAsset() của hợp đồng Bridge (PolygonZkEVMBridge.sol) được triển khai trong L1 và đưa ra Đường dẫn Merkle tương ứng thực hiện rút tiền và giao dịch chuỗi chéo kết thúc một cách hoàn hảo. g0.563888 8888888889">

2. Polygon zkEVM chống lại kiểm duyệt như thế nào

Trong bài viết trước, chúng tôi đã giới thiệu Trusted Sequencer, một Single Sequencer do chính thức điều hành. Về cơ bản, tất cả các giao dịch trong mạng L2 sẽ được gửi đến Trusted Sequencer này và có thể đạt được Kết quả cuối cùng theo trình tự kịp thời. 5740740740 74074 ">

Trên thực tế, người dùng cũng có thể gửi trực tiếp các giao dịch đến hợp đồng L1 thông qua phương thức khác mà không cần thông qua Trusted Sequencer, từ đó đảm bảo rằng toàn bộ mạng vẫn có sự kiểm duyệt nhất định - đặc tính kháng. 5740740740 74074 ">

1. Quá trình thực thi 

1) Người dùng gọi hàm Force Batch trong hợp đồng L1. Thông qua chức năng này, người dùng có thể gửi trực tiếp giao dịch L2 mà mình muốn thực hiện đến L1 hợp đồng. 5740740740 74074 ">

2) Hợp đồng sẽ đóng gói các Giao dịch này thành một Lô và ghi lại nó trong Bản đồ các lô bắt buộc trong hợp đồng.

3) Trình tự đáng tin cậy sẽ giám sát khi có một Lô lực lượng mới trong các Lô lực lượng, nó sẽ được đồng bộ hóa với nút cục bộ và sau đó ForceBatch sẽ được đưa vào vào lần tiếp theo các Lô được gửi tới L1.

4) Tuy nhiên, có một tình huống đặc biệt ở đây. Nếu Chuỗi đáng tin cậy không thành công Nếu máy bị tắt hoặc cố tình không gửi Force Batch do người dùng gửi, sau năm ngày, người dùng có thể tự gọi hàm SequenceForceBatches() trong hợp đồng L1 để ForceBatch nhập vào các Sequenced Batches trong L1 hợp đồng, có nghĩa là Trình tự giao dịch của Lô bắt buộc này trong Tổng hợp cuối cùng được xác định bởi hợp đồng L1 và ngay cả Trình tự đáng tin cậy cũng không thể thay đổi trình tự giao dịch của Lô bắt buộc này. (Trên thực tế, tất cả các Bản tổng hợp sẽ có tính năng như vậy để cung cấp khả năng chống kiểm duyệt, chẳng hạn như Hộp thư đến và Hộp thư đến theo trình tự của Arbitrum).

Tuy nhiên, bạn nên cố gắng không làm như vậy sử dụng Force càng nhiều càng tốt Gửi giao dịch Rollup ở chế độ Hàng loạt, vì theo cách này, bạn sẽ tiết lộ nội dung giao dịch của mình khi bạn gọi Force Batch để gửi giao dịch của mình tới L1 và chuỗi giao dịch chưa được xác nhận tại thời điểm này (bạn cần để chờ Sequence đồng bộ hóa ForceBatch và Trình tự giao dịch chỉ được xác nhận thực sự khi nó được gửi lại đến L1 thông qua Sequence Batch()) Đồng thời, bạn không có cách nào để hủy giao dịch của mình. Lúc này, rất có thể bạn bị cướp.

Điều này dường như không thực sự có khả năng chống kiểm duyệt , vì phương pháp Force Batch có nguy cơ bị vội vã bỏ đi, liệu người dùng có thực sự sử dụng chức năng này?

2. Trạng thái thực sự của Sequencer

/img0.576"><740740740 74074 ">

Từ những điều trên chúng ta có thể biết rằng Trình tự Các giao dịch trong Force Batch sẽ được đồng bộ từ L1 về node cục bộ để thực thi nên trạng thái thực tế của Sequence như sau:

Bn thể hiện giao dịch được người dùng gửi trực tiếp tới Trình tự Kết quả sau khi thực hiện;

FBn có nghĩa là Sequence đồng bộ hóa các giao dịch Force Batch. kết quả sau khi thực hiện.

https://zkevm.polygon.technology /

ba , Có ba điểm cuối cùng khác nhau trong mạng L2 576">

Hãy kết nối xem xét kiến trúc tổng thể của Ploygon để mở đường cho tư duy Sequencer phi tập trung tiếp theo.

chúng tôi Cần để chú ý tới. Đối với Sequencer và Aggregator, trạng thái của chúng được đồng bộ hóa từ hợp đồng lớp đầu tiên thông qua Syschronizer và chúng không liên lạc trực tiếp với nhau.

1) Ba loại Cuối cùng .88">

Vì vậy, chúng tôi có thể nghĩ rằng hiện tại có ba cấp độ Cuối cùng khác nhau trong toàn bộ mạng mà chúng tôi đặt tên là Sequencer Finality, DA Finality và Đã xác minh  Finality.

a, loại Finality đầu tiên của Sequencer, loại Finality này còn được gọi là Soft Finality trong một số bài viết, nhưng tôi nghĩ gọi nó là Finality của Sequencer sẽ thích hợp hơn, bởi vì Finality này thực sự là cam kết trạng thái được đưa ra bởi Bộ sắp xếp đơn.  

Sau khi Trình sắp xếp chuỗi nhận được giao dịch của người dùng, trạng thái đưa ra sau khi thực thi là trạng thái không an toàn nhất; tuy nhiên, trong kịch bản Trình sắp xếp chuỗi đơn chính thức hiện tại, nó có thể đảm bảo tính bảo mật đồng thời mang lại trải nghiệm tối ưu cho người dùng. Trong mạng Tổng hợp hiện tại với một Bộ sắp xếp thứ tự duy nhất, về cơ bản bạn có thể trải nghiệm niềm vui của việc xác nhận ngay lập tức. Tuy nhiên, rủi ro lớn nhất của Single Sequencer là Sequencer bị hỏng sẽ khiến toàn bộ mạng L2 về cơ bản bị tê liệt, tuy nhiên do lớp DA nằm trên Ethereum nên vẫn có thể khôi phục một phần về trạng thái trước L2. mạng bị sập nhưng phần đó đã quá muộn, các giao dịch L2 gửi đến L1 sẽ không thể phục hồi được.

b. Loại DA cuối cùng thứ hai có nghĩa là các giao dịch này đã được gửi đến hợp đồng lớp DA của L1 và trình tự giao dịch cũng được xác định tại thời điểm này .

Trusted Sequencer đã gọi Sequence Batch để gửi giao dịch đến L1. Trong trường hợp này, giao dịch đã được lớp DA đưa vào, trong thiết kế của Polygon, do Do Trình tuần tự đáng tin cậy duy nhất nên nó có thể đảm bảo rằng các giao dịch được tải lên hợp đồng L1 cho DA là các giao dịch hợp lệ. Chúng ta có thể nghĩ rằng khi một giao dịch được Trình sắp xếp đáng tin cậy tải lên hợp đồng L1, giao dịch đó đã được mạng Tổng hợp công nhận vào thời điểm này và sau đó Bộ tổng hợp sẽ cung cấp Bằng chứng hợp lệ để khiến giao dịch thực sự không thể Hoàn nguyên (trừ khi L1 Tái cấu trúc).

c. Loại Cuối cùng được xác minh thứ ba có nghĩa là giao dịch đã được xác minh bằng Bằng chứng về tính hợp lệ và là một Cuối cùng thực sự, nó cũng được sử dụng trong một số bài viết. Đó là được gọi là Cuối cùng cứng.

Khi Bằng chứng hợp lệ do Bộ tổng hợp cung cấp cho một loạt giao dịch được tải lên lớp DA được hợp đồng xác minh, tại thời điểm này, chúng tôi tin rằng các giao dịch này có thể không còn là Revert (Trừ khi L1 Reorg). Chúng tôi đã đề cập trong bài viết trước rằng thời gian hiện tại từ khi giao dịch được gửi đến lớp DA cho đến khi chuyển bằng chứng hợp lệ là 30 phút. Đồng thời, Người tổng hợp cũng có thể nhận đủ phần thưởng Matic bằng cách cung cấp Bằng chứng hợp lệ.

2) Lựa chọn trạng thái đồng bộ hóa của Bộ tổng hợp

Nếu ở đây chúng tôi giả định rằng việc cung cấp Bằng chứng xác thực mang lại lợi nhuận, thì đối với Bộ tổng hợp, cách tốt nhất để đồng bộ hóa các giao dịch không phải là đồng bộ hóa trong hợp đồng lớp DA của L1 mà là thiết lập trực tiếp liên kết rpc với Bộ sắp xếp đáng tin cậy và nhận các giao dịch mới nhất trực tiếp từ Bộ sắp xếp đáng tin cậy. Bằng cách này, nó sẽ là nhanh hơn để tạo Bằng chứng Hiệu lực. , do đó có lợi thế cạnh tranh so với các Nhà tổng hợp khác nhận giao dịch từ hợp đồng DA, bởi vì việc cung cấp Bằng chứng Hiệu lực là trên cơ sở ai đến trước được phục vụ trước. Đối với một loạt giao dịch, chỉ cần một bằng chứng hợp lệ tổng hợp và người đầu tiên gửi Bằng chứng xác thực tổng hợp có thể lấy đi phần thưởng Matic của giao dịch tương ứng và Bằng chứng xác thực do những Người tổng hợp khác tạo ra không thể nhận bất kỳ phần thưởng nào nữa.

Nhưng hiện tại, Polygon thực sự có Bộ tổng hợp đáng tin cậy, giống như vai trò Trình sắp xếp đáng tin cậy, để xử lý công việc tạo và gửi Bằng chứng hợp lệ. https://zkevm.polygon.technology/

4. Tương lai của Sequencer

Tiếp tục Tiếp theo, chúng tôi tiếp tục nghĩ về Trình sắp xếp thứ tự phi tập trung. Trước hết, câu hỏi đầu tiên là tại sao chúng ta cần một Sequencer phi tập trung, bởi vì chúng tôi hy vọng rằng Rollup có thể kế thừa tính bảo mật và phân cấp của Ethereum đồng thời mở rộng sức mạnh tính toán của Ethereum. Giải pháp Single Sequencer hiện tại rõ ràng không đạt được mục tiêu kế thừa tính phân cấp của Ethereum. Trước khi chúng ta tiếp tục phác thảo tương lai của Sequencer phi tập trung, hãy xem lại công việc của Sequencer. Lấy Polygon zkEVM làm ví dụ, quá trình xử lý các giao dịch hiện tại của Trusted Sequencer sẽ tuân theo FCFS và các giao dịch đến đầu tiên sẽ được xử lý trước.Mempool song song cũng ở chế độ riêng tư, cố gắng bảo vệ các giao dịch của người dùng khỏi bị MEV nhiều nhất có thể. khả thi.

Sau khi thu thập được một lượng giao dịch nhất định, chúng sẽ được đóng gói thành các Lô và tải lên vị trí DA tương ứng trong hợp đồng L1, và trong bài viết đầu tiên Chúng tôi cũng đề cập rằng lô được tải lên bởi Sequencer thực sự xác định thứ tự của các giao dịch bằng cách đưa hàm băm của lô trước vào lô tiếp theo. Vì vậy, chúng tôi tin rằng công việc của Trình sắp xếp chuỗi cũng tương tự như công việc của Người đề xuất L1, đề xuất một loạt giao dịch và xác nhận thứ tự của các giao dịch.

Vì chúng tôi đã bắt đầu giới thiệu Trình tuần tự phi tập trung từ Polygon zkEVM, nên trước tiên chúng tôi sẽ giới thiệu giải pháp Trình tuần tự phi tập trung của Polygon zkEVM Bằng chứng về hiệu quả (Bằng chứng về hiệu quả).

1.Proof-0f-Efficiency 

1) Mô tả giải pháp

Trong thiết kế của POE, bất kỳ ai cũng được phép trở thành Người sắp xếp chuỗi và gửi Khối tổng hợp tới L1. mạng phụ thuộc vào giao dịch. Thứ tự các hợp đồng Rollup DA được gửi tới L1. (Batch tương đương với Block in Polygon zkEVM.)

Như được hiển thị bên dưới, người dùng có thể chọn Trình sắp xếp chuỗi nào để gửi giao dịch đến hoặc thậm chí tự mình trở thành Trình sắp xếp chuỗi. nhận đủ giao dịch, các Trình sắp xếp này sẽ đóng gói các giao dịch này thành Lô và gửi đến L1.

Những cái này Sequencer Vấn đề lợi nhuận cần được xem xét:

Chi phí tuần tự= Chi phí gas L1  + tạo ra phí zkProof

Thu nhập tuần tự = phí gas L2 

Vì vậy, Trình sắp xếp chuỗi cần xem xét ít nhất có bao nhiêu giao dịch được thực hiện thành một Lô và gửi tới L1 để có thể sinh lãi. Nhưng Sequencer cũng cần xem xét một vấn đề khác, vấn đề về tính kịp thời. Nếu Sequencer gửi giao dịch quá chậm, người dùng của nó có thể bị mất vào tay các Sequencer khác cung cấp xác nhận nhanh hơn.

2) Tính khả thi của giải pháp

Trước hết, lý do cốt lõi khiến giải pháp này có thể hoạt động là do phần DA của Polygon không đưa ra bất kỳ cam kết trạng thái nào mà chỉ xác định trình tự giao dịch; cam kết trạng thái (Sequencer cam kết giao dịch tương ứng mới sau khi giao dịch được thực hiện) Trạng thái của thế giới (nhưng trạng thái này chưa được xác minh bằng Bằng chứng hợp lệ hoặc Bằng chứng gian lận) sẽ chỉ được cung cấp khi Bằng chứng hợp lệ được gửi. Đây là lý do cốt lõi tại sao điều này giải pháp có thể được thực hiện.

Trên thực tế, Arbitrum không đưa ra bất kỳ cam kết trạng thái nào khi gửi giao dịch đến hợp đồng DA, nhưng Optimism mang theo các cam kết trạng thái khi gửi giao dịch đến lớp DA, vì vậy Về lý thuyết, Arbitrum cũng có thể sử dụng POE để triển khai Trình tuần tự phi tập trung, nhưng Optimism thì không.

3) Tại sao không thể sử dụng POE khi thực hiện lời hứa của nhà nước?

Bởi vì khi nhiều Trình sắp xếp gửi Lô tới L1 gần như cùng một lúc, thực tế là không có Trình sắp xếp chuỗi có thể đảm bảo lệnh giao dịch cuối cùng của L2 trên hợp đồng DA, vì vậy nếu nó thực hiện cam kết cấp tiểu bang thì có khả năng cao là toàn bộ Lô sẽ không vượt qua được quá trình xác minh Bằng chứng Hiệu lực hoặc Bằng chứng Gian lận.

4) Cách xử lý các giao dịch không hợp lệ

Giao dịch không hợp lệ đề cập đến Ví dụ: nếu Nonce của tài khoản quá thấp và số dư tài khoản không đủ để trả phí Gas thì các giao dịch này sẽ không được đưa vào khối trong L1 (Geth), vì nếu một khối chứa giao dịch không hợp lệ , Kết quả là toàn bộ khối trở nên không hợp lệ. Người xác thực sẽ không bỏ phiếu cho một khối như vậy và Người đề xuất sẽ không đề xuất một khối như vậy.

Trong tình hình hiện tại của Bộ tuần tự đơn, mạng L2 có khả năng xác định các khối không hợp lệ như vậy và có thể tránh đưa các giao dịch đó vào hợp đồng L1 DA. Điều này có thể tránh lãng phí không gian khối L1.

Nhưng sau khi sử dụng POE, Sequencer thực sự mất khả năng xác định các giao dịch không hợp lệ đó. Do đó, trong quá trình thay đổi trạng thái do giao dịch xác minh của L1 gây ra, loại giao dịch này cũng cần phải được tình huống được tính đến và Trình sắp xếp chuỗi không thể nhận được phí xử lý của người dùng nếu gửi giao dịch không hợp lệ.

5) Mempool công khai (nhóm giao dịch công khai)?

Sau khi áp dụng POE, nếu có Công khai giữa các Bộ tuần tự phi tập trung này thì Mempool sẽ khiến giao dịch của người dùng bị hủy được gửi nhiều lần bởi các Trình sắp xếp khác nhau. Tất nhiên, chỉ giao dịch đầu tiên được gửi là giao dịch hợp lệ và cuối cùng chỉ có giao dịch này mới có thể thu được phí xử lý của người dùng.

6) Tại sao Trình sắp xếp chuỗi không thể dự đoán kết quả thực thi

tại đây Theo mô hình Trình sắp xếp không được phép này, Trình sắp xếp trình tự không thể cung cấp cho người dùng Độ chính xác kịp thời của Trình sắp xếp trình tự vì trình tự giao dịch cuối cùng được Trình sắp xếp trình tự dự đoán sẽ sai lệch so với trình tự giao dịch thực tế. Sự sai lệch này là do có thể có nhiều Trình sắp xếp trình tự gần như cùng một lúc Các lô giao dịch được gửi đến hợp đồng DA của L1 cùng một lúc, trong trường hợp này, rất khó để đảm bảo liệu thứ tự thực tế của các lô giao dịch này có giống với thứ tự dự đoán hay không.

Do đó, khi Trình sắp xếp chuỗi đồng bộ hóa trạng thái của chính nó, nó cũng sẽ đồng bộ hóa Lô giao dịch được gửi mới nhất từ hợp đồng DA của L1 và thực thi nó để có được trạng thái mới nhất, thay vì đồng bộ hóa trạng thái với các Trình sắp xếp khác. .

7) MEV của L2 thua L1 

Do thực tế là bất kỳ ai cũng có thể trở thành Trình sắp xếp thứ tự và gửi giao dịch đến mạng Tổng hợp và giao dịch được gửi đến lô giao dịch thực sự giống như một giao dịch thông thường trong L1, vì vậy nó thực sự sẽ trải qua toàn bộ quá trình của MEV Boost, có nghĩa là MEV của mạng L2 Tất cả sẽ bị mất vào mô-đun MEV Boost.

8) Thiết kế tổng hợp

Về thiết kế của POE, Bộ tổng hợp cũng không được phép, nhưng vì Bằng chứng hợp lệ thực sự chỉ yêu cầu một giao dịch chính xác, điều đó có nghĩa là chỉ Người tổng hợp đầu tiên gửi Bằng chứng hợp lệ chính xác cho giao dịch mới có thể nhận được phần thưởng. Do đó, với tư cách là Người tổng hợp, bạn cần cân nhắc mối quan hệ giữa phạm vi bằng chứng của Bằng chứng hợp lệ đã gửi, thời gian gửi và phần thưởng Matic có thể nhận được bằng cách gửi Bằng chứng hợp lệ và cuối cùng tìm ra chiến lược cạnh tranh nhất.

Có vẻ như việc sử dụng chiến lược cạnh tranh thị trường tự do này có thể tạo ra Bằng chứng Hiệu lực tương ứng với giao dịch nhanh nhất có thể.

Tóm tắt 

POE có thể mang lại một mạng PermissionLess hoàn toàn và toàn bộ mạng có thể không gặp rủi ro ngừng hoạt động, nhưng hợp đồng DA của L1 có thể bao gồm Đối với các giao dịch không hợp lệ (chẳng hạn như các giao dịch có cùng Nonce), MEV được mạng L1 thu được và chỉ có thể cung cấp DA Finality và Verify Finality. /img0.576"><7407407407 4074 ">

2. Bản tổng hợp dựa trên

Bản tổng hợp dựa trên dự kiến sẽ giao phó công việc của Bộ sắp xếp chuỗi đơn của mạng Tổng hợp cho người đề xuất Ethereum. Nó sẽ yêu cầu khối của mỗi đề xuất L1 của Người đề xuất cần phải chứa khối Tổng hợp hợp lệ. /img0.576"><7407407407 4074 ">

Do đó, Trình tạo khối của mạng L1 cần chạy nút đầy đủ Rollup để chấp nhận các giao dịch L2 và xây dựng Khối tổng hợp có giá trị tối đa. /img0.576"><7407407407 4074 ">

Ưu điểm của giải pháp như vậy là nó có thể kế thừa tính bảo mật và phân cấp của L1 ở mức độ lớn nhất, nhưng nó cũng sẽ dẫn đến việc chỉ có Sequencer có thể được cung cấp Tính cuối cùng và Tính cuối cùng đã được xác minh, MEV của L2 cũng sẽ bị mất vào L1 và mã của ứng dụng khách Ethereum cũng sẽ cần được sửa đổi, điều này cũng có thể ảnh hưởng đến tính bảo mật của L1. /img0.576"><7407407407 4074 ">

3.Trình tự chia sẻ

Bản tổng hợp được chia sẻ So với Bản tổng hợp dựa trên, khiến công việc xây dựng và gửi Khối tổng hợp cho Người đề xuất Ethereum, công việc này được bàn giao cho Share Người giải trình tự. ủy ban vào cuộc. /img0.576"><7407407407 4074 ">

3.1. Quy trình cụ thể như sau:

a. Người dùng của các Bản tổng hợp khác nhau có thể gửi trực tiếp các giao dịch Tổng hợp đến mạng nơi đặt Trình tự chia sẻ 

b.Bộ sắp xếp được chia sẻ sẽ chạy đồng thuận BFT nội bộ và chọn một BFT trong mỗi vòng  Trình sắp xếp chuỗi Lãnh đạo sắp xếp các giao dịch theo trình tự và xây dựng Khối tổng hợp tương ứng.

c. Sau đó gửi các Khối tổng hợp này tới các hợp đồng DA tương ứng với các mạng Tổng hợp khác nhau trên L1 

d Sau đó, các mạng Rollup khác nhau sẽ đồng bộ hóa các giao dịch mới nhất trong mạng thông qua hợp đồng DA của L1, sau đó thực hiện quy trình xác minh Bằng chứng Hợp lệ hoặc Bằng chứng Gian lận của riêng họ.

3.2. Tác động tiềm tàng của kiến trúc Trình sắp xếp chung 

1) Được chia sẻ bởi nhiều mạng Rollup Ủy ban sắp xếp trình tự được chia sẻ

2 ) Từ góc độ của một Bản tổng hợp duy nhất, nó chỉ ủy thác Trình sắp xếp chuỗi đơn được chạy chính thức cho Ủy ban trình sắp xếp chung3) Trong mỗi vòng, Người lãnh đạo Trình sắp xếp chuỗi sẽ được chọn từ Ủy ban sắp xếp chuỗi chung để chịu trách nhiệm truy cập vào mạng Bộ sắp xếp chuỗi được chia sẻ. được xây dựng và các Khối tổng hợp này lần lượt được gửi đến hợp đồng Rollup DA tương ứng trên Ethereum.

a. Ví dụ: A cần liên kết chéo USDC trên Arbitrum để lạc quan , sau đó Quy trình thông thường là nó sẽ khóa Arbitrum trước, đợi Khóa thành công, sau đó đến Optimism để gửi Bằng chứng khóa của nó (ví dụ: Đường dẫn cây Merkle + Gốc cây) trong Arbitrum, sau đó đúc tài sản USDC tương ứng về sự lạc quan;

b. Khi người dùng gửi giao dịch như vậy đối với Trình tuần tự được chia sẻ, mỗi vòng của Seuqnecer Leader thực sự có thể thực thi thao tác Khóa Arbitrum + thao tác Optimism Mint trong Khối tổng hợp cùng lúc, điều này có thể mang lại sự cải thiện lớn về trải nghiệm người dùng;

c. Nhưng nó vẫn không thể đạt được trải nghiệm người dùng giống như cùng một mạng Rollup. Ví dụ: khi sử dụng Mint, bạn vẫn cần cung cấp Bằng chứng khóa của mình;

d. Vì vậy, chúng ta có thể nghĩ rằng các Bản tổng hợp được kết nối với mạng Bộ tuần tự được chia sẻ này là một hệ thống gần như được đồng bộ hóa hoàn toàn;