Struct SP1ProofWithPublicValues

pub struct SP1ProofWithPublicValues {
    pub proof: SP1Proof,
    pub public_values: SP1PublicValues,
    pub sp1_version: String,
    pub tee_proof: Option<Vec<u8>>,
}

A proof generated by the SP1 RISC-V zkVM bundled together with the public values and the version.

Fields

proof: SP1Proof

The raw proof generated by the SP1 RISC-V zkVM.

public_values: SP1PublicValues

The public values generated by the SP1 RISC-V zkVM.

sp1_version: String

The version of the SP1 RISC-V zkVM (not necessary but useful for detecting version mismatches).

tee_proof: Option<Vec<u8>>

The integrity proof generated by the TEE server.

Implementations

impl SP1ProofWithPublicValues

pub fn save(&self, path: impl AsRef<Path>) -> Result<()>

Saves the proof to a path.

pub fn load(path: impl AsRef<Path>) -> Result<Self>

Loads a proof from a path.

pub fn bytes(&self) -> Vec<u8>

The proof in the byte encoding the onchain verifiers accepts for SP1ProofMode::Groth16 and SP1ProofMode::Plonk proofs.

Details

The bytes consist of the first four bytes of Groth16/Plonk vkey hash followed by the encoded proof, in a form optimized for onchain verification.

pub fn create_mock_proof( pk: &SP1ProvingKey, public_values: SP1PublicValues, mode: SP1ProofMode, sp1_version: &str, ) -> Self

Creates a mock proof for the specified proof mode from the public values.

Example

use sp1_sdk::{
    Prover, ProverClient, SP1ProofMode, SP1ProofWithPublicValues, SP1Stdin, SP1_CIRCUIT_VERSION,
};

let elf = &[1, 2, 3];
let stdin = SP1Stdin::new();

let client = ProverClient::builder().cpu().build();
let (pk, vk) = client.setup(elf);
let (public_values, _) = client.execute(&pk.elf, &stdin).run().unwrap();

// Create a mock Plonk proof.
let mock_proof = SP1ProofWithPublicValues::create_mock_proof(
    &pk,
    public_values,
    SP1ProofMode::Plonk,
    SP1_CIRCUIT_VERSION,
);

Trait Implementations

impl Clone for SP1ProofWithPublicValues

fn clone(&self) -> SP1ProofWithPublicValues

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SP1ProofWithPublicValues

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SP1ProofWithPublicValues

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<ProofFromNetwork> for SP1ProofWithPublicValues

fn from(value: ProofFromNetwork) -> Self

Converts to this type from the input type.

impl Serialize for SP1ProofWithPublicValues

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.