Veridise

MetaTrust

This company develops automated security tools and code auditing services to help web3 developers secure decentralized applications and smart contracts.

Blockchain Cybersecurity Software

This company provides formal verification and security auditing software for blockchain protocols and smart contract 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.

Spearbit

This company operates a security marketplace and provides audit services to help web3 projects and protocols secure their blockchain infrastructure and smart contracts.

Snarkify

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

Runtime Verification

This company develops formal verification tools and provides security audits for blockchain protocols and safety-critical embedded systems to ensure software correctness and reliability.

Fuzzland

This company provides automated smart contract analysis and on-chain security solutions for decentralised finance projects and blockchain developers.

Attestable

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