Liquidation cascades as a trading signal: reading forced, pre-announced flow

Hầu hết dòng chảy thị trường là một bí mật cho đến khi nó được in ra. Người bán tùy ý quyết định bán khi họ quyết định; sau khi thực tế, bạn biết được ý định của họ từ cuốn băng. Thanh lý đòn bẩy là ngoại lệ, và ngoại lệ là rất lớn. Việc thanh lý bị ép buộc — người nắm giữ vị trí không có quyền quyết định liệu điều đó có xảy ra hay không — và nó được thông báo trước — mức giá chính xác mà nó thực hiện là một hàm xác định của các tham số, trên chuỗi, hoàn toàn công khai và ngoài chuỗi, có thể ước tính theo thống kê. Mỗi vị thế mua có đòn bẩy là một lệnh bán trên thị trường cố định ở mức giá mà nó đưa ra cho bất kỳ ai quan tâm đến việc tính toán nó.

Điều đó định hình lại toàn bộ sự việc. Bài viết đi kèm về cơ chế thanh lý Aave và Hợp chất đề cập đến việc thanh lý từ phía người thanh lý — cuộc đua cơ sở hạ tầng để trở thành người trả nợ khó đòi và thu tiền thưởng. Bài viết này đưa ra cùng một quan điểm từ phía nhà giao dịch: không phải "làm cách nào để tôi thắng được việc thanh lý" mà là "tổng giá thanh lý của những người khác là bản đồ của dòng chảy bắt buộc trong tương lai và tôi có thể giao dịch dựa trên bản đồ đó". Chúng tôi xây dựng hai phiên bản của bản đồ — một phiên bản chính xác trên chuỗi, một phiên bản mờ trên các đặc vụ CEX — định lượng thời điểm một chuỗi thanh lý chuyển sang trạng thái tự củng cố và nêu rõ một cách cẩn thận dòng kết quả sẽ ảnh hưởng như thế nào đến giá cả.

Biểu đồ độ sâu thanh lý trên chuỗi

Trên thị trường tiền tệ, giá thanh lý của một vị thế không được ước tính. Nó có nguồn gốc. Nhớ lại yếu tố sức khỏe từ mồi cơ học: một vị thế có thể được thanh lý khi

$HF = \frac{\sum_i C_i \, P_i \, LT_i}{\sum_j D_j \, P_j} < 1$

với $C_i$ số tiền bảo đảm, $P_i$ giá tiên tri của họ, $LT_i$ ngưỡng thanh lý, và $D_j P_j$ các giá trị nợ. Chúng tôi sẽ không lấy lại điều này; chúng tôi đảo ngược nó. Lấy trường hợp phổ biến - một tài sản thế chấp dễ bay hơi $C$ (nói WETH) tài trợ cho khoản nợ ổn định $D$ (USDC). Cài đặt $HF = 1$ và việc giải quyết giá tài sản thế chấp sẽ cho ra giá kích hoạt của vị thế:

$P_{\text{liq}} = \frac{D}{C \cdot LT}$

Con số duy nhất đó chính là con số mà người đi vay đã quảng cáo. Nó ghi: nếu WETH chạm vào $P_{\text{liq}}$ trên oracle, vị thế này trở thành nguồn cung bắt buộc. Và quy mô của nguồn cung đó cũng có thể biết được — khi kích hoạt, người thanh lý sẽ hoàn trả $\text{closeFactor} \times D$ nợ và thu giữ giá trị tài sản thế chấp $\text{repay} \times (1 + \text{bonus})$, đại khái thế

$Q_{\text{forced}} \approx \text{closeFactor} \cdot D \cdot (1 + \text{bonus})$

giá trị tài sản thế chấp sẽ được tung ra thị trường (hoặc được phòng ngừa rủi ro) khi vị thế được kích hoạt.

Lấy vị trí cụ thể từ cơ sở cơ học: 10 WETH được gửi ở mức 3.000 USD, vay 20.000 USDC, ngưỡng thanh lý $LT = 0.83$, thưởng 5%. Kích hoạt của nó là $P_{\text{liq}} = 20{,}000 / (10 \times 0.83) = \char36 2{,}410$, và ở hệ số gần 50% nó đỗ $0.5 \times 20{,}000 \times 1.05 = \char36 10{,}500$ về nguồn cung WETH bắt buộc ở mức giá đó. Một người đi vay, một thanh trên biểu đồ. Thực hiện việc này cho mọi người vay trong giao thức, tổng hợp kết quả theo $P_{\text{liq}}$, và bạn có biểu đồ: bắt buộc bán danh nghĩa như một hàm của giá. Đó là biểu đồ độ sâu thanh lý trên chuỗi - anh em họ gốc DEX của sổ đặt hàng, ngoại trừ "lệnh" là không tự nguyện và giá của chúng được tính toán chứ không được trích dẫn.

