Populární témata
#
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
Zabezpečení DeFi prostřednictvím auditů chytrých kontraktů, formálního ověřování a revizí návrhu protokolů. Důvěřují mu Aave, Uniswap, Lido, EigenLayer, Solana a další.
Solventnost se nepředpokládá. Je to dokázáno.
Právě jsme formálně ověřili @KaminoFinance trezory Výdělky, které pokrývají vklady, výběry, logiku poplatků a zaokrouhlování s pevnou desetinnou čárkou.
Víc se uč 👇
21. 7. 22:27
1/ Jsme hrdí na to, že můžeme sdílet Kamino Earn Vaulty byly formálně ověřeny společností @CertoraInc – významný bezpečnostní milník
To potvrzuje, že Kamino Earn splňuje nejvyšší bezpečnostní standardy, což z něj činí produkt s nejbezpečnějším výnosem na @solana
Plně open source. 4x auditováno. Formálně ověřeno.
9,16K
Pokud je tématem DeFi Security a konvoj začíná být pikantní, počítejte s námi 🫡
Díky @aave že jste nás pozvali!
22. 7. 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol Den začal pikantním panelem o bezpečnosti s @SagivMooly, @zkBri, @Sh4har a @Montyly.
3,68K
Certora repostoval/a
Chyby chytrých kontraktů jsou nákladné a těžko se chytají:
🔍 Fuzzing postrádá vzácné vstupy
📜 Formální ověření je obtížné
Na @EthCC jsem prezentoval, jak na @CertoraInc zkoumáme Bounded Model Checking, praktickou střední cestu, která najde skutečné, reprodukovatelné chyby s minimálním nastavením. 👇
3,34K
Certora repostoval/a
Výsledky součásti formálního ověření v hodnotě 20 000 USD v rámci konkurenčního auditu Blend V2 jsou k dispozici!
Velké poděkování všem, kteří se zúčastnili, a obrovská gratulace @alexzoid_eth k zajištění prvního místa v vůbec první formální ověřovací soutěži v ekosystému Stellar!
Velký respekt patří @blend_capital a @StellarOrg za partnerství se společností C4 za účelem zajištění Blend V2 a ekosystému Stellar – a za @CertoraInc za dohled a hodnocení segmentu formálního ověřování této společné soutěže.
Kompletní seznam vítězů👇
8,14K
Obrovské díky všem, kteří se připojili k Certora Run ve slunném Cannes! 🏃🏃🏻♀️
Kam bychom se měli pustit dál? 👀
3. 7. 03:52
Hey @raave’rs 👻
Party tonight, Certora Run tomorrow. Who’s in? 👀
2,05K
Hej @raave 👻
Dnes večer párty, zítra Certora Run. Kdo je uvnitř? 👀
25. 6. 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,24K
DeFi Summer Day od @aave je hned za rohem!
Pokud se účastníte, přijďte si popovídat o všech věcech zabezpečení s týmem Certora a připojte se k našemu panelu, kde se dozvíte, jak udělat DeFi robustní a odolné.
Zatím! 👇
30. 6. 2025
Code is Law. What if it's wrong?
Learning how to make DeFi resilient through security with @SagivMooly, @zkBri, @Sh4har, and @Montyly.
1,69K
Top
Hodnocení
Oblíbené