Khả năng tương tác đáng tin cậy giữa các Rollups: tổng quan, xây dựng và thách thức

Tác giả: Marshall Vyletel Jr. Nguồn: 1kx Dịch: Shan Oppa, Golden Finance

Giới thiệu

Số lượng bản giới thiệu trên Ethereum đã bùng nổ. Theo L2Beat, tại thời điểm viết bài này, 91 L2 và L3 đã hoạt động và 82 chiếc nữa đang được triển khai. Vì vậy, cũng có nhiều sự phân mảnh về tính thanh khoản, trải nghiệm người dùng và công cụ dành cho nhà phát triển. Các giải pháp về khả năng tương tác hiện tại còn chỗ cần cải tiến vì chúng dựa vào sự kết hợp giữa cầu nối của bên thứ ba, tài sản bao bọc bên ngoài và khung mục đích, mỗi giải pháp đều có vấn đề riêng.

1. Cầu nối thanh khoản thường là mục tiêu của các vụ hack tiền điện tử lớn nhất (ví dụ: trị giá 321 triệu USD Wormhole Bridge Hack)

2. Tài sản được bao bọc bên ngoài không phổ biến và dữ liệu cho thấy mọi người thích chúng bất cứ khi nào có thể Sẵn sàng giữ tài sản ở nguyên bản (ví dụ: tài sản cầu nối chuẩn có giá trị 22 tỷ USD, trong khi tài sản được bao bọc bên ngoài chỉ có giá trị 3 tỷ USD, theo L2Beat)

3. Khung mục đích dựa vào các bên thứ ba yêu cầu một số niềm tin không đáng kể và tính phí bổ sung để tạo điều kiện cho các hoạt động cuộn chéo (ví dụ: người dùng chuỗi Degen bị mất 80 do cầu nối chính thức không đều % của mã thông báo). Khung mục đích tập trung cũng có nghĩa là mức độ cạnh tranh thấp hơn, điều này có thể dẫn đến hiệu suất và giá cả dưới mức tối ưu

Trong bài viết này, chúng tôi điều tra các triển vọng về khả năng tương tác không cần tin cậy bằng cách xác định và thảo luận sáu cấp độ giải pháp tương tác giữa các hệ sinh thái Rollup phi tập trung.

Chúng tôi bắt đầu với tình huống mặc định, đó là rút không đồng bộ từ danh sách nguồn sang L1 và kết nối thủ công với danh sách mục tiêu và cuối cùng là giả định về khả năng kết hợp trên toàn bộ cuộn lên trong một giao dịch duy nhất Kiến trúc kết thúc. Chúng ta sẽ khám phá xem mỗi cấp độ tương tác sẽ tác động như thế nào đến trải nghiệm người dùng, trải nghiệm của nhà phát triển, tiềm năng MEV và bản thân các bản tổng hợp (đặc biệt liên quan đến những thay đổi về cơ sở hạ tầng).

Bài viết này chủ yếu thảo luận về Ethereum và L2 của nó, đồng thời chỉ tập trung vào khả năng tương tác không cần tin cậy. Trong trường hợp này, "khả năng tương tác không đáng tin cậy" đề cập đến các kênh nội giao thức không yêu cầu bên thứ ba hỗ trợ chuyển giao ngoài cơ sở hạ tầng cần thiết mà hầu hết các bản tổng hợp đã yêu cầu.

Chuẩn bị

Định nghĩa

Về cơ bản, khả năng tương tác không cần tin cậy đòi hỏi một số tài nguyên được chia sẻ mà bất kỳ hai giao thức nào muốn tương tác đều phải có khả năng truy cập. Trong trường hợp của Ethereum L1, tất cả các hợp đồng thông minh đều tồn tại trong cùng một môi trường chia sẻ trạng thái hoàn chỉnh của Ethereum, vì vậy chúng sẽ luôn có khả năng tương tác ở mức cao nhất. Tuy nhiên, L2 chỉ chia sẻ lớp quyết toán thông qua một hợp đồng cầu riêng biệt nên khả năng tương tác bị hạn chế rất nhiều.

Các thành phần cơ sở hạ tầng dùng chung quan trọng có thể đưa chúng ta tiến lên trên bậc thang về khả năng tương tác không cần tin cậy là các trình sắp xếp trình tự được chia sẻ, trình xây dựng siêu hạng và giải pháp chung. Các đảm bảo và chức năng mới được các lớp chia sẻ này đưa ra có liên quan nhưng vốn đã trực giao.

1. Trình tạo trình tự/siêu trình tạo được chia sẻ: chủ yếu cải thiện tốc độ và trải nghiệm người dùng.

2. Thanh toán chung: trao đổi tài sản mà không cần đóng gói bên ngoài và nhắn tin trong giao thức.

Đầu tiên, chúng ta sẽ xác định sáu cấp độ tương tác không cần tin cậy được đề cập trong phần giới thiệu:

Để hiểu rõ hơn về từng cấp độ, chúng tôi sẽ giới thiệu các trường hợp sử dụng chính sau đây để minh họa chức năng của từng cấp độ và tác động của nó đối với người dùng, nhà phát triển, tổng hợp và hiệu ứng tìm kiếm MEV.

Ví dụ:

1. Chuyển mã thông báo tương tự
   → Gửi cho chính bạn: Trao đổi Eth thành Eth hoặc ERC-20 thành ERC-20 giữa hai Rollup

2. Mua mã thông báo
   → Lệnh giới hạn cuộn chéo: Sử dụng Eth/ERC-20 trong Rollup A, mua ERC-20 khác từ DEX trên Rollup B và (tùy chọn) ) Gửi lại cho Rollup A

Ý nghĩa:

Chúng tôi Các câu hỏi sau đây cũng sẽ được trả lời thêm hiểu tác động đến các bên liên quan chính trong bất kỳ hệ sinh thái tổng hợp nào.

1. Trải nghiệm người dùng
   Bằng cách kích hoạt mức độ tương tác này, trải nghiệm người dùng sẽ có những thay đổi gì đã xảy ra?

