verity_dp_zk_host::generate_groth16_proof

Function generate_groth16_proof

source 
pub fn generate_groth16_proof(
    input: &[u8],
    guest_elf: &[u8],
) -> (Vec<u8>, Vec<u8>)
Expand description

Generates a Groth16 proof given the input data for the zk circuit. Returns a tuple (seal, journal_output) where:

  • seal is the encoded proof representation
  • journal_output is the output of the zk proving process