XRP LedgerレンディングコードはメインネットVoteの前に正式レビューへ

TLDR:

• RippleXは、バリデーターがメインネット有効化を検討する前に、XRPLの貸借コードをテストしています。
• 形式検証により、通常のテストでは見逃す会計上および状態のエラーが露呈する可能性があります。
• XLS-66は、Single Asset Vaultの流動性によって資金調達される固定期間ローンを追加する予定です。
• XRPは約1.17ドルで取引されており、XRPLは技術的およびガバナンスのアップデートを準備しています。

RippleXの開発者は、この機能がメインネット有効化に向けて進む前に、XRP Ledger の貸借コードに形式検証を適用しています。この作業は、計画中のXLS-66貸借プロトコルおよびXLS-65 Single Asset Vaultsをカバーしており、これらはXRPLにネイティブな貸借機能を追加するものです。

このレビューは、プロトコル研究会社であるCommon Prefixと共同で実施されています。目的は、バリデーターが有効化を決定する前に、貸借設計が安全でない状態に入り込む可能性があるかをテストすることです。

XRPLが貸借機能をベースプロトコル内に直接組み込む計画であるため、このプロセスは重要です。これは、貸借が別個のスマートコントラクトによって処理される多くのDeFiシステムとは異なります。

XRP Ledgerの貸借レビュー、レイヤー1の安全性に焦点

形式検証は数学的モデルを使用して、定義された安全規則をテストします。想定されるケースだけをチェックするのではなく、システムが意図した設計の外で動作できるかどうかを問います。

RippleのエンジニアであるVito Tumasは、DeFiがレイヤー1で直接動作する場合、従来のテストには限界があると述べています。標準的なテストは、開発者がすでに想定しているシナリオに依存しています。形式モデルはより広い状態空間を探索できます。

RippleX は、現在の作業がSingle Asset Vaultsと貸借プロトコルに焦点を当てていると述べています。これらの機能は、ボールトシェア、ローン条件、利息、デフォルト、凍結、クローバックに関連する金融ロジックを導入します。

その複雑さにより、会計の精度が重要になります。小さな丸め誤差や残高エラーは、多くのユーザーにわたってトランザクションが繰り返されると累積する可能性があります。ベースレイヤーシステムでは、これらのエラーはその機能を使用するすべてのアプリケーションに影響を与える可能性があります。

Common Prefixのプロセスは、期待される動作の抽象モデルを作成します。開発者はその後、結果をxrpld実装と比較します。不一致があれば、潜在的な欠陥や設計上の問題が明らかになる可能性があります。

RippleXは、早期のモデリングによって、通常のテストでは見逃されたエッジケースがすでに発見されたと述べています。これはソフトウェアにバグがないことを証明するものではありません。形式検証は、選択したモデルとプロパティに依存します。

バリデーターはXRPLの貸借アメンドメントを承認する必要があります

XLS-66は、Single Asset Vaultsを通じて資金調達される固定期間の無担保ローンを可能にします。ローンブローカーが条件を設定し、リスクを管理します。借り手の信用チェックは、資金がオンチェーンに移動する前にオフチェーンで行われます。

設計はオプションのファーストロス資本もサポートしています。その資本は、ボールト預金者が損失を被る前にデフォルトの一部を吸収できます。このモデルは、引受決定をオンチェーン決済から分離することを目的としています。

Single Asset Vaultsは、貸借市場で使用するために1つの資産をプールします。この構造は混合資産プールを避け、クロスアセット会計リスクを制限する可能性があります。また、プロトコルルールに応じて、XRP および発行済み資産もサポートしています。

コンプライアンスコントロールは、適格な発行済みトークンに適用できます。これには、トークンルールが許可する場合の凍結およびクローバック機能が含まれます。その設計により、システムは規制された資産に対してより適切なものになる可能性があります。

XRPLバージョン3.1.0は、1月に貸借およびボールトのアメンドメントのサポートを追加しました。このリリースでSingleAssetVaultとLendingProtocol機能が導入されましたが、有効化はまだアメンドメントプロセスに依存しています。

ネットワークはすでに提案されたコア機能に対して慎重な姿勢を示しています。バージョン3.1.1では、研究者が提案されたアメンドメントに欠陥を発見した後、Batchサポートが無効化されました。このケースにより、有効化前のテストへの注目が高まりました。

XRPLバージョン3.1.3では、非代替性トークン(NFT)、Permissioned Domains、Vaults、貸借プロトコル、およびMulti-Purpose Tokensに関連する修正が追加されました。XRPLバージョン3.2.0は現在6月15日頃に予定されており、コアサーバーソフトウェアの名称がrippleからxrpldに変更されます。

The post XRP Ledger Lending Code Faces Formal Review Before Mainnet Vote appeared first on Blockonomi.