Актуальные темы
#
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 и другие.
Платежеспособность не предполагается. Она доказывается.
Мы только что официально проверили Earn Vaults @KaminoFinance, охватывающие депозиты, выводы, логику сборов и округление с фиксированной точкой.
Узнайте больше 👇
21 июл., 22:27
1/ Мы гордимся тем, что Kamino Earn Vaults были официально проверены @CertoraInc — это важный шаг в обеспечении безопасности.
Это подтверждает, что Kamino Earn соответствует самым высоким стандартам безопасности, что делает его самым безопасным продуктом доходности на @solana.
Полностью открытый исходный код. 4 раза прошел аудит. Официально проверен.
9,52K
Если тема обсуждения — безопасность DeFi, и разговор становится жарким, рассчитывайте на нас 🫡
Спасибо @aave за то, что пригласили нас!
22 июл., 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol День начался с жаркой панели по безопасности с @SagivMooly, @zkBri, @Sh4har и @Montyly.
3,8K
Certora сделал репост
Ошибки в смарт-контрактах дорого обходятся и их трудно поймать:
🔍 Fuzzing пропускает редкие входные данные
📜 Формальная верификация трудно применима
На @EthCC я представил, как в @CertoraInc мы исследуем Ограниченное Моделирование Проверки, практическое среднее решение, которое находит реальные, воспроизводимые ошибки с минимальной настройкой. 👇
3,37K
Certora сделал репост
Результаты компонента Формальной Проверки на сумму $20,000 в рамках конкурентного аудита Blend V2 уже готовы!
Большое спасибо всем, кто принял участие, и огромные поздравления @alexzoid_eth за первое место в первом в истории конкурсе формальной проверки в экосистеме Stellar!
Большое уважение @blend_capital и @StellarOrg за партнерство с C4 для обеспечения безопасности Blend V2 и экосистемы Stellar — и @CertoraInc за надзор и оценку сегмента формальной проверки этого совместного соревнования.
Полный список победителей👇
8,16K
Огромное спасибо всем, кто присоединился к Certora Run в солнечном Каннах! 🏃🏃🏻♀️
Куда нам отправиться дальше? 👀
3 июл., 03:52
Привет, @raave’rs 👻
Вечеринка сегодня, Certora Run завтра. Кто с нами? 👀
2,13K
Привет, @raave’rs 👻
Вечеринка сегодня, Certora Run завтра. Кто с нами? 👀
25 июн. 2025 г.
Вниманию @EthCC посетителей! 🏃♂️🌊
Присоединяйтесь к нам на нашем фирменном забеге Certora 5K Run & Walk в прекрасных Каннах!
Будь вы бегуном или ходоком, мы рады всем.
📅 3 июля
🕐 Утренний старт
💥 Зарегистрируйтесь
3,32K
День DeFi Лета от @aave уже на подходе!
Если вы собираетесь прийти, приходите пообщаться о безопасности с командой Certora и присоединяйтесь к нашей панели, чтобы узнать, как сделать DeFi надежным и устойчивым.
Увидимся! 👇
30 июн. 2025 г.
Код — это закон. Что если он ошибочен?
Изучаем, как сделать DeFi устойчивым через безопасность с @SagivMooly, @zkBri, @Sh4har и @Montyly.
1,77K
Топ
Рейтинг
Избранное