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
More For You
What to know:
- 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.
More For You
Los Mercados de Predicción Se Están Convirtiendo Silenciosamente en Una Nueva Clase de Activos, Dice Citizens
El banco afirmó que los mercados de eventos siguen siendo diminutos en comparación con las acciones, pero están creciendo rápidamente más allá del ámbito deportivo hacia riesgos macroeconómicos y de políticas.
What to know:
- Los ciudadanos indicaron que los mercados de predicción están pasando de ser una clase de activo especializada a una emergente.
- El banco argumentó que los contratos de eventos corrigen un fallo clave en las finanzas tradicionales al permitir que los inversores operen directamente sobre la inflación, elecciones, movimientos de la Fed y regulación.
- Aunque la regulación y la liquidez representan obstáculos, es probable que los mercados de predicción evolucionen de ser una especulación dominada por el consumidor minorista a convertirse en una herramienta principal de cobertura e información que podría alcanzar una escala anual de varios billones de dólares, según el informe.
Historias Destacadas
