The brief

Analyst view

• Succinct Labs proves Ethereum blocks in 12 seconds using 16 GPUs; 99.7% of L1 blocks proven in under 12 seconds.
• Formally verified 51 of 62 RISC-V opcodes in SP1 Hypercube with Ethereum Foundation and Nethermind; some proofs incomplete or contain bugs.
• SP1 Hypercube is the first general-purpose hash-based zkVM to eliminate proximity gap conjecture assumptions.

Technical approach

As reported

RISC-V Architecture

Proving any software

SP1 compiles programs to RISC-V and generates zero-knowledge proofs of correct execution, proving blockchain ops without re-running them.

GPU Acceleration

Hardware-optimized proving

NVIDIA GPUs parallelize proof generation, reducing block proving time from hours to seconds.

Formal Verification

Mathematical proof of correctness

Formally verified RISC-V constraints with Ethereum Foundation and Nethermind, eliminating certain bug classes.