@SuiNetworkにおける@CetusProtocolの包括的形式的検証:コアCLMMプロトコル、標準ライブラリ(STL)、および整数メイト。 私たちの正式な検証により、ティックから価格への変換関数が数学式(√1.0001^tickとその逆関数)を正しく実装していることを含む、重要なプロトコル特性の正しさが確認されました。これはUniswap v3スタイルのCLMMプロトコルに関する他のすべての形式的検証作業、特にUniswap自体をはるかに超えています。 セタスとのセキュリティパートナーシップの一環として、彼らのプロトコルを強化し続ける。詳細と報告は以下に記載します。