Khám phá cơ chế thanh toán và cho vay DeFi cũng như các nguyên tắc triển khai, rủi ro và trường hợp sử dụng của nó

Tiêu đề gốc: "Khái niệm cho vay DeFi Phần 2: Thanh lý"

Tác giả gốc: Tal 

Bản tổng hợp gốc: Kxp, BlockBeats

Bài viết này là bài thứ hai trong loạt bài gồm ba phần thảo luận về cách hoạt động của các giao thức cho vay DeFi – các thành phần chính, công thức và trường hợp sử dụng của chúng. Trong bài viết trước, chúng tôi đã xem xét hoạt động cốt lõi của DeFi - cho vay và đi vay cũng như cách các giao thức khác nhau chọn để triển khai các hoạt động này (bạn có nhớ "mã thông báo chia sẻ" không?). Trong bài viết này, chúng tôi sẽ tập trung vào điều mà chúng tôi cho là một trong những khái niệm cho vay DeFi thú vị nhất: thanh lý.

Tài sản thế chấp quá mức và Nợ xấu

Bạn có thể nhớ lại bài đăng trên blog trước đây của chúng tôi, Người dùng Giao thức có thể chỉ cho vay và mượn tài sản theo tỷ lệ phần trăm của tài sản thế chấp mà họ cung cấp cho giao thức. Điều này có ý nghĩa vì thỏa thuận cần đảm bảo rằng nó có thể thu hồi tài sản của mình (hoặc bất kỳ tài sản nào khác có giá trị tương đương) từ bạn nếu bạn không có khả năng trả nợ. Quá trình thế chấp tài sản này bắt đầu với tài chính truyền thống, chẳng hạn như ngày nay một người có thể thế chấp căn nhà hoặc chiếc Lamborghini của mình để thế chấp để trả khoản vay.

Việc thế chấp dựa vào giá của tài sản thế chấp để duy trì giá trị của nó - trong khi giá một ngôi nhà hoặc một chiếc Lamborghini không được đảm bảo thì giá trị tương ứng của chúng tương đối thấp hơn không ổn định và ổn định hơn các tài sản như ERC20 hoặc NFT.

Trong hầu hết các giao thức cho vay DeFi, tài sản thế chấp của bạn phải có giá trị cao hơn giá trị khoản vay của bạn, được gọi là tài sản thế chấp quá mức.

Nếu hợp đồng cho vay muốn duy trì sự ổn định tài chính thì chỉ cho phép các khoản vay có tài sản thế chấp quá mức sẽ có lợi hơn. Hãy tưởng tượng bạn đưa một số tài sản làm tài sản thế chấp và giá trị của những tài sản đó đột nhiên thấp hơn giá trị tài sản bạn đã vay từ giao thức. Bây giờ tài sản thế chấp của bạn có giá trị thấp hơn số tiền bạn nợ trong hợp đồng, bạn không có động cơ để trả nợ. Suy cho cùng, tài sản thế chấp mà lẽ ra bạn đã tiết kiệm được trong quá trình trả nợ hiện có giá trị thấp hơn số tiền cần thiết để thực sự trả khoản vay. Khoản vay này hiện không thể trả được.

Mọi khoản vay không thể hoàn trả đều gây bất lợi cho thỏa thuận đã ký kết. Nợ phát sinh từ khoản vay mất khả năng thanh toán tạo ra yếu tố mất an toàn trong thỏa thuận, xét cho cùng số nợ chính là số tài sản mà người cho vay không thể thu hồi được từ thỏa thuận. Để nhấn mạnh mức độ tệ hại của những khoản nợ xấu này: nếu điều gì đó giống như một vụ “chạy trốn ngân hàng” tài chính truyền thống xảy ra trên giao thức, thì những người dùng cuối cùng rút tài sản của họ khỏi giao thức sẽ không thể làm như vậy.

Tất nhiên, các giao thức có số lượng nợ xấu lớn sẽ kém hấp dẫn hơn đối với người dùng.

