Solvens antas ikke. Det er bevist. Vi har nettopp formelt verifisert @KaminoFinance's Earn Vaults, som dekker innskudd, uttak, gebyrlogikk og fastpunktsavrunding. Få mer informasjon 👇

Hvis emnet er DeFi Security og samtalen blir krydret, stol på oss 🫡 Takk @aave for at vi har oss!

NYTT: @KaminoFinance kunngjør at Earn Vaults har blitt formelt verifisert av @CertoraInc, en viktig sikkerhetsmilepæl for avkastningsproduktene på @solana.

Feil i smarte kontrakter er kostbare og vanskelige å fange: 🔍 Fuzzing går glipp av sjeldne inndata 📜 Formell verifisering er vanskelig å bruke På @EthCC presenterte jeg hvordan vi i @CertoraInc utforsker Bounded Model Checking, en praktisk mellomting som finner ekte, reproduserbare feil med minimalt oppsett. 👇

Resultatene av den formelle verifiseringskomponenten på $20 000 i Blend V2-konkurranserevisjonen er inne! Stor shoutout til alle som deltok, og en stor gratulasjon til @alexzoid_eth for å sikre førsteplassen i den første formelle verifiseringskonkurransen noensinne i Stellar-økosystemet! Stor respekt til @blend_capital og @StellarOrg for å samarbeide med C4 for å sikre Blend V2 og Stellar-økosystemet – og til @CertoraInc for å overvåke og bedømme det formelle verifiseringssegmentet i denne samarbeidskonkurransen. Full liste over vinnere👇

@CertoraInc Prover v7.31.0 ble utgitt på mandag! Denne oppdateringen forbedrer deling, personvern og ytelseskontroll. Dette er nytt 👇🧵

Stor takk til alle som ble med på Certora Run i solfylte Cannes! 🏃🏃🏻‍♀️ Hvor skal vi komme i gang neste gang? 👀

Hei @raave 👻 Fest i kveld, Certora Run i morgen. Hvem er med? 👀

gm fra DeFi Summer Day 🌞

DeFi Summer Day by @aave er rett rundt hjørnet! Hvis du deltar, kan du komme og chatte om alt som har med sikkerhet å gjøre med Certora-teamet og bli med i panelet vårt for å lære hvordan du kan gjøre DeFi robust og motstandsdyktig. Vi sees! 👇