Sửa các vòng xoắn thanh lý độc hại trong Defi

Vào ngày 22 tháng 11 năm 2022, AAVE v2, một nền tảng cho vay trên Ethereum, phát sinh nợ khó đòi do một sự kiện thanh lý lớn liên quan đến một người dùng đã vay gần 40 triệu đô la mã thông báo CRV. Trước sự việc này, Daniele Pinna , Jakub Warmuz , và Amit Chaudhary đã phát hành một bài nghiên cứu bác bỏ những suy đoán xung quanh sự kiện này. Họ đã giới thiệu khái niệm thanh lý độc hại, sự nổi bật của chúng trên nhiều giao thức DeFi và cách giảm thiểu chúng.

Điều gì thực sự đã xảy ra trong quá trình khai thác Aave?

Việc khai thác AAVE là do Avraham Eisenberg , người được biết đến với khai thác Mango Markets có trụ sở tại Solana với giá hơn 100 triệu USD . Tháng 11 năm ngoái, Eisenberg đã cố gắng khai thác AAVE theo cách tương tự. Sử dụng các đợt được tạo thành từ hàng chục triệu USDC làm tài sản thế chấp, Eisenberg đã vay hàng triệu mã thông báo gốc của Curve, CRV, trên AAVE trước khi gửi nó tới OKX – có thể là để bán.

Sử dụng USDC làm tài sản thế chấp để mượn mã thông báo và sau đó bán chúng là phương pháp phổ biến được những người chơi tinh vi sử dụng để tạo các vị thế bán khống trong DeFi. Trong khi nỗ lực khai thác gây ra biến động trên CRV, cuộc tấn công đã không hoạt động. AAVE đã chống lại việc khai thác và tin tặc đã bị thiệt hại gần 10 triệu đô la. Tuy nhiên, giao thức đã để lại khoản nợ khó đòi gần 2 triệu đô la – khoản nợ không thể thu hồi được. Mặc dù ý định thực sự của Eisenberg vẫn chưa được biết, nhưng anh ấy đã thành công trong việc thu hút nhiều sự chú ý đến nợ xấu và vòng xoáy thanh lý độc hại trong DeFi.

Xoắn ốc thanh lý độc hại

Thanh lý đề cập đến quy trình quản lý tổn thất theo đó hợp đồng thông minh bán tài sản tiền điện tử của người dùng để trang trải nợ. Trong hầu hết các trường hợp, giao thức sẽ cho phép người khác trả nợ, với mức chiết khấu, để đổi lấy tài sản thế chấp. Những cá nhân này được gọi là người thanh lý và được thưởng, cao hơn đối với các loại tiền tệ dễ bay hơi, như một sự khuyến khích. Cho vay theo giá trị (LTV) tỷ lệ đề cập đến tỷ lệ giá trị của khoản vay so với giá trị của tài sản thế chấp. Nó được người cho vay sử dụng để đo lường rủi ro liên quan khi phê duyệt khoản vay. Khi tỷ lệ LTV của người dùng vượt quá ngưỡng do giao thức đặt ra, những người thanh lý sẽ được gọi để can thiệp. Mô hình này thường hiệu quả và giúp tạo ra một danh mục đầu tư cân bằng cho người đi vay đồng thời bảo vệ người cho vay khỏi nợ khó đòi.

Việc khai thác AAVE chủ yếu bị đổ lỗi cho hành động đầu cơ giá hoặc định vị danh mục đầu tư thiếu trách nhiệm. Tuy nhiên, Daniele Pinna, người đứng đầu bộ phận nghiên cứu và đầu tư tại 0VIX, đang vạch trần điều đó và làm sáng tỏ một lỗ hổng cơ bản trong nhiều giao thức DeFi. 0VIX là một giao thức thị trường thanh khoản DeFi được xây dựng trên Polygon, cung cấp các tính năng cấp độ tiếp theo như phần thưởng khai thác trước, số độc tính và xác suất thanh lý trong 24 giờ. Tìm hiểu thêm về 0VIX và các tính năng quản lý rủi ro độc đáo của nó đây .

Trong bài báo nghiên cứu do nhóm xuất bản, họ đã đưa ra khái niệm về “vòng xoắn ốc thanh lý độc hại”, trong đó, trong những trường hợp thích hợp, khoản vay được thế chấp quá mức có thể trở thành tài sản thế chấp dưới mức hoàn toàn do cơ chế của giao thức và đảm bảo tạo ra nợ khó đòi trong quá trình này. Thanh lý được coi là độc hại khi các ưu đãi thanh lý làm xấu đi LTV của người dùng đã thanh lý và LTV cuối cùng lớn hơn LTV ban đầu. Khi LTV tăng lên, tài sản thế chấp trở nên ít có khả năng trang trải chi phí của khoản vay. Vòng xoáy thanh lý độc hại chủ yếu phụ thuộc vào động cơ khuyến khích người thanh lý thực hiện thanh lý liên quan đến khoản vay trên giá trị của người dùng bị thanh lý. Đối với các ưu đãi thanh lý cố định, chẳng hạn như phổ biến trên nhiều thị trường cho vay, tồn tại một ngưỡng mà ngoài giá trị khoản vay của người dùng sẽ được đảm bảo sẽ tăng ở mỗi lần thanh lý kế tiếp. Điều này được biểu diễn bằng toán học như:

