RISC Zero

Lagrange Labs

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

Zorp

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

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.

Snarkify

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

Lita Foundation

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

Modulus Labs

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

Irreducible

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

ZK Proof-of-work Blockchain

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