Ngưỡng thanh lý và thanh lý

Chúng tôi xác định rằng khi giá trị của tài sản thế chấp khoản vay là ít hơn khoản vay Khi giá trị khoản nợ của một người mang lại lãi suất (còn được gọi là ít hơn tài sản thế chấp), khoản nợ của người đi vay gây ra mối đe dọa đối với tính lành mạnh của hợp đồng cho vay mà nó được ký kết. Để ngăn chặn sự phát triển của các vị thế không được thế chấp, giao thức cho phép các bên thứ ba (không nhất thiết là người sử dụng giao thức) hoàn trả khoản nợ được thế chấp dưới mức (hoặc gần như được thế chấp dưới mức). Bằng cách trả khoản nợ dưới mức tài sản thế chấp, các bên thứ ba này, được gọi là người thanh lý, có quyền yêu cầu trả lại tài sản thế chấp của con nợ được bảo hiểm với mức chiết khấu. Quá trình này được gọi là thanh lý.

Bạn có thể thắc mắc: tại sao giao thức lại dựa vào bên thứ ba để thanh lý các vị thế không lành mạnh? Rốt cuộc, các giao thức có thể có cơ chế thanh lý tự động được mã hóa vào mã của chúng.

Chi phí gửi giao dịch bù trừ rất cao. Nếu giao thức tự động gửi các giao dịch đắt tiền này, chi phí gas phát sinh sẽ làm tăng chi phí vận hành, do đó làm giảm lợi nhuận của nó.

Ngoài ra, việc thiết kế hệ thống thanh toán bù trừ tự động là rất khó khăn. Một giao thức không chỉ phải xem xét liệu một vị thế có nên được thanh lý tự động hay không mà còn phải xem xét thời điểm thực hiện việc đó và ở mức phản ánh sự biến động của thị trường. Bằng cách khuyến khích một bên thứ ba chuyên trách thanh lý các vị thế này, quy trình này đơn giản hơn nhiều.

Việc thanh lý vốn không mang lại lợi nhuận - đối với quá trình này, tài sản thế chấp của con nợ phải có giá trị cao hơn số tiền họ nợ. Người thanh lý sẽ không thanh lý một vị thế nếu họ không đảm bảo rằng quá trình này sẽ mang lại lợi nhuận.

Vậy khi nào một vị thế có thể được thanh lý? Điều kiện này được xác định bởi giao thức và là một chức năng của ngưỡng thanh lý được chỉ định cho từng tài sản.

Thời gian là yếu tố quan trọng khi nói đến ngưỡng thanh lý. Như chúng ta đã biết, nếu giá trị nợ của một vị thế vượt quá giá trị tài sản thế chấp của nó, việc thanh lý các vị thế này sẽ không mang lại lợi nhuận cho người thanh lý và giao thức cũng sẽ phải đối mặt với các khoản nợ khó đòi. Do đó, ngưỡng thanh lý an toàn cung cấp cho người thanh lý đủ thời gian để thanh lý các vị thế trước khi chúng đạt đến trạng thái không thể thanh toán.

Bây giờ chúng tôi đã hiểu động lực của mỗi người tham gia để giữ vị thế của họ lành mạnh, chúng tôi sẽ cho thấy giao thức thực sự triển khai các cơ chế này như thế nào:

Hợp chất:Thanh khoản tài khoản

Hợp chất bao gồm một tham số có tên AccountLiquidity, tính toán Ngưỡng thanh lý trong Bộ điều khiển hợp đồng chính của Hợp chất.

Comptroller có chức năng gọi là getAccountLiquidity() trả về thông tin về tính thanh khoản của tài khoản. Trong nội bộ, hàm này gọi getHypotheticalAccountLiquidityInternal():

