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

Gate News сообщает, 15 марта 2023 года, что Scallop Lend завершил полную формальную проверку, проведённую компанией Asymptotic (официальным партнёром Mysten Labs по аудиту). Эта проверка подтвердила математическую корректность основных механизмов протокола, включая ключевые модули такие как основная бухгалтерия, расчёты по ликвидации, контроль доступа и операции с фиксированной точностью.

Посмотреть Оригинал
Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к Отказу от ответственности.
комментарий
0/400
Нет комментариев