Surmount Systems

Argument Computer Corp

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

Snarkify

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

CryptoNext

This company develops post-quantum cryptography software to protect critical data and migrate IT infrastructures to quantum-safe systems for government, finance and infrastructure sectors.

Irreducible

This company develops hardware-accelerated zero-knowledge proof infrastructure and software for blockchain developers and enterprises to improve internet privacy and security.

BitcoinOS

This company develops a smart contract operating system and rollup infrastructure for developers to build decentralised applications and tokens on the Bitcoin blockchain.

Fabric Cryptography

This company develops hardware accelerators and software for cryptographic algorithms to support blockchain and privacy-focused technology 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.

QComply

This company develops software that automates cryptographic discovery and migration to quantum-safe security for enterprises, government agencies and financial institutions.