2. Trải nghiệm của nhà phát triển
   Trải nghiệm của nhà phát triển sẽ thay đổi như thế nào khi kích hoạt mức độ tương tác này?

3. Tiềm năng MEV
   Nếu chúng ta đạt được mức độ tương tác này, liệu các cơ hội MEV mới có khả năng xuất hiện không?

4. Tác động của Rollup
   Rollup có phải chọn tham gia bất kỳ cơ sở hạ tầng mới nào để đạt được điều này không? Những thay đổi trong cấu trúc phí của Rollup là gì? Những lợi ích tiềm năng nào có thể tích lũy từ việc Rollup tham gia vào cơ sở hạ tầng này?

Tổng quan cấp cao

Hướng tới khả năng tương tác không cần tin cậy Sáu giai đoạn< /h2>

1. L1 không đồng bộ

Cơ sở hạ tầng bắt buộc:

Không áp dụng

Theo định nghĩa, điều này đề cập đến chế độ tương tác không tin cậy mặc định hiện tại. Tất cả các bản tổng hợp được xác định theo cách này vì chúng được xây dựng trên L1 dưới dạng lớp giải quyết và chỉ có thể truy cập vào L1 đó thông qua các hợp đồng cầu nối, phát hành các cập nhật trạng thái thường xuyên để bảo vệ mạng.

Trong trường hợp này, cách chuẩn duy nhất để thực hiện bất kỳ hoạt động cuộn chéo không đáng tin cậy nào là lấy nội dung từ bản tổng hợp nguồn qua cầu nối chuẩn và đưa chúng vào L1 Lưu trữ thủ công trong Bản tổng hợp đích khi có sẵn.

Đối với Optimistic Rollup, thời gian rút tiền là khoảng 7 ngày, có tính đến khoảng thời gian kiểm tra lỗi. Trong ZK Rollup, độ trễ rút tiền ít chắc chắn hơn nhưng có thể dao động từ 15 phút đến cả ngày, như trường hợp của ZkSync.

Ngoài ra, cũng có thể thực hiện hoán đổi nguyên tử ngang hàng bằng cách sử dụng hợp đồng thông minh, nhưng đây là trường hợp sử dụng nhỏ hơn và không mở rộng quy mô một cách hiệu quả.

Điều đáng chú ý là các giải pháp của bên thứ ba hiện đang tồn tại:

1. Cầu nối thanh khoản

2. Khung ý định

Cả hai ví dụ của chúng tôi đều yêu cầu giải pháp của bên thứ ba hỗ trợ.

Gửi cho chính bạn:

1. Phương pháp tiêu chuẩn:
   → Rút tài sản từ Rollup A
   → Gửi thủ công vào Rollup B

2. Không. Ba bên:
   → Cầu nối thanh khoản/Mạng bộ giải

Trên các đơn đặt hàng giới hạn luân phiên

1. Đặc điểm kỹ thuật:
   → Rút tài sản từ Rollup A
   → Gửi thủ công vào Rollup B
   → Thực hiện lệnh giới hạn
   →Để gửi lại, ERC-20 đích phải được bọc bên ngoài

2. Bên thứ ba
   → Không gian giải pháp mới nổi trên các lệnh giới hạn tổng hợp
   → Có thiết kế mở xoay quanh mục đích sử dụng để tạo điều kiện thuận lợi cho việc này

Vì đây là mặc định nên có không cần phải thảo luận về những thay đổi trong UX, DevEx, MEV và Rollup.

2. Bao gồm nguyên tử

Cơ sở hạ tầng bắt buộc

Bộ nối tiếp được chia sẻ*

Việc đưa vào nguyên tử chỉ đảm bảo rằng gói cuộn chéo sẽ được đưa vào đoạn tiếp theo.

Điều này yêu cầu một bộ sắp xếp dùng chung, nhưng về lý thuyết, nó có thể được triển khai thủ công nếu bộ sắp xếp trên hai tập hợp nhất định không đạt được thông lượng tối đa ( Chỉ cần gửi hai giao dịch cho mỗi bộ cuộn lên). Đó là lý do tại sao chúng tôi đã thêm dấu hoa thị vào cơ sở hạ tầng bắt buộc.

Tuy nhiên, chúng tôi không giả định rằng trình tuần tự được chia sẻ chạy một nút đầy đủ của mỗi bản tổng hợp được kết nối, do đó không thể đảm bảo việc thực hiện thành công một tập hợp giao dịch. Trong trường hợp này, trình tuần tự được chia sẻ chỉ có thể đảm bảo rằng giao dịch được định dạng chính xác và sẽ được đưa vào khối tiếp theo, nhưng không nhất thiết phải được thực hiện thành công.

Vì không có đảm bảo thực thi nên không thể khai thác các Atomic include theo cách có ý nghĩa theo bất kỳ cách nào mà không gặp rủi ro về một trong các giao dịch bị đảo ngược . Vì vậy, về cơ bản chúng tôi đang ở trong tình huống tương tự như khả năng tương tác L1 Async.

Hãy cân nhắc triển khai một cuộc trao đổi tóm tắt chéo đơn giản chỉ với đảm bảo bao gồm nguyên tử:

1. Gói trao đổi tổng hợp chéo
   → Tx 1: Khóa/hủy mã thông báo trên danh sách tổng hợp nguồn
   → Tx 2: Đúc mã thông báo cho người dùng trên Địa chỉ tổng hợp mục tiêu

Chúng tôi có thể có các đảm bảo bao gồm nguyên tử rằng cả hai giao dịch thực sự được bao gồm trong khối tiếp theo của mỗi lần tổng hợp , nhưng nếu giao dịch đầu tiên quay trở lại nhưng giao dịch giao dịch thứ hai không thực hiện được, người dùng sẽ phân bổ tiền không chính xác trên chuỗi mục tiêu mà không khóa hoặc đốt chúng trên chuỗi nguồn và chúng tôi gặp phải vấn đề chi tiêu gấp đôi.