Ở đây chúng ta thấy rằng logic chính của hàm được giới hạn trong vòng lặp for. Điều này cho thấy việc tính toán tính thanh khoản của tài khoản được thực hiện bằng cách lặp lại trên tất cả các thị trường mà tài khoản tham gia. Nói cách khác, tất cả tài sản mà người dùng cho vay hoặc giữ làm tài sản thế chấp đều được tính đến khi tính tính thanh khoản của tài khoản.

Hãy nhớ lại bài đăng trên blog trước đây của chúng tôi rằng cTokenBalance là số lượng tài sản cơ bản được người dùng cung cấp để thế chấp. Trong ví dụ này, chúng ta cũng có thể thấy loanBalance và một số ExchangeRateMantissa bí ẩn, cả hai đều được trả về từ getAccountSnapshot().

Trong bài đăng trên blog trước đây thảo luận về biến ExchangeRate tổng quát, chúng tôi đã viết:

"Một lãi suất tùy ý có thể làm tăng số lượng Token được đúc. Nếu ExchangeRate < 1, nó có thể giảm số lượng Token. Nếu ExchangeRate> 1, nó có thể tăng số lượng Token."

Điều này cũng áp dụng cho ExchangeRateMantissa, đại diện cho tỷ giá hối đoái giữa cToken và tài sản cơ bản.

Như chúng ta có thể thấy trong ví dụ này, sau khi có được ba tham số được đề cập ở trên, Comptroller trước tiên sẽ có được thông tin về thị trường cụ thể hiện đang được lặp lại thế chấp. Thông tin về tài sản thế chấp là một chỉ báo về số tiền mà người dùng có thể vay dựa trên tài sản thế chấp của họ. Từ định nghĩa này, chúng ta có thể giả định rằng mỗi khoản ký quỹ thế chấp có thể được sử dụng để đảm bảo cho một khoản vay khác nhau.

Lý do tại sao số tiền này thay đổi giữa các tài sản khác nhau chủ yếu là vì mỗi tài sản đều có "rủi ro" riêng trong mắt giao thức, thường đề cập đến Mức độ mà giá trị của tài sản biến động theo thời gian.

Quản trị của hợp chất thay đổi hệ số tài sản thế chấp dựa trên điều kiện thị trường, nhưng tại bất kỳ thời điểm nào, hệ số tài sản thế chấp của chúng không thể vượt quá 0,9 - bạn có thể cho vay tối đa số tài sản thế chấp mà bạn gửi 90% sản phẩm:

Sau đó, chúng tôi thấy một lệnh gọi tới oracle.getUnderlyingPrice(asset), gọi một tệp có tên Hợp đồng bên ngoài của Oracle.

Oracle là một cơ chế thú vị xứng đáng được đăng trên blog của riêng họ (hãy chú ý theo dõi). Để ngắn gọn, điều chúng tôi đang giải thích bây giờ là oracle là một hợp đồng được sử dụng trong giao thức cho vay để thu được giá của một tài sản, thường bằng một số loại tiền tệ công cộng được giao thức sử dụng (thường là USD, ETH hoặc stablecoin được sử dụng). theo giao thức) làm cơ sở.

Bây giờ chúng ta đã đề cập đến tất cả các yếu tố ảnh hưởng đến tình trạng của một thị trường riêng lẻ, chúng ta sẽ viết ra phương trình tính Thanh khoản Tài khoản của một thị trường riêng lẻ:

Lưu ý: Trong Hợp chất, nội dung giá được tính bằng đô la Mỹ (USD).

Đây là một danh sách các biến khá dài, nhưng nếu bạn cố nhớ phần Hợp chất trong bài viết “Mã thông báo” của chúng tôi, bạn sẽ tìm thấy Biểu thức sau:

Chỉ đơn giản thể hiện giá trị tài sản cơ bản của cToken của người dùng.

Ngoài ra, biến loanBalance_{user}, như bạn có thể thấy ở đây, là tổng số dư tài sản mà người dùng đã vay, bao gồm cả tiền lãi tích lũy trên đó .

Bây giờ chúng ta đã đạt đến điểm của phương trình AccountLiquidity thay thế sau:

