Description
SP1 is an open-source zkVM for running and proving RISC-V programs. It provides MIT- and Apache-2.0-licensed prover and verifier implementations, while allowing developers to write provable programs in familiar languages such as Rust rather than custom circuits or DSLs. SP1 V6 introduces Hypercube, a multilinear proof system intended to improve performance through optimized recursion and polynomial commitment schemes.