All news
Topic: CertiK
WIKEN
CoinOne Crypto Exchange Seeks to Bolster Safety Protocols With Binance-Backed CertiK and Xangle
Bitcoin Exchange Guide
WIKEN
WIKEN
Coinone increases security with Certik and Xangle
/r/CryptoMarkets
WIKEN
New Privacy-Oriented Blockchain Launched by CertiK Foundation
Bitcoin Exchange Guide
CertiK Foundation Launches Security-Focused Blockchain
Cointelegraph
Smart contract security company CertiK introduces its own blockchain
CryptoNinjas
CertiK Binance WITH
Certik | Ronghui Gu | BlockchainBrad | Formal Verification | CertikOS | Blockchain Security Services
Blockchain Brad
CertiK Binance WITH
WIKEN
Blockchain verification platform CertiK partners with KardiaChain
CryptoNinjas
WIKEN
RATING LUNA OF
Certik Gives Terra Protocol An Impressive Rating After Seeing The Result Of The Extensive Audit
Bitcoin Exchange Guide
RATING LUNA OF
LUNA OF
Leading Smart Contracts and Blockchain Audit Firm, CertiK Completes Full Audit of the Terra Protocol
ZyCrypto
LUNA OF
LUNA OF
CertiK “high impressed” after security audit of stablecoin protocol Terra
CryptoNinjas
LUNA OF
WIKEN
Introducing: Live Contract Audits on LTO Network with CertiK
/r/CryptoMarkets
WIKEN
OceanEx Digital Asset Trading Platform To Use CertiK Blockchain Security Provider
Bitcoin Exchange Guide
WIKEN
OceanEx to secure exchange with blockchain verification platform CertiK
CryptoNinjas
WIKEN
Blockchain Security Leader CertiK Joins the Universal Protocol Alliance
Benzinga
Three Certik Security Audits Confirm No Vulnerabilities For TrustToken Smart Contracts
Bitcoin Exchange Guide
WIKEN
BitMart Announces Partnership with CertiK in Blockchain Security and Smart Contract Auditing
CCN
WIKEN
CONT TOP
Binance Labs Supports 3 Top Blockchain Projects In October: Contentos, CertiK and Oasis Labs
Bitcoin Exchange Guide
CONT TOP
CertiK Binance
Binance opens doors for a new blockchain partner, CertiK; invests several millions in it
AMBCrypto
CertiK Binance
Binance Labs Funds Certik Smart Contract Security Firm
Cryptovest
Binance Labs Led Investment in CertiK, Contributed “Millions” to Making Blockchains Bug-free
Cryptoslate
Loading...
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
WIKEN
WITH
Status
Ended
Ended on
6 Jun, 2019
Raised
Soft cap
Hard cap
More WIKEN news
By continuing to browse, you agree to the use of cookies. Read Privacy Policy to know more or withdraw your consent.