Share this article
Certora recauda 36 millones de dólares para herramientas de seguridad de contratos inteligentes
Jump Cripto lideró la ronda de financiación de la empresa, que asegura 50 mil millones de dólares en activos DeFi.
By Brandy Betz
Updated May 11, 2023, 6:53 p.m. Published May 17, 2022, 2:00 p.m.
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.
CONTINÚA MÁS ABAJO
Don't miss another story.Subscribe to the Crypto Daybook Americas Newsletter today. See all newsletters
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 ?
More For You
L1 tokens broadly underperformed in 2025 despite a backdrop of regulatory and institutional wins. Explore the key trends defining ten major blockchains below.
What to know:
2025 was defined by a stark divergence: structural progress collided with stagnant price action. Institutional milestones were reached and TVL increased across most major ecosystems, yet the majority of large-cap Layer-1 tokens finished the year with negative or flat returns.
This report analyzes the structural decoupling between network usage and token performance. We examine 10 major blockchain ecosystems, exploring protocol versus application revenues, key ecosystem narratives, mechanics driving institutional adoption, and the trends to watch as we head into 2026.
More For You
Sberbank emite el primer préstamo respaldado por criptomonedas en Rusia para el minero de bitcoin Intelion Data
Sberbank utilizó su herramienta interna de custodia de criptomonedas para respaldar un préstamo a la empresa minera Intelion Data, señalando un interés más amplio en el préstamo con criptomonedas.
What to know:
- Sberbank emitió el primer préstamo respaldado por bitcoin en Rusia a un importante minero de bitcoin, marcando una transacción piloto con potencial para una futura expansión.
- El préstamo utilizó el producto de custodia cripto de Sberbank, Rutoken, para asegurar el colateral en bitcoins, garantizando la seguridad de los activos.
- Sberbank está explorando instrumentos de finanzas descentralizadas y apoya la legalización gradual de las criptomonedas en Rusia.
Historias Destacadas
