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

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

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

Связанные статьи

Обновление Ethereum Glamsterdam нацелено на запуск в июне 2026 года: ожидается рост лимита газа с 60 млн до 200 млн

Фонд Ethereum ожидает, что обновление Glamsterdam будет развернуто в основной сети примерно в июне 2026 года, при этом лимит газа блока увеличится с 60 миллионов до 200 миллионов. Разработка ускоряется: ключевые цели в основном достигнуты, включая повышение минимального консенсусного лимита

GateNews5м назад

Shopify, Национальный банк Канады поддержали стейблкоин CADD для расчетов 24/7

Shopify и Национальный банк Канады входят в число спонсоров нового стейблкоина Tetra Trust — CADD. Тот факт, что Tetra Trust's new stablecoin, CADD предназначен для институционального использования при круглосуточных межстрановых расчётах и операциях корпоративного казначейства в режиме реального времени. Обзор продукта CADD позиционируется как замена устаревшим системам пакетных расчётов.

CryptoFrontier20м назад

Exodus достигает критического порога, переходя на платформу платежей, Benchmark устанавливает целевую цену $21

По сообщению аналитика Benchmark Марка Палмера в заметке от понедельника, Exodus Movement преодолела критический порог, переключаясь с провайдера кошельков с самостоятельным хранением на платформу для криптоплатежей. Палмер вновь сохранил рекомендацию Buy с целевой ценой $21

GateNews1ч назад

Upbit запускает GIWA Chain в сети Optimism Layer 2 с самоуправляемым контролем

Крупнейшая криптобиржа Южной Кореи Upbit в понедельник объявила о партнёрстве с Optimism Foundation для создания нового блокчейна Ethereum уровня 2 под названием GIWA Chain на базе OP Stack. Upbit будет самостоятельно управлять цепочкой, а Optimism Foundation предоставит техническую поддержку.

CryptoFrontier2ч назад

Проект Phi для ончейн-идентификации прекратит работу 25 мая

По официальному заявлению, Phi — ончейн-проект идентификации — прекратит работу 25 мая. Сервис phi.box и связанные предложения будут закрыты, хотя токены PHI останутся доступными для торговли на Aerodrome. Команда сослалась на дефицит ресурсов после более ранних усилий по реорганизации, а также на то, что

GateNews3ч назад

Tydro приостанавливает работу всех рынков 5 мая из-за проблемы с оракулом; средства пользователей в безопасности

По данным BlockBeats, Tydro — кредитный протокол в экосистеме Ink — приостановил все рынки 5 мая после сообщения об инциденте с оракулом третьей стороны. Команда подтвердила, что средства пользователей остаются в безопасности, и активно расследует

GateNews4ч назад
комментарий
0/400
Нет комментариев