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.