prover-network
(2)
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.
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.