Argomenti di tendenza
#
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
Proteggere la DeFi attraverso audit di smart contract, verifiche formali e revisioni della progettazione dei protocolli. Scelto da Aave, Uniswap, Lido, EigenLayer, Solana e altri.
La solvibilità non è presunta. È provata.
Abbiamo appena verificato formalmente i Vault di Earn di @KaminoFinance, coprendo depositi, prelievi, logica delle commissioni e arrotondamento a punto fisso.
Scopri di più 👇
21 lug, 22:27
1/ Siamo orgogliosi di annunciare che i Kamino Earn Vaults sono stati formalmente verificati da @CertoraInc — un importante traguardo in termini di sicurezza.
Questo conferma che Kamino Earn soddisfa i più elevati standard di sicurezza, rendendolo il prodotto di rendimento più sicuro su @solana.
Completamente open source. 4 volte auditato. Formalmente verificato.
9,13K
Se l'argomento è la Sicurezza DeFi e la conversazione si fa accesa, contate su di noi 🫡
Grazie @aave per averci ospitati!
22 lug, 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol La giornata è iniziata con un panel piccante sulla sicurezza con @SagivMooly, @zkBri, @Sh4har e @Montyly.
3,67K
Certora ha ripubblicato
I bug dei contratti smart sono costosi e difficili da individuare:
🔍 Il fuzzing perde input rari
📜 La verifica formale è difficile da utilizzare
All'@EthCC ho presentato come presso @CertoraInc esploriamo il Bounded Model Checking, un compromesso pratico che trova bug reali e riproducibili con un setup minimo. 👇
3,34K
Certora ha ripubblicato
I risultati del componente di Verifica Formale da $20.000 dell'audit competitivo di Blend V2 sono arrivati!
Un grande ringraziamento a tutti coloro che hanno partecipato, e un enorme congratulazioni a @alexzoid_eth per aver conquistato il primo posto nel primo contest di verifica formale mai tenuto nell'ecosistema Stellar!
Massimo rispetto a @blend_capital e @StellarOrg per aver collaborato con C4 per garantire Blend V2 e l'ecosistema Stellar — e a @CertoraInc per aver supervisionato e giudicato il segmento di verifica formale di questa competizione collaborativa.
Elenco completo dei vincitori👇
8,14K
Un grande grazie a tutti coloro che hanno partecipato al Certora Run a Cannes, sotto il sole! 🏃🏃🏻♀️
Dove dovremmo iniziare a correre la prossima volta? 👀
3 lug, 03:52
Hey @raave’rs 👻
Party tonight, Certora Run tomorrow. Who’s in? 👀
2,05K
Ciao @raave’rs 👻
Festa stasera, Certora Run domani. Chi ci sta? 👀
25 giu 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
Il DeFi Summer Day di @aave è proprio dietro l'angolo!
Se parteciperai, vieni a parlare di tutto ciò che riguarda la sicurezza con il team di Certora e unisciti al nostro panel per scoprire come rendere il DeFi robusto e resiliente.
Ci vediamo! 👇
30 giu 2025
Code is Law. What if it's wrong?
Learning how to make DeFi resilient through security with @SagivMooly, @zkBri, @Sh4har, and @Montyly.
1,68K
Principali
Ranking
Preferiti