Bất kỳ giải pháp tương tác nào, cho dù là cầu nối thanh khoản, khung ý định hay trao đổi xERC-20, đều dễ gặp phải rủi ro này và không có khả năng giảm thiểu rủi ro này. Do rủi ro này, các giải pháp hiện tại yêu cầu giao dịch ban đầu phải được thực hiện thành công và được đưa vào một khối trên chuỗi nguồn trước khi có thể sử dụng rơle để gửi tin nhắn đi và thực hiện giao dịch thứ hai trên chuỗi mục tiêu.

Quan trọng: Sự bao gồm nguyên tử không có tác động đáng kể đến khả năng tương tác

3 . giải quyết

Cơ sở hạ tầng bắt buộc:

Lớp tổng hợp bằng chứng // hợp đồng cầu nối chung

Đây là lúc mọi thứ bắt đầu trở nên thú vị hơn. Nhờ sự tồn tại của hợp đồng cầu nối chung, tất cả thanh khoản được gửi vào hệ sinh thái tổng hợp từ L1 có thể được di chuyển tự do giữa tất cả các tổng hợp được kết nối. Trước đây, chúng tôi không thể trao đổi giữa các lần tổng hợp mà không thông qua các kênh chuẩn, đóng gói nội dung bên ngoài hoặc sử dụng giải pháp của bên thứ ba.

Tại sao phải thiết lập hợp đồng cầu nối chung? Để hiểu lý do tại sao hợp đồng cầu nối chung cho phép chúng tôi chuyển nội dung qua Rollup theo cách không cần tin cậy, trước tiên hãy xem xét liệu có thể sở hữu Eth trong Rollup A hay không, hủy nó và sau đó đúc nó nguyên bản trên Rollup B mà không cần phải xây dựng nó trên Lớp1 Hợp đồng cầu chung, chuyện gì sẽ xảy ra?

p>

Chúng tôi thấy rằng mỗi lần tổng hợp sẽ không đồng bộ với hợp đồng cầu nối trên mạng chính. Hợp đồng cầu cuộn B vẫn còn 50 Eth, vì vậy người dùng không thể rút 1 Eth của họ về L1.

Để giải quyết vấn đề này, chúng tôi đã thiết lập giao thức gói nội dung bên ngoài để phát hành các phiên bản mã thông báo được gói bên ngoài trong các bản tổng hợp tượng trưng cho nội dung ở nơi khác trong phiên bản gốc của mạng.

Với lớp giải quyết được chia sẻ, tình hình sẽ khác. Vì tất cả tính thanh khoản cho mỗi lần cuộn được kết nối đều bị khóa trong cùng một hợp đồng bắc cầu, nên mọi người có thể di chuyển tự do giữa các lần cuộn vì tổng giá trị trong hợp đồng bắc cầu vẫn giữ nguyên và luôn có thể rút được.

Có cần phải cập nhật ở cấp hợp đồng L1 để hiểu tính thanh khoản ở đâu để cho phép người dùng rút tiền từ mọi nơi, nhưng điều này đơn giản vì tất cả các kết nối Tất cả tóm tắt có thể đọc/ghi các hợp đồng chia sẻ.

Sử dụng lớp giải quyết chung, đối với trường hợp gửi đơn giản đến chính bạn, quy trình có thể trông như thế này.

Gửi cho chính bạn:

1. Người dùng tạo giao dịch ban đầu:
   →Tx 1: Rút Eth khi tổng hợp A (và đúc tiền khi tổng hợp B)
   →Giao dịch được phân nhóm và gửi tới hợp đồng L1
   →Nó được tổng hợp vào Trong giao dịch root, giao dịch gốc này nhóm tất cả các bản tổng hợp thanh toán được chia sẻ

2. Rollup B nhập gốc giao dịch này

3. Bộ chuyển tiếp gửi giao dịch đến cơ sở đúc tiền và bằng chứng Merkle để tổng hợp B

4. Rollup B sử dụng Bằng chứng Merkle và gốc giao dịch để xác minh các giao dịch ghi

5. Người dùng đúc tiền trên Rollup B Eth

   < /li>

6. Cuộn B gửi bằng chứng cho L1

Chúng tôi có thể mở rộng quy trình này cho bất kỳ ERC-20 nào có hợp đồng trong tất cả các lần tổng hợp trong hệ sinh thái thanh toán chung.

Chúng ta có thể coi hợp đồng cầu nối chung như một lớp nhắn tin nội giao thức giữa tất cả các tập hợp kết nối, vì vậy về mặt lý thuyết, quy trình này thực sự có thể được mở rộng cho bất kỳ Nhắn tin tùy ý nào tiêu chuẩn.

Điều này giúp chúng tôi tiến gần hơn đến khả năng kết hợp nhưng có độ trễ cao hơn do bằng chứng tổng hợp và gửi thông báo chỉ được yêu cầu sau khi các thay đổi trạng thái được phản ánh trên L1 (mặc dù thấp hơn đáng kể so với trường hợp không đồng bộ L1). Ngoài ra, bất kỳ hoạt động cuộn chéo phức tạp nào (chẳng hạn như sử dụng DEX trên Rollup B để đặt lệnh giới hạn cuộn chéo bắt đầu từ một nội dung trên Rollup A) sẽ vẫn là một quy trình rườm rà đối với người dùng, vì họ vẫn phải gửi cho chính họ và đặt lệnh giới hạn trên tổng số A. Hoán đổi nội dung theo cách thủ công trên danh sách mục tiêu. Trong trường hợp này, không thể tạo các gói cuộn chéo nguyên tử.

Một lợi ích quan trọng khác của việc giải quyết chung là có ít trở ngại hơn đối với các nhà cung cấp thanh khoản hoặc người giải quyết thực hiện lệnh trong nhiều môi trường. Vì tính thanh khoản của họ trên tất cả các lần tổng hợp được kết nối được phản ánh trong cùng một hợp đồng bắc cầu, nên họ không phải đợi thời hạn rút tiền hoàn toàn để quản lý thanh khoản tổng hợp chéo.