Maker 

Việc xóa cài đặt khác không đủ Giao thức đối với ngưỡng vị thế được thế chấp là Maker.

Hãy xem xét hai hợp đồng được giao thức triển khai để xử lý việc thanh lý:

· Dog: Được triển khai sau khi chuyển sang thanh lý 2.0 (như cách quản trị của Maker). Chức năng thanh toán bù trừ ở đây là sủa().  

· Cat: thanh lý 1.2, cắn().  

· grab(): Hợp đồng VAT, dùng như phương thức thanh lý trước khi triển khai hợp đồng mèo.  

Chúng ta hãy xem đoạn trích từ Bit():

Và các đoạn tương tự từ Bark():

Bạn có thể nhận thấy rằng cả hai đều có cùng một thông báo không an toàn. Do đó, các yêu cầu bảo mật dành cho Vault là giống nhau đối với từng chức năng thanh lý và có thể được biểu thị bằng phương trình sau:

Chúng ta có thể sử dụng phương trình này để xác định bất đẳng thức để Vault (tên mà Maker sử dụng cho vị trí này) vẫn an toàn:

Tối ưu hóa nó:

Chúng tôi khuyến khích độc giả truy cập Bảng thuật ngữ MakerDAO để mở rộng về những gì chúng tôi cung cấp thông tin về các tên biến và thuật ngữ khác nhau trong hệ sinh thái Maker.

Ngoài ra, bạn có thể tin vào những gì chúng tôi đã nêu ở đây: 

Spot_{ilk} được sử dụng làm tài sản thế chấp trong sự bất bình đẳng này. giá của tài sản, tính bằng DAI, chia cho tỷ lệ thanh lý của tài sản thế chấp (do quản trị xác định)

ink_{urn} là số dư tài sản thế chấp của tài sản vị thế

p>

rate_{ilk} là khoản nợ tích lũy đối với một loại tài sản thế chấp cụ thể. Khi nhân với art_{urn}, là số nợ chuẩn hóa được vay theo một vị thế, chúng ta có thể nhận được tổng số nợ tính bằng DAI

Để đơn giản hóa chúng ta vừa trình bày Nội dung của , không sử dụng thuật ngữ Maker, chúng tôi sẽ trình bày như sau:

Lưu ý: Maker đã quyết định định giá tài sản thế chấp và nợ là DAI - Tính ổn định của tiền tệ giao thức.

AAVE V2 - Health Factor

AAVE V2 cũng xác định ngưỡng HealthFactor riêng của nó. Người dùng có giá trị hệ số sức khỏe H_{f} < 1 có thể bị thanh lý.

Định nghĩa như sau:

Rõ ràng, khi người dùng không có nợ thì vị thế của họ không thể bị thanh lý nên hệ số sức khỏe mặc định là type(uint256).max.

Nếu không thì hệ số sức khỏe được xác định là:

Mặc dù ngưỡng thanh lý được xác định độc lập bởi ban quản trị nhưng hiện tại, đại diện của Gauntlet là người cung cấp tất cả các tham số rủi ro của giao thức, bao gồm cả LiquidationThresholds.

Phân tích tình trạng phá sản

Bây giờ chúng ta đã thảo luận về khái niệm nợ xấu, tiếp theo chúng ta sẽ Cung cấp một ví dụ thực tế để nhấn mạnh tầm quan trọng của nó.

Vị trí chúng ta sắp thảo luận là tài khoản sau trên AAVE V2: 0x227cAa7eF6D955A92F483dB2BD01172997A1a623.

Chúng ta hãy điều tra tình hình hiện tại của giao thức cho vay AAVE V2 bằng cách gọi hàm getUserAccountData trên đó:

Bây giờ hãy chia nhỏ những điều trên và xem vị trí này tệ đến mức nào:  ;

· Tổng số nợ bằng ETH: 17.83508595148699ETH 