Ba lời cảnh báo trung thực giúp điều này không trở thành ảo tưởng:

1. Vị thế đa tài sản không có giá kích hoạt duy nhất. Vị thế có hai tài sản thế chấp dễ biến động và hai khoản nợ được thanh lý trên một bề mặt trong không gian giá chứ không phải một điểm. Việc giảm thiểu thực tế là tính toán mức kích hoạt dọc theo trục của tài sản thế chấp dễ biến động chi phối trong khi giữ mọi mức giá tiên tri khác ở giá trị hiện tại của nó. Điều đó đúng đối với sự dịch chuyển của một tài sản và sai đối với sự di chuyển của giỏ tương quan - điều này rất quan trọng, bởi vì các sự cố tương quan chính xác là khi nhiều yếu tố kích hoạt di chuyển cùng nhau. Xử lý tài sản đơn lẻ $P_{\text{liq}}$ như một mức cận biên bậc một, không phải là một sự đảm bảo.
2. Bắt buộc bán $\neq$ bán phá giá thị trường tại một địa điểm. Các nhà thanh lý có năng lực không mù quáng bán tài sản thế chấp bị tịch thu vào thị trường với số lượng ít nhất hiện có; họ định tuyến qua DEX và CEX, đồng thời thường giữ và phòng hộ delta trên một perp thay vì nhận ra tài sản thế chấp ngay lập tức (vấn đề hoán đổi thoát mà mechanics prime đang giải quyết). Vì thế $Q_{\text{forced}}$ là giới hạn trên của luồng tác động đến giá, không phải là ước tính điểm. Một số rò rỉ vào hàng rào không bao giờ chạm tới chỗ đó.
3. Các yếu tố kích hoạt di chuyển theo oracle, không phải thị trường. Trên Aave và Hợp chất, vị thế sẽ có thể thanh lý khi oracle giao nhau $P_{\text{liq}}$và cập nhật oracles về nhịp lệch và nhịp tim, khiến thị trường tụt hậu. Do đó, biểu đồ độ sâu là bản đồ về nơi luồng cưỡng bức trở nên đủ điều kiện, được kiểm soát bởi lần truyền oracle tiếp theo — một chi tiết tinh tế mà lớp sơn lót trình bày một cách chi tiết.

Nguồn thứ ba nằm giữa biểu đồ thị trường tiền tệ và bản đồ nhiệt CEX: perp DEX. Hyperliquid, GMX và dYdX v4 chạy các hợp đồng vĩnh viễn có đòn bẩy giống như một sàn giao dịch tập trung nhưng vẫn giữ trạng thái vị thế trên chuỗi hoặc trong một cơ quan thanh toán bù trừ có thể truy vấn. Điều đó có nghĩa là giá thanh lý của họ tuân theo cùng một công thức ký quỹ riêng biệt như các đặc vụ CEX - nhưng được tính từ các vị thế thực tế (quy mô, tài sản thế chấp, mục nhập) thay vì ước tính từ OI tổng hợp. Trạng thái thanh toán bù trừ của Hyperliquid hiển thị mức ký quỹ và giá đánh dấu của mỗi tài khoản; Các vị trí GMX đang hoạt động và thanh lý ở mức giá bắt nguồn từ oracle thông qua người giữ. Kết quả thực tế: đối với các DEX perp, bạn có thể xây dựng bản đồ thanh lý với đòn bẩy kiểu CEX nhưng độ chính xác theo kiểu trên chuỗi, gần với độ chính xác của biểu đồ Aave hơn là phỏng đoán của bản đồ nhiệt. Nơi một địa điểm công bố các vị trí, bạn không bao giờ phải đoán.

Ngay cả khi có cảnh báo, biểu đồ trên chuỗi là bản đồ dòng bắt buộc rõ ràng nhất tồn tại ở bất kỳ đâu trên thị trường: không giả định về phân bổ đòn bẩy, không có kích thước ẩn, mọi đầu vào đều có thể đọc được từ trạng thái.

