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

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

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

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

Розробник Bitcoin Пол Сторц оголошує eCash хардфорк із обміном BTC 1:1, що викликає суперечки в спільноті

Повідомлення Gate News, 25 квітня — розробник біткоїна Пол Сторц оголосив про запуск eCash, мережі хардфорку Bitcoin, яка дозволить власникам BTC обмінювати свої активи в пропорції 1:1 на токени eCash після активації мережі. Програмне забезпечення вузла Layer 1 буде майже точною копією клієнта Bi

GateNews34хв. тому

Aave забезпечує обіцянки допомоги на $69,576 ETH, закриваючи розрив у 5,505 ETH у відновленні rsETH

Повідомлення Gate News, 25 квітня — Згідно з ончейн-аналітиком Ю Джин, Aave отримала обіцянки допомоги на загальну суму 69,576 ETH для покриття збитків від інциденту rsETH, залишивши лише не покритий дефіцит у розмірі 5,505 ETH. Кредитний протокол надав 25,000 ETH (приблизно $57.75 мільйона) зі власних

GateNews3год тому

JPMorgan: Токенізація змінить індустрію фондів, але «вдалих кейсів» ще лишилися роки

JPMorgan сигналізує токенізацію як каталізатор для всієї галузі Кіаран Фіцпатрік, глобальний керівник продуктів ETF і сек’юритіз-сервісів JPMorgan, у публікації в п’ятницю заявив, що токенізація сприятиме фундаментальним змінам у всій індустрії фондів, а не лише у біржових фондах. «Ми вважаємо, що токенізація

CryptoFrontier6год тому

Aave пропонує внесок 25 000 ETH до DeFi United для відновлення після експлойту Kelp DAO

Повідомлення Gate News, 24 квітня — постачальники послуг Aave запропонували внесок на рівні управління в розмірі 25 000 ETH, вартістю приблизно $58 мільйонів, з DAO протоколу в DeFi United у п’ятницю, щоб допомогти відновити підтримку для rsETH після експлойту Kelp DAO минулого тижня. Атака скомпрометувала міст LayerZero

GateNews7год тому

Прогноз ціни ADA, оскільки Cardano отримує токенізовану угоду на LSE

Ключові висновки Cardano токенізувала продукт перестрахування Hannover Re та розмістила його на Лондонській фондовій біржі, розширивши використання блокчейну в регульованих інституційних ринках. Ціна ADA тримається в спадному клині, оскільки підтримка на рівні $0.2400 залишається незмінною, тоді як опір біля $0.2550 та $0.2824 l

CryptoNewsLand8год тому

XRP Розширюється до Solana, оскільки wXRP сприяє доступу до DeFi

Ключові висновки Обгорнутий XRP на Solana перевищує 834,000 токенів, надаючи доступ до нового DeFi, одночасно зміцнюючи ліквідність між ланцюгами та розширюючи корисність XRP поза межами його нативного реєстру. Ethereum і Solana домінують у DeFi-активності, тоді як XRP Ledger помітно відстає, що зумовлює потребу в

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