下载 APP 
CertiKFormal Verification Platform for Blockchain.
Description
CertiK is dedicated to providing the most competitive and scalable smart contract verification services to secure smart contracts and blockchain systems through the world's leading formal verification technology.
The company was founded by three of its own professors in computer science, with a core team including Yale Professor Zhong Shao and Columbia University Professor Ronghui Gu, and the project aims to address the industry pain point of helping smart contracts with security verification. Zhong Shao is a tenured professor and chair of the Department of Computer Science at Yale University and a Master Chair Professor at CSU with over 20 years of experience in the security field; Ronghui Gu is a professor at Columbia University, an undergraduate at Tsinghua University and a PhD at Yale University.
CoinbaseSecuritySmart Contracts
investors
Digital asset management firm in blockchain markets.
Realizing the Full Potential of Blockchain.
Digital Horizon Capital.
Digital asset management firm.
Focus on blockchain industry, innovative science and technologies.
Engaged in the consumer, enterprise, technology, and cleantech markets.
Empowering The Open Financial System.
Co-founded by former NEO Council guys and financial market veterans.
DFJ Dragon Fund.
Building the Ecosystem for IOST’s Global Blockchain Network.
Investment fund focused on early-stage internet startups.
Crypto asset funds, advisor and community builders.
Multi-strategy investment firm.
Digital Finance Group (DFG) is a global blockchain and cryptocurrency investment firm.
Nirvana Capital is a blockchain focused fund.
Early and mid-term venture capital investments.
Pioneering the Future.
Using Value for Growth and/or Break-up Value approaches.
Bring Blockchain into Mainstream.
Focusing on blockchain and distributed network.
Exclusively consult in Blockchain-enabled companies.
At the Forefront of Blockchain Innovation.
Token fund focusing on crypto and blockchain technology.
An investment arm of Starwin Fintech.
Focused on both the primary and secondary markets.
Emerging venture capital firm based in Singapore.
Invest in disruptive technology and business models.
We partner with the Blockchain projects of the future.
Leading venture capital in blockchain investment.
China-focused venture capital fund founded in 2011.
Token fund as well as blockchain solution company.
Let Digital Assets Serve the Social Progress.
Established by Fred Wang and numerous senior figures in blockchain.
Bitmain’s Angel Investor & Bitfinex Shareholder.
Help the Daring to Build Extra Ordinary Companies.
An early stage venture capital firm.
Global Crypto Investment Fund House.
We Believe in the Blockchain.
International investment corporation in FinTech industry.
Make Blockchain Everywhere.
Building Immutable Ecosystems.
Is the world's leading digital currency mining server manufacturer.
One of the world's top investment institutions
Manages nearly $25 billion in hedge funds.
Making Financial Systems Accessible.
Shared Vision, Amplified Ambition.
An American multinational investment banking and financial services firm
General Partner at AU21 Capital.
The most trusted ScaleUp firm in software.
Discover the most promising Blockchain projects and to grow them fast.
Powered by ICO Drops team.
Gateway to Asia.
Digital asset management firm in blockchain markets.
portfolio
Provable Trust For All.