Struct ComputationDigest 

pub struct ComputationDigest<T: Float + Debug + Send + Sync + 'static> {
    pub statement: String,
    pub digest: Vec<u8>,
    /* private fields */
}

Integrity digest over one SMPC computation.

WARNING: Not a zero-knowledge proof

The digest binds the statement, the inputs and the outputs. Verifying it requires knowing the inputs, so it is not zero-knowledge; and anyone can recompute it for any inputs they choose, so it has no soundness against a malicious prover. It detects accidental corruption of a recorded computation, nothing more.

Unlike the type it replaces, it carries no witness: nothing derived from the plaintext inputs is published inside it.

Fields

statement: String

Human-readable description of the computation.

digest: Vec<u8>

SHA-256(domain || statement || inputs || outputs).

Implementations

impl<T: Float + Debug + Send + Sync + 'static> ComputationDigest<T>

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

The digest bytes.

Trait Implementations

impl<T: Clone + Float + Debug + Send + Sync + 'static> Clone for ComputationDigest<T>

fn clone(&self) -> ComputationDigest<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug + Float + Debug + Send + Sync + 'static> Debug for ComputationDigest<T>

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

Formats the value using the given formatter.