Giải thích cách sắp xếp cụ thể của ứng dụng (ASS) để làm cho DeFi bền vững

Tác giả: Yuki Yuminaga Nguồn: Sorella Dịch: Shan Oppa, Golden Finance

Giới thiệu

< p style="text-align: left;">Giải quyết Giá trị có thể trích xuất tối đa (MEV) luôn là một thách thức đối với Ethereum. Chuỗi cung ứng giá trị thúc đẩy các nhà kinh doanh chênh lệch giá tham gia vào các hoạt động thường xuyên thông qua nhiều chiến lược khác nhau, thường gây tổn hại đến lợi ích của người dùng bán lẻ. Mặc dù nhiều nhà nghiên cứu đã cố gắng giải quyết MEV thông qua những thay đổi ở lớp giao thức nhưng những nỗ lực này vẫn chưa đưa ra được giải pháp thỏa đáng. Mặc dù cơ sở hạ tầng và cơ chế đấu giá hiện tại có thể nắm bắt MEV trong khối một cách hiệu quả, nhưng nó không phân phối một cách công bằng giá trị thu được: tại sao giá trị của MEV phải được quy cho các trình xác thực mạng, thay vì được chính mỗi ứng dụng nắm bắt và nội bộ hóa hiệu quả hơn ?

Vì vậy, việc sắp xếp ứng dụng cụ thể (ASS) đã ra đời. Thay vì cố gắng viết lại các quy tắc ở cấp độ giao thức, ASS cung cấp cho các ứng dụng riêng lẻ quyền kiểm soát cách chúng đặt hàng các giao dịch. Bằng cách đó, ASS cho phép các ứng dụng trên chuỗi bảo vệ người dùng và tính thanh khoản của họ khỏi các tác động tiêu cực của MEV, đồng thời cho họ cơ hội nắm bắt giá trị mà lẽ ra sẽ chảy vào trình xác thực Ethereum.

Hãy tưởng tượng điều này: thay vì các nhà giao dịch tần suất cao cạnh tranh để tối đa hóa chênh lệch giá cho mỗi người dùng (gần như tất cả giá trị chênh lệch giá bị rò rỉ cho người xác thực và chuỗi cơ bản) , mỗi ứng dụng có thể xác định quy tắc đặt hàng giao dịch của riêng mình, tạo ra một hệ thống tùy chỉnh, hiệu quả và công bằng hơn cho người dùng. Điều này đánh dấu sự chuyển đổi từ việc cố gắng giải quyết MEV ở lớp mạng sang giải quyết nó ở nơi quan trọng nhất - ở lớp ứng dụng.

Nền

Khái niệm Phân loại ứng dụng cụ thể (ASS) bắt nguồn từ cách tiếp cận phân cấp của Matheus Nghiên cứu về quy tắc sắp xếp có thể kiểm chứng (VSR) trong các sàn giao dịch (DEX). Matheus đã chứng minh rằng VSR có thể cải thiện việc thực hiện giao dịch và giảm thiểu MEV bằng cách giảm tác động của người khai thác lên thứ tự giao dịch. Sau đó, Tarun đã mở rộng ý tưởng này, cho thấy cách áp dụng các quy tắc đặt hàng độc quyền có thể tác động đáng kể đến chức năng khen thưởng của những người tham gia giao thức như người dùng, người xác nhận và người đặt hàng.

Ở đây, hàm thưởng thể hiện giá trị kinh tế của một thứ tự giao dịch cụ thể. Giá trị này phản ánh lợi nhuận hoặc tiện ích mà người tham gia giao thức đạt được từ việc đặt hàng giao dịch, cho thấy việc đặt hàng ảnh hưởng đến kết quả tài chính của họ như thế nào. Hàm trả về có hai đặc điểm chính:

• Trả về không trơn tru : Những thay đổi nhỏ trong thứ tự có thể dẫn đến biến động lớn về MEV.

• Trả về không đơn điệu: Những thay đổi nhỏ trong thứ tự có thể làm tăng hoặc giảm MEV, nhưng theo hướng thay đổi Không nhất quán.