Tác động đến các bên liên quan:

1. Người dùng:
   Bây giờ, tài sản có thể được chuyển ở dạng gốc mà không cần thời gian rút L1

2. Nhà phát triển:
   The các thay đổi được giới hạn đối với nhà phát hành mã thông báo, những người hiện có thể phát hành phiên bản gốc của ERC-20 trên tất cả các Bản tổng hợp được kết nối bằng cách sử dụng tính năng nhắn tin nội giao thức

3. Người tìm kiếm MEV:
   Vì điều này xảy ra trên nhiều khối trong mỗi lần tổng hợp nên không có tiềm năng MEV mới

4. Bản tổng hợp:
   Các bản tổng hợp phải chọn sử dụng hợp đồng cầu nối chung và có thể thêm tính năng biên dịch trước để xử lý các thông báo Cuộn chéo

Lưu ý quan trọng: Giải quyết chung cho phép chuyển tài sản không được bao bọc bên ngoài và nhắn tin tùy ý trên tất cả các bản hợp đồng cầu nối chung và các lớp tổng hợp bằng chứng, nhưng vẫn sẽ có độ trễ không đáng kể (mặc dù nhỏ hơn L1 Async ngắn hơn nhiều) và không thể tạo ra các chùm nguyên tử tổng hợp chéo .

4. Thực thi nguyên tử

Cơ sở hạ tầng bắt buộc:

Bộ sắp xếp được chia sẻ // Super Builder

Thực thi nguyên tử cho phép chúng tôi đảm bảo thực thi thành công các gói trên các tập, nhưng Như chúng ta sẽ thấy, số trường hợp sử dụng cho các gói có khối lượng lớn không có giao dịch phụ thuộc nhỏ hơn dự kiến ​​ban đầu.

Nếu bất kỳ giao dịch đơn lẻ nào trong một tập hợp các giao dịch phụ thuộc bị đảo ngược thì tất cả các giao dịch khác sẽ trở nên không hợp lệ và cũng phải được đảo ngược, giống như việc Cross-Rollup hủy và mã thông báo đúc tiền theo cách tương tự. Việc đào mã thông báo trên danh sách mục tiêu phụ thuộc vào việc chúng đã bị đốt hay bị khóa trong danh sách nguồn, vì vậy chúng ta có thể nói rằng một tập hợp các giao dịch đốt và đúc là một tập hợp các giao dịch phụ thuộc.

Việc tạo gói này sẽ không thể thực hiện được nếu không có bên trung gian (chẳng hạn như nhà xây dựng siêu hạng) có khả năng tạo giao dịch mục tiêu.

Hãy xem xét những điều kiện nào phải đáp ứng để xây dựng gói trao đổi cuộn chéo mà không có sự tham gia của các bên khác ngoài người dùng. Phải tạo một gói để khóa/ghi nội dung trên Bản tổng hợp nguồn và truyền nội dung trên Bản tổng hợp đích, nhưng chúng tôi gặp phải sự cố:

1. Các hợp đồng trên danh sách nguồn chỉ có thể gửi tin nhắn khi khóa/hủy nội dung nguồn ban đầu, chúng không thể gọi và tạo giao dịch trên danh sách nguồn mục tiêu.
   →Đây là lý do tồn tại các giao thức nhắn tin và mạng chuyển tiếp.
   → Thông báo có thể được sử dụng để xây dựng lệnh gọi trên mục tiêu, nhưng thực tế nó không thể tự tạo giao dịch.

2. Tạo giao dịch thứ hai trên danh sách mục tiêu để đúc tiền:
   → Bản thân người dùng không thể tạo tx này vì họ không có quyền tạo ra các mã thông báo khi tổng hợp B
   → tức là) chuỗi mục tiêu cần chứng minh rằng mã thông báo đã bị đốt/khóa trên chuỗi nguồn, nhưng bằng chứng này không có sẵn cho đến sau khi giao dịch ban đầu được thực hiện, điều này không đáp ứng được yêu cầu của chúng tôi đối với tính nguyên tử. → Về mặt lý thuyết, bất kỳ bên nào khác có thể
   tạo giao dịch thứ hai với quyền đúc tiền đều có thể tạo giao dịch "đúc" trên chuỗi mục tiêu bất kỳ lúc nào mà không cần tạo "đốt" hoặc khóa trên chuỗi nguồn trước. Đây là một bước tiến lớn kẽ hở.

Chúng tôi có thể thấy rằng mặc dù chúng tôi có thể đảm bảo khả năng thực thi trên các gói tổng hợp nhưng chúng tôi không biết cách xây dựng chúng trong nơi chuyển nhượng đầu tiên Gặp khó khăn về tài sản có giá trị.

Tuy nhiên, vẫn có một số trường hợp sử dụng để thực thi nguyên tử không yêu cầu dựa vào các gói cuộn chéo. Một trong số đó là quảng cáo chênh lệch giá chéo:



Tuy nhiên, để có được sự đảm bảo thực thi nguyên tử ngay từ đầu, bản tổng hợp phải chọn chia sẻ trình sắp xếp chuỗi và trình xây dựng siêu cấp để chạy nút đầy đủ của tất cả các kết nối được kết nối cuộn lên, do đó bắt đầu từ nguyên tử. Đây là một bước rất nhỏ để triển khai khả năng kết hợp ở cấp khối và tất cả các giải pháp đặt hàng dùng chung đều thực hiện việc này. Thay đổi duy nhất cần có là người xây dựng khối hoặc các bên thứ ba khác phải có thể thay mặt người dùng tạo giao dịch để hoàn thành các gói cuộn chéo phụ thuộc.

