Bài 3/6 · Crypto & DeFi dưới góc nhìn Tài chính
Sàn phi tập trung AMM: x·y = k và trượt giá
Mục tiêu bài học
- Hiểu cơ chế định giá của AMM tích số hằng (x·y=k).
- Tính giá thực hiện và tác động giá (trượt giá) của một lệnh giao dịch.
- Hiểu vai trò của arbitrageur trong việc giữ giá AMM khớp thị trường.
Nội dung chính
Tài sản số biến động rất mạnh, có rủi ro hợp đồng thông minh; nội dung chỉ nhằm mục đích giáo dục.
Sàn giao dịch phi tập trung tự động (Automated Market Maker — AMM) như Uniswap thay thế sổ lệnh truyền thống bằng một công thức toán học đơn giản: giữ tích số của hai lượng dự trữ token không đổi (x·y=k). Đây là một trong những đổi mới quan trọng nhất của DeFi, cho phép giao dịch phi tập trung không cần người tạo lập thị trường trung gian.
Cơ chế tích số hằng
Trong một pool gồm hai token X và Y, giá tức thời của X (tính theo Y) đơn giản là tỷ lệ dự trữ y/x. Khi một người dùng mua token X bằng cách đưa thêm token Y vào pool, dự trữ Y tăng và dự trữ X giảm — theo công thức x·y=k, tỷ lệ y/x tăng lên, tức giá X tăng theo mỗi giao dịch mua.
Trượt giá (slippage)
Vì đường cong x·y=k là phi tuyến, giá thực hiện trung bình của một lệnh luôn kém hơn giá tại thời điểm bắt đầu (giá giữa — mid price), và mức chênh lệch này (tác động giá, hay trượt giá) tăng nhanh theo quy mô lệnh so với độ sâu của pool. Phí giao dịch (thường 0,3% với các pool phổ biến) được trả thêm cho nhà cung cấp thanh khoản, cộng thêm vào chi phí thực hiện lệnh.
Vai trò của Arbitrageur
Vì giá trong AMM chỉ phản ánh cung-cầu nội bộ của chính pool đó, cần có các nhà giao dịch chênh lệch giá (arbitrageur) liên tục theo dõi và giao dịch để kéo giá AMM về khớp với giá thị trường bên ngoài (trên các sàn tập trung hoặc AMM khác) — quá trình này vừa giữ giá chính xác vừa tạo ra rủi ro MEV (Maximal Extractable Value) và "sandwich attack" cho người dùng thông thường.
Lưu ý thực hành: Khi giao dịch trên AMM với số lượng lớn so với độ sâu pool, luôn đặt giới hạn trượt giá (slippage tolerance) hợp lý và cân nhắc chia nhỏ lệnh hoặc tìm pool có thanh khoản sâu hơn để giảm chi phí thực hiện.
Công thức cốt lõi
Công thức tích số hằng
\[ x\cdot y = k \]Số lượng nhận được khi mua X bằng Δy đơn vị Y
\[ \Delta x = x - \frac{k}{y + (1-f)\Delta y} \]\(f\): tỷ lệ phí giao dịch.
Giá thực hiện và tác động giá
\[ \text{Giá thực hiện} = \Delta y/\Delta x,\qquad \text{Tác động giá} = \frac{\text{Giá thực hiện}}{y/x} - 1 \]Ví dụ số
Ví dụ: Swap trên pool ETH/USDC
Dữ kiện: Pool: 1.000 ETH & 3.000.000 USDC (giá giữa 3.000 USD/ETH); phí 0,3%; mua ETH bằng 30.000 USDC.
- k = 1.000 × 3.000.000 = 3.000.000.000.
- Sau phí: Δy hiệu dụng = 30.000 × (1−0,003) = 29.910 USDC.
- Δx = 1.000 − 3.000.000.000/(3.000.000+29.910) = 1.000 − 990,1284 = 9,8716 ETH.
- Giá thực hiện = 30.000/9,8716 = 3.039,03 USD/ETH.
- Tác động giá = 3.039,03/3.000 − 1 = 1,30%.
Kết quả: Nhận được 9,8716 ETH; giá thực hiện 3.039,03 USD/ETH; tác động giá 1,30%.
Diễn giải: Với lệnh chiếm 1% dự trữ USDC của pool (30.000/3.000.000), tác động giá đã lên tới 1,30% (bao gồm cả phí 0,3%) — minh hoạ rõ tốc độ tăng phi tuyến của trượt giá khi quy mô lệnh tăng so với độ sâu pool.
Công cụ: Mô phỏng swap trên AMM
Nhập dự trữ pool và số lượng giao dịch để tính giá thực hiện và tác động giá.
Lưu ý thực tế & bẫy thường gặp
- Pool càng sâu (dự trữ lớn), trượt giá với cùng quy mô lệnh tuyệt đối càng nhỏ — đây là lý do các dự án lớn nỗ lực thu hút thanh khoản sâu.
- Trong thực tế, các AMM hiện đại (như Uniswap v3) dùng thanh khoản tập trung (concentrated liquidity), phức tạp hơn công thức x·y=k đơn giản nhưng vẫn dựa trên cùng nguyên lý cơ bản.
- MEV (Maximal Extractable Value) là giá trị mà các validator/miner hoặc bot có thể trích xuất bằng cách sắp xếp lại thứ tự giao dịch — một rủi ro đặc thù của giao dịch on-chain minh bạch.
Kiểm tra nhanh (5 câu)
Tóm tắt
- AMM định giá bằng công thức tích số hằng x·y=k, không cần sổ lệnh hay người tạo lập thị trường trung gian.
- Trượt giá tăng phi tuyến theo quy mô lệnh so với độ sâu pool — luôn kiểm tra tác động giá trước khi giao dịch lớn.
- Arbitrageur giữ giá AMM khớp thị trường bên ngoài, nhưng quá trình này cũng tạo ra rủi ro MEV cho người dùng.