Jag är glad att kunna berätta att jag efter 7 år som VD äntligen har övertalat Seth Hallem, den ursprungliga VD:n och medgrundaren av Coverity, att leda Certora för att säkra DeFi-ekosystemet över Web3.
Varför nu?
Vi har redan ett fantastiskt team på 80 personer med 25 interna säkerhetsforskare och några av de bästa (återkommande) kunderna inom detta område, inklusive @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance och @ethstatus.
Nu utökar vi vår ledningsgrupp för att nå nästa milstolpe.
Under de senaste åren har vi knäckt ett av de mest komplexa problemen inom datavetenskap: att utveckla ett formellt verifieringsverktyg för körbara program som mjukvaruutvecklare kan använda sömlöst. Och de har använt det.
Certora Prover är den ledande produkten för att verifiera komplexa soliditets- och rostprogram, som är utom räckhåll för andra formella verifieringsverktyg i både Web3 och Web2.
Vi har etablerat oss som pionjärer inom formell verifiering. Nu håller vi på att utvecklas till det bästa navet för alla Web3-säkerhetslösningar.
Varför, bland de många fantastiska människor jag har arbetat med under min karriär, var Seth det perfekta valet?
Det beror på att Certora är ett unikt kundcentrerat företag som kombinerar stark ingenjörs- och säkerhetsexpertis, och det kräver en VD som är: (1) teknisk, kan förstå specifikationer, komplexa buggar och mjukvaruteknik, (2) en expert på försäljningsrörelser och BD, (3) djupt erfaren med ledning, (4) engagerad och bryr sig om människor, och (5) en ledare med en bevisad framgång.
Du kanske undrar vad min nya roll kommer att bli. Jag kommer inte att gå någonstans och tar inte en ordförande- eller presidentpost. Som alltid letar jag fortfarande efter nya utmaningar att ta itu med, särskilt när det gäller att skapa säkerhetsverktyg.
Jag planerar att utveckla Certora på tre sätt: (1) genom att stärka kundrelationerna och öka försäljningen; (2) genom att positionera Certora som ett ledande säkerhetsföretag; och (3) genom att leda ett nytt forskarteam som snabbt kommer att utveckla prototyper av nya säkerhetsprodukter och överföra dem till vår starka FoU-avdelning.
Jag ser också fram emot att tillbringa mer tid med våra kunder och bättre förstå deras behov, så att Certora kan fortsätta att göra det möjligt för dem att "Move Fast and Break Nothing" genom att leverera innovativa, säkra protokoll.
Om du har några frågor eller feedback är mina DM öppna.
Jag är förväntansfull inför vad som komma skall och ser fram emot att fortsätta bygga framtiden för säker Web3 tillsammans.
19,57 tn
77
Innehållet på den här sidan tillhandahålls av tredje part. Om inte annat anges är OKX inte författare till den eller de artiklar som citeras och hämtar inte någon upphovsrätt till materialet. Innehållet tillhandahålls endast i informationssyfte och representerar inte OKX:s åsikter. Det är inte avsett att vara ett godkännande av något slag och bör inte betraktas som investeringsrådgivning eller en uppmaning att köpa eller sälja digitala tillgångar. I den mån generativ AI används för att tillhandahålla sammanfattningar eller annan information kan sådant AI-genererat innehåll vara felaktigt eller inkonsekvent. Läs den länkade artikeln för mer detaljer och information. OKX ansvarar inte för innehåll som finns på tredje parts webbplatser. Innehav av digitala tillgångar, inklusive stabila kryptovalutor och NFT:er, innebär en hög grad av risk och kan fluktuera kraftigt. Du bör noga överväga om handel med eller innehav av digitala tillgångar är lämpligt för dig mot bakgrund av din ekonomiska situation.