Struct ComputationDigestSystem 

pub struct ComputationDigestSystem<T: Float + Debug + Send + Sync + 'static> { /* private fields */ }

Producer of ComputationDigest values.

WARNING: Not a zero-knowledge proof system

prove_computation and verify_proof exist only to fail loudly: no Sigma protocol, SNARK or STARK is implemented here. Use digest_computation and verify_digest for the integrity digest that is implemented.

Implementations

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

pub fn new() -> Self

Create a digest system.

There is no common reference string: the digest is unkeyed so that anybody holding the inputs and outputs can recompute it.

pub fn digest_computation( &self, input: &Array1<T>, output: &Array1<T>, computation: &str, ) -> Result<ComputationDigest<T>>

Compute the integrity digest of a computation.

pub fn verify_digest( &self, digest: &ComputationDigest<T>, input: &Array1<T>, output: &Array1<T>, computation: &str, ) -> Result<bool>

Recompute the digest and compare it with digest.

The verifier must know the inputs and outputs; this is an integrity check, not a proof.

pub fn prove_computation( &self, _input: &Array1<T>, _output: &Array1<T>, _computation: &str, ) -> Result<ComputationDigest<T>>

Always fails: no zero-knowledge proof system is implemented.

pub fn verify_proof(&self, _digest: &ComputationDigest<T>) -> Result<bool>

Always fails: no zero-knowledge proof system is implemented.

The previous implementation returned true whenever the proof bytes were non-empty and the verification key matched a public constant, so any caller could forge an accepting proof.

Trait Implementations

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

fn default() -> Self

Returns the “default value” for a type.