Formal Verification Platform for Smart Contracts and Blockchain Ecosystems.
Oasis Labs is rethinking blockchain for the real world.
AERGO is a 4th generation - enterprise ready - blockchain protocol combined with an IT platform that uses advanced technologies.
Constellation is a DAG protocol that runs smart contracts as microservices.
Modex is the world's first AppStore for Blockchain.
Qtum is a decentralized blockchain application platform capable of running Smart Contracts on multiple virtual machines, with Proof-of-Stake consensus.
Traceto.io is a decentralized digital KYC network that gives ownership, control and management of KYC processes back to the community.
Fantom is the world's first DAG based smart contract platform.
PolicyPal Network is a platform built with a twofold vision of addressing key issues that overlap the fields of both insurance and cryptoassets in the world today.
RSK is the first general purpose smart contract platform secured by the Bitcoin Network.
The scalable privacy preserving platform for decentralized applications.