zkAutomate

Snarkify

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

Lighter

This company develops a decentralised trading platform and Layer-2 network for institutional and retail traders to exchange perpetual futures contracts using zero-knowledge proofs.

Kakarot

This company develops a zero-knowledge Ethereum Virtual Machine for blockchain developers to deploy and run smart contracts on the Starknet network.

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.

ZKsync

This company provides a layer 2 scaling protocol for developers to build secure, low-cost applications and settle digital assets using zero-knowledge proofs.

Zorp

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

Novanet

This company develops a decentralised proof network for zero-knowledge computations to provide privacy and verifiable processing for developers and mobile device users.

Miden

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