Joe Wait
@JoeWaitOfficial
DeFi Lead @EmberProtocol
Research -
Joined November 2023
606 Following 506 Followers
Formal verification is the way.
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
