Tác giả | @0xOptimus

Biên soạn bởi Odaily Planet Daily ( @OdailyChina )

Người phiên dịch | Đinh Đang ( @XiaMiPP )

Các AMM Prop đã nhanh chóng chiếm lĩnh 40% tổng khối lượng giao dịch Solana. Tại sao chúng vẫn chưa có mặt trên EVM?

Các AMM độc quyền (Prop AMM) đang nhanh chóng trở thành một thế lực thống trị trong hệ sinh thái Solana DeFi, hiện chiếm hơn 40% khối lượng giao dịch trên các cặp giao dịch chính. Các sàn giao dịch thanh khoản chuyên biệt này, được vận hành bởi các nhà tạo lập thị trường chuyên nghiệp, cung cấp thanh khoản sâu và giá cả cạnh tranh hơn, chủ yếu nhờ vào việc giảm đáng kể rủi ro chênh lệch giá trước khi sử dụng báo giá cũ.

Nguồn hình ảnh: dune.com

Tuy nhiên, thành công của họ gần như chỉ giới hạn ở Solana. Ngay cả trên các mạng Lớp 2 nhanh và chi phí thấp như Base hay Optimism, Prop AMM vẫn còn khá hiếm trong hệ sinh thái EVM. Tại sao chúng vẫn chưa bén rễ trên EVM?

Bài viết này khám phá ba câu hỏi chính: Prop AMM là gì, chúng phải đối mặt với những rào cản kỹ thuật và kinh tế nào trên chuỗi EVM và những kiến trúc mới đầy hứa hẹn có thể đưa chúng lên vị trí hàng đầu trong EVM DeFi.

Prop AMM là gì?

Prop AMM là một nhà tạo lập thị trường tự động trong đó tính thanh khoản và giá cả được quản lý tích cực bởi một nhà tạo lập thị trường chuyên nghiệp duy nhất, thay vì được công chúng tài trợ thụ động như các AMM truyền thống.

Các AMM truyền thống (như Uniswap v2) thường sử dụng công thức x * y = k để xác định giá, trong đó x và y lần lượt biểu thị số lượng của hai tài sản trong nhóm, và k là một hằng số. Tuy nhiên, trong Prop AMM, công thức định giá không cố định mà được cập nhật thường xuyên (thường là nhiều lần mỗi giây) . Vì cơ chế nội bộ của hầu hết các Prop AMM là "hộp đen", nên thuật toán chính xác mà chúng sử dụng vẫn chưa được biết. Tuy nhiên, mã cho hợp đồng thông minh Prop AMM của Obric trên chuỗi Sui là công khai (cảm ơn @markoggwp vì đã khám phá ra mã này), và bất biến k của nó phụ thuộc vào các biến nội bộ mult_x, mult_y và concentration. Hình dưới đây minh họa cách nhà tạo lập thị trường liên tục cập nhật các biến này.

Một điều cần làm rõ là công thức ở phía bên trái của đường cong giá Obric phức tạp hơn công thức x*y đơn giản, nhưng chìa khóa để hiểu Prop AMM là nó luôn bằng với một bất biến k có thể thay đổi và nhà tạo lập thị trường sẽ liên tục cập nhật k này để điều chỉnh đường cong giá.

Đánh giá: AMM xác định giá như thế nào?

Trong suốt bài viết này, chúng tôi sẽ đề cập đến khái niệm "đường cong giá" nhiều lần. Đường cong giá quyết định mức giá mà người dùng phải trả khi giao dịch với AMM và là thành phần mà các nhà tạo lập thị trường liên tục cập nhật trong AMM Prop. Để hiểu rõ hơn về điều này, trước tiên chúng ta hãy xem xét cách định giá của AMM truyền thống.

Lấy ví dụ về nhóm WETH-USDC trên Uniswap v2 (giả sử không có phí). Giá được xác định thụ động theo công thức x * y = k. Giả sử có 100 WETH và 400.000 USDC trong nhóm, các điểm đường cong là x = 100 và y = 400.000, tương ứng với giá ban đầu là 400.000 / 100 = 4.000 USDC/WETH. Từ đó, ta có hằng số k = 100 * 400.000 = 40.000.000.

