Succinct proves the world's software. It coordinates hardware teams, infrastructure operators, and application developers to facilitate the generation of zero knowledge proofs. Application developers send programs in normal code that are wrapped with SP1 to the Succinct Network. This allows the infrastructure layer and hardware teams, jointly called provers, to compete to generate proofs of the programs' execution. Sending your proofs to the Succinct Network feels just like running normal code. You can use the network to request proofs for ZK rollups, bridges, games, oracles, AI agents, and more. Via an auction-based approach, proofs are competitively priced and procured from the network of provers.