S potěšením vám mohu oznámit, že po 7 letech ve funkci generálního ředitele jsem konečně přesvědčil Setha Hallema, původního generálního ředitele a spoluzakladatele společnosti Coverity, aby vedl společnost Certora při zajišťování ekosystému DeFi napříč Web3.
Proč právě teď?
Již nyní máme úžasný 80členný tým s 25 výzkumníky interní bezpečnosti a některými z nejlepších (opakujících se) klientů v této oblasti, včetně @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance a @ethstatus.
Nyní rozšiřujeme náš manažerský tým, abychom dosáhli dalšího milníku.
V posledních letech jsme rozluštili jeden z nejsložitějších problémů v počítačové vědě: vývoj formálního ověřovacího nástroje pro spustitelné programy, který mohou vývojáři softwaru bez problémů používat. A používají ji.
Certora Prover je přední produkt pro ověřování složitých programů Solidity a Rust, které jsou mimo dosah jiných formálních ověřovacích nástrojů na Web3 i Web2.
Etablovali jsme se jako průkopníci ve formálním ověřování. Nyní se vyvíjíme v centrum pro všechna bezpečnostní řešení Web3.
Proč byl mezi mnoha skvělými lidmi, se kterými jsem ve své kariéře pracoval, Seth perfektní volbou?
Je to proto, že Certora je jedinečná společnost zaměřená na zákazníka, která kombinuje silné technické a bezpečnostní znalosti, a která vyžaduje generálního ředitele, který je: (1) technický, rozumí specifikacím, složitým chybám a softwarovému inženýrství, (2) je odborníkem na prodejní pohyby a BD, (3) má hluboké zkušenosti s řízením, (4) věnuje se lidem a stará se o ně a (5) je lídrem s prokazatelným úspěchem.
Možná se ptáte, jaká bude moje nová role. Nikam neodcházím a nepřijímám funkci předsedy nebo prezidenta. Jako vždy stále hledám nové výzvy, kterým bych se mohl vypořádat, zejména při vytváření bezpečnostních nástrojů.
Plánuji rozvíjet Certoru třemi způsoby: (1) posílením vztahů se zákazníky a zvýšením prodeje; (2) umístěním společnosti Certora jako přední bezpečnostní společnosti; a (3) řízením nového výzkumného týmu, který bude rychle vyvíjet prototypy nových bezpečnostních produktů a předávat je našemu silnému oddělení výzkumu a vývoje.
Těším se také na to, že strávím více času s našimi klienty a lépe porozumím jejich potřebám, aby jim Certora mohla i nadále umožňovat "rychle se pohybovat a nic rozbít" tím, že bude dodávat inovativní a bezpečné protokoly.
Pokud máte nějaké dotazy nebo zpětnou vazbu, moje DM jsou otevřené.
Jsem nadšený z toho, co je před námi, a těším se, že budeme společně pokračovat v budování budoucnosti bezpečného Web3.
19,52 tis.
77
Obsah na této stránce poskytují třetí strany. Není-li uvedeno jinak, společnost OKX není autorem těchto informací a nenárokuje si u těchto materiálů žádná autorská práva. Obsah je poskytován pouze pro informativní účely a nevyjadřuje názory společnosti OKX. Nejedná se o doporučení jakéhokoli druhu a nemělo by být považováno za investiční poradenství ani nabádání k nákupu nebo prodeji digitálních aktiv. Tam, kde se k poskytování souhrnů a dalších informací používá generativní AI, může být vygenerovaný obsah nepřesný nebo nekonzistentní. Další podrobnosti a informace naleznete v připojeném článku. Společnost OKX neodpovídá za obsah, jehož hostitelem jsou externí weby. Držená digitální aktiva, včetně stablecoinů a tokenů NFT, zahrnují vysokou míru rizika a mohou značně kolísat. Měli byste pečlivě zvážit, zde je pro vás obchodování s digitálními aktivy nebo jejich držení vhodné z hlediska vaší finanční situace.