HomeGuidesBox MiningCertiK Interview: Formal Verification Platform for Smart Contracts and Blockchain Ecosystems

CertiK Interview: Formal Verification Platform for Smart Contracts and Blockchain Ecosystems

- Advertisement -

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

- Advertisement -

7 COMMENTS

Comments are closed.

462FansLike
76FollowersFollow
4,567FollowersFollow
5,261FollowersFollow
1,580FollowersFollow
2,230SubscribersSubscribe

Most Popular

bitcoin
Bitcoin (BTC) $ 42,519.00
ethereum
Ethereum (ETH) $ 2,938.14
tether
Tether (USDT) $ 0.999759
bitcoin-cash
Bitcoin Cash (BCH) $ 330.03
litecoin
Litecoin (LTC) $ 127.74
eos
EOS (EOS) $ 2.41
okb
OKB (OKB) $ 21.31
tezos
Tezos (XTZ) $ 4.02
leo-token
LEO Token (LEO) $ 5.90
cardano
Cardano (ADA) $ 1.07
monero
Monero (XMR) $ 174.20
stellar
Stellar (XLM) $ 0.220511
chainlink
Chainlink (LINK) $ 16.17
huobi-token
Huobi Token (HT) $ 9.93
tron
TRON (TRX) $ 0.064866
usd-coin
USD Coin (USDC) $ 1.00
dash
Dash (DASH) $ 104.56
neo
NEO (NEO) $ 22.11
iota
IOTA (MIOTA) $ 0.8899
nem
NEM (XEM) $ 0.108656
zcash
Zcash (ZEC) $ 118.02
maker
Maker (MKR) $ 2,020.04
paxos-standard
Pax Dollar (USDP) $ 0.999181
ethereum-classic
Ethereum Classic (ETC) $ 33.62
vechain
VeChain (VET) $ 0.0578
true-usd
TrueUSD (TUSD) $ 0.999787
ftx-token
FTX Token (FTT) $ 45.15
kucoin-shares
KuCoin Token (KCS) $ 19.59
waves
Waves (WAVES) $ 9.54