Trendande ämnen
#
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
Säkra DeFi genom revisioner av smarta kontrakt, formell verifiering och granskningar av protokolldesign. Betrodd av Aave, Uniswap, Lido, EigenLayer, Solana och mer.
Att anta ett skadligt tankesätt hjälper byggare att tänka på icke-traditionella sätt om programvara och säkerhet. Det förbereder dig för vad som kan gå fel, hur saker kan gå sönder och hur du kan förhindra det.
Vi ses snart på Meridian Rio! 🙌
19 aug. 04:24
Koda på ett säkert sätt. Tänk illvilligt. 🔒
Dina Rust-färdigheter kommer att förhindra många buggar, men de kommer inte att stoppa en beslutsam angripares logiska utnyttjande. Den 17 september på Meridian Rio, lär dig att förutse sårbarheter i smarta kontrakt innan du distribuerar med @CertoraInc och @rv_inc .
1,21K
Det har varit en ära att samarbeta med @blend_capital och @code4rena för att genomföra den första formella verifieringstävlingen i det @BuildOnStellar ekosystemet.
Hela rapporten är klar 👇
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 delade inlägget
Vi har precis släppt en stor uppdatering av @CertoraInc Prover, vår formella verifieringsmotor för att bevisa att smarta kontrakt är korrekta eller hitta riktiga buggar.
v8.1.0 är fullspäckad med kraftfulla nya funktioner och (ja) några större ändringar. Här är vad som är nytt 👇
1,87K
Uppmärksamhet @arbitrum byggare 📣
Arbitrums revisionsprogram är live. Vi är redo att hjälpa dig att skydda din kod och leverera med tillförsikt.
Lära sig mer 👇
4 aug. 22:47
Vi presenterar Arbitrum Audit Program, ett av kryptons största revisionsbidrag!
Projekt i tidiga skeden som bygger (eller planerar att bygga) på Arbitrum kan nu ansöka om revisionsbidrag från tredje part
Ansök idag och lär dig mer 👇
2,43K
Certora delade inlägget
AMM:er på @Stellarorg:s Soroban-plattform kräver precision:
@aqua_token tävlingen levererad och resultaten är inne. 🪐
Topprankade forskare:
🥇 @alkarin_: $18,898.21
🥈 @DzordanTa1567: $10,440.32
🥉 @carrotsmuggler: $9,050.89
En annan fantastisk höjdpunkt på topplistan nedan.
13,81K
Topp
Rankning
Favoriter