Irreducible

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.

Snarkify

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

Iron Fish

This company develops a decentralised blockchain protocol providing private transactions for cryptocurrency users through the use of zero-knowledge proofs.

Fabric Cryptography

This company develops hardware accelerators and software for cryptographic algorithms to support blockchain and privacy-focused technology developers.

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.

Miden

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

Inco

This company provides a modular privacy layer for blockchains, enabling developers to build confidential smart contracts and decentralised applications using encrypted computation.

Argument Computer Corp

The company develops verifiable computing tools and zero-knowledge cryptography infrastructure for developers building private, scalable, and decentralised software systems.