XRP 원장(XRPL) 개발자들은 수학적 증명을 활용하여 플랫폼의 새로운 대출 시장에 대한 파산 위험을 검증하고 있으며, Common Prefix는 9월 17일부터 이 프로토콜에 대한 테스트를 공식적으로 시작했습니다. 이 프로토콜 연구 회사는 정리 증명 언어 Lean 4를 사용하여 대출 프로토콜이 회계 및 보안 규칙을 위반하지 않도록 보장하고 있습니다. 이 작업은 최근 출시된 xrpld 3.4.0 버전 개정(LendingProtocolV1_1)에 이은 것으로, 이 버전은 폐쇄형 대출 금고와 현금 기반 회계를 도입하여 내부 장부 기록 정확성에 대한 요구 사항을 높였습니다. Common Prefix는 이전에 2월부터 4월까지 수행된 검증 작업을 통해 대출 프로토콜 초기 버전의 여러 문제를 발견하고 해결했습니다.