Precio de Bitcoin Precio de Bitcoin
Ctrl+D Precio de Bitcoin
ads
Casa > Cripto > Seguridad > CertiK

CertiK

CertiK

CertiKcontrato inteligente

https://certik.org

A través de la verificación formal, se garantiza la seguridad de los contratos inteligentes y los sistemas de cadena de bloques.
CertiK

CertiK se compromete a proporcionar los servicios de verificación de contratos inteligentes a gran escala más competitivos a través de la tecnología de verificación formal líder en el mundo para garantizar la seguridad de los contratos inteligentes y los sistemas de cadena de bloques.

La compañía fue fundada por tres profesores en el campo de la informática. Los miembros principales del equipo incluyen al profesor de la Universidad de Yale, Shao Zhong, y al profesor de la Universidad de Columbia, Gu Ronghui. El proyecto tiene como objetivo resolver los puntos débiles de la industria al ayudar a los contratos inteligentes a verificar la seguridad. Shao Zhong es decano y profesor titular del Departamento de Ciencias de la Computación de la Universidad de Yale, y profesor titular de la cátedra de la Universidad de Ciencia y Tecnología de China. Tiene más de 20 años de experiencia en el campo de la seguridad; Gu Ronghui es un profesor de la Universidad de Columbia, estudiante de pregrado en la Universidad de Tsinghua y doctorado en la Universidad de Yale.

Tags:CertiKcontrato inteligente

oficial
  • Facebook
  • Twitter
  • Weibo
  • YouTube
CertiK
CertiK: Si controlas la seguridad, controlas el futuro de la cadena de bloques

Han pasado diez años desde que escuché por primera vez el término Bitcoin.Cuanto más profunda sea la comprensión de la cadena de bloques.

Primer lanzamiento | CertiK: Análisis del evento de ataque a la operación interna del proyecto DeFi Walletreum

Marx citó una vez un dicho famoso en Das Kapital: "Si hay un 10% de ganancia, se garantiza que se usará en todas partes;Con una ganancia del 20%, se activa;Si hay un beneficio del 50%.

Primer lanzamiento | CertiK: Yearn.financiar nuevo proyecto Análisis de vulnerabilidad de ataque de Eminence.

El 29 de septiembre, hora de Beijing, el equipo de investigación de seguridad de CertiK descubrió transacciones anormales en Eminence.finance.

Gu Ronghui, CEO de CertiK: La auditoría de seguridad es una configuración estándar para proyectos DeFi de alta calidad

En los últimos 8 meses, DeFi se ha desarrollado a un ritmo rápido. A partir del 1 de septiembre, según datos de Debank.

ads