슈워츠, XRP 레저 합의 증명 발견 언급…형식 검증 진행 중

본문

데이비드 슈워츠(David Schwartz) 리플 CTO 명예직이 XRP 레저(XRP Ledger·XRPL) 합의 알고리즘의 형식적 타당성을 증명하는 자료를 발견했다고 밝혔다. 데이비드 슈워츠가 XRP 레저 합의 알고리즘의 형식적 타당성을 증명하는 자료를 발견했다고 밝혔다. 같은 날 마유카 바다리(Mayukha Vadari) 리플X 엔지니어는 XRP 레저의 핵심 구성요소를 형식 검증하고 있다고 밝혔다. 리플X는 형식 검증 업체 커먼 프리픽스(Common Prefix)와 협력해 시스템이 설계대로 작동하는지 수학적으로 확인하고 있다. 리플X 개발자 비토 투마스(Vito Tumas)는 2025년 12월 공개한 기술 문서에서 커먼 프리픽스와 함께 XRP 레저의 결제 엔진과 합의 프로토콜을 형식화하는 작업을 시작한다고 밝혔다. 커먼 프리픽스는 XRP 레저 결제 시스템 사양과 검증 관련 코드를 공개 저장소에서 관리하고 있다.

XRP 레저에 대출과 단일자산 금고 같은 기능이 추가되는 가운데, 리플X와 커먼 프리픽스는 핵심 구성요소의 동작을 수학적으로 확인하는 형식 검증 작업을 진행하고 있다. 커먼 프리픽스는 과거 XRP 레저 합의 과정의 거래 집합 처리 방식과 관련한 취약점도 발견했다. XRP 레저 재단은 악의적으로 조작된 검증인 메시지가 다른 검증인 노드를 충돌시킬 수 있었으며, 수정 사항은 rippled 3.0.0에 반영됐다고 밝혔다. XRP 레저 재단도 커먼 프리픽스와 합의 메커니즘의 형식 검증 및 보안 분석을 진행하고 있다고 공개했다. 다만 이번 발언 직후 XRP 가격이나 거래량이 형식 검증 발표 때문에 변했다는 인과관계는 확인되지 않았다. 현재 공개된 내용은 슈워츠가 합의 알고리즘 관련 증명을 언급했고, 리플X와 커먼 프리픽스가 XRP 레저 핵심 구성요소의 형식화·검증 작업을 진행하고 있다는 점이다.