Khi chức năng phần thưởng có hai đặc điểm này cùng một lúc, chiến lược sắp xếp tối ưu hóa trở nên rất phức tạp. Trong trường hợp này, cần có các cách tiếp cận phức tạp và tùy chỉnh hơn ở lớp ứng dụng để đảm bảo kết quả công bằng cho người dùng và hệ sinh thái DeFi bền vững.

Việc sắp xếp theo ứng dụng cụ thể hoạt động như thế nào?

Để hiểu ASS, trước tiên chúng ta cần xem lại chuỗi cung ứng giao dịch hiện có.

Trong các hệ thống hiện có:

• Các giao dịch được gửi đến một mempool công khai hoặc riêng tư.

• Người xây dựng thu thập các giao dịch này và đóng gói chúng thành các khối.

• Các nhà xây dựng cạnh tranh trong một cuộc đấu giá khối và khối của người chiến thắng sẽ được đưa vào chuỗi khối với giá trị giá thầu của họ. Khoản thanh toán sẽ được thực hiện cho người đề xuất khối.

Ngược lại, các ứng dụng dựa trên ASS có các đặc điểm sau:

• Quyền đặt hàng bị hạn chế: Hạn chế này đảm bảo rằng chỉ những người đặt hàng được chỉ định hoặc người xác thực cổ phần mới có thể tương tác với hợp đồng của ứng dụng, ngăn chặn hành vi bỏ qua độc hại logic phân bổ giá trị nội bộ của ứng dụng.

• Nhóm bộ nhớ dành riêng cho ứng dụng: Người dùng không còn gửi giao dịch tới nhóm bộ nhớ công cộng nữa mà gửi Ý định được gửi đến nhóm bộ nhớ dành riêng cho ứng dụng. Sau đó, những ý định này sẽ được trình sắp xếp theo ứng dụng cụ thể thu thập và xử lý.

• Kết quả không phụ thuộc vào đơn hàng: Để thực thi các quy tắc đặt hàng và mang lại lợi nhuận tài chính tốt nhất cho người dùng mục tiêu , Các giao dịch ASS cần phải độc lập với thứ tự các giao dịch khác của người xây dựng. Điều này đạt được bằng cách đảm bảo rằng trạng thái của ứng dụng được kiểm soát bởi cơ chế đồng thuận của nó. Các đơn đặt hàng ASS được hợp nhất thành một gói và gửi đến người xây dựng để đưa vào. Vì gói không xung đột với trạng thái được các ứng dụng khác truy cập nên vị trí của nó trong đoạn không liên quan.

Thông qua những nguyên tắc cơ bản này, ASS cho phép các ứng dụng trên bất kỳ chuỗi nào lấy lại chủ quyền đối với các trạng thái thực thi và hợp đồng của chúng, từ đó đạt được ứng dụng chủ quyền .

p>

Trường hợp thực tế: Angstrom

Là một ví dụ thực tế về ứng dụng chủ quyền, Angstrom là một cái móc của UniswapV4, Nó được sử dụng để bảo vệ các nhà cung cấp thanh khoản của mình khỏi tác động bất lợi của các nhà kinh doanh chênh lệch giá trên các sàn giao dịch tập trung (CEX) và các sàn giao dịch phi tập trung (DEX), đồng thời bảo vệ các nhà giao dịch khỏi "các cuộc tấn công tầng lửng". Mạng nút Angstrom hoạt động song song với Ethereum để đạt được sự đồng thuận về tập hợp các giao dịch sẽ được thực hiện. Quá trình này như sau:

• Các nhà kinh doanh chênh lệch giá CEX-DEX có được thông qua đấu thầu và trở thành người đầu tiên chuyển quyền giao dịch AMM để thực hiện trao đổi (không tính phí).

• Đồng thời, người dùng gửi các hoạt động trao đổi theo lịch trình của họ tới nhóm bộ nhớ của Angstrom dưới dạng lệnh giới hạn đã ký.

• Mạng Angstrom chạy một giao thức đồng thuận và hình thành một gói, trong đó trao đổi đầu tiên là giao dịch chênh lệch giá có giá thầu cao nhất. Số tiền đặt mua được phân bổ tương ứng cho các nhà cung cấp thanh khoản cơ bản trong phạm vi trao đổi. Tất cả các lệnh giới hạn hợp lệ khác và thanh khoản AMM đều được thực hiện ở cùng một mức giá thanh toán bù trừ thống nhất.