Bản đồ nhiệt thanh lý CEX

Sàn giao dịch vĩnh viễn tập trung mang lại cho bạn tình huống ngược lại — lãi suất mở lớn hơn rất nhiều và hầu như không có chi tiết cấp vị trí nào làm cho biểu đồ trên chuỗi trở nên chính xác. Bạn không thể đọc các vị trí riêng lẻ. Những gì bạn có thể đọc là tổng hợp lãi suất mở và khối lượng giao dịch. Bản đồ nhiệt thanh lý là những gì bạn nhận được khi cố gắng xây dựng lại biểu đồ độ sâu từ các tổng hợp đó cộng với các giả định và các giả định đó có khả năng chịu tải.

Số học cho mỗi vị trí rất đơn giản. Đối với tuyến tính ký quỹ riêng biệt (thanh toán bằng USDT) được nhập theo giá $E$ với đòn bẩy $L$ và tỷ lệ ký quỹ duy trì $m$, thanh lý sẽ xảy ra khi vốn chủ sở hữu giảm xuống mức yêu cầu duy trì:

$\frac{E}{L} + (P - E) = E \cdot m \quad\Longrightarrow\quad P_{\text{liq}}^{\text{long}} = E\left(1 - \frac{1}{L} + m\right)$

và đối xứng $P_{\text{liq}}^{\text{short}} = E\left(1 + \frac{1}{L} - m\right)$. Sửa một mục tại $E = \char36 3{,}000$ với $m = 0.5\%$ và thực hiện các mức đòn bẩy:

Hình dạng của cột đó là toàn bộ lý do khiến bản đồ nhiệt sáng lên ngay bên dưới mức giá gần đây: các vị thế đòn bẩy cao được thanh lý ngay trong khoảng thời gian đầu vào, do đó, ở bất kỳ nơi nào có khối lượng giao dịch gần đây, một dải dày đặc gồm 50–100× kích hoạt sẽ nằm cách đó một phần trăm. Trình xây dựng bản đồ nhiệt tiến hành: coi khối lượng giao dịch gần đây là đại diện cho vị trí các vị thế đã được mở (của họ $E$), dàn trải khối lượng đó trên một tập hợp các bậc đòn bẩy giả định — 5×, 10×, 25×, 50×, 100× với một số trọng số giả định — chiếu từng lát vào vị trí của nó $P_{\text{liq}}$, và tô bóng trục giá theo danh nghĩa đòn bẩy ước tính được thanh lý ở đó. Dải sáng là vùng thanh lý ước tính dày đặc.

Hãy giải thích rõ ràng lý do tại sao đây là một bức tranh mờ chứ không phải là hình ảnh song sinh của biểu đồ trên chuỗi:

• Mức phân bổ đòn bẩy không xác định. Toàn bộ bản đồ nhiệt là sự tích hợp khối lượng so với biểu đồ đòn bẩy giả định. Các giả định khác nhau di chuyển các dải sáng. Hai nhà cung cấp dữ liệu có uy tín xuất bản các bản đồ nhiệt khác nhau rõ ràng cho cùng một thị trường trong cùng một ngày và cả hai đều "đúng" theo ý kiến ​​trước đó của họ.
• Lề chéo phá vỡ công thức cho mỗi vị trí. $P_{\text{liq}}$ ở trên là một kết quả có lợi nhuận riêng biệt. Một vị thế ký quỹ chéo thanh lý dựa trên vốn chủ sở hữu toàn bộ tài khoản, do đó, mức kích hoạt hiệu quả của nó phụ thuộc vào các vị thế khác của nhà giao dịch, PnL chưa thực hiện của họ và bất kỳ tài sản thế chấp nào mà họ nạp vào giữa chuyển động - không điều nào trong số đó có thể quan sát được. Kích thước lề chéo thực sự không thể nhìn thấy được đối với công cụ ước tính.
• Quy mô ẩn và động. Lãi suất mở là tổng cộng ròng; nó không cho bạn biết ánh xạ từ OI tới các mục riêng lẻ. Thương nhân thêm, cắt và phòng ngừa liên tục. Ký quỹ duy trì theo bậc ($m$ tăng theo vị thế danh nghĩa) làm thay đổi yếu tố kích hoạt của các vị thế lớn so với các vị thế nhỏ ở cùng mức đòn bẩy.
• Thanh lý theo từng phần, không phải ngay lập tức. Các sàn giao dịch thanh lý các vị thế lớn dần dần và định tuyến rủi ro còn lại thông qua quỹ bảo hiểm và tự động hủy bỏ đòn bẩy, do đó, ngay cả một cụm được định vị chính xác cũng không bị đổ thành một bản in.

