← Back to home

sp1demo

Rust

Simple SP1 demo proving correct evaluation of the paraboloid of equation: z = f(x, y) = x² + y²

GitHubLive Demo

Screenshots

sp1demo screenshot 1
sp1demo screenshot 2
sp1demo screenshot 3
sp1demo screenshot 4
sp1demo screenshot 5

Problem Statement

SP1 is a performant and "clean" zkVM running a (slightly modified) RISC-V ISA implemented in Rust by Succinct Labs. Succinct offer a hosted compute solution, Succinct Prover Network. At Frontiers 2024, Succinct demonstrated verification of real Ethereum blocks, costing to the order of a cent.

Solution

SP1 is a performant and "clean" zkVM running a (slightly modified) RISC-V ISA implemented in Rust by Succinct Labs. Succinct offer a hosted compute solution, Succinct Prover Network. At Frontiers 2024, Succinct demonstrated verification of real Ethereum blocks, costing to the order of a cent.

Hackathon

ETHGlobal Singapore

2024

Contributors