Method verify

barretenberg/cpp/src/barretenberg/vm2/avm_api.cpp:66–71

}

bool AvmAPI::verify(const AvmProof& proof, const PublicInputs& pi)
{
    vinfo("Verifying...");
    AvmProvingHelper proving_helper;
    return AVM_TRACK_TIME_V("verifing/all", proving_helper.verify(proof, pi));
}

AvmAPI::AvmVerificationKey AvmAPI::get_verification_key()
{