Estou encantado em informar que, após 7 anos como CEO, finalmente convenci Seth Hallem, o CEO original e co-fundador da Coverity, a liderar a Certora na segurança do ecossistema DeFi em toda a Web3.
Por que agora?
Já temos uma incrível equipe de 80 pessoas, com 25 pesquisadores de segurança internos e alguns dos melhores (recorrentes) clientes neste espaço, incluindo @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance e @ethstatus.
Agora estamos expandindo nossa equipe de gestão para alcançar o próximo marco.
Nos últimos anos, resolvemos um dos problemas mais complexos da ciência da computação: desenvolver uma ferramenta de verificação formal para programas executáveis que os desenvolvedores de software possam usar de forma integrada. E eles têm utilizado.
Certora Prover é o produto líder para verificar programas complexos em Solidity e Rust, que estão além do alcance de outras ferramentas de verificação formal tanto no Web3 quanto no Web2.
Estabelecemo-nos como os pioneiros na verificação formal. Agora, estamos a evoluir para o centro de referência para todas as soluções de segurança Web3.
Por que, entre as muitas pessoas incríveis com quem trabalhei na minha carreira, Seth foi a escolha perfeita?
É porque a Certora é uma empresa única centrada no cliente que combina uma forte engenharia e expertise em segurança, e isso requer um CEO que seja: (1) técnico, que consiga entender especificações, bugs complexos e engenharia de software, (2) um especialista em movimentos de vendas e desenvolvimento de negócios, (3) profundamente experiente em gestão, (4) dedicado e que se importa com as pessoas, e (5) um líder com um histórico comprovado de sucesso.
Você pode se perguntar qual será o meu novo papel. Não estou indo a lugar nenhum e não estou assumindo uma posição de presidente ou chairman. Como sempre, estou à procura de novos desafios para enfrentar, especialmente na construção de ferramentas de segurança.
Planeio avançar a Certora de três maneiras: (1) fortalecendo as relações com os clientes e aumentando as vendas; (2) posicionando a Certora como uma empresa de segurança líder; e (3) gerindo uma nova equipe de pesquisa que desenvolverá rapidamente protótipos de novos produtos de segurança e os transferirá para o nosso forte departamento de P&D.
Estou também ansioso por passar mais tempo com os nossos clientes e entender melhor as suas necessidades, para que a Certora possa continuar a permitir que eles "Movam-se Rápido e Não Quebrem Nada" ao lançar protocolos inovadores e seguros.
Se tiver alguma dúvida ou feedback, as minhas DMs estão abertas.
Estou entusiasmado com o que está por vir e ansioso para continuar a construir o futuro do Web3 seguro juntos.
20,21 mil
77
O conteúdo apresentado nesta página é fornecido por terceiros. Salvo indicação em contrário, a OKX não é o autor dos artigos citados e não reivindica quaisquer direitos de autor nos materiais. O conteúdo é fornecido apenas para fins informativos e não representa a opinião da OKX. Não se destina a ser um endosso de qualquer tipo e não deve ser considerado conselho de investimento ou uma solicitação para comprar ou vender ativos digitais. Na medida em que a IA generativa é utilizada para fornecer resumos ou outras informações, esse mesmo conteúdo gerado por IA pode ser impreciso ou inconsistente. Leia o artigo associado para obter mais detalhes e informações. A OKX não é responsável pelo conteúdo apresentado nos sites de terceiros. As detenções de ativos digitais, incluindo criptomoedas estáveis e NFTs, envolvem um nível de risco elevado e podem sofrer grandes flutuações. Deve considerar cuidadosamente se o trading ou a detenção de ativos digitais é adequado para si à luz da sua condição financeira.