Common Prefix
@CommonPrefix
Building trust technologies to create certainty in mission-critical systems.
参加 March 2023
135 フォロー中 4.1K ファン
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 🧵
もっと見る
