Zorp

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.

Miden

This company develops a zero-knowledge blockchain protocol for financial institutions to perform scalable, private and compliant transactions on user devices.

ZK Proof-of-work Blockchain

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

Snarkify

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

Lagrange Labs

This company develops zero-knowledge coprocessors and verifiable computation infrastructure for decentralised applications, blockchain protocols and artificial intelligence developers.

Lita Foundation

This company develops an open-source zero-knowledge virtual machine and compiler toolchain for developers to build verifiable, privacy-preserving blockchain applications.

Horizen Labs

This company develops privacy and verification systems using zero-knowledge proofs for institutions, defense organisations, and tokenised ecosystems.

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.