Cách chính xác để giữ bản đồ nhiệt là trước nơi dòng chảy cưỡng bức có khả năng tập trung, được xác nhận hoặc bác bỏ bằng các bản in thanh lý đã thực hiện ( forceOrder luồng trong phần đường dẫn bên dưới), không phải dưới dạng sổ cái. Nó thực sự hữu ích và thực sự không chính xác, và giả vờ ngược lại là cách mọi người bị chính các cụm mà họ đang xem lấn át. Để biết lý do tại sao ngay từ đầu lại có quá nhiều đòn bẩy dồn lên các cá nhân — và tại sao chi phí cấp vốn tiếp tục thúc đẩy các vị thế đó về phía kích hoạt của chúng — hãy xem sự chênh lệch tỷ giá tài trợ trên các sàn giao dịch.

Động lực học xếp tầng, được định lượng

Một lần thanh lý duy nhất là một điểm dữ liệu. cascade là vòng phản hồi và nó có ngưỡng mà bạn có thể ghi lại. Vòng lặp này mang tính cơ học: một đợt bán bắt buộc chạm vào sổ sách → tác động về giá làm di chuyển thị trường → động thái này đẩy các vị trí tiếp theo vượt qua mức kích hoạt của chúng → những đợt thanh lý đó → việc bán bắt buộc nhiều hơn → lặp lại. Việc này thất bại hay bỏ chạy không phải là vấn đề tình cảm; đó là tỷ lệ của hai đại lượng bạn đã xây dựng.

Làm việc với mức giảm giá nhỏ $r = -\Delta P / P$. Hai thành phần:

• Mật độ thanh lý $\rho$ — danh nghĩa buộc phải bán trên mỗi đơn vị giảm giá một phần, đọc ngay biểu đồ độ sâu / bản đồ nhiệt: $\rho = -\,dQ / dr$. Nó đo lường lượng nhiên liệu được xếp chồng lên nhau trong một phạm vi giá.
• Độ sâu thị trường $\Delta$ - khái niệm bán hàng trên thị trường cần thiết để di chuyển giá một đơn vị $r$. Theo mô hình tác động tuyến tính (Kyle), việc bán danh nghĩa $Q$ di chuyển giá bằng $r = Q / \Delta$. Đây là khả năng hấp thụ luồng cưỡng bức của sổ đặt hàng và nó chính xác là số lượng mà phân tích tường sổ đặt hàng và vị trí hàng đợi nói về — một "bức tường" là một đột biến cục bộ trong $\Delta$.

Bây giờ lặp lại. Một cú sốc ngoại sinh làm giảm giá $r_0$, kích hoạt $Q_0 = \rho \, r_0$ về việc bị ép bán. Việc bán đó gây ra sự sụt giảm hơn nữa $r_1 = Q_0 / \Delta = (\rho/\Delta)\, r_0$. Xác định hệ số xếp tầng

$g = \frac{\rho}{\Delta}$

và đệ quy chỉ đơn giản là $r_{n+1} = g \, r_n$. Tổng mức giảm là một chuỗi hình học:

$r_{\text{total}} = r_0 \left(1 + g + g^2 + \cdots\right) = \frac{r_0}{1 - g} \quad (g < 1)$

Mọi thứ đều tồn tại trong giá trị của $g$:

• $g < 1$ — dưới tới hạn. Mỗi vòng thanh lý sẽ kích hoạt lượng bán ít hơn vòng trước. Dòng thác tự dập tắt; tổng số di chuyển là bội số giới hạn $1/(1-g)$ của cú sốc ban đầu. Hầu hết các sự kiện thanh lý đều ở đây.
• $g \ge 1$ — siêu tới hạn. Mỗi vòng ít nhất sẽ tạo ra lượng bán nhiều như lần trước. Chuỗi hình học phân kỳ; động thái này chỉ bị giới hạn bởi sự cạn kiệt của các vị trí có thể thanh lý, sự sâu sắc của cuốn sách ở mức giá thấp hơn hoặc một bộ ngắt mạch trao đổi. Đây là chế độ "sự cố chớp nhoáng / bóp dài".