Không có khả năng xây dựng cơ sở hạ tầng chỉ cho phép thực thi nguyên tử mà không cho phép khả năng kết hợp thêm. Do cơ sở hạ tầng đã có tính năng thực thi nguyên tử, lợi ích tương đối của việc đạt được khả năng kết hợp ở cấp khối đầy đủ vượt xa khó khăn để đạt được mục tiêu này.

Tác động đến các bên liên quan:

1. Người dùng:
   Có thể không có thay đổi nào, mặc dù bên thứ ba có thể cung cấp các giải pháp như ý định nhưng không rõ cách triển khai chúng

2. Nhà phát triển:
   Có thể không thay đổi

3. Người tìm kiếm MEV:< br>Kinh doanh chênh lệch giá cuộn chéo an toàn hơn khi xét đến nguyên tử thực thi

4. Cuộn lên:
   Cuộn lên phải chọn sử dụng trình sắp xếp/siêu Trình tạo được chia sẻ, gửi các khối chứa các giao dịch từ mỗi Cuộn lên mong muốn để tương tác, điều này có thể thay đổi cơ cấu doanh thu của Tổng hợp. Không rõ điều đó sẽ thay đổi như thế nào. -
   Thị trường sắp xếp có thể tăng doanh thu của Rollup bằng cách cho phép các nhà xây dựng có uy tín mua không gian ToB

Quan trọng: Mặc dù việc thực thi nguyên tử là được đảm bảo trên các gói tổng hợp, không có trình xây dựng siêu hạng tạo ra các phần của gói, nên không rõ các gói đó sẽ được xây dựng như thế nào, do đó, việc thực thi nguyên tử khó có thể ảnh hưởng đến khả năng tương tác. Theo mặc định, trình sắp xếp chuỗi/siêu trình xây dựng được chia sẻ sẽ xây dựng khả năng kết hợp ở cấp khối.

5. Khả năng kết hợp ở cấp khối

Cơ sở hạ tầng bắt buộc:

Bộ sắp xếp được chia sẻ // Trình xây dựng siêu cấp // Lớp tổng hợp bằng chứng* // Hợp đồng cầu nối chung*

(* = tùy chọn)

Trong hầu hết các cuộc thảo luận về trình sắp xếp được chia sẻ và các lớp giải quyết được chia sẻ, thuật ngữ thường được sử dụng để mô tả mức độ tương tác này là "khả năng kết hợp đồng bộ".

Chúng tôi đã sửa đổi thuật ngữ này một chút để mang tính mô tả hơn. Thuật ngữ được cập nhật thành "khả năng kết hợp cấp khối" có nghĩa là các gói giao dịch cuộn chéo có thể được kết hợp giữa hai lần cuộn và các gói giao dịch này sẽ được đưa vào khối tiếp theo và được thực hiện thành công. Khả năng kết hợp đồng bộ có thể bị nhầm lẫn với khả năng kết hợp ở cấp giao dịch mà chúng ta sẽ khám phá trong phần tiếp theo. Điều quan trọng là điều này đòi hỏi một trung gian (cơ sở hạ tầng đặt hàng dùng chung) có thể trở thành người thực thi và tạo ra các gói giao dịch phụ thuộc.

Ở cấp độ này, chúng tôi bắt đầu thấy khả năng kết hợp thực sự giữa các Bản tổng hợp, thay vì chỉ gửi cho chính mình để tham gia vào một dapp Rollup khác.

Bằng cách thêm trình sắp xếp được chia sẻ có thể tạo giao dịch, giờ đây chúng tôi có thể tạo các gói tổng hợp chéo mà các nhà phát triển có thể tận dụng theo chương trình.

Có hai tình huống cần xem xét:

1. Khả năng kết hợp ở cấp khối

2. Khả năng kết hợp ở cấp khối + lớp giải quyết chung

   < /li>

Trong cả hai trường hợp, chúng tôi có thể tạo các gói tổng hợp chéo cho các hoạt động phức tạp hơn, nhưng trong trường hợp thứ hai, bằng cách giải quyết chung, chẳng hạn như chúng tôi có thể sử dụng nội dung gốc , có thể có tác động giá tốt hơn trên toàn bộ hoạt động DEX tổng hợp.

Với khả năng kết hợp ở cấp khối, chúng tôi có lợi thế về thực thi nguyên tử với khả năng bổ sung để tạo các gói giao dịch phụ thuộc. Hãy xem hai ví dụ minh họa của chúng tôi.

Chuyển mã thông báo tương tự qua xERC-20 (không giải quyết chung):

1. < p style="text-align: left;">Người dùng sở hữu ERC-20

2. Người dùng tạo tx thông qua dapp:< br> →Gửi ERC-20 vào hộp khóa xERC-20 để nhận phiên bản gói xERC-20
   →Hủy xERC-20
   →Gửi tin nhắn đến cơ sở hạ tầng đặt hàng dùng chung cho biết rằng quá trình chuyển cuộn chéo đã được bắt đầu, và Đính kèm dữ liệu liên quan để tạo điều kiện thuận lợi cho việc trao đổi

3. Superbuilder tiếp nhận giao dịch và tạo gói cuộn chéo
   → Tx 1: Gói trên và ghi giao dịch
   → Tx 2: Đúc xERC-20 trên Rollup B

4. Cam kết của Superbuilder bản tổng hợp chéo này Cung cấp trình sắp xếp được chia sẻ
   → Vì Superbuilder đang chạy hai nút đầy đủ với các bản tổng hợp được kết nối nên chúng mô phỏng các giao dịch để đảm bảo rằng gói thực thi thành công. Nếu bất kỳ một giao dịch nào bị khôi phục, toàn bộ gói sẽ được khôi phục.

5. Trình sắp xếp được chia sẻ gửi khối chứa hai giao dịch đến lớp DA và nút thực hiện thay đổi trạng thái

6. xERC-20 được tạo ra cho người dùng trên Rollup B

Với lớp giải quyết chung, quy trình này được đơn giản hóa hơn nữa vì không cần phải đóng gói ERC-20 thành xERC-20 để trao đổi trước.

