Актуальні теми
#
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 та інші.
Платоспроможність не передбачається. Це доведено.
Ми щойно офіційно перевірили @KaminoFinance Earn Vaults, які охоплюють депозити, зняття коштів, логіку комісій та округлення з фіксованою точкою.
Дізнатися більше 👇
21 лип., 22:27
1. Ми з гордістю повідомляємо, що сховища Kamino Earn пройшли офіційну перевірку @CertoraInc — це важлива віха в безпеці
Це підтверджує, що Kamino Earn відповідає найвищим стандартам безпеки, що робить його найбезпечнішим продуктом на @solana
Повністю відкритий вихідний код. 4 рази перевірено. Офіційно перевірено.
9,51K
Якщо тема – безпека DeFi і конвой стає пікантним, розраховуйте на нас 🫡
Дякуємо @aave за те, що ви у нас є!
22 лип., 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol День розпочався з пікантної панелі про безпеку за участю @SagivMooly, @zkBri, @Sh4har та @Montyly.
3,79K
Користувач Certora поділився
Помилки смарт-контрактів коштують дорого і їх важко виявити:
🔍 Фаззинг пропускає рідкісні входи
📜 Формальна верифікація складна у використанні
На @EthCC я представив, як на @CertoraInc ми досліджуємо Bounded Model Checking, практичну золоту середину, яка знаходить реальні, відтворювані помилки з мінімальними налаштуваннями. 👇
3,37K
Користувач Certora поділився
Результати компоненту «Формальна верифікація» конкурсного аудиту Blend V2 на суму 20 000 доларів США!
Велика подяка всім, хто взяв участь, і величезні вітання @alexzoid_eth з тим, що вони посіли перше місце в першому в історії конкурсі на офіційну верифікацію в екосистемі Stellar!
Велика повага до @blend_capital та @StellarOrg за партнерство з C4 для забезпечення безпеки Blend V2 та екосистеми Stellar, а також @CertoraInc за нагляд та оцінювання сегменту офіційної верифікації цього спільного змагання.
Повний список переможців👇
8,16K
Величезна подяка всім, хто долучився до Certora Run у сонячних Каннах! 🏃🏃🏻♀️
Де нам почати працювати далі? 👀
3 лип., 03:52
Привіт, @raave 👻
Вечірка сьогодні ввечері, Certora Run завтра. Хто всередині? 👀
2,13K
Привіт, @raave 👻
Вечірка сьогодні ввечері, Certora Run завтра. Хто всередині? 👀
25 черв. 2025 р.
До уваги @EthCC присутніх! 🏃♂️🌊
Приєднуйтесь до нас на нашому фірмовому Certora 5K Run & Walk у прекрасних Каннах!
Незалежно від того, чи є ви бігуном чи пішоходом, ми раді всім.
📅 3 липня
🕐 Ранковий старт
💥 Зареєструйтесь зараз
3,31K
DeFi Summer Day від @aave вже не за горами!
Якщо ви відвідали, приходьте поговорити про все, що стосується безпеки, з командою Certora та приєднуйтесь до нашої панелі, щоб дізнатися, як зробити DeFi надійним і стійким.
Побачимося! 👇
30 черв. 2025 р.
Кодекс є закон. А раптом це не так?
Дізнаємося, як зробити DeFi стійким завдяки безпеці за допомогою @SagivMooly, @zkBri, @Sh4har та @Montyly.
1,76K
Найкращі
Рейтинг
Вибране