Struct SP1PublicValues 

pub struct SP1PublicValues { /* private fields */ }

Public values for the prover.

Implementations

impl SP1PublicValues

pub const fn new() -> SP1PublicValues

Create a new SP1PublicValues.

pub fn raw(&self) -> String

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

Create a SP1PublicValues from a slice of bytes.

pub fn as_slice(&self) -> &[u8]

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

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

where T: Serialize + DeserializeOwned,

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>(&mut self, data: &T)

where T: Serialize,

Write a value to the buffer.

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

Write a slice of bytes to the buffer.

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

Hash the public values using SHA256.

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

Hash the public values using Blake3.

pub fn hash_bn254(&self) -> BigUint

Hash the public values using SHA256, mask the top 3 bits and return a BigUint. Matches the implementation of hashPublicValues in the Solidity verifier.

sha256(publicValues) & bytes32(uint256((1 << 253) - 1));

pub fn hash_bn254_with_fn<F>(&self, hasher: F) -> BigUint

where F: Fn(&[u8]) -> Vec<u8>,

Hash the public values using the provided hasher function, mask the top 3 bits and return a BigUint.

Trait Implementations

impl AsRef<[u8]> for SP1PublicValues

fn as_ref(&self) -> &[u8]

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for SP1PublicValues

fn clone(&self) -> SP1PublicValues

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SP1PublicValues

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

Formats the value using the given formatter.

impl Default for SP1PublicValues

fn default() -> SP1PublicValues

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SP1PublicValues

fn deserialize<__D>( __deserializer: __D, ) -> Result<SP1PublicValues, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SP1PublicValues

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

where __S: Serializer,

Serialize this value into the given Serde serializer.