CertiK Interview: Formal Verification Platform for Smart Contracts and Blockchain Ecosystems скачать в хорошем качестве

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. ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●