Dois Gu's (não relacionados) falam sobre verificação formal de software e como isso pode ajudar a proteger sistemas contra bugs e hackers. O Prof. Ronghui Gu é cofundador da CertiK e um especialista em verificação formal de software de sistema. A CertiK tem como objetivo prevenir abusos de contratos inteligentes e ecossistemas de blockchain.
0:24 Problemas atuais com contratos inteligentes e por que há necessidade de verificação formal
4:06 Intenção vs Implementação - rotulagem inteligente
7:53 Verificação formal de software em outras indústrias
9:19 Verificação formal e Especificação Profunda
11:53 Como a CertiK pode prevenir abusos de tokens ERC-20
17:51 CertiK e implementação de rotulagem
19:57 Erro humano na verificação formal e como evitá-lo
21:30 Por que um token é necessário na CertiK
26:35 Questões de implementação
29:04 Progresso no desenvolvimento e o futuro da CertiK
31:43 CertiK e Solidity
35:13 Linguagem Deep Sea
Divulgação: Tenho a intenção de comprar alguns tokens da CertiK
#Bitcoin #Ethereum #Criptomoeda #Cripto #Altcoins
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Grupos do Telegram:
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
♨️Social:
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Não sou um consultor financeiro profissional e você deve sempre fazer sua própria pesquisa. Posso possuir as criptomoedas mencionadas no vídeo.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●