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

หมุดหมายสำคัญกำลังเกิดขึ้นสำหรับ XRP Ledger Vet ผู้ตรวจสอบบน XRPL dUNL ได้เปิดเผยว่าโปรโตคอลการให้ยืมแบบเนทีฟที่กำลังจะมาถึงนั้นอยู่ในระหว่างการตรวจสอบอย่างเป็นทางการแล้ว นี่ไม่ใช่แค่การตรวจสอบความปลอดภัยทั่วไป นักพัฒนาของ Ripple กำลังนำเทคนิคที่มักใช้ในโรงงานนิวเคลียร์ ระบบอากาศยาน และซอฟต์แวร์ทางการทหารมาประยุกต์ใช้ เป้าหมายคือทำให้ระบบนิเวศ DeFi แบบเนทีฟบน XRPL มีความปลอดภัยสูงสุดเท่าที่จะเป็นไปได้

การตรวจสอบอย่างเป็นทางการคืออะไร?

การตรวจสอบอย่างเป็นทางการคือวิธีการที่พิสูจน์ทางคณิตศาสตร์ว่าโค้ดซอฟต์แวร์ทำงานได้อย่างถูกต้องภายใต้ทุกเงื่อนไขที่เป็นไปได้ ซึ่งแตกต่างจากการทดสอบทั่วไปที่นักพัฒนาสามารถตรวจสอบได้เฉพาะสถานการณ์ที่คาดการณ์ไว้เท่านั้น Vito Tumas วิศวกรซอฟต์แวร์ของ Ripple ได้อธิบายเรื่องนี้โดยตรง เขาชี้ให้เห็นว่าการทดสอบแบบดั้งเดิมเพียงอย่างเดียวไม่สามารถรักษาความปลอดภัยของโปรโตคอลการเงิน Layer-1 ที่ซับซ้อนได้อย่างสมบูรณ์ ข้อบกพร่องในระดับนี้อาจส่งผลกระทบต่อทั้งเครือข่าย ไม่ใช่แค่แอปพลิเคชันเดียว

เพื่อดำเนินการนี้ Ripple กำลังร่วมมือกับ Common Prefix ทั้งสองฝ่ายสร้างแบบจำลองนามธรรมของโปรโตคอลการให้ยืมและเปรียบเทียบกับโค้ด C++ จริงของ xrpld กระบวนการนี้ได้ค้นพบกรณีขอบที่ซับซ้อนซึ่งการทดสอบมาตรฐานพลาดไป ตามที่ Tumas กล่าว

บทบาทของ AI ในด้านความปลอดภัย

Vet ยังได้เน้นย้ำว่า AI กำลังทำให้การตรวจสอบอย่างเป็นทางการมีความเป็นไปได้ในทางปฏิบัติและขยายขนาดได้มากขึ้น เขาเชื่อว่าการผสมผสานนี้อาจผลักดันการนำ XRPL ไปใช้ในระดับสถาบันให้ก้าวหน้าขึ้น ชุมชน XRPL เคยเห็นประโยชน์มาก่อนแล้ว เมื่อต้นปีนี้ เครื่องมือ AI ค้นพบข้อบกพร่องในการแก้ไข XRPL Batch ที่เสนอขึ้นมา ข้อบกพร่องดังกล่าวอาจทำให้เงินของผู้ใช้ตกอยู่ในความเสี่ยง หลังจากที่ Pranamya Keshkamat นักวิจัยด้านความปลอดภัยพบปัญหานี้ นักพัฒนาได้แก้ไขและขยายการตรวจสอบ AI ไปสู่กระบวนการตรวจสอบอื่นๆ

โปรโตคอลการให้ยืมและขั้นตอนถัดไป

ระบบนิเวศ XRPL กำลังทำงานเพื่อนำการให้ยืมและการกู้ยืมแบบเนทีฟมาสู่ on-chain โดยตรง ซึ่งจะช่วยให้สถาบันและผู้ใช้รายย่อยสามารถเข้าถึงสินเชื่อโดยใช้สินทรัพย์อย่าง XRP และ RLUSD โดยไม่ต้องพึ่งพาสัญญาอัจฉริยะแบบดั้งเดิม โครงการริเริ่มนี้ซึ่งนำเสนอภายใต้การแก้ไข XLS-66 ได้เข้าสู่ขั้นตอนการลงคะแนนของผู้ตรวจสอบในช่วงต้นปีนี้ หลังจากการเปิดตัว XRPL เวอร์ชัน 3.1.0

Vet กล่าวถึงว่านักพัฒนากำลังทดสอบโปรโตคอลการให้ยืมอยู่ในขณะนี้ พวกเขากำลังดำเนินการมาตรการป้องกันเพื่อให้แน่ใจว่าเงินของผู้ใช้จะปลอดภัยก่อนที่ฟีเจอร์นี้จะเปิดใช้งาน วิสัยทัศน์ตามที่ Vet อธิบายไว้คือการสร้าง "Fortress $XRP" ซึ่งหมายถึงการดำเนินโครงสร้างพื้นฐาน DeFi แบบเนทีฟของ XRPL ภายใต้มาตรฐานความปลอดภัยและการรับรองสูงสุด

The post XRP Ledger Lending Protocol Undergoes Formal Verification appeared first on TheCryptoUpdates.