Lagrange Labs

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.

Modulus Labs

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

KRNL Labs

This company develops a verifiable orchestration middleware layer for developers to execute and attest off-chain workflows and AI models within decentralised applications.

Manifolds.Lab

This company develops decentralized artificial intelligence infrastructure and compute-efficient inference models for enterprise developers and blockchain-based ecosystems.

Snarkify

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

Zorp

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

Rena Labs

This company develops trusted execution environment middleware to enable verifiable and private artificial intelligence applications for blockchain developers and decentralised finance protocols.

OG Labs

This firm develops a decentralized artificial intelligence operating system and modular blockchain infrastructure for Web3 developers and on-chain artificial intelligence application providers.