Jeg er glad for å fortelle deg at etter 7 år som administrerende direktør, har jeg endelig overtalt Seth Hallem, den opprinnelige administrerende direktøren og medgründeren av Coverity, til å lede Certora i å sikre DeFi-økosystemet på tvers av Web3.
Hvorfor nå?
Vi har allerede et fantastisk team på 80 personer med 25 interne sikkerhetsforskere og noen av de beste (tilbakevendende) kundene på dette området, inkludert @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance og @ethstatus.
Nå utvider vi ledergruppen vår for å nå neste milepæl.
De siste årene har vi knekt et av de mest komplekse problemene innen informatikk: å utvikle et formelt verifiseringsverktøy for kjørbare programmer som programvareutviklere kan bruke sømløst. Og de har brukt det.
Certora Prover er det ledende produktet for å verifisere komplekse Solidity- og Rust-programmer, som er utenfor rekkevidden til andre formelle verifiseringsverktøy i både Web3 og Web2.
Vi har etablert oss som pionerene innen formell verifisering. Nå utvikler vi oss til å bli det beste knutepunktet for alle Web3-sikkerhetsløsninger.
Hvorfor, blant de mange flotte menneskene jeg har jobbet med i karrieren min, var Seth det perfekte valget?
Det er fordi Certora er et unikt kundesentrert selskap som kombinerer sterk ingeniør- og sikkerhetsekspertise, og som krever en administrerende direktør som er: (1) teknisk, kan forstå spesifikasjoner, komplekse feil og programvareutvikling, (2) en ekspert på salgsbevegelser og BD, (3) dyp erfaring med ledelse, (4) dedikert og bryr seg om mennesker, og (5) en leder med dokumentert suksess.
Du lurer kanskje på hva min nye rolle vil være. Jeg skal ingen steder og tar ikke en formanns- eller presidentposisjon. Som alltid leter jeg fortsatt etter nye utfordringer å takle, spesielt når det gjelder å bygge sikkerhetsverktøy.
Jeg planlegger å fremme Certora på tre måter: (1) ved å styrke kunderelasjoner og øke salget; (2) ved å posisjonere Certora som et ledende sikkerhetsselskap; og (3) ved å lede et nytt forskerteam som raskt vil utvikle prototyper av nye sikkerhetsprodukter og overføre dem til vår sterke FoU-avdeling.
Jeg ser også frem til å tilbringe mer tid med kundene våre og bedre forstå deres behov, slik at Certora kan fortsette å gjøre det mulig for dem å "bevege seg raskt og bryte ingenting" ved å sende innovative, trygge protokoller.
Hvis du har spørsmål eller tilbakemeldinger, er DM-ene mine åpne.
Jeg er spent på hva som ligger foran meg og ser frem til å fortsette å bygge fremtiden for sikker Web3 sammen.
20,08k
77
Innholdet på denne siden er levert av tredjeparter. Med mindre annet er oppgitt, er ikke OKX forfatteren av de siterte artikkelen(e) og krever ingen opphavsrett til materialet. Innholdet er kun gitt for informasjonsformål og representerer ikke synspunktene til OKX. Det er ikke ment å være en anbefaling av noe slag og bør ikke betraktes som investeringsråd eller en oppfordring om å kjøpe eller selge digitale aktiva. I den grad generativ AI brukes til å gi sammendrag eller annen informasjon, kan slikt AI-generert innhold være unøyaktig eller inkonsekvent. Vennligst les den koblede artikkelen for mer detaljer og informasjon. OKX er ikke ansvarlig for innhold som er vert på tredjeparts nettsteder. Beholdning av digitale aktiva, inkludert stablecoins og NFT-er, innebærer en høy grad av risiko og kan svinge mye. Du bør nøye vurdere om handel eller innehav av digitale aktiva passer for deg i lys av din økonomiske tilstand.