Nếu một nhà giao dịch muốn mua 1 WETH, họ cần thêm USDC vào nhóm, giảm lượng WETH trong nhóm xuống còn 99. Để duy trì tích k không đổi, điểm mới (x, y) vẫn phải nằm trên đường cong, do đó y phải là 40.000.000 / 99 ≈ 404.040,40. Nói cách khác, nhà giao dịch đã trả khoảng 4.040,40 USDC cho 1 WETH, cao hơn một chút so với giá ban đầu. Hiện tượng này được gọi là "trượt giá". Đây là lý do tại sao x*y=k được gọi là "đường cong giá": bất kỳ mức giá nào có thể giao dịch đều phải nằm trên đường cong này.

Tại sao các nhà tạo lập thị trường lại chọn thiết kế AMM thay vì sổ lệnh tập trung (CLOB)?

Hãy cùng giải thích lý do tại sao các nhà tạo lập thị trường lại muốn sử dụng thiết kế AMM cho việc tạo lập thị trường. Hãy tưởng tượng bạn là một nhà tạo lập thị trường đang báo giá trên một sổ lệnh giới hạn tập trung (CLOB) trên chuỗi. Để cập nhật báo giá, bạn cần hủy và thay thế hàng nghìn lệnh giới hạn. Nếu bạn có N lệnh, chi phí cập nhật là một thao tác O(N), chậm và tốn kém trên chuỗi.

Sẽ thế nào nếu bạn có thể biểu diễn tất cả các dấu ngoặc kép bằng một đường cong toán học? Bạn chỉ cần cập nhật một vài tham số xác định đường cong này, do đó biến một phép toán O(N) thành một phép toán có độ phức tạp hằng số O(1).

Để hình dung cách "đường cong giá" tương ứng với các khoảng giá hiệu dụng khác nhau, chúng ta có thể tham khảo SolFi, một Prop AMM dựa trên Solana do Ellipsis Labs tạo ra. Mặc dù đường cong giá cụ thể của nó chưa được biết đến và ẩn giấu, Ghostlabs đã tạo ra một biểu đồ hiển thị giá hiệu dụng của việc trao đổi các lượng SOL khác nhau lấy USDC trong một khoảng thời gian cụ thể của Solana (khoảng thời gian khối). Mỗi đường biểu thị một nhóm WSOL/USDC khác nhau, chứng minh rằng nhiều mức giá có thể cùng tồn tại. Biểu đồ giá hiệu dụng này thay đổi giữa các khoảng thời gian khi các nhà tạo lập thị trường cập nhật đường cong giá.

Nguồn hình ảnh: github

Điểm mấu chốt ở đây là chỉ cần cập nhật một vài tham số đường cong giá, nhà tạo lập thị trường có thể thay đổi phân phối giá hiệu quả bất cứ lúc nào mà không cần phải sửa đổi từng lệnh một. Đây chính là giá trị cốt lõi của Prop AMM - cho phép nhà tạo lập thị trường cung cấp thanh khoản năng động và sâu rộng với hiệu quả vốn và tính toán cao hơn.

Tại sao kiến trúc của Solana lại phù hợp với Prop AMM?

Prop AMM là một hệ thống được “quản lý chủ động”, nghĩa là nó yêu cầu hai điều kiện chính:

1. Cập nhật giá rẻ
2. thực hiện ưu tiên

Trên Solana, hai điều này song hành với nhau: các bản cập nhật chi phí thấp thường có nghĩa là các bản cập nhật được ưu tiên thực hiện.

Tại sao các nhà tạo lập thị trường cần hai tính năng này? Thứ nhất, họ liên tục cập nhật đường cong giá theo tốc độ của blockchain dựa trên những thay đổi về hàng tồn kho hoặc biến động giá chỉ số tài sản (chẳng hạn như trên các sàn giao dịch tập trung). Trên các chuỗi tần suất cao như Solana, việc điều chỉnh tần suất cao sẽ khó thực hiện nếu chi phí cập nhật quá cao.

