XRP Ledger 借貸代碼在主網投票前面臨正式審查

TLDR：

• RippleX 正在測試 XRPL 借貸程式碼，以便驗證者考慮啟動主網。
• 正式驗證可能會揭露一般測試遺漏的帳務與狀態錯誤。
• XLS-66 將新增由單一資產金庫流動性資助的定期貸款。
• XRP 交易價格接近 1.17 美元，而 XRPL 正準備進行技術與治理更新。

RippleX 開發人員正在對 XRP Ledger 借貸程式碼進行正式驗證，以便該功能得以推進至主網啟動。此項工作涵蓋計劃中的 XLS-66 借貸協議與 XLS-65 單一資產金庫，這些功能將為 XRPL 新增原生借貸功能。

此次審查由協議研究公司 Common Prefix 協同執行。目標是在驗證者決定是否啟動之前，測試借貸設計是否可能進入不安全狀態。

此流程至關重要，因為 XRPL 計劃將借貸功能直接整合至其基礎協議中。這與許多 DeFi 系統不同，後者的借貸功能由獨立智慧合約處理。

XRP Ledger 借貸審查聚焦於第一層安全性

正式驗證使用數學模型來測試已定義的安全規則。它不僅檢查預期情況，還會探究系統是否可能在預期設計之外運作。

Ripple 工程師 Vito Tumas 表示，當 DeFi 直接在第一層運行時，傳統測試存在局限性。標準測試依賴開發人員已能預想的情境，而正式模型則能搜尋更廣泛的狀態空間。

RippleX 表示，目前的工作重點集中於單一資產金庫與借貸協議。這些功能引入了與金庫份額、貸款條款、利息、違約、凍結和追回相關的金融邏輯。

這種複雜性使帳務精確性變得非常重要。當交易在大量用戶之間重複進行時，細微的捨入或餘額錯誤可能會累積放大。在基礎層系統中，這些錯誤可能影響使用該功能的每個應用程式。

Common Prefix 的流程會建立預期行為的抽象模型。開發人員隨後將結果與 xrpld 實作進行比對。任何不符之處都可能揭露潛在的缺陷或設計問題。

RippleX 表示，早期建模已發現了一般測試遺漏的邊緣案例。這並不能證明軟體沒有錯誤。正式驗證的有效性取決於所選擇的模型與屬性。

驗證者仍需批准 XRPL 借貸修正案

XLS-66 將允許通過單一資產金庫提供資金的定期無抵押貸款。貸款經紀人將設定條款並管理風險。借款人的信用審查將在資金上鏈之前於鏈下進行。

此設計還支援可選的優先虧損資本。該資本可在金庫存款人承受損失之前吸收部分違約損失。此模型旨在將承保決策與鏈上結算分離。

單一資產金庫將單一資產匯集起來供借貸市場使用。此結構避免了混合資產池，並可能降低跨資產帳務風險。它還支援 XRP 和已發行資產，具體取決於協議規則。

合規控制可適用於符合資格的已發行代幣。其中包括在代幣規則允許的情況下進行凍結和追回功能。此設計可能使系統對受監管資產更具相關性。

XRPL 3.1.0 版本於一月新增了對借貸和金庫修正案的支援。此版本引入了 SingleAssetVault 和 LendingProtocol 功能，但啟動仍取決於修正案流程。 

網路已對擬議的核心功能表達謹慎態度。3.1.1 版本在研究人員發現擬議修正案中的缺陷後停用了批次支援。此案例提升了對啟動前測試的關注度。

XRPL 3.1.3 版本隨後新增了與 NFT、許可域、金庫、借貸協議和多用途代幣相關的修復。XRPL 3.2.0 版本目前預計於 6 月 15 日前後推出，並將核心伺服器軟體從 Rippled 更名為 Xrpld。 

本文 XRP Ledger 借貸程式碼在主網投票前面臨正式審查 最早發表於 Blockonomi。