Populaire onderwerpen
#
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
DeFi beveiligen door middel van slimme contractaudits, formele verificatie en beoordelingen van protocolontwerp. Vertrouwd door Aave, Uniswap, Lido, EigenLayer, Solana en meer.
Een kwaadaardige mindset aannemen helpt bouwers om op niet-traditionele manieren over software en beveiliging na te denken. Het bereidt je voor op wat er mis kan gaan, hoe dingen kapot kunnen gaan en hoe je dat kunt voorkomen.
Tot snel bij Meridian Rio! 🙌
19 aug, 04:24
Codeer veilig. Denk kwaadaardig. 🔒
Je Rust-vaardigheden zullen veel bugs voorkomen, maar ze zullen de logica-exploits van een vastberaden aanvaller niet stoppen. Op 17 september in Meridian Rio, leer hoe je smart contract-kwetsbaarheden kunt anticiperen voordat je implementeert met @CertoraInc en @rv_inc.
1,22K
Het is een eer geweest om de krachten te bundelen met @blend_capital en @code4rena om de eerste Formele Verificatie competitie in het @BuildOnStellar ecosysteem te organiseren.
Volledige rapport is klaar 👇
14 aug, 02:00
The Blend v2 audit report is now published!
Much respect to @blend_capital, @StellarOrg, and @CertoraInc for partnering with C4 to secure Blend V2 and the Stellar ecosystem.
Check out the Code4rena Audit Report and Certora Contest Report below!👇
4,37K
Certora heeft opnieuw gepost
We hebben zojuist een grote update uitgebracht voor de @CertoraInc Prover, onze formele verificatiemotor voor het bewijzen van de correctheid van smart contracts of het vinden van echte bugs.
v8.1.0 zit vol krachtige nieuwe functies en (ja) enkele ingrijpende wijzigingen. Hier is wat er nieuw is 👇
1,87K
Let op @arbitrum bouwers 📣
Het Arbitrum Audit Programma is live. We zijn klaar om je te helpen je code te beveiligen en met vertrouwen te verzenden.
Leer meer 👇
4 aug, 22:47
Introductie van het Arbitrum Audit Programma, een van de grootste audit subsidies in de crypto wereld!
Vroegfase projecten die bouwen (of van plan zijn te bouwen) op Arbitrum kunnen nu aanvragen voor subsidies voor externe audits.
Vraag vandaag nog aan en leer meer 👇
2,43K
Certora heeft opnieuw gepost
AMM's op het Soroban-platform van @Stellarorg vereisen precisie: de
@aqua_token competitie heeft geleverd en de resultaten zijn binnen. 🪐
Top-gerangschikte onderzoekers:
🥇 @alkarin_: $18.898,21
🥈 @DzordanTa1567: $10.440,32
🥉 @carrotsmuggler: $9.050,89
Een ander geweldig hoogtepunt van de ranglijst hieronder.
13,81K
Boven
Positie
Favorieten