Struct CudaProveBuilder 

pub struct CudaProveBuilder<'a> { /* private fields */ }

A builder for proving a program on the CUDA.

This builder provides a typed interface for configuring the SP1 RISC-V prover. The builder is used for only the crate::cuda::CudaProver client type.

Implementations

impl CudaProveBuilder<'_>

pub fn core(self) -> Self

Set the proof kind to SP1ProofMode::Core mode.

Details

This is the default mode for the prover. The proofs grow linearly in size with the number of cycles.

Example

use sp1_sdk::{include_elf, Prover, ProverClient, SP1Stdin};

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

let client = ProverClient::builder().cuda().build();
let (pk, vk) = client.setup(elf);
let builder = client.prove(&pk, &stdin).core().run();

pub fn compressed(self) -> Self

Set the proof kind to SP1ProofMode::Compressed mode.

Details

This mode produces a proof that is of constant size, regardless of the number of cycles. It takes longer to prove than SP1ProofMode::Core due to the need to recursively aggregate proofs into a single proof.

Example

use sp1_sdk::{include_elf, Prover, ProverClient, SP1Stdin};

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

let client = ProverClient::builder().cuda().build();
let (pk, vk) = client.setup(elf);
let builder = client.prove(&pk, &stdin).compressed().run();

pub fn plonk(self) -> Self

Set the proof mode to SP1ProofMode::Plonk mode.

Details

This mode produces a const size PLONK proof that can be verified on chain for roughly ~300k gas. This mode is useful for producing a maximally small proof that can be verified on chain. For more efficient SNARK wrapping, you can use the SP1ProofMode::Groth16 mode but this mode is more .

Example

use sp1_sdk::{include_elf, Prover, ProverClient, SP1Stdin};

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

let client = ProverClient::builder().cuda().build();
let (pk, vk) = client.setup(elf);
let builder = client.prove(&pk, &stdin).plonk().run();

pub fn groth16(self) -> Self

Set the proof mode to SP1ProofMode::Groth16 mode.

Details

This mode produces a Groth16 proof that can be verified on chain for roughly ~100k gas. This mode is useful for producing a proof that can be verified on chain with minimal gas.

Example

use sp1_sdk::{include_elf, Prover, ProverClient, SP1Stdin};

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

let client = ProverClient::builder().cuda().build();
let (pk, vk) = client.setup(elf);
let builder = client.prove(&pk, &stdin).groth16().run();

pub fn mode(self, mode: SP1ProofMode) -> Self

Set the proof mode to the given SP1ProofMode.

Details

This method is useful for setting the proof mode to a custom mode.

Example

use sp1_sdk::{include_elf, Prover, ProverClient, SP1ProofMode, SP1Stdin};

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

let client = ProverClient::builder().cuda().build();
let (pk, vk) = client.setup(elf);
let builder = client.prove(&pk, &stdin).mode(SP1ProofMode::Groth16).run();

pub fn run(self) -> Result<SP1ProofWithPublicValues>

Run the prover with the built arguments.

Details

This method will run the prover with the built arguments. If the prover fails to run, the method will return an error.

Example

use sp1_sdk::{include_elf, Prover, ProverClient, SP1Stdin};

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

let client = ProverClient::builder().cuda().build();
let (pk, vk) = client.setup(elf);
let proof = client.prove(&pk, &stdin).run().unwrap();