Zwei Gu's (nicht verwandt) sprechen über formale Softwareverifizierung und wie sie helfen kann, Systeme vor Bugs und Hackern zu schützen. Prof. Ronghui Gu ist Mitbegründer von CertiK und ein Experte für formale Verifizierung von Systemsoftware. CertiK hat das Ziel, den Missbrauch von Smart Contracts und Blockchain-Ökosystemen zu verhindern.
0:24 Aktuelle Probleme mit Smart Contracts und warum formale Verifizierung notwendig ist
4:06 Absicht vs. Implementierung - smartes Labeling
7:53 Formale Softwareverifizierung in anderen Branchen
9:19 Formale Verifizierung und Deep Specification
11:53 Wie kann CertiK den Missbrauch von ERC-20-Token verhindern
17:51 CertiK und die Implementierung von Labeling
19:57 Menschliches Versagen in der formalen Verifizierung und wie man es vermeiden kann
21:30 Warum wird ein Token in CertiK benötigt
26:35 Implementierungsprobleme
29:04 Entwicklungsfortschritt und die Zukunft von CertiK
31:43 CertiK und Solidity
35:13 Deep Sea Sprache
Offenlegung: Ich beabsichtige, einige CertiK-Token zu kaufen
#Bitcoin #Ethereum #Kryptowährung #Krypto #Altcoins
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Telegram-Gruppen:
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
♨️Soziale Medien:
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Ich bin kein professioneller Finanzberater und du solltest immer deine eigenen Recherchen anstellen. Ich könnte die in dem Video besprochenen Kryptowährungen halten.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●