Struct sp1_core::io::SP1Stdin

pub struct SP1Stdin {
    pub buffer: Vec<Vec<u8>>,
    pub ptr: usize,
    pub proofs: Vec<(ShardProof<BabyBearPoseidon2>, StarkVerifyingKey<BabyBearPoseidon2>)>,
}

Standard input for the prover.

Fields

buffer: Vec<Vec<u8>>

Input stored as a vec of vec of bytes. It’s stored this way because the read syscall reads a vec of bytes at a time.

ptr: usize

proofs: Vec<(ShardProof<BabyBearPoseidon2>, StarkVerifyingKey<BabyBearPoseidon2>)>

Implementations

impl SP1Stdin

pub const fn new() -> Self

Create a new SP1Stdin.

pub fn from(data: &[u8]) -> Self

Create a SP1Stdin from a slice of bytes.

pub fn read<T: DeserializeOwned>(&mut self) -> T

Read a value from the buffer.

pub fn read_slice(&mut self, slice: &mut [u8])

Read a slice of bytes from the buffer.

pub fn write<T: Serialize>(&mut self, data: &T)

Write a value to the buffer.

pub fn write_slice(&mut self, slice: &[u8])

Write a slice of bytes to the buffer.

pub fn write_vec(&mut self, vec: Vec<u8>)

pub fn write_proof( &mut self, proof: ShardProof<BabyBearPoseidon2>, vk: StarkVerifyingKey<BabyBearPoseidon2>, )

Trait Implementations

impl Clone for SP1Stdin

fn clone(&self) -> SP1Stdin

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SP1Stdin

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

Formats the value using the given formatter.

impl Default for SP1Stdin

fn default() -> SP1Stdin

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SP1Stdin

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SP1Stdin

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

where __S: Serializer,

Serialize this value into the given Serde serializer.