$g$ là số tái tạo — số $R_0$ của một đại dịch thanh lý. Nó cho biết dòng thác sẽ biến mất chính xác khi thanh khoản buộc phải bán tập hợp trong một dải giá vượt quá thanh khoản sổ sách sẵn có để hấp thụ nó ở đó. Đó là lý do tại sao một cú sốc nhỏ vào một cụm dày đặc trên một cuốn sách mỏng lại nguy hiểm hơn nhiều so với một cú sốc lớn vào khoảng giá trống: mối nguy hiểm là $\rho / \Delta$, không phải kích thước sốc. Cấu trúc tự kích thích này - các sự kiện kích hoạt nhiều sự kiện cùng loại hơn - cũng chính là cấu trúc thúc đẩy mô hình hóa dòng lệnh với các quy trình của Hawkes và đó là lý do tại sao việc thanh lý diễn ra theo cụm thay vì thống nhất.

Đặt số trên đó. Giả sử cuốn sách có 10 triệu đô la lực bán trên thị trường làm ETH di chuyển 1%, vì vậy $\Delta = 10\text{M} / 0.01 = \char36 1\text{B}$ danh nghĩa trên mỗi đơn vị giá lẻ. Bây giờ hãy so sánh hai chế độ cho dải rộng 1% ngay bên dưới vị trí:

• Dải dày đặc, $30 triệu danh nghĩa buộc phải bán theo cụm. Sau đó $\rho = 30\text{M} / 0.01 = \char36 3\text{B}$ Và $g = \rho/\Delta = 3$. Siêu tới hạn: một cú sốc làm cắt phần trên của dải sẽ làm nổ tung toàn bộ ngăn xếp và sàn mô hình không được đặt theo $g$ nhưng ở bất cứ nơi nào hết vị trí.
• Dải thưa thớt, $6 triệu danh nghĩa được nhóm. Sau đó $\rho = \char36 600\text{M}$, $g = 0.6$, và tổng số bước di chuyển là $r_0 / (1 - 0.6) = 2.5\,r_0$ - một sự sụt giảm được khuếch đại nhưng có giới hạn. Cùng một cú sốc, cùng một cuốn sách, cụm mỏng hơn năm lần, và kết quả là chuyển từ sụp đổ sang một bấc có thể mua được.

Phiên bản rời rạc là một mô phỏng ngắn trên các cụm được sắp xếp và nó đáng được viết vì nó làm cho ngưỡng trở nên hữu hình:

def cascade(p0, clusters, kyle_lambda):
    """
    p0:          price after the exogenous shock
    clusters:    {trigger_price: forced_notional} for long positions
    kyle_lambda: fractional price impact per $ of market sell (1/depth)
    Returns the floor price and total liquidated notional.
    """
    p, sold, fired = p0, 0.0, set()
    while True:
        new = [(tp, n) for tp, n in clusters.items()
               if tp not in fired and tp >= p]
        if not new:
            break
        q = sum(n for _, n in new)          # this round's forced sell
        fired.update(tp for tp, _ in new)
        p *= (1 - kyle_lambda * q)          # linear price impact of the round
        sold += q
    return p, sold

Hai lưu ý thực tế. Đầu tiên, $g$ là địa phương — nó thay đổi dọc theo trục giá, bởi vì cả hai $\rho$ (mật độ cụm) và $\Delta$ (sách sâu) làm. Câu hỏi có thể giao dịch không phải là “thị trường có mong manh không” mà là “ở mức giá cụ thể nào $g$ chéo 1." Thứ hai, cơ chế tương tự chạy ngược lại đối với lệnh bán trên đường đi lên (một đợt siết ngắn là một tầng với các dấu hiệu bị đảo ngược), vì vậy bản đồ có hai mặt: nhiên liệu thanh lý dài hạn ở dưới giao ngay, nhiên liệu thanh lý ngắn ở trên nó. Vòng lặp bán cưỡng bức-sinh ra-tác động giá-bắt đầu-bắt buộc-bán là cơ chế rủi ro nội sinh được chính thức hóa trong tài liệu về bán cháy (Cont & Wagalath), trong đó việc thanh lý khó khăn tạo ra mối tương quan của chính nó và tác động.

Tín hiệu: cụm như nam châm và vùng đảo chiều

Bản đồ dòng chảy cưỡng bức tạo ra hai chỉ số riêng biệt, gần như đối lập nhau, có thể giao dịch được tùy thuộc vào thời gian so với tầng.

