Certora recauda 36 millones de dólares para herramientas de seguridad de contratos inteligentes

La empresa de seguridad de contratos inteligentes Certora recaudó 36 millones de dólares en una ronda de Serie B liderada por Jump Cripto para financiar el desarrollo y trasladar su Tecnología de detección de fallas a nuevas cadenas de bloques.

Otros participantes en la ronda fueron Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase (COIN) y VMware (VMW), según un borrador de publicación de blog proporcionado a CoinDesk.

Las brechas de seguridad de blockchain han sido noticia este año, y algunas han generado pérdidas financieras de nueve cifras. Entre ellas se incluyen:326 millones de dólares para el puente blockchain Wormhole y 625 millones de dólares para Ronin Network, la infraestructura detrás del popular juego de jugar para ganar Axie Infinity.

Certora está diseñada para ayudar a los desarrolladores a detectar y prevenir errores de seguridad antes de implementar el código. Su herramienta Prover complementa las auditorías Human y las recompensas por errores. Certora afirmó que actualmente está obteniendo 50 000 millones de dólares en... Finanzas descentralizadas Activos (DeFi). El producto detecta y muestra cualquier infracción de las normas o demuestra formalmente su T .

La empresa está dirigida por Shmuel “Mooly” Sagiv, presidente de informática en la Universidad de Tel Aviv y pionero de la verificación formal, un campo que utiliza matemáticas complejas para probar o refutar la corrección de un algoritmo, como los contratos inteligentes en un protocolo de liquidez.

Actualmente, Certora solo gestiona cadenas de bloques compatibles con la Máquina Virtual de Ethereum (EVM). El próximo objetivo es ampliar la compatibilidad con Solana y luego expandirse hacia Polkadot.

"Lo que queremos hacer el próximo año es cubrir todas las cadenas de bloques", dijo Sagiv a CoinDesk en una entrevista.

Cómo funciona

Certora identifica infracciones de invariantes, o reglas que no deben romperse, en contratos inteligentes. La Tecnología de la empresa ha identificado errores en Aave, Compound, Balancer y Sushiswap. La mayoría de los errores se detectaron y corrigieron antes de la implementación del código.

Por ejemplo, Certora evitó un error crítico en el contrato de fondo de liquidez Trident de SushiSwap. En Trident, los usuarios añaden fondos para crear el fondo y luego ganan comisiones por sus actividades de préstamo e intercambio. Las comisiones son proporcionales a su participación en la liquidez total.

Para que un fondo de liquidez funcione, debe existir una regla técnica que establezca que, mientras existan fondos en el fondo, las participaciones de los usuarios deben existir, ya que alguien proporciona esa liquidez. Una violación de esta regla significa que las participaciones del fondo carecen de valor o que los fondos existen, pero los usuarios no pueden reclamarlos.

En el caso de Trident, el Probador de Certora detectó una infracción de las reglas que podría haber permitido a un atacante vaciar los fondos del fondo. El problema se identificó y corrigió antes de implementar el código.

“Con el apoyo de expertos de talla 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”, afirmó Saurabh Sharma, socio y director de inversiones de Jump Cripto , en un comunicado.

Sigue leyendo: ¿Cómo funcionan los contratos inteligentes de Ethereum ?