zkVM Infrastructure SP1 Hypercube Launches on Mainnet

- SP1 Hypercube can generate zero-knowledge proofs for over 93% of Ethereum mainnet blocks in under 12 seconds, with an average time of 10.3 seconds. This real-time proving is accomplished using a cluster of approximately 160-200 NVIDIA RTX 4090 GPUs. - The development team, Succinct Labs, was co-founded by CEO Uma Roy, an MIT graduate with a background in AI and cryptography at Google Brain, and CTO John Guibas, a Stanford graduate and Thiel Fellow. The company has raised a total of $55 million in funding, with a Series A round led by Paradigm. - SP1 is already being used by major projects such as Polygon, Celestia, Avail, and Lido, securing billions of dollars in total value locked (TVL). Its applications include ZK rollups, cross-chain bridges, and verifiable AI. - The system is built on a new proof system using multilinear polynomials, which is a shift from the STARK-based architecture of its predecessor, SP1 Turbo. This new architecture is up to 5 times faster and more cost-effective. - For cross-chain interoperability, Succinct Labs' IBC Eureka system connects Cosmos and Ethereum, reducing gas costs for data packets from about $100 to approximately $4 by using zero-knowledge proofs instead of traditional multi-signature mechanisms. - The prover and verifier code for SP1 Hypercube are open-source, and the hardware cost for a proving cluster is estimated to be between $100,000 and $400,000, making it more accessible for broader adoption. - Succinct has announced a native token called PROVE to incentivize its decentralized prover network, which will facilitate proof generation for various applications. - Developers can write programs in Rust or any LLVM-compatible language, and the Succinct platform handles the complex processes of proof generation and verification on-chain, simplifying the developer experience.