Struct AttestRequest 

pub struct AttestRequest {
    pub program_id: String,
    pub input_bytes: Vec<u8>,
    pub stdin_items: Vec<Vec<u8>>,
    pub claimed_output: Option<Value>,
    pub verify_locally: bool,
}

Request to the attester service to generate a ZK proof

Fields

program_id: String

input_bytes: Vec<u8>

Input data as raw bytes (bincode-serialized) Will be passed to the zkVM program via stdin as a single buffer entry. For programs that call io::read() multiple times, use stdin_items instead.

stdin_items: Vec<Vec<u8>>

Multiple stdin buffer entries (each pushed separately). When present, each entry maps to one sp1_zkvm::io::read() call. Takes precedence over input_bytes when non-empty.

claimed_output: Option<Value>

Expected output for verification (optional, format defined by agent)

verify_locally: bool

Whether to verify the proof locally before returning

Trait Implementations

impl Clone for AttestRequest

fn clone(&self) -> AttestRequest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AttestRequest

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AttestRequest

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for AttestRequest

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

where __S: Serializer,

Serialize this value into the given Serde serializer.