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!