• Sau đó, gói này được nút Angstrom đề xuất gửi tới các nhà xây dựng Ethereum và mempool công khai.

Giả thuyết về hoạt động và sự tin cậy

Cốt lõi của ASS là một Một hình thức xây dựng khối một phần trong đó ứng dụng có chủ quyền ủy quyền quyền đặt hàng cho mạng lưới các nhà khai thác phi tập trung theo các quy tắc đặt hàng được quy định. Do đó, ASS chắc chắn có sự tham gia của các bên bên ngoài để đưa ra các giả định bổ sung về tính sống động và tin cậy.

Giả định về tính sống động

Các ứng dụng có chủ quyền dựa vào trình sắp xếp theo trình tự dành riêng cho ứng dụng để tuân theo Thỏa thuận một cách chính xác và cung cấp cập nhật trạng thái kịp thời. Nếu xảy ra vi phạm về tính sống động (chẳng hạn như phân vùng mạng), người dùng có thể không tương tác được với các phần của ứng dụng cho đến khi sự đồng thuận hợp lệ được khôi phục.

Các ứng dụng có chủ quyền cũng có thể giới hạn phạm vi trạng thái hợp đồng có nội dung cập nhật phụ thuộc vào người đặt hàng. Điều này giúp giảm thiểu sự phụ thuộc bên ngoài của hợp đồng để vẫn có thể truy cập được trạng thái quan trọng (chẳng hạn như tính thanh khoản đã ký gửi) ngay cả trong trường hợp trình sắp xếp chuỗi bị lỗi.

Giả định tin cậy

Để đảm bảo rằng bộ sắp xếp tuân thủ các quy tắc sắp xếp đã chỉ định, chủ quyền ứng dụng có thể Tận dụng các giải pháp kinh tế tiền điện tử (như PoS) hoặc các phương thức mã hóa (như TEE hoặc MPC). Cách tiếp cận cụ thể có thể khác nhau nhiều tùy thuộc vào nhu cầu của ứng dụng; một số có thể yêu cầu sự đồng thuận về tối ưu hóa thực thi, trong khi một số khác có thể tập trung vào việc đảm bảo quyền riêng tư trước khi thực thi thông qua các cơ chế mật mã. Có nhiều công cụ có sẵn để giảm chi phí tin cậy của trình sắp xếp thứ tự và đáp ứng các mục tiêu riêng của từng ứng dụng có chủ quyền.

Chống kiểm duyệt

Có nhiều loại kiểm duyệt trong hệ sinh thái Ethereum: p>

1. Đánh giá quy định: Người xây dựng và người chuyển tiếp xem xét các giao dịch theo danh sách trừng phạt của OFAC. Đây hiện là một trong những hình thức kiểm duyệt nổi bật nhất trên Ethereum và chủ yếu được thực hiện bởi những người chuyển tiếp.

2. Kiểm duyệt kinh tế: Kẻ tấn công có động cơ có thể hối lộ những người đề xuất chặn để kiểm duyệt các giao dịch của nạn nhân.

3. Kiểm duyệt cấp nút: Các nút trong mạng P2P có thể từ chối truyền các giao dịch đến. Đây có thể là một vấn đề lớn nếu giao thức hoạt động tối ưu với giả định rằng hầu hết các nút đều có cùng chế độ xem các giao dịch đến. Hơn nữa, trong các giao thức như vậy, kẻ thù có thể được khuyến khích phân chia chế độ xem cục bộ của các nút trung thực (bằng cách chỉ gửi giao dịch đến một nửa số nút ở cuối khe) và do đó tạm dừng giao thức.

Nhiều nhà nghiên cứu đã nói rằng Ethereum cần cơ chế chống kiểm duyệt tốt hơn. Một số đề xuất, chẳng hạn như Nhiều người đề xuất đồng thời (MCP) và Danh sách bắt buộc đưa vào lựa chọn ngã ba (FOCIL), đã xuất hiện và trở thành tâm điểm của các cuộc thảo luận đang diễn ra.

