Struct ZkpProver

pub struct ZkpProver {}

Prover for creating zero-knowledge proofs

Implementations

impl ZkpProver

pub fn new() -> Self

Create a new ZKP prover

pub fn prove_secret_value( &mut self, _secret: &[u8], _public_statement: &[u8], ) -> Result<ZkpProof>

Prove knowledge of a secret value without revealing it

pub fn prove_computation( &mut self, _computation: &Computation, _inputs: &[u8], _outputs: &[u8], ) -> Result<ZkpProof>

Prove that a computation was performed correctly

Trait Implementations

impl Default for ZkpProver

fn default() -> Self

Returns the “default value” for a type.