ZkProvable

chie_crypto::zkproof

Trait ZkProvable 

Source 
pub trait ZkProvable {
    // Required methods
    fn prove(&self) -> ZkProofResult<ZkProof>;
    fn verify(proof: &ZkProof) -> ZkProofResult<bool>;
}
Expand description

Trait for types that can be proven in zero-knowledge

Required Methods§

Source

fn prove(&self) -> ZkProofResult<ZkProof>

Generate a zero-knowledge proof

Source

fn verify(proof: &ZkProof) -> ZkProofResult<bool>

Verify a zero-knowledge proof

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§