Startups

The Protocol for Securing Smart Contracts. Quantstamp's mission is to facilitate the mainstream adoption of blockchain tech by building the smart contract security infrastructure for the ecosystem.

Unanimous Capital

ConsenSys Mesh

BMW Capital

Tribe Accelerator

DG Ventures

DG Incubation

Fengshui Capital

42 Fund

FinForge

Carbon Block Ventures

Crosschain Capital

TLDR Global

Genblock Capital

BlockAsset

ZMT Capital

GBIC

Magnus Capital

SVK Crypto

ConsenSys Ventures

Hashed

Kenetic Capital

Y Combinator

Julian Martinez

Martinet Lee

Jaye Harrill

Danger Zhang

Jeff Scott Ward

Krishna Sriram

Don Ho

Richard Ma

Quantstamp

chainproof

Klap

Krew

VAST

Illuvium

Silo

idle

Qredo

Taker Protocol

Shipyard Software

Terra Ecosystem Fund

CoinFabrik is a blockchain development company specialized in smart contract coding and security audits. Their prime objective is to provide safe and clean smart contract code to customers worldwide. They audited important ICOs as Status.im, Patientory, Mona.co and participated in writing the smart contract code in successful ICOs which were able to raise millions of dollars. The company currently has 40 employees and it has been growing at a fast pace in the past 2 years.

We have more than 20 years of experience building and reviewing security applications. Since the appearance of Bitcoin we have also been very active in the cryptocurrency field. We have designed new cryptocurrency protocols and discovered hundreds of security vulnerabilities.

Our software development services includes helping customers define product specifications, UI & UX design, applications integration, QA, hybrid cloud environment product deployment, and continued support.

CoinFabrik

Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts.

Certora provides Formal Verification of Smart Contracts which is accessible and cost-efficient. Certora has unique technology called AEV (standing for Automatic Exact Verification) capable of checking all executions of a Smart Contract fulfill a set of requirements.

AEV technology is available as a tool that complements existing compilers and debuggers of Smart Contracts. It checks that the contracts fulfil its requirements and adheres to the interface requirements of other contracts. Certora’s blockchain independent and language-agnostic AEV technology precisely identifies bugs in Smart Contracts and proves their absence. Certora offers two unique solutions targeted for all participants in the blockchain ecosystem:

Continuous Smart Contract Formal Verification (CFV) for businesses that employ Smart Contracts. CFV continuously monitors all contracts for newly discovered vulnerabilities or changes that may expose new issues. 

CFV guarantees long-term safety of your digital assets in the blockchain by notifying immediately on any new issues, thus reducing incident response time. This allows your business to avoid the consequences of undesired irreversible transactions.

Quality Development Environment (QDE) for developers permits developers to detect issues during development, maximizing security by the time of contract deployment. 

QDE automatically produces a report of existing issues, reporting their severity and the exact manner in which they reproduce.

Certora

Beijing Interconsensus Information Technology Co., Ltd is founded by core members of the well-known security team from Baidu, 360 Enterprise Security Group, Kanxue Research. Institute and so on. They have provided security capabilities for Internet companies such as Microsoft, Google, 360, Tencentand Facebook. We established the John Wick Security Lab to create the most comprehensive and in-depth security service solution for the blockchain and to safeguard the eco-safety of the blockchain.

The company adheres to the core concept of “know attack, good defense” and provides services such asdeep penetration testing, smart contract auditing, overall security solutions, third party monitoring and early warning, and threat intelligence output around the blockchain ecosystem.

John Wick Security

ChainSecurity brings the first formal audit platform for smart contracts. The ChainSecurity platform is based on Swiss technology developed at ETH Zurich, one of the top universities in the world.

Based on its platform, ChainSecurity provides, for the first time in the blockchain space, automated formal smart contract audits, which offer the highest level of assurance. The goal of ChainSecurity is to bring its platform worldwide to all blockchain projects, teams, and corporations, thereby taking the security of blockchain products to the next level.

ChainSecurity

Vest is brought to you by Cambrian Tech, a crypto-focused product lab. We're a Series A company backed by Polychain Capital, a16z, and 1confirmation (among others), and we're based out of downtown San Francisco.

Our team of developers previously graduated from Stanford. Their work experience includes companies like Google, Twitter, and Jane Street.

Staking With Leverage. Earn rewards from the largest PoS miners.Vest lets you purchase the rights to Proof-of-Stake (PoS) mining rewards.

Capture profits without locking your own funds in a volatile asset. Take a leveraged bet by receiving the rewards of massive staking operations.

Formerly 1 protocol, to perform staking protocols.

Vest

HAECHI AUDIT is the leading smart contract security audit company founded top security experts. Trusted by the industry leaders, HAECHI AUDIT has reached strategic partnerships with global Exchanges and the Fortune global 500 enterprises.

We are incubated by the Samsung Electronics and awarded Ethereum Foundation Grant.

HAECHI AUDIT

ThreatKey™ gives your company the tools you need to find and eliminate security threats.

We're a small team of passionate technologists dedicated to understanding and reducing cybersecurity risk.

We've built and ran security programs at a global scale. This experience has given us unparalleled insight into the tools and tactics required to respond to threat with immense leverage in seconds.

We've distilled these insights into our product, allowing for automated response to most security threats your organization may encounter today. For threats we can't automatically remediate, we'll give you the tools you need to respond instantly.

ThreatKey

The COSIC research group provides a broad expertise in digital security and strives for innovative security solutions. COSIC is headed by Bart Preneel.

COSIC

Do More Work, Faster. Gitcoin is the easiest way to leverage the open source community to incentivize or monetize work.

Gitcoin