XRP 레저를 개발하는 소프트웨어 엔지니어들이 네트워크 전반의 핵심 코드를 검증하기 위해 기계 검증 테스트를 확대했다. 리플X 엔지니어 마유카 바다리는 연구 기관 커먼프리픽스와의 파트너십을 통해 XRP 레저의 핵심 부분이 의도한 대로 작동한다는 것을 수학적으로 증명했다고 확인했다.
이 검증 시스템은 기계 검증 수학적 증명을 사용하여 모든 가능한 입력에 대해 소프트웨어 사양을 테스트한다. 특정 데이터 실행을 확인하는 표준 테스트 스위트와 달리, 완전한 수학적 증명은 전체 입력 공간을 검증한다. 엔지니어링 팀은 복잡한 수학 정리를 공식화하기 위해 동일한 핵심 기술을 사용한다.
이번 개발은 XRP(XRP-USD) 커뮤니티 회원들과 리플 명예 최고기술책임자 데이비드 슈워츠의 주목을 받았다. 슈워츠는 명예직으로 이동하기 전 XRP 레저의 원래 아키텍처 설계를 도왔다. 이번 발표에 대해 데이비드 슈워츠는 "나는 XRPL 합의 알고리즘의 형식적 타당성에 대한 환상적인 증명을 발견했지만, X의 게시물 길이 제한으로 인해 게시물이 너무 짧아 이를 담을 수 없다"고 밝혔다.
슈워츠는 데이터를 수집하고 네트워크 성능을 개선하기 위해 자체 네트워크 허브를 계속 운영하고 있다. 그의 기술적 기여는 이전에 7월 말 관찰된 네트워크 트래픽 급증을 해결한 소프트웨어 릴리스 3.2.1에 반영되었다.
보안 팀은 XRP 레저의 프로토콜 기능에 대한 독립적인 검사도 완료했다. 보안 기업 칸티나 시큐리티는 내부 품질 보증 테스트와 함께 권한 위임 기능에 대한 독립 감사를 완료했다. 감사 팀은 버전 1.1 전반의 수정 사항을 검증했으며, 자동화된 테스트는 코드 오류 없이 5,088건의 테스트를 완료했다.
리플 엔지니어링 책임자 JA 아키넬레는 프로토콜 수준에서 위임을 설정하는 것은 핵심 거래 처리를 변경하기 때문에 높은 보안 표준이 필요하다고 언급했다. 한편 XRP는 1.41달러 근처에서 거래되고 있으며 1.35달러 근처의 200일 지수이동평균선 위에서 지지를 유지하고 있다.