Khả năng chống kiểm duyệt cũng là mối lo ngại lớn đối với các ứng dụng có chủ quyền. Trình sắp xếp theo trình tự dành riêng cho ứng dụng có thể là các thực thể bên ngoài có nhiều lợi ích khác nhau trong việc nhận thêm các giao dịch riêng tư và luồng đơn hàng. Ví dụ: người xác nhận dành riêng cho ứng dụng đóng vai trò là nhà tạo lập thị trường có động cơ xem xét các giao dịch được gửi bởi các nhà tạo lập thị trường cạnh tranh. Do đó, ngay cả khi giao thức cơ bản không bị kiểm duyệt, các ứng dụng có chủ quyền ở trên cùng có thể phải chịu sự kiểm duyệt cục bộ.

Một ví dụ về cơ chế chống kiểm duyệt của ASS là Angstrom. Để đảm bảo rằng tất cả các đơn đặt hàng hợp lệ đều được đưa vào phiên sắp tới, các nút Angstrom phải phát đi mọi đơn đặt hàng đến đã được xác thực và đạt được sự đồng thuận về việc đưa chúng vào gói giao dịch được đề xuất. Nếu gói giao dịch thiếu phần lớn các lệnh được mạng quan sát, người đề xuất sẽ bị phạt. Dưới đây là mô tả về cơ chế tẩy chay đánh giá của Angstrom.

p>

Tình thế tiến thoái lưỡng nan về khả năng kết hợp

Một trong những thách thức chính mà các ứng dụng có chủ quyền phải đối mặt là đảm bảo tuân thủ Khả năng kết hợp bên ngoài của các giao dịch để tương tác trạng thái hợp đồng. Việc chỉ đơn giản kết hợp các giao dịch dành riêng cho ứng dụng với các giao dịch bên ngoài tùy ý sẽ phá hủy thuyết bất khả tri về trật tự cần thiết để bảo vệ các ứng dụng có chủ quyền và người dùng của chúng. Khi một giao dịch không phải ASS không hợp lệ được kết hợp với một giao dịch dành riêng cho ứng dụng, có thể có hiệu ứng thứ hai khôi phục toàn bộ gói. Khi điều này xảy ra, ứng dụng có chủ quyền không thể thực hiện lệnh của người dùng trong khoảng thời gian quy định (mặc dù có sự đồng thuận hợp lệ), do đó ảnh hưởng đến trải nghiệm người dùng và phúc lợi chung.

Tuy nhiên, có những giải pháp tiềm năng cho vấn đề về khả năng kết hợp và nhiều nhóm khác nhau đang khám phá một số giải pháp trong số đó. Các tùy chọn này bao gồm các khái niệm như bao gồm xác nhận trước, đơn đặt hàng dành riêng cho ứng dụng được chia sẻ và lời hứa của nhà xây dựng, mỗi tùy chọn đưa ra sự cân bằng giữa mức độ khả năng kết hợp và chi phí tin cậy.

Việc kết hợp xác nhận trước

Để giải thích việc đưa vào xác nhận trước, chúng ta phải đầu tiên hãy hiểu cách nó hoạt động. Tận dụng bảo mật kinh tế tiền điện tử dựa trên các xác nhận trước, đảm bảo rằng những người đề xuất đã đưa ra tài sản thế chấp để đảm bảo đưa vào một nhóm giao dịch cụ thể trong một khoảng thời gian nhất định trong giai đoạn hiện tại. Sự đảm bảo này tùy thuộc vào kích thước ký quỹ được đăng bởi những người đề xuất tham gia.

Xác nhận trước bao gồm là một hình thức xác nhận trước đặc biệt dựa trên việc bao gồm giao dịch độc lập với bất kỳ trạng thái hợp đồng nào. Các giao dịch được yêu cầu đưa vào xác nhận trước phải không có tính chất bất khả tri về trạng thái và không gây tranh cãi, nghĩa là việc thực hiện chúng không bị ảnh hưởng bởi vị trí của chúng trong khối. Bằng cách tận dụng các xác nhận trước bao gồm, những người đề xuất có thể cam kết chỉ bao gồm các giao dịch không phải ASS nếu gói ASS được bao gồm trong cùng một khối. Cách tiếp cận này cung cấp khả năng kết hợp được thực thi bằng tiền điện tử giữa các giao dịch không có tranh chấp và các gói ASS.

p>