Trước: các cụm là nam châm hút giá. Cụm thanh lý dày đặc là một nhóm dòng chảy được đảm bảo, không nhạy cảm về giá. Điều đó hấp dẫn đối với hai loại tác nhân: những nhà giao dịch tìm kiếm thanh khoản muốn lấp đầy kích thước so với các đối tác bị ép buộc và những nhà giao dịch săn mồi đẩy giá về phía cụm cụ thể để thiết lập dòng chảy (săn dừng, ở quy mô giao thức). Kết quả là một xu hướng được ghi chép rõ ràng về giá bị hút về các cụm lớn - cấp độ đóng vai trò như một nam châm - bởi vì có động cơ thường trực để thu hẹp khoảng cách. Khi bạn nhìn thấy điểm trôi về phía một dải sáng với độ tin cậy thấp, thì chính dải đó là một phần của lời giải thích. Dự đoán phản ứng của cuốn sách khi giá đến gần - bức tường sẽ hấp thụ dòng chảy hay gấp lại - chính xác là loại vấn đề dự đoán sổ đặt hàng trong thời gian ngắn mà các mô hình như DeepLOB tấn công.

Sau: các cụm là vùng đảo ngược. Đây là cách đọc có giá trị hơn và bị lạm dụng nhiều hơn, vì vậy hãy trình bày cẩn thận. Luồng thanh lý cưỡng bức, theo cách xây dựng, không mang tính thông tin - người bán không bán vì họ cho rằng giá quá cao; họ đang bán vì một công cụ ký quỹ bảo họ làm vậy. Luồng phi thông tin di chuyển giá tạm thời. Khi các vị trí nhóm đã cạn kiệt, hoạt động bán cơ học sẽ dừng đột ngột và nếu dòng thác vượt quá giá trị hợp lý trên đường đi xuống, giá có xu hướng thoái lui - "bấc thanh lý". Cơ chế này không phải là chuyện dân gian: đó là kết quả tiêu chuẩn cho thấy tác động lên giá từ việc bán ép buộc, không hiểu biết có một thành phần nhất thời sẽ phục hồi sau khi dòng chảy ngừng lại, cùng logic bán cháy tạo ra sự sai lệch tạm thời và sự đảo chiều một phần sau đó trong tài liệu về bán tháo cổ phiếu.

Kỷ luật này đòi hỏi phải được tuyên bố một cách thẳng thắn nhất có thể:

• Sự đảo ngược trung bình sau một tầng là một xu hướng được ghi lại, không phải luật hay một con số. Điều kiện là luồng thực sự không mang tính thông tin và không có thông tin mới nào đến trong quá trình tầng. Một tầng thanh lý cũng là việc định giá lại thị trường dựa trên tin tức thực tế (depeg, khai thác, cú sốc vĩ mô) sẽ không hoàn nguyên - dòng chảy bắt buộc và dòng thông tin được chồng lên nhau và chỉ có dòng trước là nhất thời. Không có lợi thế "mua bấc" phổ biến và bất kỳ tỷ lệ phần trăm hoàn nguyên cụ thể nào bạn thấy được trích dẫn mà không có mẫu, địa điểm và chế độ đã nêu sẽ được coi là tiếp thị.
• Tín hiệu là sự cạn kiệt, không phải sự sụt giảm. Thời điểm có thể giao dịch là khi khả năng thanh lý được thực hiện ngày càng giảm — khi forceOrder cuộn băng sẽ im lặng sau một tiếng nổ - bởi vì đó là lúc người bán cơ khí rời đi. Đi vào giữa dòng thác siêu tới hạn ($g \ge 1$) đang bước trước vòng phản hồi mà phần trước đã cảnh báo.
• Cả hai bài đọc đều cần cùng một bản đồ. Nam châm và sự đảo ngược là các cụm giống nhau được nhìn thấy ở các giai đoạn khác nhau; bạn không thể giao dịch nếu không xây dựng biểu đồ độ sâu và bản đồ nhiệt trước tiên và liên tục đối chiếu chúng với các bản in đã thực hiện.

