Paradigm: Mọi sản phẩm tiền mã hóa đều là sự mở rộng của hợp đồng hoán đổi vĩnh viễn
Tuyển chọn TechFlowTuyển chọn TechFlow
Paradigm: Mọi sản phẩm tiền mã hóa đều là sự mở rộng của hợp đồng hoán đổi vĩnh viễn
Thế giới cho phép quyền lực vĩnh viễn, tài sản thế chấp và sự tương tác tốt giữa LP Uniswap có thể sẽ rất thú vị.
Chuyên sâu báo cáo Web3Tác giả: Paradigm
Biên dịch: TechFlow
Gần đây, chúng tôi đã dành rất nhiều thời gian để suy nghĩ về các hợp đồng vĩnh viễn quyền lực (power perps). Hợp đồng vĩnh viễn quyền lực là những hợp đồng theo dõi tài sản cơ sở với giá chỉ số mũ, ví dụ như bình phương hoặc lập phương của một chỉ số.
(Chú thích biên tập: Ở đây liên quan đến một khái niệm toán học cơ bản, ví dụ a² được gọi là lũy thừa bậc hai của a, a³ gọi là lũy thừa bậc ba. Khái niệm mà Paradigm đề cập trong bài viết này có thể được hiểu đơn giản là: phần lớn các sản phẩm tiền mã hóa đều có thể coi là phiên bản biến thể của hợp đồng vĩnh viễn x lần.
Khi đi sâu vào chủ đề này, bạn sẽ nhận thấy rằng gần như mọi thứ đều có liên hệ đến power perps.
Trong bài viết này, chúng tôi đưa ra ba luận điểm đáng ngạc nhiên:
-
Các stablecoin được thế chấp bằng tiền mã hóa (như DAI hay RAI) tương tự như 0 perps.
-
Các hợp đồng tương lai ký quỹ (như dYdX) là 1 perps.
-
Các AMM tích số hằng định (nhà tạo lập thị trường tự động), như Uniswap, là danh mục đầu tư sao chép của 0.5 perps; còn các AMM trung bình hình học hằng định như Balancer lại là danh mục sao chép cho bất kỳ loại power perps nào với chỉ số nằm giữa 0 và 1.
Phát hiện này tiết lộ một thiết kế đáng kinh ngạc trong ba nguyên tắc DeFi chính. Bây giờ, hãy cùng lần lượt xem xét từng cái một, nhưng trước tiên ta cần định nghĩa perps và power perps.
Hợp đồng vĩnh viễn là một thỏa thuận theo dõi chỉ số bậc nhất, cung cấp mức độ phơi nhiễm rủi ro, trong đó khoản thanh toán định kỳ tăng lên khi giá giao dịch (giá đánh dấu) càng lệch xa khỏi giá mục tiêu (chỉ số).
Về mặt đồ họa, khoản thanh toán tài trợ thay đổi theo diện tích giữa giá đánh dấu và giá chỉ số trong chu kỳ tài trợ (xem hình). Nếu giá đánh dấu cao hơn chỉ số, phe mua phải trả phí cho phe bán. Nếu giá đánh dấu thấp hơn chỉ số, phe bán phải trả phí cho phe mua.
Có nhiều cơ chế chuyển khoản thanh toán khác nhau (như thanh toán bằng tiền mặt hoặc giao hàng thực tế, tài trợ định kỳ hoặc liên tục, tự động hoặc do quản trị điều hành...), cũng như nhiều cơ chế thiết lập lãi suất dựa trên giá cả khác nhau (bao gồm cơ chế tỷ lệ mà Squeeth sử dụng và bộ điều khiển PID phức tạp hơn mà Reflexer dùng). Tất cả các cơ chế này đều tuân theo một nguyên lý duy nhất: khi giá đánh dấu cao hơn chỉ số, phe mua phải trả cho phe bán, và ngược lại.
Một power perp là một hợp đồng vĩnh viễn mà giá chỉ số của nó là index price^p, với p là một số mũ nhất định.
Để mở vị thế bán khống power perp, người dùng cần khóa một lượng tài sản đảm bảo trong kho và đúc (tức là vay) một số lượng power perp. Bán số power perp vừa đúc ra để tạo vị thế bán khống. Để mở vị thế mua, hãy mua từ những người đang nắm giữ.
Cơ chế vận hành dựa trên tỷ lệ tài sản đảm bảo so với nợ: Tỷ lệ đảm bảo = Vốn chủ sở hữu / Nợ = ((số lượng tài sản đảm bảo) * (giá tài sản đảm bảo)) / ((số lượng perp) * (giá tài sản chỉ số)^p )
Tỷ lệ này phải luôn được duy trì an toàn trên mức 1 để đảm bảo có đủ tài sản đảm bảo hoàn trả nợ, nếu không, hợp đồng sẽ bị thanh lý bằng cách mua lại đủ perp để đóng vị thế.
Thiết kế của Power Perp
Thiết kế của power perp bao gồm: p, tỷ lệ ký quỹ tối thiểu c>1, và lựa chọn ba loại tài sản:
-
Tài sản đảm bảo: ví dụ USD
-
Tài sản chỉ số (tài sản mà giá trị được token hóa): ví dụ ETH
-
Tài sản định giá (đơn vị đo lường giá trị): thường là USD
Bây giờ, chúng tôi đưa ra ba luận điểm.
Luận điểm 1: Stablecoin là 0-perps
Stablecoin là khoản vay đối với các token đã phát hành, được hỗ trợ bởi tài sản đảm bảo đáng tin cậy. Cấu hình dưới đây minh họa một stablecoin tính bằng USD:
-
Tài sản đảm bảo: ETH
-
Tài sản chỉ số: ETH
-
Tài sản định giá: USD
-
Tỷ lệ ký quỹ: 1.5
-
Số mũ (power): 0
Điều này có nghĩa là chúng ta thế chấp ETH và đúc các token stablecoin. Chỉ số là lũy thừa bậc 0 của ETH, tức là ETH^0 = 1.
Nếu tôi gửi 1 ETH làm tài sản đảm bảo, với giá ETH là 3000, tôi có thể đúc tối đa 2000 token. Điều này mang lại tỷ lệ ký quỹ 1.5: Tỷ lệ đảm bảo = Vốn chủ sở hữu / Nợ = ((số lượng tài sản đảm bảo) * (giá tài sản đảm bảo)) / ((số lượng perp) * (giá tài sản chỉ số)^p) = 1 * 3000 / (2000 * 1) = 1.5
Khoản tài trợ bằng giá giao dịch hiện tại của stablecoin tính bằng USD (giá đánh dấu) trừ đi giá chỉ số mục tiêu^0.
Tài trợ = Giá đánh dấu - Chỉ số = Giá đánh dấu - Giá^0 = Giá đánh dấu - 1
Cơ chế tài trợ này tạo động lực mạnh mẽ để giá giao dịch của stablecoin tiến gần tới 1 USD. Nếu giá giao dịch cao hơn nhiều so với 1 USD, thì việc bán stablecoin đang nắm giữ, sau đó đúc thêm và bán tiếp để thu lợi từ khoản tài trợ sẽ có lời. Nếu giá thấp hơn 1 USD, có thể mua stablecoin để hưởng lãi suất dương và có khả năng bán lại với giá cao hơn trong tương lai.
Không phải tất cả các stablecoin đều sử dụng chính xác cơ chế tài trợ (giá đánh dấu - chỉ số) này, nhưng mọi stablecoin được thế chấp đều chia sẻ cấu trúc cơ bản này: coi stablecoin như một khoản vay dựa trên tài sản đảm bảo tốt. Ngay cả các stablecoin có lãi suất do quản trị đặt cũng sẽ điều chỉnh mức lãi suất này gần với mức Giá đánh dấu - 1 để neo giá vào 1 USD.
Luận điểm 2: Các hợp đồng tương lai ký quỹ là 1-perps
Nếu ta thay đổi số mũ của stablecoin ở phần trước thành 1 và đổi tài sản đảm bảo sang USD, ta sẽ thu được một token đại diện cho tài sản ETH:
-
Tài sản đảm bảo: USD
-
Tài sản chỉ số: ETH
-
Tài sản định giá: USD
-
Tỷ lệ ký quỹ: 1.5
-
Số mũ: 1
Tôi thế chấp 4500 USD với giá ETH là 3000 USD và đúc một token ETH ổn định. Tỷ lệ ký quỹ như sau:
Khoản tài trợ của hợp đồng vĩnh viễn này là giá giao dịch bằng USD của perp (giá đánh dấu) trừ đi giá chỉ số mục tiêu^1.
Tài trợ = Giá đánh dấu - Chỉ số = Giá đánh dấu - Giá^1 = Giá đánh dấu - Giá ETH/USD
Cơ chế tài trợ này tạo động lực mạnh mẽ để perp giao dịch gần với giá ETH. Nếu giá tăng mạnh, khoản tài trợ sẽ khuyến khích các nhà arbitrage mua tài sản và bán khống perp. Nếu giảm mạnh, họ sẽ được khuyến khích bán khống tài sản và mua perp. Có một lập luận chính xác về việc giá đánh dấu nên dựa trên công cụ sắp đáo hạn cung cấp độ phơi nhiễm giá ETH (xem bài báo về quyền chọn vĩnh cửu).
Tôi có thể bán tài sản ETH ổn định này để bán khống giá ETH, được hỗ trợ bởi tài sản đảm bảo USD.
Từ tài sản bán khống được token hóa sang hợp đồng vĩnh viễn bán khống ký quỹ
Tài sản ETH ổn định mà chúng tôi xây dựng có hiệu quả vốn không cao. Chúng tôi bỏ ra 4500 USD tài sản đảm bảo để bán khống phơi nhiễm 3000 USD (hoặc 1 ETH) đối với ETH. Chúng tôi có thể cải thiện hiệu quả vốn bằng cách bán token stablecoin bằng USD, rồi dùng số tiền thu được làm tài sản đảm bảo để đúc thêm perp.
Nếu tỷ lệ ký quỹ tối thiểu là 1.5, giá ETH là 3000, thì ta có chuỗi như sau:
-
Gửi 4500 USD và đúc 1 stablecoin
-
Bán stablecoin với giá 3000 USD, gửi số tiền thu được và đúc thêm 1/1.5 = 0.666 stablecoin
-
Bán stableETH với giá 2000 USD, gửi tiền và đúc (1/1.5)^2 = 0.444 stableETH
-
Bán stableETH với giá 1333.33 USD, gửi tiền và đúc (1/1.5)^3 = 0.296 stableETH
Tổng kết giao dịch, cuối cùng ta đã đúc và bán tổng cộng 3 stableETH. Đây là phơi nhiễm bán khống ETH trị giá 9000 USD từ 4500 USD tài sản đảm bảo. Vị thế này tương đương với việc mở một hợp đồng vĩnh viễn bán khống ETH/USD đòn bẩy 2 lần.
Nếu chúng ta có thể sử dụng giao dịch chớp nhoáng (flash swap) hoặc khoản vay chớp nhoáng (flash loan), quá trình này sẽ được đơn giản hóa. Chúng ta có thể hoán đổi chớp nhoáng 3 stableETH lấy USD và dùng số tiền thu được làm tài sản đảm bảo để đúc stableETH hoàn trả.
Nếu yêu cầu tài sản đảm bảo là 110%, chúng ta có thể mở vị thế đòn bẩy 10 lần.
Mua chứ không bán
Để mua, hãy mua stableETH bằng USD. Để đòn bẩy vị thế mua, hãy dùng stableETH làm tài sản đảm bảo để vay thêm USD, dùng số USD vay được để mua thêm stableETH, rồi vay thêm USD và lặp lại quá trình này, tối đa đạt 2 lần giá trị ETH. Nếu có thể sử dụng flash swap hoặc flash loan, toàn bộ quá trình có thể hoàn thành trong một giao dịch duy nhất.
Tất cả điều này có nghĩa là các hợp đồng vĩnh viễn được đảm bảo quá mức (vượt 100%) có thể được chuyển đổi thành các hợp đồng vĩnh viễn thiếu đảm bảo, giống như những gì đang được giao dịch trên dYdX.
Luận điểm 3: Uniswap và các CFMM tích số hằng định gần như là 0.5-perp
Giá trị của vị thế thanh khoản trong các nhóm Uniswap tỷ lệ thuận với căn bậc hai của giá tương đối giữa hai tài sản. Đối với LP phạm vi đầy đủ trong nhóm ETH/USD, giá trị của LP là:
V = 2 * (k * (giá ETH))^0.5
trong đó k là tích số lượng hai token. Nhóm này sinh ra một lượng phí giao dịch nhất định mỗi chu kỳ.
Bây giờ hãy xem xét một perp:
-
Tài sản đảm bảo: USD
-
Tài sản chỉ số: ETH
-
Tài sản định giá: USD
-
Tỷ lệ ký quỹ: 1.2
-
Số mũ: 0.5
Perp này sẽ theo dõi giá trị của giá^0.5, phản ánh lợi nhuận của AMM.
Một danh mục gồm vị thế bán khống 2*k^0.5 đơn vị perp và vị thế LP sẽ thu được chênh lệch giữa khoản tài trợ perp và phí AMM. Vì giao dịch này loại bỏ rủi ro giá cả, nên lợi suất 0.5 perp nên được giao dịch thấp hơn chính xác bằng:
Phí Uniswap kỳ vọng = Chỉ số - Giá đánh dấu
Điều này mang lại một kết quả thú vị: phí cân bằng Uniswap nên bằng đúng tỷ lệ tài trợ của 0.5 perp. Trong trường hợp đơn giản với lãi suất bằng 0, ta có: Lợi nhuận cân bằng Uniswap = σ²/8
trong đó σ² là phương sai của lợi suất giá tài sản này so với tài sản kia trong nhóm. Chúng tôi đạt được kết quả này từ góc nhìn Uniswap. Chúng tôi cũng đã phân tích chi tiết từ góc nhìn power perp tại đây.
Chú thích biên tập: Uniswap tổng hợp đề cập đến một sản phẩm tài chính phái sinh hoặc chiến lược nhằm mô phỏng hành vi của nền tảng giao dịch Uniswap.
Do đó, stablecoin (và rộng hơn là các khoản vay có đảm bảo), hợp đồng vĩnh viễn ký quỹ và AMM đều là các dạng của power perp.
Cuối cùng
Power perp bậc cao — bắt đầu từ power perp bậc hai (chú thích biên tập: tức là bình phương). Squeeth là power perp bậc hai đầu tiên, cung cấp độ phơi nhiễm rủi ro thuần túy đối với thành phần rủi ro bậc hai của giá. Chúng ta có thể kết hợp các quyền chọn power perp bậc cao, 1-perps (hợp đồng tương lai) và 0-perps (tài sản đảm bảo) để xấp xỉ nhiều lợi nhuận khác nhau.
Nếu cần độ chính xác cao hơn, chúng ta có thể dùng tổ hợp các power perp với lũy thừa nguyên trong trọng số chuỗi Taylor để xấp xỉ bất kỳ hàm số nào: sin(x), e^(x), 2, log(x), hay bất kỳ hàm nào khác.
Một thế giới nơi power perp, tài sản đảm bảo và LP Uniswap có thể tương tác tốt với nhau có thể sẽ rất thú vị.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
Paradigm