Tuy nhiên, do khả năng kết hợp hạn chế mà giải pháp này mang lại, độ phức tạp tăng thêm và chi phí tin cậy có thể lớn hơn lợi ích của nó đối với một số ứng dụng có chủ quyền. Do đó, điều quan trọng là khám phá các lựa chọn thay thế mang lại sự cân bằng hiệu quả hơn giữa tính đơn giản và chức năng.

Chia sẻ trình sắp xếp ứng dụng cụ thể và cam kết của nhà sản xuất

Các ứng dụng có chủ quyền có thể sử dụng trình sắp xếp ứng dụng cụ thể để quản lý thứ tự giao dịch trên nhiều ứng dụng mà không cần dựa vào cam kết của người đề xuất. Ví dụ: một trình sắp xếp thứ tự xử lý các giao dịch cho nhiều ứng dụng có chủ quyền có thể tạo điều kiện thuận lợi cho khả năng kết hợp nguyên tử giữa chúng, miễn là nó tuân theo các quy tắc sắp xếp của từng ứng dụng. Cách tiếp cận trình tự sắp xếp dành riêng cho ứng dụng được chia sẻ này cho phép khả năng kết hợp và phối hợp liền mạch giữa các ứng dụng có chủ quyền.

Tuy nhiên, đối với các ứng dụng không có chủ quyền, cần có một giải pháp khác. Các cam kết bao gồm giao dịch từ các nhà xây dựng khối tham gia vào việc sắp xếp các ứng dụng có chủ quyền có thể tạo ra khả năng kết hợp nguyên tử giữa các ứng dụng không có chủ quyền và có chủ quyền. Trình xây dựng đảm bảo thứ tự giao dịch được chỉ định giữa hai loại ứng dụng. Trình xây dựng này hứa hẹn sẽ thu hẹp khoảng cách về khả năng kết hợp của ASS.

p>

Người xây dựng hứa hẹn minh họa (phải) về khả năng kết hợp nguyên tử giữa các dApp có chủ quyền và không có chủ quyền cũng như việc chia sẻ khả năng kết hợp nguyên tử giữa các ứng dụng có chủ quyền Minh họa trình tự sắp xếp ứng dụng cụ thể ( left)

Mặc dù có những lo ngại liên quan đến động lực kinh tế của các cam kết của nhà xây dựng, tính khả thi của việc kết hợp sơ tuyển và các tác động tiềm ẩn của Đơn đặt hàng thứ hai vẫn còn là vấn đề, nhưng chúng tôi tin rằng những thách thức về khả năng kết hợp của ASS sẽ được giải quyết theo thời gian. Các nhóm như Astria và Primev đang tích cực nghiên cứu và phát triển các khuôn khổ cải tiến cho các cam kết chung về đặt hàng và xây dựng. Khi những tiến bộ này tiến bộ, khả năng kết hợp sẽ không còn là vấn đề đối với các ứng dụng có chủ quyền.

ASS với L2 và L1 dành riêng cho ứng dụng

Hiện tại, các dApp phải xây dựng cụ thể Chỉ chuỗi ứng dụng có thể kiểm soát thứ tự các giao dịch của nó. Các khái niệm như Nhà xây dựng thuộc sở hữu giao thức (PoB) cho phép Cosmos L1 có các quy tắc đặt hàng rõ ràng hơn, giúp nắm bắt và phân phối lại MEV cho các ứng dụng của nó. Tương tự như vậy, trình sắp xếp chuỗi L2 với VSR có thể thực hiện các hoạt động như vậy. Mặc dù cả hai giải pháp đều cho phép ứng dụng của họ sắp xếp và thu thập MEV một cách rõ ràng hơn, nhưng ASS là duy nhất nhờ các tính năng sau.

1. Việc thực hiện giao dịch không phát sinh chi phí tin cậy - ASS không thực hiện hoặc giải quyết các giao dịch đã sắp xếp. Chỉ có việc sắp xếp mới được ủy quyền. Các giả định về độ tin cậy cơ bản mở rộng từ môi trường thực thi gốc (chẳng hạn như Ethereum hoặc L2 khác).

2. Nhận thanh khoản và luồng đơn hàng - người dùng không cần phải kết nối. dApps có thể trực tiếp tận dụng lưu lượng và tính thanh khoản trong chuỗi.