Bây giờ, hãy xem xét đơn đặt hàng giới hạn cuộn chéo, tức là mua ERC-20 trên Rollup B với ERC-20 ban đầu (khác) trong Rollup A và gửi ERC-20 đã tạo trở lại Rollup A. Trong trường hợp này, chúng tôi không cho rằng chúng tôi có lớp giải quyết chung, mặc dù quy trình tương tự tồn tại trong trường hợp có lớp giải quyết chung. Sự khác biệt duy nhất là không cần đóng gói thêm tài sản bên ngoài.

Sau đây là các giao dịch bắt buộc trong trường hợp này:

1. Bọc và hủy ERC-20 trên A

2. Mint xERC-20 trên B

3. Trao đổi xERC-20 ban đầu với ERC-20 đích trên B

4. Bọc và tiêu diệt ERC-20 mục tiêu trên B

5. A Mint xERC-20

6. A Mint xERC-20

Đây là quy trình làm việc khả thi của nó:





Flow:

1. Người dùng thực hiện giao dịch đầu tiên:
   →Gói và hủy xERC -20, đồng thời gửi tin nhắn để chỉ định trao đổi các tham số (chuỗi mục tiêu, địa chỉ DEX, ERC-20 sẽ được trao đổi, giá lệnh giới hạn, giá trị Boolean có gửi lại hay không)

2. Super Builder nhìn thấy giao dịch và tạo gói:
   → Tx 1: Người dùng tạo giao dịch trên
   → Tx 2: Mint xERC-20 tại đích (Người xây dựng siêu phải có quyền khai thác)
   → Tx 3: Đặt lệnh giới hạn sử dụng dữ liệu từ tx 1
   → Tx 4: Bao bọc và hủy ERC-20 trên B, giả sử giá giới hạn Lệnh được thực hiện đầy đủ và một thông báo được gửi trên chuỗi nguồn cho đúc tiền
   → Tx 5: Đúc mục tiêu xERC-20 từ đầu ra trao đổi trên chuỗi nguồn

Bởi vì siêu builder tạo các khối và đặt hàng các giao dịch, nó có thể mô phỏng mọi giao dịch và bỏ qua gói nếu bất kỳ giao dịch nào bị đảo ngược. Ví dụ: nếu người dùng được phát hiện không thể thực hiện đầy đủ lệnh giới hạn của họ, gói sẽ bị bỏ qua trước khi khối được thực thi.

Nếu không có cơ sở hạ tầng đặt hàng dùng chung chia sẻ lớp thanh toán, các phiên bản Eth và xERC-20 được bao bọc bên ngoài sẽ cần được sử dụng, điều này có thể dẫn đến sự sụp đổ thị trường đối với DEX, các điều kiện trở nên tồi tệ hơn khi nhóm thanh khoản của tài sản được bao bọc trở nên mỏng hơn. Trong trường hợp này, người dùng có thể phải sử dụng các giới hạn lỏng lẻo hơn, có khả năng chịu trượt giá cao hơn và có thể nhận được mức giá dưới mức tối ưu. Có một ngoại lệ nếu có liên quan đến USDC. Những người đặt hàng chung mà không có thỏa thuận chung có thể hợp tác với Circle để có được quyền độc quyền đối với hợp đồng USDC qua các lần tổng hợp để tạo điều kiện thuận lợi cho việc chuyển và trao đổi USDC gốc qua các lần tổng hợp.

Với lớp thanh toán chung, việc đóng gói bên ngoài này là không cần thiết và có thể đưa ra mức giá tốt hơn do nhóm thanh khoản sâu hơn của sàn giao dịch tài sản gốc, nhưng về cơ bản, quy trình này là giống nhau.

Tin tưởng một cách lạc quan vào trình sắp xếp chuỗi

Rollup cần tin tưởng một cách lạc quan vào trình sắp xếp chuỗi/siêu Builder được chia sẻ để tạo các gói cuộn chéo hợp lệ. Điều này chủ yếu là do gói tổng hợp này chứa các giao dịch phụ thuộc không thể được xác minh bằng các đợt tổng hợp riêng lẻ cho đến khi các khối được thêm vào chuỗi của mỗi đợt tổng hợp và được tổng hợp vào lớp thanh toán trên L1. Một ví dụ là việc phá hủy và đúc Eth ban đầu từ nguồn đến đích. Điều quan trọng là Eth phải thực sự bị phá hủy trên chuỗi nguồn trước khi được đúc ở chuỗi đích, nếu không việc chi tiêu gấp đôi có thể xảy ra.

Tuy nhiên, để thực thi gói hoàn chỉnh này trong một khối, tất cả các giao dịch phải có trong khối, ngay cả khi giao dịch được thể hiện trong chính khối đó. Trạng thái không hợp lệ trước đó (ví dụ: nếu người dùng không có bất kỳ Eth nào trước khối thì sẽ có Eth trên chuỗi mục tiêu của trao đổi). Do đó, chúng tôi phải tin tưởng rằng trình sắp xếp thực sự chứa các phần phụ thuộc hợp lệ trên các gói tổng hợp. Bằng chứng có thể được gửi sau đó để chứng minh tính hợp lệ của mỗi giao dịch.

Tuy nhiên, điều này ít quan trọng hơn khi sử dụng tài sản bao bọc vì chúng không ảnh hưởng đến tính thanh khoản gốc được lưu trữ trong L1, nhưng vẫn phải áp dụng cơ chế dự phòng để bù đắp nguy cơ xảy ra các trình tự sắp xếp độc hại hoặc lỗi trong mã cho phép các gói giao dịch thực thi với các giao dịch phụ thuộc được hoàn nguyên.

Tác động đến các bên liên quan:

1. Người dùng
   đã thực hiện nâng cấp lớn về trải nghiệm người dùng, cho phép đặt hàng giới hạn tổng hợp chéo trong một khối duy nhất

