Security Milestone: XRP Lending Protocol Completes Military-Grade Assessment

Testing found something conventional methods missed. Ripple software engineer Vito Tumas disclosed that the formal verification process being applied to the XRP Ledger’s upcoming lending protocol has already uncovered complex edge cases that standard testing procedures failed to detect.Ripple is working alongside blockchain security firm Common Prefix on the effort. Together, the teams construct an abstract model of the protocol and continuously compare it against the C++ implementation of