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,49K
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,78K
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,36K
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,15K
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
Hej @raave'rs 👻
Fest ikväll, Certora Run imorgon. Vem är med? 👀
2,12K
Hej @raave'rs 👻
Fest ikväll, Certora Run imorgon. Vem är med? 👀
25 juni 2025
Uppmärksamhet @EthCC deltagare! 🏃♂️🌊
Häng med oss på vår signatur Certora 5K Run & Walk i vackra Cannes!
Oavsett om du är en löpare eller en gångare är alla välkomna.
📅 3 juli
🕐 Morgonstart
💥 Registrera dig nu
3,3K
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
Kod är lag. Tänk om det är fel?
Lär dig hur du gör DeFi motståndskraftig genom säkerhet med @SagivMooly, @zkBri, @Sh4har och @Montyly.
1,75K
Topp
Rankning
Favoriter