Актуальные темы
#
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,13K
Если тема обсуждения — безопасность DeFi, и разговор становится жарким, рассчитывайте на нас 🫡
Спасибо @aave за то, что пригласили нас!
22 июл., 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol День начался с жаркой панели по безопасности с @SagivMooly, @zkBri, @Sh4har и @Montyly.
3,68K
Certora сделал репост
Ошибки в смарт-контрактах дорого обходятся и их трудно поймать:
🔍 Fuzzing пропускает редкие входные данные
📜 Формальная верификация трудно применима
На @EthCC я представил, как в @CertoraInc мы исследуем Ограниченное Моделирование Проверки, практическое среднее решение, которое находит реальные, воспроизводимые ошибки с минимальной настройкой. 👇
3,34K
Certora сделал репост
Результаты компонента Формальной Проверки на сумму $20,000 в рамках конкурентного аудита Blend V2 уже готовы!
Большое спасибо всем, кто принял участие, и огромные поздравления @alexzoid_eth за первое место в первом в истории конкурсе формальной проверки в экосистеме Stellar!
Большое уважение @blend_capital и @StellarOrg за партнерство с C4 для обеспечения безопасности Blend V2 и экосистемы Stellar — и @CertoraInc за надзор и оценку сегмента формальной проверки этого совместного соревнования.
Полный список победителей👇
8,14K
Огромное спасибо всем, кто присоединился к Certora Run в солнечном Каннах! 🏃🏃🏻♀️
Куда нам отправиться дальше? 👀
3 июл., 03:52
Hey @raave’rs 👻
Party tonight, Certora Run tomorrow. Who’s in? 👀
2,05K
Привет, @raave’rs 👻
Вечеринка сегодня, Certora Run завтра. Кто с нами? 👀
25 июн. 2025 г.
Attention @EthCC attendees! 🏃♂️🌊
Join us for our signature Certora 5K Run & Walk in beautiful Cannes!
Whether you're a runner or a walker, everyone’s welcome.
📅 July 3rd
🕐 Morning start
💥 Register now
3,23K
День DeFi Лета от @aave уже на подходе!
Если вы собираетесь прийти, приходите пообщаться о безопасности с командой Certora и присоединяйтесь к нашей панели, чтобы узнать, как сделать DeFi надежным и устойчивым.
Увидимся! 👇
30 июн. 2025 г.
Code is Law. What if it's wrong?
Learning how to make DeFi resilient through security with @SagivMooly, @zkBri, @Sh4har, and @Montyly.
1,68K
Топ
Рейтинг
Избранное