Это продолжающееся сотрудничество в области безопасности оправдывает наши масштабные усилия в области НИОКР и найм лучших специалистов по безопасности для защиты такого сложного кода.
ДА! Аудиты, аудиты, аудиты…
📰 Мы рады быть главными аудиторами для главного DeFi протокола: Lido, ключевого элемента экосистемы. 🫡
Lido V3 представляет мощные новые инструменты: Стейкинг-Хранилища (stVaults) и Хранилище Vault Hub, которые обеспечивают более гибкие варианты стейкинга.
Учреждения могут запускать свои собственные валидаторы, продвинутые стейкеры могут использовать петли stETH, и каждое хранилище изолировано для ограничения рисков.
Это не первый опыт Certora с Lido. Мы ранее проверяли обновление Lido V2 и возглавляли обзор дизайна их реализации Двойного Управления.
Теперь Certora укрепляет протокол V3 против ошибок, эксплойтов или логических несоответствий.
Как только аудиты будут завершены, Lido V3 будет готов к развертыванию в основной сети.
Мы рады увидеть его в действии 👀
10
83,76 тыс.
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.