Function verify_proof

pub fn verify_proof(
    proof: &String,
    pub_key: &String,
) -> Result<(String, String), String>

A simple verifier which reads a proof generated by simple_prover.rs from “proof.json”, verifies it and prints the verified data to the console.