2. Các nhà phát triển
   cần phải biết về các hoạt động cuộn chéo, có thể tận dụng tính năng biên dịch trước tùy chỉnh. Các nhà phát triển phải suy nghĩ về các gói, không chỉ các giao dịch mà cả các nhà xây dựng siêu hạng và cơ sở hạ tầng tổng hợp tùy chỉnh có thể sẽ loại bỏ phần lớn sự phức tạp đó đối với các nhà phát triển.

3. Người tìm kiếm MEV
   Người tìm kiếm MEV về cơ bản có cùng cơ hội sử dụng chính sách L1 trên các gói tổng hợp, nhưng điều đó phụ thuộc vào việc triển khai PBS (Tách biệt người đề xuất-người xây dựng).
   → Các gói tổng hợp chéo về cơ bản được coi là một giao dịch đơn lẻ, do đó, MEV có thể được tìm thấy bằng cách chạy trước hoặc chèn ép các gói này, miễn là chúng không đẩy giá vượt quá mức trượt giá có thể chấp nhận được (chẳng hạn như toàn bộ gói sẽ tiếp tục, các lần thử MEV sẽ không thành công)

4. Bản tổng hợp
   Yêu cầu chọn tham gia cơ sở hạ tầng sắp xếp dùng chung (bao gồm Super Builder ) và cho phép truy cập vào việc hủy/đúc Eth theo thứ tự chung trong trường hợp lớp thanh toán chung.
   → MEV có thể được nội bộ hóa bằng cách bán không gian khối cho các nhà xây dựng

6 Khả năng kết hợp ở cấp độ giao dịch

< h2 style="text-align: left;">Cơ sở hạ tầng bắt buộc:

Thay đổi cấp độ VM // Giải quyết chung // Siêu xây dựng

Khả năng kết hợp ở cấp độ giao dịch đề cập đến cùng cấp độ chức năng được chia sẻ bởi các hợp đồng thông minh trên chuỗi EVM. Trong trường hợp này, một giao dịch có thể cập nhật đồng thời trạng thái của nhiều lần tổng hợp, đảm bảo rằng mọi thay đổi trạng thái trước bất kỳ cuộc gọi nào đều có thể được hoàn nguyên nếu cuộc gọi không trở lại thành công. Trên thực tế, các gói giao dịch nguyên tử trong môi trường tổng hợp cấp khối có thể được hoàn thành trong một giao dịch cuộn chéo và VM chéo duy nhất. Ngoài việc chia sẻ lớp giải quyết và trình tạo siêu hạng, điều này còn yêu cầu các thay đổi ở cấp độ VM đối với tất cả các bản tổng hợp được kết nối.

Ở đây chúng tôi mô tả một cơ chế khả thi ở mức cao. (Theo những gì chúng tôi biết, việc xây dựng này được ghi nhận bởi nhóm Espresso). Đầu tiên, người dùng gửi giao dịch cuộn chéo tới tất cả các lần cuộn có trạng thái đã được thay đổi bởi giao dịch hoặc tới một công cụ xây dựng siêu cấp có thể xây dựng các khối trên tất cả các lần cuộn có liên quan. Trình xây dựng siêu mô phỏng một giao dịch và tạo danh sách các cặp đầu vào-đầu ra, một cặp cho mỗi lần tổng hợp có liên quan, trong đó chỉ định các thông báo tổng hợp cần thiết và dự kiến ​​trong giao dịch. (Lưu ý rằng công ty xây dựng siêu hạng chỉ có thể thực hiện việc này nếu nó có quyền đặt hàng an toàn đối với tất cả các bản tổng hợp có liên quan trong một khoảng thời gian). Sau đó, siêu xây dựng sẽ gửi khối mô phỏng đến người đề xuất mỗi lần tổng hợp cùng với danh sách các cặp đầu vào-đầu ra dự kiến ​​cho mỗi giao dịch trong toàn bộ quá trình tổng hợp. Trong quá trình thực thi, mỗi lần tổng hợp sẽ thực hiện chức năng chuyển đổi trạng thái của chính nó một cách bình thường, giả sử đầu vào từ danh sách giao dịch cuộn chéo là chính xác. Trong quá trình giải quyết, danh sách đầu vào-đầu ra có thể được so sánh chéo và được chứng minh là an toàn trong giai đoạn tổng hợp bằng chứng của lớp giải quyết chung. Cụ thể, nếu bất kỳ đầu vào dự kiến ​​nào của giao dịch tổng hợp chéo không khớp với đầu ra được chỉ định bởi một tổng hợp khác, thì quy trình giải quyết sẽ từ chối toàn bộ giao dịch tổng hợp chéo.

Mặc dù khả năng kết hợp ở cấp giao dịch mở ra những khả năng mới hạn chế ngoài khoản vay nhanh, nhưng các nhà phát triển tạo trải nghiệm trên ứng dụng Tổng hợp có thể được hưởng lợi rất nhiều. Việc có thể tạo các dapp tương tác với tất cả các chuỗi được kết nối mà không phải lo lắng về các gói cuộn chéo sẽ giúp việc đổi mới trong môi trường nhiều cuộn dễ dàng hơn nhiều. Ngoài ra, các trường hợp và hành vi sử dụng mới có thể xuất hiện.

Có nhiều vấn đề thiết kế chưa được giải quyết với khả năng kết hợp ở cấp độ giao dịch. Trước tiên, cần phải xem xét cẩn thận cách các nhà phát triển chọn tham gia hoặc không tham gia hợp đồng thông minh của họ qua các cuộc gọi Tổng hợp. Việc cho phép khả năng kết hợp tùy ý mà không bị hạn chế có nghĩa là chúng tôi quay lại một Bản tổng hợp duy nhất. Chúng tôi cho rằng câu trả lời ở đây là để các nhà phát triển chỉ ra rõ ràng vị trí nào trong hợp đồng của họ mà họ cần khả năng kết hợp Tổng hợp chéo, chẳng hạn như bằng cách đánh dấu các điểm nhập nhất định của hợp đồng là có thể gọi được trên các Bản tổng hợp thông qua công cụ sửa đổi Solidity (chẳng hạn như "có thể kết hợp").

