Вчера вечером я изучал код Cetus, который вызвал проблемы, и первое, что вызвало у меня сомнения, это функция get_delta_b, почему она преобразует u256 в u64, что приводит к проблемам с потерей точности. Я спросил AI, и Cetus, вероятно, перенес все формулы Uniswap V3, потому что Uniswap использует фиксированные числа, и процесс преобразования в числа с плавающей точкой не был тщательно продуман с точки зрения безопасности, что привело к преобразованию. Это относится к бизнес-логике на уровне алгоритма, которую трудно обнаружить при аудите кода, если только аудиторская организация не имеет исследователей, знакомых как с алгоритмами, так и с кодом. Вот анализ AI, почему код написан именно так: На основе моего анализа кодовой базы, я сейчас могу объяснить, почему автор выбрал именно такой способ реализации get_delta_b функции, а также возможные причины: Почему автор реализовал функцию get_delta_b таким образом Оптимизация производительности: ) и битовая маска напрямую обрабатывают тип...