Ripple前首席技術官David Schwartz強調XRPL共識驗證，XRP價格維持在1.41美元
負責 XRP Ledger 的軟體工程師已擴大機器驗證測試範圍，以檢查整個網絡中的核心程式碼。RippleX 工程師 Mayukha Vadari 證實已與研究機構 CommonPrefix 合作，以數學方式證明 XRP Ledger 的核心部分按預期運作。
該驗證系統利用機器驗證的數學證明來測試軟體規格，並覆蓋所有可能的輸入。與只檢查特定數據運作的標準測試套件不同，完整的數學證明能驗證整個輸入空間。工程團隊也使用相同的核心技術來形式化複雜的數學定理。
David Schwartz 強調 XRP Ledger 的共識證明
此項發展引起了 XRP (XRP-USD) 社群成員及 Ripple 榮譽 CTO David Schwartz 的關注。Schwartz 曾協助設計 XRP Ledger 的原始架構，之後轉任榮譽職位。針對這項公告，David Schwartz 表示：「我已經找出 XRPL 共識演算法正式有效性的精彩證明，但由於 X 平台的貼文長度限制，無法完整貼出。」
優惠
TipRanks 55% 折扣
- 以 TipRanks Premium 解鎖強大投資工具，助您做出更明智、更有信心的投資決策
- 訂閱 TipRanks Smart Investor 新聞通訊，透過數據支持的股票精選發掘全新投資機會
Schwartz 持續運行自己的網絡節點來收集資料並優化網絡效能。他過去的技術貢獻也促成了 3.2.1 軟體版本的發布，成功解決了七月底觀察到的網絡流量激增問題。
XRP 網絡通過獨立安全審查
安全團隊也已針對 XRP Ledger 的協議功能完成獨立檢查。安全公司 Cantina Security 已獨立審核 Permission Delegation 功能，並配合內部品質保證測試。審核團隊已驗證 1.1 版中的修復措施，同時自動化測試執行了 5,088 項測試，未發現程式碼錯誤。
Ripple 工程負責人 JA Akinyele 指出，因為在協議層設定授權委託會改變核心交易處理，所以必須符合高安全標準。與此同時，XRP 目前交易價約為 1.41 美元，並且持穩於其 200 日指數移動平均線（約 1.35 美元）之上。
免責聲明：文章中的所有內容僅代表作者的觀點，與本平台無關。用戶不應以本文作為投資決策的參考。
您也可能喜歡
施耐德電氣軟體版圖再擴張！擬斥資超過200億美元收購美國工程軟體開發商PTC（PTC.US）
據一位知情人士透露，Schneider Electric已接近達成一項協議，將以超過200億美元的價格收購美國工程軟體開發商PTC。
在Elon Musk證實正就TeraFab項目進行談判後，台積電股價上漲3%
10月5日——馬斯克證實與TSMC（2330.TW）進行磋商後，該公司股價上漲3%，台灣證券交易所加權指數（.TWII）上漲2.4%。特斯拉（TELA.O）和Space Exploration Technologies（SPCX.O）執行長馬斯克於週六在X平台表示，TSMC正與其晶片製造專案Terafab就潛在合作進行討論。針對X平台上一篇標題為「TSMC正探討與馬斯克的TeraFab合作計劃」的文章截圖，馬斯克週六在X上回應：「目前僅處於討論階段，但可能會有結果。」TSMC股價今年以來已上漲66%。 （為方便非英語讀者，Reuters將其報導自動翻譯為多種其他語言。由於自動翻譯可能有誤或未能完整體現語境，Reuters不保證自動翻譯文本之準確性，僅作為便利讀者提供。因使用自動翻譯功能造成的任何損害或損失，Reuters概不負責。）
釩液流儲能：新周期的機遇與挑戰
日經225指數突破7萬點，為7月6日以來首次
加密貨幣價格
更多