Ngoài ra còn có khả năng đọc có hướng và chậm hơn về sự bất đối xứng của bản đồ hai mặt. Nhiên liệu thanh lý dài nằm ở dưới vị trí, nhiên liệu thanh lý ngắn ở trên; khi một bên chịu tải nặng hơn nhiều so với bên kia, thị trường có xu hướng cơ học thiên về bên nặng, bởi vì đó là nơi mà cú sốc tìm thấy dòng chảy tự củng cố mạnh mẽ nhất. Một thị trường có bức tường thanh lý dài hạn giảm 3% và hầu như không có gì ở trên là cấu trúc dễ bị tổn thương đối với nhược điểm bất kể câu chuyện tường thuật - con đường ít trở ngại nhất là con đường có nhiều nhiên liệu nhất. Nguồn tài trợ một chiều, liên tục thường là nguyên nhân tạo nên sự bất cân xứng đó ngay từ đầu: một thị trường trả tiền mua để duy trì vị thế bán (tài trợ âm sâu) tích lũy các khoản bán khống đông đúc mà cụm thanh lý sau đó nằm trên giá như ép nhiên liệu và ngược lại. Dải tài trợ và bản đồ thanh lý là hai góc nhìn của cùng một đòn bẩy.

Đường dẫn dữ liệu

Hệ thống này là sự kết hợp của hai nguồn cấp dữ liệu có ký tự đối lập nhau: chỉ số vị trí trên chuỗi hướng tới tương lai (trong đó luồng bắt buộc sẽ trở nên đủ điều kiện) và luồng thanh lý đã nhận ra CEX (nơi luồng bắt buộc đang in ngay bây giờ). Một cho bạn biết nhiên liệu ở đâu; cái còn lại cho bạn biết nó đã bốc cháy.

Bản đồ chuyển tiếp — chỉ số vị trí trên chuỗi. Bootstrap từ lịch sử sự kiện Aave/Compound (Supply, Borrow, Repay, Withdraw, LiquidationCall), bằng cách phát lại nhật ký hoặc truy vấn sơ đồ con trên Biểu đồ và xếp chúng vào số dư hiện tại của mỗi người dùng — hệ thống con lập chỉ mục chính xác mà mechanics prime mô tả cho các bot thanh lý, được sử dụng lại ở đây để tổng hợp thay vì thực thi. Từ số dư cộng với các thông số rủi ro hiện tại, tính toán giá trị của từng vị thế $P_{\text{liq}}$ Và $Q_{\text{forced}}$và đưa vào biểu đồ biểu đồ độ sâu. Làm mới các khối mới; biểu đồ này rất rẻ để duy trì tăng dần sau khi số dư tồn tại.

Băng ghi âm hiện thực — Binance forceOrder streaming. Binance Futures công bố các khoản thanh lý thực tế qua websocket, wss://fstream.binance.com/ws/!forceOrder@arr (mảng toàn ký hiệu) hoặc <symbol>@forceOrder, mỗi sự kiện thực hiện, giá cả và số lượng của lệnh thanh lý. Một điều đáng chú ý đã được ghi lại và thành thật mà nói thì đó chính xác là kiểu thiếu chính xác: luồng công khai bị hạn chế tối đa một sự kiện thanh lý trên mỗi ký hiệu mỗi giây - trong một đợt thanh lý dữ dội, khi các đợt thanh lý đến nhanh hơn 1/s, luồng mẫu thay vì báo cáo mỗi lần lấp đầy, do đó khối lượng thanh lý tổng hợp được xây dựng lại từ nó một cách có hệ thống đếm thiếu chính xác khi nó quan trọng nhất. Sử dụng luồng cho thời gian và hướng của tầng (nó đang chạy, phía nào, nó đang tăng tốc hay mỏng đi), chứ không phải như một sổ cái khối lượng chính xác.

Khung nhập tối thiểu - hai nhà sản xuất không đồng bộ ghi vào một xe buýt chuẩn hóa:

import asyncio, json, websockets

async def binance_liquidations(bus):
    url = "wss://fstream.binance.com/ws/!forceOrder@arr"
    async with websockets.connect(url) as ws:
        async for msg in ws:
            o = json.loads(msg)["o"]              # order payload
            await bus.put({
                "src": "binance", "kind": "realized",
                "symbol": o["s"],
                "side": o["S"],                   # SELL = long liquidation
                "price": float(o["p"]),
                "qty": float(o["q"]),             # NB: stream is sampled at 1/s
            })

