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 ๐งต
๋ ๋ณด๊ธฐ
