Struct Proof 

pub struct Proof { /* private fields */ }

A lowering’s proof: the program, and how it is proved equal to its 64-bit definition.

Implementations

impl Proof

pub fn kind(&self) -> &ProofKind

pub fn program(&self) -> &LaneProgram

pub fn check(&self) -> bool

Checks the proof afresh: the program evaluated symbolically again, its identities and intervals derived again, the identities equal to those the proof carries, each accepted by the first kernel and never contradicted by the second, with the verdicts the proof records; or the circuits’ equivalence decided again and its derivation replayed.

pub fn with_kind(&self, kind: ProofKind) -> Proof

The same program with kind in place of its proof, to be checked.

pub fn second_kernel_decided(&self) -> (usize, usize)

The identities both kernels decided, and all of them; zero and zero for a circuit proof.

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Proof

Returns a duplicate 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.