ZkCloud

Snarkify

This company develops zero-knowledge proof infrastructure and a modular proving engine for blockchain developers and decentralised application builders.

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.

ZKsync

This company provides a layer 2 scaling protocol for developers to build secure, low-cost applications and settle digital assets using zero-knowledge proofs.

ZK Proof-of-work Blockchain

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

Nexus

Nexus develops a zero-knowledge virtual machine and blockchain network for developers to create verifiable computations and decentralised applications.

Hyle

Hylé builds a decentralised blockchain network and settlement layer used to verify zero-knowledge proofs for developers of privacy-focused applications.

Irreducible

This company develops hardware-accelerated zero-knowledge proof infrastructure and software for blockchain developers and enterprises to improve internet privacy and security.

EigenCloud

EigenCloud develops a verifiable cloud computing platform that provides decentralized data storage and execution services for developers building blockchain-based applications and agents.