Succinct builds the SP1 zkVM and provides ZK proving infrastructure for Ethereum applications and rollups.

SP1 from Succinct allows developers to write provable programs in standard Rust without learning a ZK-specific language.