โค้ดการให้กู้ยืมของ XRP Ledger เผชิญการตรวจสอบอย่างเป็นทางการก่อนการโหวตบน Mainnet

TLDR:

• RippleX กำลังทดสอบโค้ดการให้กู้ยืมของ XRPL ก่อนที่ผู้ตรวจสอบจะพิจารณาเปิดใช้งาน Mainnet
• การตรวจสอบเชิงรูปนัยอาจเปิดเผยข้อผิดพลาดทางบัญชีและสถานะที่การทดสอบปกติไม่สามารถตรวจพบได้
• XLS-66 จะเพิ่มเงินกู้ระยะสั้นที่ได้รับเงินทุนจากสภาพคล่องของ Single Asset Vault
• XRP ซื้อขายใกล้ $1.17 ขณะที่ XRPL เตรียมอัปเดตทางเทคนิคและการกำกับดูแล

นักพัฒนาของ RippleX กำลังนำการตรวจสอบเชิงรูปนัยมาใช้กับ โค้ดการให้กู้ยืมของ XRP Ledger ก่อนที่ฟีเจอร์นี้จะสามารถก้าวสู่การเปิดใช้งาน Mainnet ได้ งานดังกล่าวครอบคลุม XLS-66 Lending Protocol และ XLS-65 Single Asset Vaults ที่วางแผนไว้ ซึ่งจะเพิ่มฟังก์ชันการให้กู้ยืมแบบเนทีฟให้กับ XRPL

การตรวจสอบนี้ดำเนินการร่วมกับ Common Prefix ซึ่งเป็นบริษัทวิจัยโปรโตคอล เป้าหมายคือการทดสอบว่าการออกแบบการให้กู้ยืมสามารถเข้าสู่สถานะที่ไม่ปลอดภัยได้หรือไม่ ก่อนที่ผู้ตรวจสอบจะตัดสินใจเปิดใช้งาน

กระบวนการนี้มีความสำคัญเนื่องจาก XRPL วางแผนที่จะวางระบบการให้กู้ยืมไว้โดยตรงภายในโปรโตคอลพื้นฐาน ซึ่งแตกต่างจากระบบ DeFi หลายระบบที่การให้กู้ยืมจัดการผ่านสมาร์ทคอนแทรคแยกต่างหาก

การตรวจสอบการให้กู้ยืมของ XRP Ledger มุ่งเน้นที่ความปลอดภัยของ Layer-1

การตรวจสอบเชิงรูปนัยใช้แบบจำลองทางคณิตศาสตร์เพื่อทดสอบกฎความปลอดภัยที่กำหนดไว้ ไม่เพียงแต่ตรวจสอบกรณีที่คาดหวัง แต่ยังตั้งคำถามว่าระบบสามารถทำงานนอกเหนือการออกแบบที่ตั้งใจไว้ได้หรือไม่

Vito Tumas วิศวกรของ Ripple กล่าวว่าการทดสอบแบบดั้งเดิมมีข้อจำกัดเมื่อ DeFi ทำงานโดยตรงที่ Layer 1 การทดสอบมาตรฐานขึ้นอยู่กับสถานการณ์ที่นักพัฒนาจินตนาการไว้แล้ว แบบจำลองเชิงรูปนัยสามารถค้นหาผ่านพื้นที่สถานะที่กว้างกว่าได้

RippleX กล่าวว่า งานในปัจจุบันมุ่งเน้นไปที่ Single Asset Vaults และ Lending Protocol ฟีเจอร์เหล่านี้นำเสนอตรรกะทางการเงินที่เชื่อมโยงกับส่วนแบ่ง vault เงื่อนไขเงินกู้ ดอกเบี้ย การผิดนัด การระงับ และการเรียกคืน

ความซับซ้อนดังกล่าวทำให้ความแม่นยำทางบัญชีมีความสำคัญ ข้อผิดพลาดการปัดเศษหรือยอดคงเหลือเล็กน้อยอาจทบต้นเมื่อธุรกรรมถูกทำซ้ำข้ามผู้ใช้จำนวนมาก ในระบบ base-layer ข้อผิดพลาดเหล่านั้นอาจส่งผลกระทบต่อทุกแอปพลิเคชันที่ใช้ฟีเจอร์นี้

