Risc0 offers a zero knowledge virtual machine (zkVM) which makes zero-knowledge proofs scalable, accessible, and cost-effective.

Envio is a real-time indexer built specifically for EVM-compatible blockchains, providing developers with a seamless and efficient indexing solution.

Nubit is a scalable, cost-efficient, data availability layer built for Bitcoin. It enables the scaling of Bitcoin's data capacities, by empowering various on-chain applications.

Gevulot is a decentralized prover layer delivering high-performance, scalable, and cost-effective provable compute. It is optimized through dual-node architecture and maximum parallelization.