CertiK is a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. To scale the verification, CertiK developed a layer-based approach to decompose such an otherwise prohibitive proof task into smaller ones. These smaller proof obligations can be encoded in the CertiK transactions and will then be proved and validated by the participants in a decentralized style. Thus, the CertiK ledgers work as certificates to exhibit the end-to-end correctness and security of the verified smart contracts and verified blockchain ecosystems, making them entirely trustworthy.
Features & Highlights
CertiK has three major advantages over regular security audit service providers:
- CertiK has a mature formal verification framework backed by thorough research that can mathematically prove whether smart contracts have security risks or bugs.
- CertiK has received high regard, not only in security, but also scalability. With smart labelling and a layer-based approach to verification, the platform is able to decouple complex smart contracts into different modules. This allows verification to be completed in a distributed manner, greatly enhancing efficiency and elasticity.
- Unlike traditional verification methods, which are completed manually and often time-consuming and error-prone, CertiK is highly automated. CertiK achieves this through its patented verification engine and algorithm that translates source code into machine checkable proof objects.
Token Sale & Economics
Zhong Shao, Co-Founder, Thomas L. Kempner Professor and Chair of Computer Science Department at Yale University. Ph.D. in Computer Science from Princeton University. Leading figure in research fields such as cybersecurity, operating systems, and certified software. Shao and his Yale FLINT group have developed the world’s first hacker-resistant and concurrent operating system – CertiKOS. Linkedin.
Ronghui Gu, Co-Founder, 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. Linkedin.
Muhan Zou, EVP, CSO, Muhan Zou serves as the founding member of CertiK from company inception, where he contributes with both his engineering abilities and team leadership. Muhan has years of experience in designing and developing enterprise level SaaS products. Prior to joining, he worked as the engineering lead at Comcast to monetize large-scale ads and settop-box/linear raw data into business insights deliverables. He also worked at Oracle where he built the social cloud platform as a Full Stack Engineer after graduation at Yale University.
Daryl Hok, COO, Daryl Hok spearheaded Corporate Development at FiscalNote, a global machine-learning legal tech company, where he accelerated growth by completing 3 acquisitions in 12 months, including a $180M purchase from The Economist Group. He was also the Product Manager responsible for ideation and release of SaaS products, along with the development of the core data infrastructure. He obtained a dual BA in Economics and Psychology from Yale University, with concentrations centered around behavioral economics.
Vilhelm Sjöberg, Principal Scientist, Vilhelm Sjöberg is a former associate research scientist at Yale University. He received his Ph.D. in Computer Science from the University of Pennsylvania in 2015. He is an industry-leading expert in software verification, programming languages, and type systems. His research is focusing on language support for layered verified systems like CertiKOS, and currently he is developing DeepSEA which is a language to write verified smart contracts. Dr. Sjöberg is the winner of 2016 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award.
Zhaozhong Ni, VP of Engineering, Zhaozhong Ni was formerly an engineering lead at Google and HP / 3PAR and a researcher at Microsoft Research. He is an expert in systems software and formal verification and has extensive experience in building operating systems kernels and mission-critical enterprise systems. Dr. Ni was a founding member of gVisor, Google’s new security focused OS with cloud-scale production. He holds multiple patents on distributed storage systems. He obtained his BS from Tsinghua University and his PhD in Computer Science from Yale University.
Yvan Nasr, Head of BD, Yvan Nasr led various Product and Business Development initiatives at Samsung Electronics and was the driving force behind Barclays Banks digital transformation in key European markets. Prior to obtaining his MBA, Yvan also led the growth of Europe’s largest retail holding, Kingfisher PLC, diversifying the brands global footprint and product ranges in key markets like Asia. Recently, he was the Head of Partnerships at Hosho, a blockchain cybersecurity startup. He obtained his MBA from the University of Chicago, Booth School of Business.
Kai Yan, CBO, Dr. Kai Yan has extensive experience in business growth, economic research and financial markets. He previously worked as an economist at the International Monetary Fund and a strategist at a hedge fund. At the IMF, he worked with global regulators to devise new regulations around an improved banking system. While working at a hedge fund, he was responsible for designing and executing trading strategies. Dr. Yan obtained his BA in Economics from Peking University and his PhD in Economics under Nobel Prize winners at Yale University.
Binance - Binance is a cryptocurrency exchange platform that combines digital technology and finance. The company provides access to exchange digital currency pairs on the market while maintaining security, liquidity, enabling a safe and efficient deal with anyone, anytime and anywhere.
Bitmain - Bitmain is a manufacturer of Bitcoin mining hardware and other related services. Bitmain was founded by several of the digital currency industry’s earliest players, and their team is comprised of passionate and pedigreed engineers, financial experts, and Bitcoin enthusiasts. Bitmain is headquartered in Beijing and has offices in San Francisco, Tel Aviv, Hong Kong, Chengdu and Shenzhen.
Lightspeed China Partners - Lightspeed China Partners (LCP) is a leading venture capital firm focusing on early-stage investments in mobile,internet,technology-enabled services in China. With strong backgrounds in company operations and entrepreneurship, the partners of LCP are committed to helping a new generation of Chinese entrepreneurs become industry leaders, build world-class companies and create social impact. In addition, LCP offers international value-added capabilities through its relationship with Lightspeed Venture Partners (LSVP). LSVP is a global venture capital firm managing over $4 billion of committed capital with investment professionals and advisors located in Silicon Valley, India and Israel. Over the past two decades, the partners of LCP and LSVP have backed more than 300 companies globally, many of which have become leaders in their respective markets.
Matrix Partners China - Matrix Partners China builds long-term relationships with entrepreneurs and helps them build significant, industry-leading companies. Since its inception in 1977, Matrix Partners China has made hundreds of investments and played an active role in the development of many successful businesses, 50 of which went on to IPO, and 75 of which have gone on to profitable M&A events. The firm consistently ranks in the top venture firms in terms of returns to its investors. Matrix Partners China combines local knowledge with global experience and vision. Its team consists of both former entrepreneurs and experienced investors. Its past successes include Focus Media, Eachnet, and Baidu, among others. The company invests across multiple sectors and stages.
Danhua Capital - Danhua Capital is a venture capital fund that invests primarily in early stage and growth stage companies with disruptive technologies or innovative business models, big market opportunities and strong management team. Their fund focuses on innovations in high-tech space, including mobile Internet, big data, cloud computing, wearable computing, artificial intelligence, robotics, virtual reality, smart devices, gaming and entertainment, medical devices and other disruptive technologies. They invest in companies from early stage to growth stage, and we occasionally participate in later rounds of financing for extraordinary companies. They have a professional investment team with exceptional academic, industry and investment background. Their founding partners have been working together for over 10 years. They bring together a unique combination of solid experience in investment and entrepreneurship, extensive networks in both Silicon Valley and China, and in-depth knowledge in cutting-edge technologies rooted from their research achievements.
NGC - Founded in December 2017, NGC strives to become one of the best investment platforms in the blockchain industry by professionally adopting best practices from traditional investments; selectively partnering with leading investment professionals and technical developers in the world; while strategically leveraging and amplifying portfolios' ecosystems to create lasting competitive advantages. NGC is one of the largest institutional investor of blockchain technologies and has been a key contributor to a number of leading projects including Zilliqa, Ontology, NKN, Oasis, Mainframe, Certik, Bluzelle, and Iotex.
Kenetic Capital - Kenetic is a proprietary trading and investment firm focused on digital assets and blockchain related companies. We have developed technology to facilitate our quantitative trading strategies and offer various digital asset related structured products to counterparts.
VeChain - VeChain is a leading global enterprise level public blockchain platform. VeChain aims to connect blockchain technology to the real world by providing a comprehensive governance structure, a robust economic model as well as advanced IoT integration, and pioneers in real world applications.
NEO - NEO is a non-profit community-based blockchain project that utilizes blockchain technology and digital identity to digitize assets, to automate the management of digital assets using smart contracts, and to realize a "smart economy" with a distributed network. NEO was founded in 2014 and was real-time open source on GitHub in June 2015. Since its inception, the NEO team has experienced the upsurge and boom of the blockchain industry and the frenzy and cooling of the digital money market. They believe technology drives progress and together they can create the future. Motivated by this, NEO has been created to shift their traditional economy into the new era of the "Smart Economy".
Ontology - Ontology is a diverse, integrated, distributed trust network and the infrastructure for building a trust ecosystem. Ontology encourages trust cooperation and allows projects of all shapes, sizes, and technologies with different business scenarios and compliance requirements to pass through Ontology’s chain networks and take advantage of the distributed trust network how they see fit.
Kosmos Ventures - Kosmos Ventures is a leading investment firm, focused on helping blockchain startups scale and integrate their products into enterprises. We are committed to accelerating the development and adoption of blockchain technology through strategic advisory and investment. We help researchers and founders move from product validation to market validation, through growth to investment attraction, scaled commercial success and international competitiveness.
Qtum - Qtum is a Blockchain project that allows Decentralized Applications and Smart Contracts to execute as part of a UTXO transaction. Existing Ethereum applications can be ported to Quantum’s Blockchain. Core development is done by the Quantum Foundation, a Singapore registered organization. Financial backing comes from the Qtum crowdsale and Angel Backers. All funds held by the Quantum Foundtaion are audited by a well established firm. Quantum is an open source project, adhering to the GNU Public License.
Signum Capital - They are a Singapore-based firm that exclusively consults in Blockchain-enabled companies. Their mission is to realize the future of Blockchain economy by consulting in game changing projects and companies. We participate in Pre-sale stages of Token Generation Events and Equity investments.
DraperDragon - Established in March of 2006, DFJ DragonFund was the joint venture between the internationally recognized venture capital firm Draper Fisher Jurvetson (DFJ) and DragonVenture, which helped pioneer venture capital in China in the late 90’s. Since its inception, DFJ DragonFund managed two US Dollar funds “DFJ DragonFund I & DFJ DragonFund II” and one RMB fund. In 2014, the DFJ Global Network rebranded as the Draper Venture Network. With the launch of their 3rd US Dollar fund in 2016, DFJ DragonFund henceforward became known as DraperDragon.
Node Capital - Node Capital is a venture capital company focusing on blockchain industry. It is also one of the world’s earliest professional investment institutions of blockchain industry layouts. Node Capital aims to connection every node of blockchain industry by project investment and cooperation, thus building industry ecosystem, and promote healthy and stable development of blockchain industry. So far, Node Capital has invested many projects of blockchain industry, such as news information, digital asset transactions, storage, technology development and application. Including enterprises such as Huobi, Coldlar, Bocheninc, fengwo, Jinse Finance , Lianshang Technology, Yulian, Qukuai Leida.
Nirvana Capital - Nirvana Capital is a San Francisco/Beijing based blockchain fund that focused on primary market investment. Its founding partners are also early supporters of Ethereum. To bring together ecosystems that revolutionize the social productions and labor relations with the communities underneath, Nirvana Capital provides end-to-end strong support to its portfolio projects, including advisory on strategies/operations and resources matching. Our investment themes mainly include public chains and protocols.