Fantastic news for everyone that prioritizes security when using DeFi!
@CurveFinance proving they are at the top of security focused protocols with formal verification of their liquidity pools from @Sequent_Inc.
Show more
We are excited to announce that we are working with @CurveFinance to formally verify LP safety for 2-coin StableSwap!
These are machine-checked mathematical proofs in higher order logic, not an audit.
First proofs are green, with more in the pipeline! 🧵 1/
Show more