กระบวนการของ Common Prefix สร้างแบบจำลองนามธรรมของพฤติกรรมที่คาดหวัง จากนั้นนักพัฒนาจะเปรียบเทียบผลลัพธ์กับการใช้งาน xrpld ความไม่ตรงกันใด ๆ อาจเปิดเผยข้อบกพร่องที่อาจเกิดขึ้นหรือปัญหาการออกแบบ

RippleX กล่าวว่าการสร้างแบบจำลองในช่วงต้นได้เปิดเผยกรณีขอบที่การทดสอบปกติพลาดไปแล้ว แต่นั่นไม่ได้พิสูจน์ว่าซอฟต์แวร์ปราศจากบั๊ก การตรวจสอบเชิงรูปนัยขึ้นอยู่กับแบบจำลองและคุณสมบัติที่เลือก

ผู้ตรวจสอบยังต้องอนุมัติการแก้ไขการให้กู้ยืมของ XRPL

XLS-66 จะอนุญาตให้มีเงินกู้ระยะสั้นที่ไม่มีหลักประกันซึ่งได้รับเงินทุนผ่าน Single Asset Vaults นายหน้าเงินกู้จะกำหนดเงื่อนไขและบริหารความเสี่ยง การตรวจสอบเครดิตผู้กู้จะเกิดขึ้น off-chain ก่อนที่เงินทุนจะเคลื่อนย้าย on-chain

การออกแบบยังรองรับเงินทุน first-loss แบบเลือกได้ เงินทุนนั้นสามารถดูดซับส่วนหนึ่งของการผิดนัดก่อนที่ผู้ฝากใน vault จะขาดทุน โมเดลนี้มุ่งหมายที่จะแยกการตัดสินใจในการรับประกันออกจากการชำระเงิน on-chain

Single Asset Vaults รวมสินทรัพย์เดียวเพื่อใช้ในตลาดการให้กู้ยืม โครงสร้างนี้หลีกเลี่ยง pool สินทรัพย์ผสมและอาจจำกัดความเสี่ยงทางบัญชีข้ามสินทรัพย์ นอกจากนี้ยังรองรับ XRP และสินทรัพย์ที่ออกใหม่ ขึ้นอยู่กับกฎของโปรโตคอล

การควบคุมการปฏิบัติตามกฎระเบียบสามารถนำไปใช้กับโทเค็นที่ออกใหม่ที่มีสิทธิ์ ซึ่งรวมถึงฟังก์ชันการระงับและการเรียกคืนในกรณีที่กฎของโทเค็นอนุญาต การออกแบบดังกล่าวอาจทำให้ระบบมีความเกี่ยวข้องมากขึ้นสำหรับสินทรัพย์ที่ถูกควบคุม

XRPL เวอร์ชัน 3.1.0 ได้เพิ่มการรองรับการแก้ไขการให้กู้ยืมและ vault ในเดือนมกราคม การเปิดตัวได้แนะนำฟังก์ชัน SingleAssetVault และ LendingProtocol แต่การเปิดใช้งานยังขึ้นอยู่กับกระบวนการแก้ไข 

เครือข่ายได้แสดงความระมัดระวังเกี่ยวกับฟีเจอร์หลักที่เสนอแล้ว เวอร์ชัน 3.1.1 ปิดการใช้งานการรองรับ Batch หลังจากนักวิจัยพบข้อบกพร่องในการแก้ไขที่เสนอ กรณีดังกล่าวเพิ่มความสนใจในการทดสอบก่อนเปิดใช้งาน

XRPL เวอร์ชัน 3.1.3 ได้เพิ่มการแก้ไขที่เกี่ยวข้องกับ NFT, Permissioned Domains, Vaults, Lending Protocol และ Multi-Purpose Tokens ในภายหลัง XRPL เวอร์ชัน 3.2.0 คาดว่าจะออกมาประมาณวันที่ 15 มิถุนายน และจะเปลี่ยนชื่อซอฟต์แวร์เซิร์ฟเวอร์หลักจาก rippled เป็น xrpld 

บทความ XRP Ledger Lending Code Faces Formal Review Before Mainnet Vote ปรากฏครั้งแรกบน Blockonomi