Thứ hai, nếu các nhà tạo lập thị trường không thể cập nhật lên đầu khối, các báo giá cũ của họ sẽ bị các nhà đầu cơ chênh lệch giá sao chép, dẫn đến thua lỗ không thể tránh khỏi. Nếu không có hai tính năng này, các nhà tạo lập thị trường không thể hoạt động hiệu quả và người dùng sẽ nhận được giá giao dịch kém hơn.

Lấy Prop AMM HumidiFi trên Solana làm ví dụ, theo dữ liệu của @SliceAnalytics , nhà tạo lập thị trường cập nhật báo giá tới 74 lần mỗi giây.

Khi xem xét EVM, người ta có thể hỏi: “Các khung thời gian của Solana là khoảng 400ms, làm sao Prop AMM có thể cập nhật giá nhiều lần trong một khung thời gian duy nhất?”

Câu trả lời nằm ở kiến trúc liên tục của Solana, về cơ bản khác với mô hình khối rời rạc của EVM.

• EVM: Giao dịch thường được thực hiện tuần tự sau khi một khối đầy đủ được đề xuất và hoàn tất. Điều này có nghĩa là các bản cập nhật được gửi giữa chừng sẽ không có hiệu lực cho đến khối tiếp theo.
• Solana: Các trình xác thực hàng đầu không chờ khối đầy. Thay vào đó, chúng chia giao dịch thành các gói nhỏ (gọi là "shred") và phát liên tục lên mạng. Nhiều lần hoán đổi có thể diễn ra trong cùng một khe, nhưng việc cập nhật giá cho shred #1 sẽ ảnh hưởng đến swap #1, và việc cập nhật giá cho shred #2 sẽ ảnh hưởng đến swap #2.

Lưu ý: Flashblock tương tự như shred của Solana. Theo @Ashwinningg của Anza Labs tại hội nghị CBER, mỗi khe 400ms được giới hạn ở 32.000 shred, tương đương 80 shred mỗi mili giây. Liệu Flashblock 200ms có đủ nhanh cho các nhà tạo lập thị trường so với kiến trúc liên tục của Solana hay không vẫn còn là một câu hỏi bỏ ngỏ.

Vậy, tại sao việc cập nhật trên Solana lại rẻ như vậy? Và chúng dẫn đến việc thực thi ưu tiên như thế nào?

Đầu tiên, mặc dù việc triển khai Prop AMM trên Solana là hộp đen, nhưng các thư viện như Pinocchio cho phép viết các chương trình Solana theo cách tối ưu hóa CU. Blog của Helius cung cấp một cái nhìn tổng quan thú vị về điều này, chứng minh rằng việc sử dụng thư viện này có thể giảm mức tiêu thụ CU của các chương trình Solana từ khoảng 4.000 xuống còn khoảng 100 CU.

Nguồn hình ảnh: github

Hãy cùng xem xét phần thứ hai. Ở cấp độ cao hơn, Solana ưu tiên các giao dịch bằng cách chọn các giao dịch có tỷ lệ Phí/Đơn vị Tính toán cao nhất (Đơn vị Tính toán tương tự như Gas trong EVM), tương tự như EVM.