Sử dụng cách khai thác của AAVE như một nghiên cứu điển hình, sẽ thấy rõ mức ưu đãi 4,5% của AAVE cho mỗi lần thanh lý đã đẩy LTV của Avi lên cao hơn sau khi nó vượt qua mốc 95,6%. Mặc dù đây chắc chắn là tỷ lệ cho vay trên giá trị cao đối với người dùng để nắm giữ trên thị trường cho vay, nhưng nó vẫn thể hiện một vị thế danh mục đầu tư được thế chấp quá mức.

Khi LTV trở nên lớn hơn 0,9569, ngay cả khi giá tài sản không thay đổi, danh mục đầu tư của người dùng được đảm bảo trở thành tài sản thế chấp hoàn toàn dưới mức do các ưu đãi thanh lý được thực thi bởi giao thức, do đó phát sinh nợ xấu.

Đây là vòng xoáy thanh lý độc hại dẫn đến khoản nợ 1,75 triệu đô la của AAVE và là một lỗ hổng phổ biến trong nhiều nền tảng DeFi. Nhóm đã đề xuất hai tùy chọn mà các nền tảng cho vay DeFi phải có để tránh nợ xấu phát sinh từ vòng xoáy thanh lý độc hại.

Sửa chữa Xoắn ốc thanh lý độc hại

Có hai cách AAVE và các giao thức cho vay DeFi khác có thể ngăn nợ xấu tích lũy.

Phương pháp đầu tiên khá đơn giản. Khi LTV vượt quá LTVuc (được thế chấp dưới mức), giao thức sẽ tạm dừng giao dịch. Nhóm nghiên cứu của 0VIX đã mô phỏng các kết quả sẽ xảy ra nếu phương pháp này được áp dụng và nhận thấy rằng danh mục đầu tư sẽ tạm thời trở thành tài sản thế chấp dưới mức (khoảng 750.000) trước khi ngay lập tức tự trở lại trạng thái lành mạnh sau khi CRV/USDC cuối cùng điều chỉnh xuống . Tất nhiên, có nhiều khả năng thống kê tùy thuộc vào hành động giá của mã thông báo và các biến số khác. Sử dụng phương pháp đánh giá rủi ro thị trường, hầu hết các mô phỏng đều dẫn đến nợ xấu bằng 0 đối với AAVE chỉ bằng cách tạm dừng thanh lý.

Phương pháp thứ hai đề xuất một sự thay đổi trong logic thanh lý bằng cách đưa ra các tham số động thay vì cố định thông thường cho các khuyến khích thanh lý. Điều quan trọng cần nhớ là thanh lý độc hại xảy ra khi các ưu đãi xấu đi thay vì cải thiện tỷ lệ LTV của người dùng. Giao thức có thể tránh vòng xoáy thanh lý độc hại nếu các ưu đãi này được điều chỉnh liên tục để phù hợp với công thức bên dưới.

Ngoài ra, hệ số đóng, giới hạn số lượng mã thông báo được thế chấp có thể được thanh lý cùng một lúc, cũng có thể được thay đổi. Mục đích là để dần dần thanh lý các phần lớn hơn trong danh mục đầu tư của người dùng khi nó tiến gần hơn đến việc trở thành tài sản thế chấp dưới mức.

Bằng cách so sánh kết quả của vòng xoáy thanh lý độc hại và các chính sách giảm thiểu, chúng tôi thấy rằng có sự đánh đổi. Có nhiều khả năng phát sinh nợ xấu hơn (∼ 85%) nhưng quy mô của khoản nợ đó chắc chắn hơn (trung bình đuôi = $820k) khi vòng xoáy thanh lý độc hại xảy ra. Ngược lại, các chính sách giảm thiểu được thảo luận mang lại cơ hội phát sinh nợ xấu thấp hơn đáng kể (∼ 19%) trong khi lại gây ra nhiều rủi ro hơn đối với các kết quả trong trường hợp xấu nhất (trung bình đuôi = 1,4 triệu đô la), giả sử không có sự can thiệp nào khác của thị trường mở xảy ra.

Nghiên cứu của 0VIX đã xác định được một vấn đề nghiêm trọng và các giải pháp khả thi cho một lỗ hổng chung trong các nền tảng cho vay DeFi. Thay vì loại bỏ việc khai thác của AAVE do vô trách nhiệm, biến động hoặc hành động đầu cơ giá, giờ đây các giao thức có thể tìm kiếm các kỹ thuật giảm thiểu và ngăn ngừa nợ xấu.

Bạn có thể tìm thêm thông tin về số liệu nợ xấu của giao thức DeFi riêng lẻ trong RiskDAO's bảng tổng hợp nợ xấu .