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/boxminingChannel
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.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
source
Comments are closed.