التحقق الرسمي الشامل من @CetusProtocol على @SuiNetwork: بروتوكول CLMM الأساسي، المكتبة القياسية (STL)، والعدد الصحيح. تؤكد تحققنا الرسمي صحة الخصائص الحرجة للبروتوكولات، بما في ذلك البراهين الاستنتاجية على أن دوال تحويل العلامة إلى السعر تنفذ الصيغ الرياضية بشكل صحيح (√1.0001^tick ومعكوسها). وهذا يتجاوز بكثير جميع أعمال التحقق الرسمية الأخرى على بروتوكولات CLMM على نمط Uniswap v3، بما في ذلك Uniswap نفسه. كجزء من شراكتنا الأمنية مع سيتوس، سنواصل تشديد بروتوكولهم. التفاصيل والتقرير أدناه.