Toma rápida
- Certora ha recaudado $36 millones en una ronda Serie B liderada por Jump Crypto, con la participación de Tiger Global y Galaxy Digital.
- La empresa con sede en Israel proporciona herramientas de análisis de seguridad para contratos inteligentes de blockchain.
Certora, una empresa con sede en Israel que proporciona herramientas de análisis de seguridad para contratos inteligentes, anunció que ha recaudado 36 millones de dólares en una ronda de Serie B dirigida por Jump Crypto.
La ronda contó con la participación de Tiger Global, Galaxy Digital e inversores existentes de la Serie A, incluidos Electric Capital, ACapital, Framework Ventures, Coinfund, Lemniscap, Coinbase y VMware, según un comunicado del martes.
Certora permite a los desarrolladores de contratos inteligentes detectar errores antes de implementar auditorías posteriores al código. Los protocolos DeFi, incluidos Aave, Balancer, Compound Finance, MakerDao, Sushi y otros, utilizan Certora para proteger sus contratos inteligentes de errores antes del lanzamiento como un punto de control final después de que se completa una auditoría de código, según el comunicado.
La empresadice que asegura alrededor de $ 50 mil millones en proyectos de finanzas descentralizadas (DeFi) con técnicas similares a las utilizadas para programas críticos para la seguridad, como el software de aviónica. La tecnología de Certora se desarrolló a lo largo de dos décadas de investigación académica en verificación formal y lenguajes de programación.
Saurabh Sharma, socio y director de inversiones deSaltar cripto, dijo: "Impulsado por expertos de clase mundial, Certora aprovecha la verificación formal para emplear un conjunto de productos escalables y robustos que ofrecen una reutilización mucho mayor y pruebas granulares".
Certora está dirigida por Shmuel Sagiv, catedrático de informática en la Universidad de Tel Aviv y pionero de la verificación formal, el campo de investigación que impulsa la tecnología detrás de Certora.
El equipo de Certora de 65 personas tiene una amplia experiencia en matemáticas y seguridad e incluye profesores de Cornell y la Universidad de Washington, así como ingenieros de seguridad de firmas financieras tradicionales como JPMorgan.