Struct Prover

pub struct Prover { /* private fields */ }

The prover for Triton VM’s zk-STARK. The core method is prove. It is probably more convenient to call Stark::prove directly.

It is possible to set the randomness seed used for deriving all prover randomness. To prevent accidental randomness re-use, the Prover does not implement Clone.

Implementations

impl Prover

pub fn new(parameters: Stark) -> Self

A Prover with a sane randomness seed.

pub fn set_randomness_seed_which_may_break_zero_knowledge( self, seed: <StdRng as SeedableRng>::Seed, ) -> Self

Manually set the seed for the randomness used during proving. This makes the generated proof deterministic.

WARNING!

Careless use of this method can break Zero-Knowledge of Triton VM. In particular, the verifier must learn nothing about the supplied seed, must be unable to influence the supplied seed, and must be unable to guess anything about the supplied seed. The latter implies that whatever source of randomness is chosen must have sufficient entropy.

If in doubt, don’t use this method.

pub fn prove( self, claim: &Claim, aet: &AlgebraicExecutionTrace, ) -> Result<Proof, ProvingError>

See also Stark::prove.

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for Prover

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 Debug for Prover

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

Formats the value using the given formatter.

impl Default for Prover

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for Prover

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

impl StructuralPartialEq for Prover