BlockchainBrad speaks with Ronghui Gu about Certik. Certik is building the most advanced blockchain cybersecurity company & using leading Formal Verification technology, including a CertikOS kernel, to mathematically prove the integrity & trust of smart contracts. CertiK combines leading FV tech with best-in-class cybersecurity experts to deliver end-to-end security services. ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬● Timestamps: 0:31 Intro Prof Gu 0:40 Let's get into it! Formal Verification & Certik 3:15 Debugging Smart contract discussion 4:20 Blockchain-Centric. What's the fundamental need? 5:15 immutability: pre-deployment formal verification 6:30 Competitors to Certik 8:30 What sets Certik apart? 9:30 Deep Spec Community & Certified abstraction layer 10:29 CertikOS. Kernel, Operating System, OS Kernel. 13:00 CertikOS- move to mainstream 13:39 Certik has been deployed 14:12 Company & Entity Services 15:00 The imperative of centralization 15:50 High demand for formal verification 17:50 Business Model. Currently Centralised 19:52 Pricing. Fiat or Crypto 21:18 Fiat or BTC. 22:30 Token Release 22:50 First Version of TestNets 23:47 Tokens, IEOs & Listings Discussion 25:40 Strategic Partners and more on Listing Plans 26:52 Certik is focused on tech and products 30:21 Why Certik is building a blockchain. 32:30 Value of Automation and automated proofs 33:40 Transparency, Raises. What did you raise? Public 2 rounds. 37:26 Binance: IEO and clarification of Binance relationship and rumour 39:48 RoadMap- not finalised 40:40 Mainnet required for Native Token? 42:00 Mainnet schedule 2020? 42:44 pre-MainNet Token incentives 43:52 Staking + dPoS + PoS 44:44 Compliance + Regulations 46:25 PR + Media 47:39 MainNet this year? 48:14 Token purpose. What is this token for? Is it needed? 50:58 Proofs for smart contracts and more 52:32 Revenue 55:20 Gas for rewards. Gas token burn model & scarcity 57:55 Use Cases. Commercial Level L5 59:52 System Agnostic. Not limited to Smart Contracts 1:00:00 Github will Open Source mid-TestNet Phase 1:02:00 Certik Community Building 1:03 Future Plans 1:05 Closing statements 1:06 Prof. Gu Final Statements ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬● ►Join The BCB Tele https://t.me/BlockchainBradCommunity ► Follow on twitter: https://twitter.com/Brad_Laurie ► Join BlockVera on twitter: @BlockVera ► Check out BlockVera on youtube: https://www.youtube.com/watch?v=Af4pD... ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬● Co-founder | Ronghui Gu Assistant Professor of Computer Science, Columbia University. Ph.D. in Computer Science from Yale University and Bachelor’s degree from Tsinghua University Distinction Dissertation Award at Yale University in 2016 and was nominated for ACM Dissertation. Expert in Formal Verification of system software and the primary developer of CertiKOS. ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬● Links: Website: https://certik.org/#services Twitter: https://twitter.com/certikorg Tele:https://t.me/certikorg Medium: https://medium.com/certik ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬● INVESTMENT DISCLOSURE: I have invested in Certik. This is not Financial Advice, but I really believe in this project. #DYOR always. ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬● PAYMENT/DONATION DISCLOSURE: This was 100% free and I did this video with no compensation and no intention to get anything from the Certik Team for doing this video; not in fiat, tokens or any form on payment. Since several months ago, I decided to do only free content unless legitimate LONGTERM ambassadorships were involved. I believe that sponsored content is not a problem if disclosed, but this was NOT sponsored and there was absolutely no compensation received in any way, shape or form for this interview that I receive. This is not Financial Advice. Please #DYOR ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬● GENERAL DISCLAIMER: The information provided is not to be considered as a recommendation to buy or invest in certain assets or currencies and is provided solely as an educational and information resource to help traders make their own decisions. Past performance is no guarantee of future success. It is important to note that no system or methodology has ever been developed that can guarantee profits or ensure freedom from losses. No representation or implication is being made that using the attached material will guarantee profits or ensures freedom from losses. BlockchainBrad shall not be liable to the participant for any damages, claims, expenses or losses of any kind (whether direct or indirect) suffered by the participant arising from or in connection with the information obtained this website or directly from the website owner. #Certik #BlockchainBrad #Crypto #FormalVerification #BCB #SmartSecurity