施瓦茨稱發現XRP Ledger共識證明，正式驗證仍在進行

瑞波（Ripple）榮譽技術長戴維·施瓦茨（David Schwartz）表示，他已經找到能證明XRP Ledger（XRPL）共識演算法「形式正確性」的資料，不過完整證明文件與驗證結果尚未對外公開。

施瓦茨於8日在X平台寫道：「我發現了一個關於XRPL共識演算法形式正確性的絕妙證明。」他表示因為X的字數限制無法完整貼出內容，但並未說明這項證明所涉及的模型範圍。

U.Today在報導施瓦茨的發言時提到，目前並未出現具體的數學證明或能確認其實際意義的資料。因此，僅憑這番發言，還難以判斷整套共識演算法的驗證已經完成。

同一天，瑞波X（RippleX）工程師瑪雅卡·瓦達里（Mayukha Vadari）表示，團隊正在對XRP Ledger的核心元件進行「形式驗證」。瑞波X與形式驗證公司Common Prefix合作，透過數學方式確認系統是否依照設計運作。

形式驗證與只測試部分輸入值的一般軟體測試不同，是先將系統行為轉換成數學模型，再以機械化方式確認在既定條件下，安全性、一致性、存續性等特性是否成立。

XRP Ledger的共識機制，是由驗證節點針對下一個帳本要納入的交易集合達成一致的過程。當多個驗證節點確認相同結果後，該帳本即被視為確定，之後成為交易紀錄的依據。

瑞波X開發者維托·圖馬斯（Vito Tumas）在2025年12月公開的技術文件中表示，將與Common Prefix合作，著手將XRP Ledger的支付引擎與共識協議進行形式化。文件提出以數學方式驗證共識過程的安全性、存續性與最終性的目標，但並未表示整套共識演算法的驗證已經完成。

Common Prefix在公開儲存庫中管理XRP Ledger支付系統規格與相關驗證程式碼，其中也包含名為「rippled-formal-verification」的專案，不過施瓦茨所提到的證明究竟屬於該專案的哪一項成果，目前並無公開資料可以確認。

隨著XRP Ledger陸續加入借貸、單一資產金庫等新功能，瑞波X與Common Prefix也持續推進核心元件的形式驗證工作。隨著核心程式碼涵蓋的功能增加，僅靠一般測試與安全稽核已難以覆蓋所有狀態，因此才並行採用形式驗證。

形式驗證常被用來找出實際程式與數學規格之間的差異，或檢查一般測試可能忽略的例外狀況。不過，能確認到什麼程度的安全性，取決於形式驗證所涵蓋的範圍與前提條件。

Common Prefix過去也曾在XRP Ledger共識過程處理交易集合的方式上發現漏洞。XRP Ledger基金會（XRP Ledger Foundation）表示，惡意偽造的驗證節點訊息曾可能導致其他驗證節點當機，相關修正已納入rippled 3.0.0版本。

XRP Ledger基金會也公開表示，正與Common Prefix共同進行共識機制的形式驗證與安全分析。Common Prefix則在回應瓦達里公布合作消息時，再次確認雙方的合作關係。

目前並未確認這次發言與XRP價格或交易量的變化之間存在因果關係。整體而言，這件事與其說是影響XRP價格的消息，更像是XRP Ledger把開發與安全體系，從程式碼與測試為主，擴展到數學規格與機械驗證層面的技術性進展。

施瓦茨過去也曾針對XRP Ledger與瑞波的技術、持幣狀況發表看法，他過去有關瑞波持股的發言，也曾被提醒須與XRP持有量分開解讀。這次的發言同樣需要把個人說明與正式技術成果分開來看。

目前已公開的內容是，施瓦茨提到與共識演算法相關的證明，而瑞波X與Common Prefix正在推進XRP Ledger核心元件的形式化與驗證工作。至於證明的實際範圍以及是否通過機械驗證，仍須等相關成果公開後才能判斷。