RippleX setzt bei XRPL-DeFi auf mathematische Beweise – um Kerncode-Risiken zu senken
RippleX will DeFi auf dem XRP Ledger (XRPL) sicherer machen und setzt dafür künftig stärker auf „Formal Verification“, also mathematische Beweise für die Korrektheit von