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.
Adottare una mentalità maliziosa aiuta i costruttori a pensare in modi non tradizionali riguardo al software e alla sicurezza. Ti prepara a ciò che può andare storto, a come le cose possono rompersi e a come prevenirlo.
Ci vediamo presto a Meridian Rio! 🙌
19 ago, 04:24
Codifica in sicurezza. Pensa in modo malevolo. 🔒
Le tue abilità in Rust prevengono molti bug, ma non fermeranno la logica degli exploit di un attaccante determinato. Il 17 settembre al Meridian Rio, impara ad anticipare le vulnerabilità dei contratti intelligenti prima di distribuirli con @CertoraInc e @rv_inc.
728
È 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,3K
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,84K
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,35K
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,77K
Principali
Ranking
Preferiti