Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Certora
Обеспечение безопасности DeFi с помощью аудита смарт-контрактов, официальной проверки и анализа дизайна протокола. Нам доверяют Aave, Uniswap, Lido, EigenLayer, Solana и другие.
Принятие злонамеренного мышления помогает разработчикам мыслить нетрадиционными способами о программном обеспечении и безопасности. Это подготавливает вас к тому, что может пойти не так, как вещи могут быть сломаны и как этого предотвратить.
Увидимся скоро на Meridian Rio! 🙌
19 авг., 04:24
Кодируйте безопасно. Думайте злонамеренно. 🔒
Ваши навыки Rust помогут предотвратить многие ошибки, но они не остановят логику атакующего, который настроен решительно. 17 сентября в Meridian Rio узнайте, как предвидеть уязвимости смарт-контрактов до их развертывания с @CertoraInc и @rv_inc.
1,08K
Для меня было честью объединить усилия с @blend_capital и @code4rena для проведения первого конкурса Формальной Проверки в экосистеме @BuildOnStellar.
Полный отчет готов 👇
14 авг., 02:00
Отчет об аудите Blend v2 теперь опубликован!
Большое уважение @blend_capital, @StellarOrg и @CertoraInc за сотрудничество с C4 для обеспечения безопасности Blend V2 и экосистемы Stellar.
Посмотрите отчет об аудите Code4rena и отчет о конкурсе Certora ниже!👇
4,35K
Certora сделал репост
Мы только что выпустили крупное обновление для @CertoraInc Prover, нашего движка формальной верификации для доказательства корректности смарт-контрактов или нахождения реальных ошибок.
v8.1.0 наполнен мощными новыми функциями и (да) некоторыми изменениями, которые могут сломать совместимость. Вот что нового 👇
1,87K
Внимание, строители @arbitrum 📣
Программа аудита Arbitrum запущена. Мы готовы помочь вам защитить ваш код и уверенно его запустить.
Узнайте больше 👇
4 авг., 22:47
Представляем программу аудита Arbitrum, одну из крупнейших аудиторских грантов в криптоиндустрии!
Проекты на ранних стадиях, которые строят (или планируют строить) на Arbitrum, теперь могут подать заявку на гранты на сторонний аудит.
Подайте заявку сегодня и узнайте больше 👇
2,4K
Certora сделал репост
AMM на платформе Soroban от @Stellarorg требуют точности: конкурс @aqua_token завершен, и результаты уже известны. 🪐
Лучшие исследователи:
🥇 @alkarin_: $18,898.21
🥈 @DzordanTa1567: $10,440.32
🥉 @carrotsmuggler: $9,050.89
Еще один удивительный момент в таблице лидеров ниже.
13,81K
Топ
Рейтинг
Избранное