Lita Foundation

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.

ZK Proof-of-work Blockchain

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

O(1) Labs

This company develops zero-knowledge cryptography protocols and blockchain infrastructure for developers and organisations to build privacy-preserving decentralised applications.

Zorp

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

Miden

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

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.

Aleo

This company develops a decentralised blockchain platform that enables developers to build private, programmable applications using zero-knowledge cryptography for secure digital transactions.