sp1-hypercube

The SP1 Hypercube proof system.

Implements the core proving and verification logic for SP1, including shard proving. This is the heart of SP1's zero-knowledge proof generation.

Part of SP1, a performant zkVM.