Struct Claim

pub struct Claim {
    pub program_digest: Digest,
    pub version: u32,
    pub input: Vec<BFieldElement>,
    pub output: Vec<BFieldElement>,
}

Contains the public information of a verifiably correct computation. A corresponding Proof is needed to verify the computation. One additional piece of public information not explicitly listed in the Claim is the padded_height, an upper bound on the length of the computation. It is derivable from a Proof by calling Proof::padded_height().

Fields

program_digest: Digest

The hash digest of the program that was executed. The hash function in use is Tip5.

version: u32

The version of the Triton VM instruction set architecture the program_digest is about, as well as of the STARK proof system in use. See also: CURRENT_VERSION.

input: Vec<BFieldElement>

The public input to the computation.

output: Vec<BFieldElement>

The public output of the computation.

Implementations

impl Claim

pub fn new(program_digest: Digest) -> Self

Create a new Claim.

Assumes the version to be CURRENT_VERSION. The version can be changed with method about_version.

pub fn about_program(program: &Program) -> Self

pub fn with_input(self, input: impl Into<Vec<BFieldElement>>) -> Self

pub fn with_output(self, output: Vec<BFieldElement>) -> Self

pub fn about_version(self, version: u32) -> Self

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for Claim

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl BFieldCodec for Claim

type Error = ClaimBFieldDecodingError

fn decode(sequence: &[BFieldElement]) -> Result<Box<Self>, Self::Error>

fn encode(&self) -> Vec<BFieldElement>

fn static_length() -> Option<usize>

Returns the length in number of BFieldElements if it is known at compile-time. Otherwise, None.

impl Clone for Claim

fn clone(&self) -> Claim

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Claim

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Claim

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl GetSize for Claim

fn get_heap_size(&self) -> usize

Determines how many bytes this object occupies inside the heap.

fn get_stack_size() -> usize

Determines how may bytes this object occupies inside the stack.

fn get_size(&self) -> usize

Determines the total size of the object.

impl Hash for Claim

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Claim

fn eq(&self, other: &Claim) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Claim

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Claim

impl StructuralPartialEq for Claim