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

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

Застереження: Інформація на цій сторінці може походити від третіх осіб і не відображає погляди або думки Gate. Вміст, що відображається на цій сторінці, є лише довідковим і не є фінансовою, інвестиційною або юридичною порадою. Gate не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до Застереження.

Пов'язані статті

Засновник Hyperliquid: минулорічним найбільшим викликом була затримка серверів, команда з нуля переписала систему

Засновник Hyperliquid Джефф Ян заявив, що найбільшим викликом у 2025 році є затримка API-серверів. Минулого літа, коли ціна біткоїна зросла, торговельні обсяги різко збільшилися, і в системі виникла затримка: реакція на ордери з миттєвої перетворилася на 3 секунди, що вплинуло на ефективність торгів. Після роботи команди вони перебудували серверну систему і врешті-решт подолали цю проблему.

GateNews27хв. тому

Pi Network: 1800万 користувачів завершили KYC, і верифікатори отримали 26,5 млн PI

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

MarketWhisper51хв. тому

twin3.ai запускає тестову мережу Web 4.0 для «світлових» протоколів душі, реалізуючи ланцюгову цифрову ідентичність за допомогою 256-вимірного SBT

Twin3 14 квітня запустила інфраструктуру цифрової ідентичності, орієнтовану на економіку агентів, та вивела її на тестову мережу. Цей протокол через токени зі зв’язуванням душі зберігає ідентичність і досвід користувачів, формує цифрову ідентичність, підтримує персональні AI-агенти та сприяє автоматизованій економічній взаємодії.

GateNews56хв. тому

Скролл пропонує відкликати Раду Безпеки, кілька адрес для передачі у керування трьома основними угодами контрактів

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

MarketWhisper2год тому

Cardano готує ґрунт для двох ключових оновлень у H1 2026: чого очікувати? - U.Today

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

UToday2год тому
Прокоментувати
0/400
Немає коментарів