Tác động đến các bên liên quan

1. Người dùng:
   Có ý nghĩa tương tự như khả năng kết hợp ở cấp khối, với các tính năng nâng cao khác như khoản vay nhanh
   → UX gần giống như sử dụng chuỗi cho các dapp chọn tham gia

   
   Trải nghiệm của nhà phát triển là được cải thiện đáng kể → Các giao dịch hạ tầng Superbuilder/Sequencer vẫn phải được đặt trong khối tổng hợp bị ảnh hưởng bởi lệnh gọi tổng hợp chéo, nhưng không cần phải xây dựng cùng một gói như với khả năng kết hợp ở cấp khối.

2. MEV Được tìm kiếm bởi:
   Các gói cuộn chéo hiện về cơ bản tương đương với một giao dịch duy nhất trên một chuỗi, vì vậy MEV có tiềm năng cao

3. Bản tổng hợp:
   Yêu cầu thay đổi ở cấp VM và tùy chọn trình sắp xếp thứ tự được chia sẻ và lớp giải quyết được chia sẻ
   >→Trước khi trạng thái có thể được xác minh bằng bằng chứng, đầu vào và đầu ra của các tổng hợp khác phải đáng tin cậy, bao gồm các giả định về độ tin cậy bổ sung, nhưng cơ chế giảm bớt có thể giảm bớt gánh nặng tin cậy

< h2 style=" text-align: left;">Sơ đồ tóm tắt và hệ sinh thái

Sau khi hiểu chi tiết kỹ thuật của từng cấp độ tương tác được xác định ở đây, chúng ta có thể kết luận ở đây:

1. Việc thanh toán chung cho phép hoán đổi cuộn chéo mà không cần đóng gói tài sản bên ngoài và xuyên suốt tất cả các kết nối Tạo đường dẫn nhắn tin nội bộ giao thức giữa các lần tổng hợp Đảm bảo thực thi khối

2. Khả năng kết hợp ở cấp khối cho phép tạo các khối phức tạp, nhanh chóng, các gói cuộn chéo phụ thuộc lẫn nhau, từ đó đạt được Một hệ sinh thái có thể tổng hợp từ cấp độ gần như hợp đồng thông minh đến cấp độ hợp đồng thông minh.
   → Tạo các gói cuộn chéo này mà không cần sử dụng nội dung trình bao bọc bên ngoài bằng cách thêm giải quyết chung

3. Có thể tương thích với thành phần kết hợp ở cấp độ giao dịch và mặc dù các trường hợp sử dụng mới mở có thể nhắm đến những người dùng phức tạp hơn nhưng nó có tiềm năng nâng cấp đáng kể trải nghiệm phát triển tổng hợp chéo.

Hiện đang có nhiều dự án nhằm tạo ra các hệ sinh thái có khả năng tương tác nguyên bản này. Dưới đây là thông tin tổng quan cấp cao về lĩnh vực này:

Bản đồ hệ sinh thái



Vẫn còn một số câu hỏi mở liên quan đến chi tiết kỹ thuật của khung được nêu trong bài viết này. Ví dụ: việc xây dựng các gói cho các lệnh giới hạn tổng hợp chéo trong hệ sinh thái tổng hợp cấp khối có thể yêu cầu thiết kế chi tiết hơn để xử lý các trường hợp thực hiện một phần và khả năng chịu trượt đối với các lệnh thị trường. Ở đây, chúng tôi cung cấp một giải pháp tiềm năng để hoàn nguyên về gói đơn hàng giới hạn tổng hợp chéo nếu đơn hàng chưa được lấp đầy nhưng không gian thiết kế vẫn mở.

Ngoài ra, điều đáng nói là điều này có liên quan đến việc chia sẻ ý tưởng ngày càng tăng trong lĩnh vực chuỗi ứng dụng hiện nay. Chuỗi ứng dụng là các L2 đuôi dài, chung hoặc được cấp phép, nhằm mục đích tách biệt các giao thức liên quan cụ thể trên một L2 duy nhất. Khi chúng tôi đạt đến khả năng kết hợp ở cấp khối, chúng tôi cũng có thể sẽ bắt đầu thấy môi trường chuỗi ứng dụng có được lực kéo đáng kể nhờ khả năng kết hợp gốc trên tất cả các mạng được kết nối.

Hiện tại, việc giới thiệu tính thanh khoản cho các chuỗi ứng dụng này vẫn còn khó khăn, nhưng một khi các chuỗi lớn hơn được kết nối dưới dạng cổng vào các môi trường có thể tương tác, chúng ta có thể sẽ thấy hệ sinh thái vườn có tường bao quanh xung quanh cơ sở hạ tầng dùng chung.

Một câu hỏi mở quan trọng khác là không gian thiết kế xung quanh siêu nhà xây dựng sẽ được giải quyết như thế nào. Sự phát triển trong lĩnh vực này vẫn còn ở giai đoạn sơ khai và vẫn chưa rõ cách tạo ra một mạng lưới phức tạp gồm các nhà xây dựng có thể tạo các gói cuộn chéo một cách hiệu quả nhất. Làm thế nào các gói tổng hợp chéo này sẽ được đưa vào các khối một cách tối ưu và tác động đến doanh thu tổng hợp là một câu hỏi mở, với nhiều nhóm khám phá các chiến lược khác nhau.

Cuối cùng, tương lai có thể liên quan đến sự kết hợp giữa các giải pháp bắc cầu trong giao thức và ngoài giao thức phối hợp với nhau để cung cấp các quy trình có khả năng tương tác tốt hơn cho mọi người. Chúng tôi tin rằng tiến trình được xác định trong bài viết này có thể đóng vai trò là hướng dẫn cho các nhà phát triển và nhà xây dựng tập trung vào việc cung cấp khả năng tương tác cuộn chéo liền mạch hơn cho người dùng cuối.