Por que agora?
Já temos uma equipe incrível de 80 pessoas com 25 pesquisadores de segurança interna e alguns dos melhores clientes (recorrentes) neste espaço, incluindo @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance e @ethstatus.
Agora estamos expandindo nossa equipe de gerenciamento 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 perfeitamente. E eles têm usado.
O Certora Prover é o produto líder para verificar programas complexos de Solidity e Rust, que estão além do alcance de outras ferramentas de verificação formal na Web3 e na Web2.
Nós nos estabelecemos como os pioneiros na verificação formal. Agora, estamos evoluindo para o hub ideal para todas as soluções de segurança Web3.
Por que, entre as muitas pessoas excelentes com quem trabalhei em minha carreira, Seth foi a escolha perfeita?
É porque a Certora é uma empresa única centrada no cliente que combina forte experiência em engenharia e segurança, e isso requer um CEO que seja: (1) técnico, possa entender especificações, bugs complexos e engenharia de software, (2) um especialista em movimentos de vendas e BD, (3) profundamente experiente com gestão, (4) dedicado e se preocupa com as pessoas e (5) um líder com um histórico comprovado de sucesso.
Você pode se perguntar qual será meu novo papel. Não vou a lugar nenhum e não estou assumindo um cargo de presidente ou presidente. Como sempre, ainda estou procurando novos desafios para enfrentar, especialmente na construção de ferramentas de segurança.
Pretendo avançar a Certora de três maneiras: (1) fortalecendo o relacionamento com os clientes e aumentando as vendas; (2) posicionando a Certora como uma empresa líder em segurança; e (3) gerenciando uma nova equipe de pesquisa que desenvolverá rapidamente protótipos de novos produtos de segurança e os transferirá para nosso forte departamento de P&D.
Também estou ansioso para passar mais tempo com nossos clientes e entender melhor suas necessidades, para que a Certora possa continuar permitindo que eles "movam-se rápido e não quebrem nada" enviando protocolos inovadores e seguros.
Se você tiver alguma dúvida ou feedback, meus DMs estão abertos.
Estou animado com o que está por vir e ansioso para continuar a construir o futuro da Web3 segura juntos.
20,37 mil
77
O conteúdo desta página é fornecido por terceiros. A menos que especificado de outra forma, a OKX não é a autora dos artigos mencionados e não reivindica direitos autorais sobre os materiais apresentados. O conteúdo tem um propósito meramente informativo e não representa as opiniões da OKX. Ele não deve ser interpretado como um endosso ou aconselhamento de investimento de qualquer tipo, nem como uma recomendação para compra ou venda de ativos digitais. Quando a IA generativa é utilizada para criar resumos ou outras informações, o conteúdo gerado pode apresentar imprecisões ou incoerências. Leia o artigo vinculado para mais detalhes e informações. A OKX não se responsabiliza pelo conteúdo hospedado em sites de terceiros. Possuir ativos digitais, como stablecoins e NFTs, envolve um risco elevado e pode apresentar flutuações significativas. Você deve ponderar com cuidado se negociar ou manter ativos digitais é adequado para sua condição financeira.