Provably

Attestable

The company develops zero-knowledge proof software to provide verification and security for artificial intelligence systems and large language models.

Ambient

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

ProvLabs

This company provides blockchain infrastructure and software to help financial institutions and fintechs tokenize, manage and distribute real-world assets on-chain.

Nockchain

Nockchain develops a blockchain platform providing verifiable computation and AI inference services for independent compute providers and decentralized application developers.

EigenCloud

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

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.

Presential

Presential develops a data platform providing a privacy layer for financial institutions to safely deploy artificial intelligence models using sensitive personal information.