A Formal Verification of the XRP Ledger
🔒
https://dev.to
«Summary
Ripple is working with Common Prefix to specify and formally verify key components (Payment Engine and the Consensus Protocol) of the XRP Ledger. You can read the fresh specification of the Payment Engine on Git...»
Automatische Weiterleitung...
1.5s