Deux Gu's (sans lien de parenté) parlent de la vérification formelle des logiciels et de la manière dont cela peut aider à protéger les systèmes contre les bugs et les hackers. Le Prof. Ronghui Gu est co-fondateur de CertiK et un expert en vérification formelle des logiciels systèmes. CertiK vise à prévenir les abus des contrats intelligents et des écosystèmes blockchain.
0:24 Problèmes actuels avec les contrats intelligents et pourquoi il y a un besoin de vérification formelle
4:06 Intention vs Mise en œuvre - étiquetage intelligent
7:53 Vérification formelle des logiciels dans d'autres industries
9:19 Vérification formelle et Deep Specification
11:53 Comment CertiK peut prévenir les abus des tokens ERC-20
17:51 CertiK et mise en œuvre de l'étiquetage
19:57 Erreur humaine dans la vérification formelle et comment l'éviter
21:30 Pourquoi un token est-il nécessaire dans CertiK
26:35 Problèmes de mise en œuvre
29:04 Progrès du développement et avenir de CertiK
31:43 CertiK et Solidity
35:13 Langage Deep Sea
Divulgation : J'ai l'intention d'acheter des tokens CertiK
#Bitcoin #Ethereum #Cryptomonnaie #Crypto #Altcoins
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Groupes Telegram :
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
♨️Réseaux sociaux :
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Je ne suis pas un conseiller financier professionnel et vous devriez toujours faire vos propres recherches. Je peux détenir les cryptomonnaies mentionnées dans la vidéo.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●