Subiecte populare
#
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
Securizarea DeFi prin audituri de contracte inteligente, verificare formală și revizuiri de proiectare a protocolului. De încredere pentru Aave, Uniswap, Lido, EigenLayer, Solana și multe altele.
Solvabilitatea nu este asumată. Este dovedit.
Tocmai am verificat oficial seifurile Earn ale @KaminoFinance, care acoperă depozitele, retragerile, logica comisioanelor și rotunjirea punctului fix.
Află mai multe 👇
21 iul., 22:27
1/ Suntem mândri să vă spunem că seiful Kamino Earn a fost verificat oficial de @CertoraInc - o etapă majoră de securitate
Acest lucru confirmă că Kamino Earn îndeplinește cele mai înalte standarde de siguranță, ceea ce îl face cel mai sigur produs de randament de pe @solana
Complet open source. 4x auditat. Verificat oficial.
9,13K
Dacă subiectul este DeFi Security și conversația devine picantă, contați pe noi 🫡
Mulțumim @aave pentru că ne-ați primit!
22 iul., 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol Ziua a început cu un panel picant despre securitate cu @SagivMooly, @zkBri, @Sh4har și @Montyly.
3,68K
Certora a repostat
Bug-urile contractelor inteligente sunt costisitoare și greu de detectat:
🔍 Fuzzing-ul ratează intrări rare
📜 Verificarea formală este greu de utilizat
La @EthCC am prezentat cum la @CertoraInc explorăm Bounded Model Checking, o cale de mijloc practică care găsește bug-uri reale, reproductibile cu o configurare minimă. 👇
3,34K
Certora a repostat
Rezultatele componentei de verificare formală de 20.000 de dolari a auditului competitiv Blend V2 sunt disponibile!
Mulțumiri tuturor celor care au participat și felicitări uriașe @alexzoid_eth pentru obținerea primului loc în primul concurs formal de verificare din ecosistemul Stellar!
Mult respect pentru @blend_capital și @StellarOrg pentru parteneriatul cu C4 pentru a securiza Blend V2 și ecosistemul Stellar - și pentru @CertoraInc pentru supravegherea și jurizarea segmentului de verificare formală al acestei competiții de colaborare.
Lista completă a câștigătorilor👇
8,14K
Mulțumim tuturor celor care s-au alăturat Certora Run în însoritul Cannes! 🏃🏃🏻♀️
Unde ar trebui să începem să lucrăm în continuare? 👀
3 iul., 03:52
Hey @raave’rs 👻
Party tonight, Certora Run tomorrow. Who’s in? 👀
2,05K
Hei @raave 👻
Petrecere în seara asta, Certora Run mâine. Cine este înăuntru? 👀
25 iun. 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 by @aave este chiar după colț!
Dacă participați, veniți să discutați despre tot ce ține de securitate cu echipa Certora și alăturați-vă panelului nostru pentru a afla cum să faceți DeFi robust și rezistent.
Pe curând! 👇
30 iun. 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
Limită superioară
Clasament
Favorite