Scallop Lend завершил полную формальную верификацию асимптотической формы

Gate News сообщает, 15 марта 2023 года, что Scallop Lend завершил полную формальную проверку, проведённую компанией Asymptotic (официальным партнёром Mysten Labs по аудиту). Эта проверка подтвердила математическую корректность основных механизмов протокола, включая ключевые модули такие как основная бухгалтерия, расчёты по ликвидации, контроль доступа и операции с фиксированной точностью.
Дисклеймер: Информация на этой странице может быть получена из источников третьих сторон и предоставляется только для ознакомления. Она не отражает взгляды или мнения Gate и не является финансовой, инвестиционной или юридической рекомендацией. Торговля виртуальными активами связана с высоким риском. Пожалуйста, не основывайте свои решения исключительно на данных этой страницы. Подробнее смотрите в Дисклеймере.
комментарий
0/400
Нет комментариев