Compartir este artículo
Binance Labs invierte millones en la plataforma de auditoría blockchain CertiK
Binance Labs, el ala incubadora del exchange de Cripto , dice que ha invertido millones en la plataforma de auditoría de contratos inteligentes y blockchain CertiK.
Por Nikhilesh De
Binance Labs, el ala incubadora del exchange de Criptomonedas Binance, ha invertido en una startup de auditoría de blockchain y contratos inteligentes, anunció la compañía el lunes.
CertiK, la firma, busca ayudar a proteger las plataformas de contratos inteligentes y blockchain mediante un proceso de verificación formal. El equipo ya ha comenzado a trabajar para garantizar que las plataformas blockchain existentes no contengan errores que puedan provocar la pérdida de fondos u otras vulnerabilidades, según un comunicado de prensa.
CONTINÚA MÁS ABAJO
No te pierdas otra historia.Suscríbete al boletín de Crypto Daybook Americas hoy. Ver todos los boletines
La empresa fue fundada el año pasado, en parte por el profesor de Yale Zhong Shao, conocido por desarrollar un "sistema operativo certificado", llamó CertiKOS, y el profesor asistente de la Universidad de Columbia, Ronghui Gu.
El equipo de CertiK opera aplicando pruebas matemáticas a las redes para determinar si los piratas informáticos pueden violar los sistemas.
Los métodos del equipo incluyen un enfoque de descomposición por capas, motores de prueba conectables, objetos de prueba verificables por máquina, bibliotecas certificadas [de aplicaciones descentralizadas] y etiquetado inteligente, según el comunicado. Mediante estos enfoques, los investigadores afirman que pueden confirmar la seguridad de una plataforma blockchain de forma objetiva.
Si bien Binance Labs no reveló el monto total de la inversión, un portavoz le dijo a CoinDesk que su participación representó "varios millones" de dólares.
La directora ejecutiva de la incubadora, Ella Zhang, dijo en el comunicado que la plataforma de CertiK aborda al menos una necesidad destacada en el espacio blockchain, y explicó:
CertiK valida matemáticamente la seguridad de los contratos inteligentes, un problema crítico que enfrentamos en el ecosistema blockchain, superando las limitaciones de la detección manual.
La inversión "señala el reconocimiento de la importancia de la verificación formal en la industria blockchain", continúa el comunicado. CertiK, en particular, cuenta con una "ventaja única" en este campo gracias a su trayectoria y Tecnología probada.
Esta Tecnología incluye CertiKOS, que ya se ha utilizado tanto en programas empresariales como militares, y es una de las herramientas utilizadas por la Agencia de Proyectos de Investigación Avanzada de Defensa de Estados Unidos (DARPA), según señala el comunicado.
Miniaturas de negociosimagen vía Shutterstock
Más para ti
Lo que debes saber:
- As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
- GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
- Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.
Mais para você
La profunda corrección de Bitcoin prepara el escenario para un repunte en diciembre, señala K33 Research
K33 Research indica que el miedo en el mercado está superando a los fundamentos mientras bitcoin se acerca a niveles clave. Diciembre podría ofrecer un punto de entrada para inversores audaces.
O que saber:
- K33 Research señala que la fuerte corrección del bitcoin muestra señales de haber tocado fondo, con diciembre potencialmente marcando un punto de inflexión.
- La firma ha argumentado que el mercado está sobrerreaccionando ante los riesgos a largo plazo mientras ignora señales de fortaleza a corto plazo, como el bajo apalancamiento y niveles sólidos de soporte.
- Con probables cambios de política en el horizonte y una posición cautelosa en futuros, K33 percibe un mayor potencial de alza que riesgo de otro colapso importante.
Historias Destacadas
