Rena Labs

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.

Lagrange Labs

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

Manifolds.Lab

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

Modulus Labs

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

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.

Ambient

This company provides a blockchain-based platform offering verifiable artificial intelligence inference services to developers and enterprise teams.

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.

Giza AI

This company develops decentralized infrastructure that enables autonomous artificial intelligence agents to manage liquidity and yield strategies for blockchain finance users.