Sequent(@Sequent_Inc):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/

2026.07.20 15:00

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/