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 BlockVera on twitter: @BlockVera
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
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:
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
INVESTMENT DISCLOSURE:
I have invested in Certik & I invested early on. 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