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.
È stato un onore unire le forze con @blend_capital e @code4rena per organizzare la prima competizione di Verifica Formale nell'ecosistema @BuildOnStellar.
Il rapporto completo è pronto 👇
14 ago, 02:00
Il rapporto di audit di Blend v2 è ora pubblicato!
Un grande rispetto a @blend_capital, @StellarOrg e @CertoraInc per aver collaborato con C4 per garantire la sicurezza di Blend V2 e dell'ecosistema Stellar.
Dai un'occhiata al rapporto di audit di Code4rena e al rapporto del concorso di Certora qui sotto!👇
4,19K
Certora ha ripubblicato
Abbiamo appena rilasciato un aggiornamento importante per il @CertoraInc Prover, il nostro motore di verifica formale per dimostrare la correttezza dei contratti intelligenti o trovare veri bug.
La v8.1.0 è ricca di nuove funzionalità potenti e (sì) alcune modifiche che rompono la compatibilità. Ecco le novità 👇
1,76K
Attenzione costruttori di @arbitrum 📣
Il Programma di Audit di Arbitrum è attivo. Siamo pronti ad aiutarti a mettere in sicurezza il tuo codice e a spedire con fiducia.
Scopri di più 👇
4 ago, 22:47
Presentiamo il Programma di Audit di Arbitrum, uno dei più grandi fondi di audit nel mondo delle criptovalute!
I progetti in fase iniziale che stanno costruendo (o pianificando di costruire) su Arbitrum possono ora fare domanda per sovvenzioni per audit di terze parti.
Candidati oggi e scopri di più 👇
2,26K
Certora ha ripubblicato
Gli AMM sulla piattaforma Soroban di @Stellarorg richiedono precisione: la competizione di @aqua_token ha dato i suoi frutti e i risultati sono arrivati. 🪐
Ricercatori classificati in cima:
🥇 @alkarin_: $18,898.21
🥈 @DzordanTa1567: $10,440.32
🥉 @carrotsmuggler: $9,050.89
Un altro incredibile punto saliente della classifica qui sotto.
13,71K
La solvibilità non è presunta. È dimostrato.
Abbiamo appena verificato formalmente @KaminoFinance Earn Vaults, che copre depositi, prelievi, logica delle commissioni e arrotondamento a punto fisso.
Ulteriori informazioni 👇
21 lug 2025
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,74K
Se l'argomento è la sicurezza DeFi e la conversazione sta diventando piccante, conta su di noi 🫡
Grazie @aave per averci invitato!
22 lug 2025
@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,97K
Principali
Ranking
Preferiti