Trendande ämnen
#
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
Säkra DeFi genom revisioner av smarta kontrakt, formell verifiering och granskningar av protokolldesign. Betrodd av Aave, Uniswap, Lido, EigenLayer, Solana och mer.
Solvens antas inte. Det är bevisat.
Vi har precis formellt verifierat @KaminoFinance:s Earn Vaults, som täcker insättningar, uttag, avgiftslogik och avrundning av fasta punkter.
Lära sig mer 👇
21 juli 22:27
1/ Vi är stolta över att kunna dela med oss av att Kamino Earn Vaults formellt har verifierats av @CertoraInc – en viktig milstolpe för säkerhet
Detta bekräftar att Kamino Earn uppfyller de högsta säkerhetsstandarderna, vilket gör det till den säkraste avkastningsprodukten på @solana
Helt öppen källkod. 4x granskad. Formellt verifierad.
9,13K
Om ämnet är DeFi-säkerhet och konvoen blir kryddig, lita på oss 🫡
Tack @aave för att vi fick komma!
22 juli 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol Dagen började med en kryddig panel om säkerhet med @SagivMooly, @zkBri, @Sh4har och @Montyly.
3,68K
Certora delade inlägget
Buggar i smarta kontrakt är kostsamma och svåra att fånga:
🔍 Fuzzing missar sällsynta indata
📜 Formell verifiering är svår att använda
På @EthCC presenterade jag hur vi på @CertoraInc utforskar Bounded Model Checking, en praktisk mellanväg som hittar riktiga, reproducerbara buggar med minimal installation. 👇
3,34K
Certora delade inlägget
Resultaten av den formella verifieringskomponenten på 20 000 USD i Blend V2 konkurrensrevision är klara!
En stor eloge till alla som deltog, och ett stort grattis till @alexzoid_eth för att ha säkrat förstaplatsen i den första formella verifieringstävlingen någonsin i Stellars ekosystem!
Stor respekt till @blend_capital och @StellarOrg för att ha samarbetat med C4 för att säkra Blend V2 och Stellars ekosystem – och för att @CertoraInc för att övervaka och bedöma det formella verifieringssegmentet i denna samarbetstävling.
Fullständig lista över vinnarna👇
8,14K
Stort tack till alla som deltog i Certora Run i soliga Cannes! 🏃🏃🏻♀️
Var ska vi komma igång härnäst? 👀
3 juli 03:52
Hey @raave’rs 👻
Party tonight, Certora Run tomorrow. Who’s in? 👀
2,05K
Hej @raave'rs 👻
Fest ikväll, Certora Run imorgon. Vem är med? 👀
25 juni 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 Summer Day av @aave är precis runt hörnet!
Om du deltar, kom och chatta om allt som har med säkerhet att göra med Certora-teamet och gå med i vår panel för att lära dig hur du kan göra DeFi robust och motståndskraftigt.
Vi ses! 👇
30 juni 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
Topp
Rankning
Favoriter