테스트 결과 기존 방법에서 놓친 부분이 발견되었습니다. Ripple 소프트웨어 엔지니어 Vito Tumas는 XRP Ledger의 향후 대출 프로토콜에 적용되는 공식 검증 프로세스를 통해 이미 표준 테스트 절차에서 감지하지 못한 복잡한 엣지 케이스를 발견했다고 밝혔습니다.
Ripple은 블록체인 보안 회사와 협력하고 있습니다. 공통 접두사 노력에. 팀은 함께 추상 모델 프로토콜의 xrpld의 C++ 구현과 지속적으로 비교합니다. XRP Ledger의 서버 소프트웨어 — 사용자에게 도달하기 전에 불일치 및 잠재적인 취약점을 포착하기 위해 구축된 검증 프레임워크를 사용합니다.
전통적인 테스트가 부족한 이유
Tumas는 기존 테스트는 개발자가 예상한다고 생각하는 시나리오만 다룬다고 설명했습니다. 이와 대조적으로 공식 검증에서는 수학적 증명을 사용하여 인간 테스터가 전혀 고려하지 않을 수 있는 극단적인 경우를 포함하여 훨씬 더 광범위한 조건에서 코드가 올바르게 작동하는지 확인합니다.
이 기술은 항공기 시스템, 원자력 발전소, 군용 소프트웨어 등 실패가 허용되지 않는 분야에서 사용됩니다.
다가오는 대출 프로토콜이 공식 인증을 받고 있습니다 🙌!!
원자력 발전소, 항공기, 군사 시스템을 보호하는 데 사용되는 기술이 다음과 같은 분야에 적용되고 있습니다. $XRP 원장.
포트리스 XRP라고 부르세요.
XRP의 기본 DeFi(스마트 계약 없음)는 동급 최고의 보안 표준을 충족합니다… https://t.co/KSAm0UuJC1 pic.twitter.com/D3aSFOUePS
— 수의사 (@Vet_X0) 2026년 6월 8일
검증 작업은 XRPL 기본 기능의 핵심인 두 가지 기능을 다룹니다. 디파이 푸시: 대출 프로토콜 및 단일 자산 금고. 둘 다 기존 스마트 계약의 필요성을 완전히 우회하여 XRPL의 Layer-1 아키텍처에 직접 차용 및 대출을 제공하도록 설계되었습니다.
DeFi 기능은 별도의 애플리케이션 계층이 아닌 프로토콜 수준에 내장되어 있기 때문에 결함은 단일 앱뿐만 아니라 전체 네트워크에 영향을 미칠 수 있습니다.
AI 및 공식 검증
XRPL dUNL 검증자 Vet는 다음을 통해 이니셔티브에 더 많은 관심을 가져왔습니다. 우편 X에서는 인공 지능이 공식 검증을 보다 실용적이고 대규모로 접근 가능하게 만드는 데 점점 더 많은 역할을 하고 있다고 말했습니다.
그는 AI와 공식 검증을 결합하면 기관의 신뢰도를 강화할 수 있다고 제안했습니다. XRP 원장 앞으로 생태계.
XRPL 커뮤니티는 AI 지원 보안 분석이 무엇을 할 수 있는지 확인했습니다. 올해 초 AI 도구는 제안된 배치 수정안에서 사용자 자금을 위험에 노출시킬 수 있는 결함을 식별했습니다.
활성화를 향한 기본 대출 인치
대출 프로토콜은 XLS-66 수정안에 따라 도입되었으며 XRPL 버전 3.1.0 출시 이후 올해 초 검증인 투표 단계에 들어갔습니다.
Vet에 따르면 개발자는 기능이 출시되기 전에 필요한 보안 보호 장치가 마련되는 동안 여전히 테스트 단계에 있습니다.
기관 및 소매 사용자 모두 XRP와 같은 자산을 사용하여 신용에 접근할 수 있을 것으로 예상됩니다. RLUSD 프로토콜이 활성화되면.
Biotech Healthcare의 주요 이미지TradingView 차트
