CertiK
Formal Verification Platform for Blockchain.
Web
certik.org
Twitter
twitter.com/certikorg
Medium
medium.com/certik
Telegram
t.me/certikorg
GitHub
github.com/CertiKProject
Formal Verification Platform for Smart Contracts and Blockchain Ecosystems.
Portfolio
Investors
Drops Ventures
SNZ Holding
Fission Capital
Spark Digital Capital
ByteSize Capital
BLUE HILL
Vancoin
Tiger Global
CSP DAO
Cryptomeria Capital
Fundamental Labs
Coatue Management
Bitrise Capital
Binance Labs
OneBoat Capital
NewStyle Capital
StarWin Capital
Consensus Lab
Mainnet Capital
Sequoia Capital
Kosmos
Torque Ventures
LYVC
Arrington XRP Capital
NGC Ventures
DFG Capital
One Block Capital
IOSG Ventures
Lightspeed Venture Partners
Fenbushi Digital
Draper Dragon
Hive Chain Labs
ZMT Capital
Chain Fund
Async Capital
8 Decimal Capital
Circle Fund
Signum Capital
DHVC
PreAngel
Node Capital
LinkVC
FBG Capital
Continue Capital
Nirvana Capital
ShunWei
Bixin Ventures
Coinbase Ventures
Kenzi Wang
BA Capital
BlockVC
BITMAIN
Kenetic Capital