📊Rapport: @CertoraInc veier inn på hvordan @coinbase kunne ha unngått datalekkasje ✍️ @solace_fm

Å ta i bruk en ondsinnet tankegang hjelper byggere med å tenke på utradisjonelle måter om programvare og sikkerhet. Den forbereder deg på hva som kan gå galt, hvordan ting kan ødelegges, og hvordan du kan forhindre det. Vi sees snart på Meridian Rio! 🙌

15. mai avslørte @coinbase at de ble rammet av en utpressingsordning. Hackere hacket ikke blokkjeden. De hacket folk. Her er noen viktige lærdommer vi lærte av angrepet (og hvordan du kan forhindre det) 🧵

Det har vært en ære å slå seg sammen med @blend_capital og @code4rena for å kjøre den første formelle verifiseringskonkurransen i @BuildOnStellar-økosystemet. Full rapport er klar 👇

Vi har nettopp sluppet en stor oppdatering til @CertoraInc Prover, vår formelle verifiseringsmotor for å bevise at smarte kontrakter er riktige eller finne ekte feil. v8.1.0 er fullpakket med kraftige nye funksjoner og (ja) noen banebrytende endringer. Dette er nytt 👇

Oppmerksomhet @arbitrum byggherrer 📣 Arbitrum-revisjonsprogrammet er live. Vi er klare til å hjelpe deg med å sikre koden din og sende med tillit. Få mer informasjon 👇

I dag er vi glade for å dele en oppdatering fra Certora-ledergruppen. En ny æra begynner.

🗳️ Ringer alle @compgovernance velgere! @chain_security og Certora er glade for muligheten til å sikre seg Compound i ett år etter å ha blitt valgt av Compound Foundation. Vi vil gjerne ha din stemme:

tro

AMM-er på @Stellarorg Soroban-plattform krever presisjon: @aqua_token konkurranse levert og resultatene er inne. 🪐 Topprangerte forskere: 🥇 @alkarin_: $ 18,898.21 🥈 @DzordanTa1567: $ 10,440.32 🥉 @carrotsmuggler: $ 9,050.89 Nok et fantastisk høydepunkt på ledertavlen nedenfor.