來源: CryptoSlate ↗
XRPL tries to mathematically prove its new lending market cannot be drained
暫時無法翻譯，請重試。
來源報導重點
XRP Ledger (XRPL) developers are using mathematical proofs to test whether the network’s forthcoming lending market can be drained or become insolvent. On Sept. 17, protocol research firm Common Prefix said it is formally verifying XRPL’s Lending Protocol with Lean 4, a theorem-proving language designed to establish whether software satisfies defined mathematical properties across possible system ...
在 CryptoSlate 閱讀原始報導 ↗即時市場脈絡
市場數字為即時參考資料，並非此報導造成價格變動的證據；不構成財務建議。
相關新聞
開啟新聞中心 →Where Does XRP Go After the CLARITY Setback? ChatGPT Maps the Key Scenarios
XRP slumped after the CLARITY Act failure more than other major cryptocurrencies. So, what now?
XRP Treasury Giant Evernorth Raises $30 Million – But There’s a Catch
The company has secured another $30 million in financing as it moves closer to completing its planned public-market debut.
Ripple Whales Go on Massive Accumulation Spree: Bigger XRP Price Move Coming?
XRP rebounded past a key resistance level after the Friday resurgence but can it climb higher?