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

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

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

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

Переработка токенов Aptos: коэффициент стейкинга сократили вдвое, комиссия Gas выросла в 10 раз, продвигаясь к дефляции

Фонд Aptos обновил токеномику 14 апреля. Основные реформы включают снижение годовой ставки вознаграждений за стейкинг до 2,6%, повышение комиссии Gas в 10 раз, установление лимита предложения в 21 миллиард APT и постоянную блокировку 210 миллионов APT. Эта корректировка направлена на переход от модели предложения «субсидии, стимулируемые» к модели «ориентированной на показатели», чтобы достичь целей по дефляции и стимулировать долгосрочное участие.

MarketWhisper9м назад

Основатель Hyperliquid: Самая большая проблема прошлого года — задержки сервера, команда с нуля переписала систему

Основатель Hyperliquid Джефф Янь заявил, что самой большой проблемой в 2025 году станет задержка серверов API. Прошлым летом, когда цена Биткойна пошла вверх и объем торгов резко вырос, в системе появилась задержка: время реакции на ордера изменилось с мгновенного на 3 секунды, что снизило эффективность торговли. Благодаря усилиям команды они заново перестроили серверную систему и в итоге смогли преодолеть эту проблему.

GateNews20м назад

Pi Network: 18 миллионов пользователей завершили KYC, и 26,5 миллионов PI были выданы валидаторам

Pi Network распределяет 26,5 млн токенов PI более чем 1 млн членов сообщества, которые завершили проверку KYC, чтобы ускорить верификацию личности пользователей и укрепить децентрализованную модель. 18 млн уже верифицированных пользователей создают основу для развития экосистемы, однако ключевым остается вопрос о том, как превратить этих пользователей в активных участников. По мере обновления протокола Pi Network движется к этапу открытой сети, а поддержка смарт-контрактов указывает на более разнообразные сценарии применения.

MarketWhisper44м назад

twin3.ai запустила тестовую сеть для Web 4.0 «Soul Protocol», реализуя ончейн-цифровую идентичность с помощью SBT размерностью 256.

Twin3 14 апреля запустила инфраструктуру цифровой идентичности для экономики Agent, тестовая сеть уже работает. Протокол использует soulbound-токены для хранения личности и опыта пользователей, формируя цифровую идентичность, поддерживает персональных ИИ-агентов и способствует автоматизации экономического сотрудничества.

GateNews49м назад

Скролл: предложил отозвать резолюцию Совета безопасности, адреса с множественной подписью принимают три крупных контрактa по соглашениям

Фонд Scroll 14 апреля предложил распустить действующий Совет по безопасности и передать полномочия управления много-подписному адресу Scroll Admin, поскольку эксплуатационные расходы Совета по безопасности не соответствуют фактическому объему использования. Переходный период составляет десять дней, и он будет опираться на поддержку участников. Новая структура продолжит обеспечивать безопасные стандарты протокола и не означает уступок в вопросах безопасности. Роль вкладчиков DAO также будет соответствующим образом сокращена, чтобы адаптироваться к текущим приоритетам и операционным потребностям.

MarketWhisper1ч назад

Cardano готовит почву для двух ключевых обновлений в H1 2026 года: чего ожидать? - U.Today

Cardano готовится к двум крупным обновлениям в 2026 году: Ouroboros Leios — масштабируемое решение, призванное ускорить обработку транзакций, — и хардфорк van Rossem для повышения производительности и безопасности. Оба обновления идут по плану и запланированы на июнь.

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