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
Una vez que la pesadilla del sudeste asiático, Soros, el vendedor en corto, comenzó a operar con Bitcoin

Algunos de los nombres más importantes en la industria de los fondos de cobertura se están sumergiendo profundamente en el espacio de las criptomonedas.

De las "Reglas de litigio en línea del Tribunal Popular" para ver la revisión e identificación de evidencia de blockchain

En los últimos años, la tecnología blockchain se ha aplicado cada vez más en el campo del almacenamiento de certificados.

¿Qué es un mejor bitcoin? DeFi le da al mercado de cifrado una nueva visión.

Después de diez años de experiencia, Bitcoin finalmente ganó el consenso de decenas de millones de personas en todo el mundo. Los defensores de Bitcoin a menudo lo comparan con el oro digital.

Vídeo exclusivo | De alquimista a Flashbot Una organización de alquimia mágica

No hay un "equipo de desarrollo". No hay empresa. Solo hay una comunidad de alquimistas que descubren qué construir al aire libre.No hay hoja de ruta Un alquimista nunca hace declaraciones a futuro.

ads