• Cụ thể, nếu dùng Jito thì công thức là Jito Tip / Compute Units
• Không sử dụng: Mức ưu tiên = (Phí ưu tiên + Phí cơ bản) / (1 + Giới hạn CU + CU chữ ký + CU khóa ghi) ( https://solana.com/docs/core/fees)

Khi so sánh các bản cập nhật Prop AMM với Compute Units của Jupiter Swap, có thể thấy rằng các bản cập nhật cực kỳ rẻ, với tỷ lệ 1:1000.

Bản cập nhật Prop AMM : Bản cập nhật Simple Curve cực kỳ rẻ. Bản cập nhật Wintermute chỉ tốn 109 CU, với tổng phí chỉ 0,000007506 SOL.

Jupiter Swap : Các giao dịch hoán đổi được định tuyến qua Jupiter có thể đạt tới ~100.000 CU, với tổng phí là 0,000005 SOL

Do sự khác biệt lớn này, các nhà tạo lập thị trường chỉ cần trả một khoản phí rất nhỏ cho các giao dịch cập nhật để đạt được tỷ lệ Phí/CU cao hơn nhiều so với các sàn giao dịch, do đó đảm bảo rằng các bản cập nhật được thực hiện ở đầu khối và bảo vệ họ khỏi các cuộc tấn công chênh lệch giá.

Tại sao Prop AMM vẫn chưa được triển khai trên EVM?

Giả sử việc cập nhật Prop AMM liên quan đến việc ghi vào các biến số quyết định đường cong giá cho một cặp giao dịch. Mặc dù mã Prop AMM trên Solana là một "hộp đen" và các nhà tạo lập thị trường muốn giữ bí mật chiến lược của mình, chúng ta có thể sử dụng giả định này để hiểu cách Obric triển khai Prop AMM trên Sui: các biến số quyết định giá cho một cặp giao dịch được ghi vào hợp đồng thông minh thông qua hàm cập nhật.

Cảm ơn @markoggwp đã phát hiện ra điều này!

Sử dụng giả định này, chúng tôi thấy rằng có những trở ngại đáng kể trong kiến trúc của EVM khiến mô hình Prop AMM của Solana không khả thi trên EVM.

Tóm lại, trên các blockchain OP-Stack Layer 2 như Base và Unichain, các giao dịch được sắp xếp theo mức phí ưu tiên cho mỗi Gas (tương tự như cách sắp xếp của Solana theo Phí/CU).

Trên EVM, các thao tác ghi rất tốn kém. So với các bản cập nhật của Solana, việc ghi giá trị vào EVM thông qua opcode SSTORE lại tốn kém một cách đáng ngạc nhiên:

• SSTORE (0 → không phải 0): ~22.100 gas
• SSTORE (khác 0 → khác 0): ~5.000 gas
• Hoán đổi AMM điển hình: ~200.000–300.000 gas

Lưu ý: Gas trên EVM tương tự như Compute Unit (CU) trên Solana. Các số gas SSTORE ở trên chỉ giả định một lần ghi cho mỗi giao dịch (ghi lạnh), điều này hợp lý vì bạn thường không gửi nhiều bản cập nhật trong một giao dịch.

Mặc dù việc cập nhật vẫn rẻ hơn so với hoán đổi, nhưng mức sử dụng gas chỉ khoảng 10 lần (cập nhật có thể liên quan đến nhiều SSTORE), trong khi trên Solana, mức sử dụng gas là khoảng 1000 lần.

Điều này dẫn đến hai kết luận khiến cho mô hình Solana Prop AMM trở nên rủi ro hơn trên EVM:

1. Mức tiêu thụ gas cao khiến phí ưu tiên khó đảm bảo các bản cập nhật được ưu tiên , và phí ưu tiên thấp hơn khiến việc đạt được tỷ lệ phí/gas cao là bất khả thi. Để đảm bảo các bản cập nhật không bị chiếm dụng và được xếp ở vị trí cao nhất, cần có phí ưu tiên cao hơn, dẫn đến tăng chi phí.
2. Rủi ro chênh lệch giá cao hơn trên EVM , nơi tỷ lệ khí cập nhật so với khí hoán đổi chỉ là 1:10, so với 1:1000 trên Solana. Điều này có nghĩa là các nhà kinh doanh chênh lệch giá chỉ cần tăng phí ưu tiên lên gấp 10 lần để chạy trước các bản cập nhật của nhà tạo lập thị trường, trong khi trên Solana, họ cần tăng gấp 1000 lần. Với tỷ lệ thấp hơn này, các nhà kinh doanh chênh lệch giá có nhiều khả năng chạy trước các bản cập nhật giá giao dịch để có được báo giá lỗi thời vì chi phí thấp.

Một số cải tiến (như TSTORE của EIP-1153 để lưu trữ tạm thời) cung cấp khả năng ghi với khoảng 100 gas, nhưng khả năng lưu trữ này chỉ tồn tại trong thời gian ngắn, chỉ có hiệu lực trong một giao dịch duy nhất và không thể được sử dụng để duy trì cập nhật giá cho các lần hoán đổi tiếp theo (ví dụ: trên một khối).

Làm thế nào để giới thiệu Prop AMM vào EVM?

Trước khi trả lời, hãy cùng trả lời câu hỏi "Tại sao lại làm vậy?": Người dùng luôn muốn nhận được báo giá giao dịch tốt hơn, đồng nghĩa với việc giao dịch hiệu quả hơn về mặt chi phí. Ethereum và AMM Layer 2 Prop có thể cung cấp cho người dùng mức báo giá cạnh tranh mà trước đây chỉ có trên Solana hoặc các sàn giao dịch tập trung.

Để đảm bảo Prop AMM khả thi trên EVM, chúng ta hãy xem lại một trong những lý do tại sao nó lại thành công trên Solana:

• Bảo vệ cập nhật đầu khối: Trên Solana, các bản cập nhật Prop AMM được đặt ở đầu khối, bảo vệ các nhà tạo lập thị trường khỏi việc chạy trước. Việc đặt bản cập nhật đầu khối này là do mức tiêu thụ đơn vị tính toán (CU) tối thiểu, cho phép tỷ lệ phí/CU cao ngay cả khi phí thấp, đặc biệt là so với giao dịch hoán đổi.

Vậy, làm thế nào để đưa các bản cập nhật Prop AMM lên trên các khối trong blockchain EVM Lớp 2? Có hai cách tiếp cận: giảm chi phí ghi chúng hoặc tạo một kênh ưu tiên cho các bản cập nhật Prop AMM.

Do vấn đề tăng trưởng trạng thái của EVM, cách tiếp cận giảm chi phí ghi này không khả thi vì SSTORE giá rẻ sẽ dẫn đến các cuộc tấn công trạng thái rác.

Chúng tôi đề xuất tạo một kênh ưu tiên để cập nhật Prop AMM. Đây là một giải pháp khả thi và là trọng tâm của bài viết này.

@MarkToda từ nhóm Uniswap đã đề xuất một phương pháp tiếp cận mới, được triển khai thông qua hợp đồng thông minh lưu trữ toàn cầu + chiến lược xây dựng khối chuyên biệt :

Sau đây là cách thức hoạt động:

• Hợp đồng Lưu trữ Toàn cầu: Triển khai một hợp đồng thông minh đơn giản dưới dạng kho lưu trữ khóa-giá trị công khai. Nhà tạo lập thị trường sẽ ghi các tham số đường cong giá vào hợp đồng này (ví dụ: set(ETH-USDC_CONCENTRATION, 4000)).
• Chiến lược xây dựng: Đây là một thành phần quan trọng ngoài chuỗi. Trình xây dựng khối xác định các giao dịch được gửi đến hợp đồng lưu trữ toàn cầu, phân bổ 5–10% gas đầu tiên của khối cho các giao dịch cập nhật này và ưu tiên chúng theo mức phí để ngăn chặn các giao dịch spam.

Xin lưu ý: giao dịch phải được gửi trực tiếp đến địa chỉ lưu trữ toàn cầu, nếu không, chúng không được đảm bảo sẽ nằm ở đầu khối.

Để biết ví dụ về thuật toán xây dựng khối tùy chỉnh, hãy xem rblib.

• Tích hợp Prop AMM: Hợp đồng Prop AMM của nhà tạo lập thị trường sẽ đọc dữ liệu đường cong giá từ hợp đồng lưu trữ toàn cầu trong quá trình hoán đổi để cung cấp báo giá.

Kiến trúc này khéo léo giải quyết được hai vấn đề:

1. Bảo vệ : Chiến lược xây dựng tạo ra một “làn đường nhanh” đảm bảo mọi cập nhật giá trong một khối được thực hiện trước khi giao dịch, loại bỏ rủi ro chạy trước.
2. Tiết kiệm chi phí : Các nhà tạo lập thị trường không còn phải cạnh tranh với tất cả người dùng DeFi về mức phí gas cao để đạt được các giao dịch hàng đầu. Thay vào đó, họ chỉ cần cạnh tranh trên thị trường phí địa phương để cập nhật các khối hàng đầu dành riêng cho giao dịch, giúp giảm đáng kể chi phí.

Giao dịch của người dùng sẽ được thực hiện dựa trên đường cong giá do nhà tạo lập thị trường thiết lập trong lần cập nhật ban đầu của cùng một khối, đảm bảo tính mới mẻ và an toàn của báo giá. Mô hình này tái tạo môi trường cập nhật chi phí thấp, ưu tiên cao trên Solana trên EVM, mở đường cho Prop AMM trên EVM.

Tuy nhiên, mô hình này có một số nhược điểm mà tôi sẽ thảo luận ở cuối bài viết này.

kết luận

Tính khả thi của Prop AMM phụ thuộc vào việc giải quyết các vấn đề kinh tế cốt lõi: thực hiện tiết kiệm và ưu tiên để ngăn chặn tình trạng chạy trước.

Trong khi kiến trúc EVM tiêu chuẩn khiến các hoạt động này tốn kém và rủi ro, một thiết kế mới mang đến một cách tiếp cận khác. Kết hợp hợp đồng thông minh lưu trữ toàn cầu trên chuỗi với chiến lược xây dựng ngoài chuỗi, thiết kế mới này tạo ra một "làn đường nhanh" chuyên dụng để đảm bảo các bản cập nhật được thực hiện ở đầu khối, đồng thời thiết lập một thị trường phí cục bộ được kiểm soát. Điều này không chỉ giúp Prop AMM khả thi trên EVM mà còn có tiềm năng cách mạng hóa tất cả các dự án DeFi EVM dựa trên các bản cập nhật oracle đầu khối.

Câu hỏi mở

• Tốc độ Flashblock 200ms của Prop AMM trên EVM có đủ nhanh để cạnh tranh với kiến trúc liên tục của Solana không?
• Phần lớn lưu lượng AMM trên Solana đến từ một bộ tổng hợp duy nhất, Jupiter, cung cấp SDK để dễ dàng truy cập AMM. Tuy nhiên, trên EVM Lớp 2, lưu lượng được phân tán trên nhiều bộ tổng hợp và không có SDK công khai. Điều này có gây khó khăn cho Prop AMM không?
• Prop AMM chỉ tiêu tốn khoảng 100 CU để cập nhật trên Solana. Cơ chế triển khai của nó là gì?
• Mô hình kênh nhanh chỉ đảm bảo cập nhật ở đầu khối. Nếu có nhiều giao dịch hoán đổi trong một Flashblock, nhà tạo lập thị trường sẽ cập nhật giá giữa các giao dịch hoán đổi này như thế nào?
• Có thể viết các chương trình EVM được tối ưu hóa bằng các ngôn ngữ như Yul hoặc Huff, tương tự như giải pháp tối ưu hóa Pinocchio trên Solana không?
• So sánh Prop AMM với RFQ như thế nào?
• Làm thế nào chúng ta có thể ngăn chặn các nhà tạo lập thị trường gây hiểu lầm cho người dùng bằng cách cung cấp báo giá chất lượng cao ở khối N, rồi sau đó cập nhật chúng thành báo giá kém chất lượng ở khối N+1? Jupiter ngăn chặn điều này bằng cách nào?
• Tính năng Ultra Signaling của Jupiter Ultra V3 cho phép Prop AMM phân biệt giữa lưu lượng giao thông có hại và vô hại, từ đó đưa ra mức giá chặt chẽ hơn. Những tính năng tổng hợp này quan trọng như thế nào đối với Prop AMM trên EVM?