Sequent
@Sequent_Inc
deep verification
参加 February 2026
1 フォロー中 248 ファン
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/
もっと見る
