Tomada Rápida
- A Certora levantou US$ 36 milhões em uma rodada da Série B liderada pela Jump Crypto, com participação da Tiger Global e Galaxy Digital.
- A empresa com sede em Israel fornece ferramentas de análise de segurança para contratos inteligentes de blockchain.
A Certora, uma empresa com sede em Israel que fornece ferramentas de análise de segurança para contratos inteligentes, anunciou que levantou US$ 36 milhões em uma rodada da Série B liderada pela Jump Crypto.
A rodada contou com a participação da Tiger Global, Galaxy Digital e investidores existentes da Série A, incluindo Electric Capital, ACapital, Framework Ventures, Coinfund, Lemniscap, Coinbase e VMware, de acordo com um comunicado na terça-feira.
O Certora permite que desenvolvedores de contratos inteligentes detectem erros antes de implantar auditorias pós-código. Os protocolos DeFi, incluindo Aave, Balancer, Compound Finance, MakerDao, Sushi e outros, usam o Certora para proteger seus contratos inteligentes de bugs antes do lançamento como um ponto de verificação final após a conclusão de uma auditoria de código, disse o comunicado.
A empresadiz que garante cerca de US$ 50 bilhões em projetos de finanças descentralizadas (DeFi) com técnicas semelhantes às usadas para programas críticos de segurança, como software de aviônicos. A tecnologia da Certora foi desenvolvida através de duas décadas de pesquisa acadêmica em verificação formal e linguagens de programação.
Saurabh Sharma, sócio e chefe de investimentos daCriptografia de salto, disse: “Apoiado por especialistas de classe mundial, a Certora aproveita a verificação formal para empregar um conjunto de produtos escaláveis e robustos que oferecem capacidade de reutilização e testes granulares muito maiores”.
A Certora é liderada por Shmuel Sagiv, presidente de ciência da computação da Universidade de Tel Aviv e pioneiro da verificação formal, o campo de pesquisa que impulsiona a tecnologia por trás da Certora.
A equipe de 65 pessoas da Certora tem ampla experiência em matemática e segurança e inclui professores de Cornell e da Universidade de Washington, bem como engenheiros de segurança de empresas financeiras tradicionais como o JPMorgan.