Common Prefix
@CommonPrefix
Building trust technologies to create certainty in mission-critical systems.
Joined March 2023
135 Following 4.1K Followers
We're formally verifying the XRP Ledger Lending Protocol, going beyond the usual testing, using methods that mathematically prove the protocol can never be drained, become insolvent, or behave outside its intended rules.
In this thread we cover how we settled on Lean 4. 1/6 🧵
Show more