· <Tổng số ETH được thế chấp: 0,013596360502551568 ETH

Đó là tất cả những gì chúng ta cần biết, vị thế này đang gặp rắc rối - giá trị của tài sản thế chấp chỉ là một phần nhỏ còn nợ .

Vậy vị trí này lại gặp rắc rối như thế nào?

Để trả lời câu hỏi này, chúng ta có thể xem các hành động mới nhất được thực hiện bởi người dùng này trên AAVE: 

Có vẻ như mọi thứ đều ổn cho đến khối 13514857, nơi người dùng bắt đầu từ AAVE cho mượn một ít tài sản. Hãy xem họ đã làm gì:

Con nợ đã vay 700.000 MANA, nhìn nhanh giá USD của MANA sẽ thấy giá đó là: 

0,00032838 ETH trên mỗi đơn vị MANA.

Bằng phép nhân đơn giản, chúng ta biết rằng người dùng này đã tăng số nợ của giao thức lên: 0,00032838 * 700000 = 229,866 ETH

Điều đáng nói là giá USD tại khối này là 4417,40 USD.

Lưu ý rằng hoạt động gửi tiền trong hình trên diễn ra tại khối 13517657, vài giờ sau khi vay. Hãy xem liệu có điều gì trên thị trường làm lung lay niềm tin của người dùng hay không:

Trên đây là lệnh gọi RPC được gửi đến Oracle Giá AAVE V2 để nhận giá trị wei cho 1 đơn vị MANA trong khối được chỉ định.

Nếu sử dụng dữ liệu này để chuyển đổi các mức giá trên, chúng ta có thể biết điều gì đang xảy ra: 

0,00033625 * 700000 = 235,375 ETH

Chỉ trong vài giờ, số nợ đã tăng thêm 5,5 ETH, Trị giá 24.000 USD.

Vì chúng tôi biết kết thúc câu chuyện cho vị trí này nên chúng tôi biết rằng nó sẽ được thanh lý vào một thời điểm nào đó, vì vậy hãy kiểm tra xem có cuộc gọi thanh lý nào liên quan đến việc này không địa chỉ người dùng Gọi:

Sau khi tìm thấy sự kiện thanh lý đầu tiên, Chúng tôi có thể hiểu tại sao người dùng gửi tài sản ngay sau khi vay tiền:

Ở đây chúng ta có thể thấy rằng việc thanh lý đầu tiên xảy ra tại khối 13520838. Việc thanh lý này xảy ra trước khi người dùng gửi tiền (khoảng 7 phút trước khi giao dịch gửi tiền).

Sau đó, một loạt các đợt thanh lý nhỏ xảy ra giữa các khối 13520838-13522070, cuối cùng có giá trị khá lớn:

Hãy kiểm tra tất cả các loại tài sản thế chấp mà người thanh lý đã thu giữ từ người dùng giữa các khối này:

Chúng ta có thể thấy chỉ có 2 tài sản là DAI (tiền tệ ổn định) và ETH.

Và số lượng của chúng:   ;

~50 ETH 

~387663 DAI 

Một số người có thể hỏi tại sao số tiền thanh lý sẽ được chia thành một mảnh nhỏ như vậy?

Khi một vị thế lớn như thế này được thanh lý cùng một lúc, thị trường sẽ hiểu việc mua lại tài sản thế chấp lớn như vậy là tín hiệu bán đối với các loại tài sản này. Hãy nhớ: Tài sản có được khi thanh lý được mua với giá chiết khấu theo chính sách khen thưởng thanh lý của giao thức.

Việc thanh lý lớn sẽ gây ra hàng loạt đợt thanh lý, khi áp lực bán tăng lên, những người tham gia thị trường khác cũng có thể bán tài sản của mình, khiến tài sản đó bị "sụp đổ" hơn nữa, điều này dẫn đến việc thanh lý nhiều vị trí khác trong giao thức hơn.

