Struct Proof

pub struct Proof(pub Vec<BFieldElement>);

Contains the necessary cryptographic information to verify a computation. Should be used together with a Claim.

Tuple Fields

0: Vec<BFieldElement>

Implementations

impl Proof

pub fn padded_height(&self) -> Result<usize, ProofStreamError>

Get the height of the trace used during proof generation. This is an upper bound on the length of the computation this proof is for. It is one of the main contributing factors to the length of the FRI domain.

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for Proof

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 Proof

type Error = ProofBFieldDecodingError

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 Proof

fn clone(&self) -> Proof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Proof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Proof

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&ProofStream> for Proof

fn from(proof_stream: &ProofStream) -> Self

Converts to this type from the input type.

impl From<ProofStream> for Proof

fn from(proof_stream: ProofStream) -> Self

Converts to this type from the input type.

impl GetSize for Proof

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 PartialEq for Proof

fn eq(&self, other: &Proof) -> 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 Proof

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<&Proof> for ProofStream

type Error = ProofStreamError

The type returned in the event of a conversion error.

fn try_from(proof: &Proof) -> Result<Self, ProofStreamError>

Performs the conversion.

impl Eq for Proof

impl StructuralPartialEq for Proof