3. Tài sản vẫn ở trong môi trường thực thi gốc và không thể bị đóng băng - không giống như L2, hầu hết ASS không yêu cầu người dùng khóa tiền trong hợp đồng cầu. Lựa chọn thiết kế này cung cấp khả năng bảo mật tốt hơn: nếu trình sắp xếp trình tự dành riêng cho ứng dụng bị lỗi thì thiệt hại tiềm ẩn sẽ được hạn chế vì trình sắp xếp trình tự chỉ có thể kiểm soát các giao dịch trong phạm vi ranh giới do hợp đồng thông minh đặt ra. Mặc dù một số giải pháp L2 có triển khai các tính năng bảo mật (chẳng hạn như lối thoát hiểm khẩn cấp và ngăn chặn cưỡng bức), nhưng các biện pháp này thường khó sử dụng trên thực tế. Sau khi mất kết nối với các bản cập nhật L2, người dùng có thể phải đợi vài ngày để kích hoạt các lối thoát khẩn cấp. Tương tự như vậy, việc buộc đưa vào thông qua L1 thường yêu cầu độ trễ ít nhất một ngày. Có lẽ quan trọng nhất là các biện pháp bảo mật này thường đòi hỏi chuyên môn kỹ thuật mà hầu hết người dùng không có, khiến chúng không thực tế đối với người bình thường.

4. Giả định về độ sống động của Strong-ASS - Độ sống động của L2 phụ thuộc vào nút thực thi, thường là trình sắp xếp tổng hợp, trừ khi dựa trên việc sắp xếp. Khả năng tồn tại của L1 phụ thuộc vào phần lớn các nút thực hiện lại chức năng chuyển trạng thái tương ứng. Khả năng hoạt động của một ứng dụng có chủ quyền phụ thuộc chủ yếu vào môi trường thực thi cơ bản và các hợp đồng thông minh có thể chỉ định các phần cần dựa vào trình sắp xếp dành riêng cho ứng dụng.

Bảng so sánh các ứng dụng có chủ quyền, dựa trên L2, dựa trên L2 và dựa trên L1

< h2 style ="text-align: left;">Kết luận

ASS cung cấp cho ứng dụng quyền kiểm soát hoàn toàn đối với thứ tự giao dịch, cho phép chúng xác định các quy tắc tùy chỉnh mà không cần Quản lý độ phức tạp khi thực thi. Kiểm soát này cho phép các ứng dụng kiểm soát việc thực thi của chúng để tối ưu hóa kết quả cho người dùng. Ví dụ: trên Angstrom, LP và nhà trao đổi được coi là người tham gia hạng nhất, trực tiếp tăng lợi ích kinh tế của họ thông qua các quy tắc đặt hàng tùy chỉnh.

Ngoài ra, ASS có thể tận dụng một loạt công cụ mã hóa và kinh tế tiền điện tử để thực thi tính tối ưu trong thanh toán của người dùng và triển khai các cơ chế chống kiểm duyệt mạnh mẽ. Các giải pháp kinh tế tiền điện tử như đặt cược và cắt giảm có thể khuyến khích hành vi trung thực giữa những người đặt hàng, trong khi các phương pháp mã hóa như TEE và MPC có thể nâng cao quyền riêng tư và bảo mật. Với những công cụ này, ASS có tiềm năng thiết kế rất lớn để tạo ra các ứng dụng có chủ quyền an toàn, hiệu quả và lấy người dùng làm trung tâm hơn.

Mặc dù ASS mang đến nhiều cơ hội nhưng những thách thức như thiếu khả năng kết hợp nguyên bản vẫn tồn tại. Tuy nhiên, các giải pháp bao gồm xác nhận trước, ASS chung và cam kết của nhà xây dựng đưa ra những cách thức đầy hứa hẹn để vượt qua những trở ngại này. Mặc dù vẫn còn một số vấn đề nhưng chúng tôi cam kết cải thiện các phương pháp này để mang lại trải nghiệm ASS mượt mà hơn, dễ tổng hợp hơn.

Mục tiêu của chúng tôi là làm cho DeFi trở nên bền vững hơn tại một thời điểm.