Nexus

RISC Zero

This company develops zero-knowledge virtual machine infrastructure and proving platforms for blockchain developers and enterprises to enable verifiable computation across decentralised applications.

ZK Proof-of-work Blockchain

This company develops a layer 1 blockchain and virtual machine for builders to create private, verifiable and scalable applications.

Succinct

The company builds zero-knowledge proof infrastructure and a virtual machine for blockchain developers to create and verify cryptographic proofs using standard programming languages.

Modulus Labs

The company develops zero-knowledge machine learning infrastructure to enable verifiable artificial intelligence computations on blockchains for decentralised application developers.

Zorp

This company develops a zero-knowledge virtual machine and blockchain protocol for verifiable computation for financial institutions and government agencies.

Novanet

This company develops a decentralised proof network for zero-knowledge computations to provide privacy and verifiable processing for developers and mobile device users.

ZkCloud

ZkCloud provides a decentralised computing network that generates zero-knowledge proofs for blockchain developers and institutional applications to improve scalability and privacy.

Union.Build

This infrastructure protocol develops zero-knowledge proof technology to facilitate trustless communication and asset transfers between different blockchain networks for developers and protocols.