Uitgebreide formele verificatie van @CetusProtocol op @SuiNetwork: kern CLMM-protocol, standaardbibliotheek (STL) en integer-mate. Onze formele verificatie bevestigt de correctheid van kritieke protocoleigenschappen, inclusief deductieve bewijzen dat de tick-naar-prijs conversiefuncties de wiskundige formules correct implementeren (√1.0001^tick en de inverse daarvan). Dit gaat veel verder dan al het andere formele verificatiewerk aan Uniswap v3-stijl CLMM-protocollen, inclusief Uniswap zelf. Als onderdeel van ons beveiligingspartnerschap met Cetus, zullen we hun protocol blijven versterken. Details en rapport hieronder.