async def onchain_positions(bus, subgraph, poll=12):
    while True:
        positions = subgraph.fetch_open_positions()   # balances + risk params
        chart = {}
        for pos in positions:
            p_liq = pos.debt / (pos.collateral * pos.liq_threshold)
            q = pos.close_factor * pos.debt * (1 + pos.liq_bonus)
            chart[round(p_liq, 2)] = chart.get(round(p_liq, 2), 0.0) + q
        await bus.put({"src": "aave", "kind": "forward", "chart": chart})
        await asyncio.sleep(poll)                       # ~1 block cadence

async def main(subgraph):
    bus = asyncio.Queue()
    await asyncio.gather(
        binance_liquidations(bus),
        onchain_positions(bus, subgraph),
        consumer(bus),        # reconcile forward map vs realized tape, emit signals
    )

các consumer là nơi chiến lược tồn tại: giữ bản đồ chuyển tiếp (biểu đồ trên chuỗi cộng với bản đồ nhiệt CEX ước tính), ước tính hệ số nhân tầng cục bộ $g = \rho/\Delta$ dựa trên độ sâu của sổ đặt hàng trực tiếp và xem kết quả thực hiện forceOrder băng để phát hiện sự đánh lửa và — phần có thể giao dịch — kiệt sức. Khi băng vỡ ra và sau đó mỏng đi trong khi giá nằm dưới một cụm mà bản đồ cho biết đã có ở đó, bạn đã vượt quá mức phi thông tin và người bán buộc phải ra đi: thiết lập đảo ngược. Khi băng đang tăng tốc và $g \ge 1$ phía trước, bạn có một dòng thác siêu tới hạn cần tránh. Cùng một bản đồ, những hành động trái ngược nhau và cuốn băng là thứ giúp phân biệt chúng trong thời gian thực.

Nên mang đi những gì

Thanh lý đảo ngược sự bất cân xứng thông tin thông thường của thị trường: thay vì dòng tiền bị ẩn cho đến khi in, giá và quy mô bán bắt buộc có thể được tính toán trước - chính xác trên chuỗi, xấp xỉ trên các đặc vụ CEX. Xây dựng bản đồ (biểu đồ độ sâu trên chuỗi chính xác theo định tuyến và độ trễ của oracle; bản đồ nhiệt CEX được điều chỉnh trước dựa trên phân phối đòn bẩy không xác định và mù đối với lề chéo) và tính dễ vỡ của bản đồ giảm xuống một tỷ lệ: hệ số nhân tầng $g = \rho/\Delta$, mật độ bán bắt buộc theo độ sâu của sách, số tái bản dưới mức tới hạn dưới 1 và vượt quá mức đó. Tín hiệu được phân chia theo pha - các cụm là nam châm trước, các vùng đảo chiều sau - và cạnh đảo chiều chỉ tồn tại vì dòng chảy cưỡng bức không mang tính thông tin và do đó nhất thời, một xu hướng được ghi nhận sẽ bốc hơi ngay khi một tầng trùng với tin tức thực. Đánh đổi sự kiệt sức, không phải sự sụt giảm; sự tôn trọng $g$; và đừng bao giờ nhầm lẫn bản đồ nhiệt mờ với sổ cái về nơi chôn cất thi thể.

Tài liệu tham khảo

• Qin, Zhou, Gamito, Jovanovic, Gervais (2021), Một nghiên cứu thực nghiệm về thanh lý DeFi: Khuyến khích, rủi ro và bất ổn. arXiv:2106.06389.
• Kyle, A. S. (1985), Đấu giá liên tục và giao dịch nội gián. Kinh tế lượng 53(6) — hệ số tác động giá tuyến tính $\lambda$ được sử dụng trong mô hình xếp tầng.
• Cont, R., & Wagalath, L. (2016), Điều tra vụ hỏa hoạn: Đo lường rủi ro nội sinh. Tài chính toán học 26(4) — tác động giá của việc thanh lý bắt buộc và mối tương quan nội sinh.
• Bacry, E., Mastromatteo, I., Muzy, J.-F. (2015), Quy trình Hawkes trong lĩnh vực tài chính. Cấu trúc vi mô thị trường và thanh khoản 1(1) — tập hợp các lệnh và dòng thanh lý tự kích thích.
• Tài liệu API của Binance Futures — Luồng lệnh thanh lý (!forceOrder@arr, <symbol>@forceOrder), bao gồm ghi chú điều chỉnh 1 sự kiện mỗi giây cho mỗi ký hiệu.
• Đồ thị con Aave v3 và Hợp chất III trên Biểu đồ; Aave getUserAccountData và các thông số rủi ro dự trữ.