Dos Gu's (no relacionados) hablan sobre la verificación formal de software y cómo puede ayudar a proteger los sistemas de errores y hackers. El Prof. Ronghui Gu es cofundador de CertiK y un experto en verificación formal de software de sistemas. CertiK tiene como objetivo prevenir el abuso de contratos inteligentes y ecosistemas blockchain.
0:24 Problemas actuales con los contratos inteligentes y por qué hay necesidad de verificación formal
4:06 Intención vs Implementación - etiquetado inteligente
7:53 Verificación formal de software en otras industrias
9:19 Verificación formal y Especificación Profunda
11:53 Cómo puede CertiK prevenir el abuso de tokens ERC-20
17:51 CertiK y la implementación de etiquetado
19:57 Error humano en la verificación formal y cómo evitarlo
21:30 Por qué se necesita un token en CertiK
26:35 Problemas de implementación
29:04 Progreso en el desarrollo y el futuro de CertiK
31:43 CertiK y Solidity
35:13 Lenguaje Deep Sea
Divulgación: Tengo la intención de comprar algunos tokens de CertiK
#Bitcoin #Ethereum #Criptomoneda #Cripto #Altcoins
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Grupos de Telegram:
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
♨️Social:
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
No soy un asesor financiero profesional y siempre debes hacer tu propia investigación. Puedo tener las criptomonedas mencionadas en el video.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●