decentralized-compute
(3)
Succinct
Succinct is a San Francisco cryptography company building SP1, an open-source zero-knowledge virtual machine that lets developers prove the correct execution of any Rust program, and the Succinct Prover Network - a decentralized marketplace where independent provers compete to generate ZK proofs for rollups, bridges and onchain applications.
Hyperbolic
Hyperbolic is an open-access AI cloud built for developers and researchers. It aggregates underutilized GPUs from data centers, mining farms and idle machines into an on-demand marketplace, and pairs that with serverless inference for state-of-the-art open-source models. The pitch is simple: fast, affordable access to compute and inference without sales calls or feature gates, at prices it says can run up to 75% below incumbents.
Uma Roy
Uma Roy is the co-founder and CEO of Succinct, the company building SP1 - the world's fastest open-source zero-knowledge virtual machine (zkVM). A former Google Brain AI researcher and MIT double major in mathematics and computer science, she pivoted from machine learning to cryptography to make zero-knowledge proofs accessible to every developer. Under her leadership, Succinct raised $55M led by Paradigm, launched a decentralized prover network, and positioned SP1 as critical infrastructure securing billions in TVL across major Layer 2 networks.