CertiK Interview: Formal Verification Platform for Smart Contracts and Blockchain Ecosystems

Two Gu's (not related) talk about formal software verification and how it can help protect systems from bugs and hackers. Prof. Ronghui Gu is co-founder of CertiK and an expert in formal verification of system software. CertiK aims to prevent abuse of smart contracts and blockchain ecosystems.
0:24 Current problems with smart contracts and why there is a need for formal verification
4:06 Intention vs Implementation - smart labelling
7:53 Formal software verification in other industries
9:19 Formal verification and Deep Specification
11:53 How can CertiK prevent abuse of ERC-20 tokens
17:51 CertiK and labelling implementation
19:57 Human error in formal verification and how to avoid it
21:30 Why is a token needed in CertiK
26:35 Implementation issues
29:04 Development progress and the future of CertiK
31:43 CertiK and solidity
35:13 Deep Sea language

Disclosure: I intend to buy some CertiK tokens

????????Subscribe to Boxmining for Daily CryptoNews and Altcoin explainers: https://www.youtube.com/c/boxmining

????Recommended Exchange - Binance: https://goo.gl/joe55C
????Hardware Wallet: https://www.ledgerwallet.com/r/428b
????Mobile Wallet: https://enjinwallet.io/
Brave Browser: https://brave.com/box831

#Bitcoin #Ethereum #Cryptocurrency #Crypto #Altcoins
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Telegram groups:
Telegram Discussion Group: https://t.me/Boxdatamining
Telegram Announcements: https://t.me/boxminingChannel
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
♨️Social:
Steemit: https://steemit.com/@boxmining
Twitter: https://twitter.com/boxmining
Facebook: https://www.facebook.com/boxmining
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
I'm not a professional financial adviser and you should always do your own research. I may hold the cryptocurrencies talked about in the video.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●