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:    / 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/boxminingChannel
Telegram Announcements: https://t.me/boxminingChannel
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
♨️Social:
Steemit: https://steemit.com/@boxmining
Twitter:   / boxmining  
Facebook:   / 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.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●