CertiK Binance
Certik | Ronghui Gu | BlockchainBrad | Formal Verification | CertikOS | Blockchain Security Services
Blockchain Brad
CertiK Binance
Kadena CertiK Beam
List of Today's and Tomorrow's Upcoming Events
/r/CryptoMarkets
Kadena CertiK Beam
BTC CertiK Universal Protocol
Universal Protocol Alliance Launches Interoperable Bitcoin - Universal Bitcoin (UPBTC)
Benzinga
BTC CertiK Universal Protocol
MCO CRO CertiK
Crypto.com Chain [CRO] Soars 145% New Value Following New Indonesian Exchange Listing
CoinGape
MCO CRO CertiK
CertiK USDC Universal Protocol
Universal Protocol Alliance Launches Interest-Paying Stablecoin UPUSD
Bitcoin News
CertiK USDC Universal Protocol
CertiK BitMart
Institutional Trend Is Growing As Well As the Number of Partnerships (Investment and Partnership Digest, Dec 5 — 12)
Finrazor News
CertiK BitMart
CertiK Binance
Binance opens doors for a new blockchain partner, CertiK; invests several millions in it
AMBCrypto
CertiK Binance
CertiK
ICO Analysis : CertiK
Hacked
CertiK
CertiK Binance
CertiK Interview: Formal Verification Platform for Smart Contracts and Blockchain Ecosystems
Boxmining
CertiK Binance
CertiK Binance
Binance Crypto Exchange To Use The CertiK AutoScan Engine (CASE) For Security Benefits
Bitcoin Exchange Guide
CertiK Binance
CertiK
ICON and CertiK Partner to Simplify Smart Contracts’ Verification Process
Bitcoin Exchange Guide
CertiK
Hedera Hashgraph CertiK MultiVAC
Top upcoming and active ICO projects, Week 33 ’18
Finrazor News
Hedera Hashgraph CertiK MultiVAC
DUO HLM Algorand CertiK DUO Network
ICO Review: nCent, Certik, DUO Network, Fragments, Algorand, Helium
Coin Bloq
DUO HLM Algorand CertiK DUO Network
19:33 18 Jun
Blockchain Brad
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
CTK
CertiK
Status
Upcoming
Raised
Soft cap
Hard cap
More CTK news
BNB
Binance
Status
Ended
Ended on
21 Jul, 2017
Raised
Soft cap
Hard cap
More BNB news
By continuing to browse, you agree to the use of cookies. Read Privacy Policy to know more or withdraw your consent.