Module proof 

SPEC §6.6 — Groth16 proof verification.

Functions

verify_if_present

If cryptographic_proof.proof is non-null, deserialize the arkworks proof bytes, deserialize the vk pinned by public_inputs.vk_hash, reconstruct the Fr public inputs per SPEC §6.7, and run Groth16::verify.