Skip to main content

generate_proof

quantus_cli::wormhole_lib

Function generate_proof 

Source 
pub fn generate_proof(
    input: &ProofGenerationInput,
    prover_bin_path: &Path,
    common_bin_path: &Path,
) -> Result<ProofGenerationOutput>
Expand description

Generate a wormhole proof from raw inputs.

This function takes all necessary data as raw bytes and generates a ZK proof. It does not require a chain client - all data must be pre-fetched.

§Arguments

  • input - All input data for proof generation
  • prover_bin_path - Path to prover.bin
  • common_bin_path - Path to common.bin

§Returns

Proof bytes and nullifier