Do đó, các giao thức thường giới hạn số lượng tài sản có thể bị tịch thu chỉ bằng một lần thanh lý. Giới hạn này đối với phiên bản AAVE, dưới dạng một biến, có dạng như sau:

Như chúng ta có thể thấy, tỷ lệ phần trăm giới hạn là 50%, có nghĩa là chỉ một nửa số nợ của vị thế được phép hoàn trả trong một lần thanh lý.

Người thanh lý có động cơ chia số tiền thanh lý của họ thành những phần nhỏ hơn. Nếu không có đủ thanh khoản trên thị trường để cung cấp tài sản thế chấp tại thời điểm thanh lý thì bằng cách chia thanh lý thành các phần nhỏ hơn, người thanh lý có nhiều khả năng thu được tài sản thanh lý và thu được lợi nhuận từ việc thanh lý chúng.

Ngoài ra, nếu thị trường không đủ thanh khoản để mua lại tài sản nợ, người thanh lý có thể phải bỏ ra rất nhiều tiền để có được những người dùng phải trả nợ không đủ tài sản thế chấp ngay từ đầu.

Cuối cùng, hãy tưởng tượng bạn đang cố gắng thanh lý một lượng lớn token nhất định mà không sở hữu số lượng lớn đó. Nếu bạn đến DEX và cố gắng trao đổi một số WETH hoặc tài sản khác để lấy mã thông báo này, bạn có thể gặp phải phí gas rất cao khiến việc thanh lý của bạn không có lãi.

Quay lại ví dụ của chúng tôi, để kiểm tra các tham số vị trí sau một loạt thanh lý trong chuỗi, chúng tôi cần phân tích cú pháp dữ liệu được trả về cho chúng tôi từ getUserAccountData:

Sau đó, chúng tôi sử dụng dàn diễn viên chuỗi truy vấn:

Kết quả phân tích cú pháp cuối cùng:

Tại đây chúng tôi thấy cặp thanh lý Tác động đến vị thế: Hầu như không còn tài sản thế chấp, giảm xuống còn 0,6 ETH. Nhưng còn nợ thì sao? Lên tới 45,26716296709878 ETH.

Giá MANA của khối này là bao nhiêu?

0,000862110734985458 ETH.

Nếu bạn nhớ lại, người dùng của chúng tôi đã vay MANA chỉ vài giờ trước với giá 0,00032838 ETH. Điều này tương đương với việc mở một vị thế bán đối với một cổ phiếu đã tăng giá 2,65 lần.

Những người thanh lý này đã không thể thanh lý toàn bộ vị thế kịp thời trước khi giá giảm đến mức lợi nhuận không còn sinh lời và chúng tôi rơi vào tình trạng phá sản.

Bây giờ, chúng ta có thể nhận ra tầm quan trọng của ngưỡng thanh khoản hiệu quả trong việc ngăn chặn giao thức phát sinh nợ xấu.

Tóm tắt

Mặc dù chúng tôi không chắc liệu có phương trình nào để xác định ngưỡng thanh khoản hay không của một vị trí , nhưng chúng ta chắc chắn có thể thấy những điểm tương đồng giữa các giao thức:

· Tất cả các giao thức đều xác định ngưỡng của chúng là Một số chức năng của tài sản thế chấp so với nợ (tỷ lệ hoặc chênh lệch).

· Tất cả các giao thức đều dành một khoảng trống để quản trị xác định từng rủi ro tài sản thế chấp dựa trên những thay đổi trong điều kiện thị trường Giá trị của tham số bởi vì một số tài sản dễ biến động hơn những tài sản khác.

· Tất cả các giao thức đều sử dụng oracles để dự đoán tiền tệ của họ bằng loại tiền tệ được chấp nhận rộng rãi (ví dụ: ETH, USD, DAI) giá nợ được niêm yết.

Chúng tôi thấy rằng Maker và AAVE đã chọn sử dụng cùng một phương trình để thể hiện sự an toàn của một vị trí:

Liên kết gốc

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia