Asymptotic
@AsymptoticTech
Asymptotically verifying all software infrastructure
Audit & Formal Verification Partner of Sui Foundation
52 Following 980 Followers
Comprehensive Formal Verification of the @CetusProtocol DLMM
We formally verified the core protocol and the router strategies built on it: swaps, positions, the math kernel, and the bin grid itself.
Together with the CLMM verification we published in March, both of Cetus's AMMs are now comprehensively formally verified.
@suidevelopers, check it out!
Show more
Comprehensive Formal Verification of the @bluefinapp CLMM on @SuiNetwork (heads up, @suidevelopers)
We machine-checked the core mechanisms behind Bluefin's concentrated-liquidity AMM (pools, positions, and swaps, down to the math that swap solvency rests on) and proved they behave as specified.
This is part of our ongoing security partnership with Bluefin.
Show more
