Function avm_prove

barretenberg/cpp/src/barretenberg/vm2/api_avm.cpp:30–50

} // namespace

void avm_prove(const std::filesystem::path& inputs_path, const std::filesystem::path& output_path)
{
    avm2::AvmAPI avm;
    auto inputs = avm2::AvmAPI::ProvingInputs::from(read_file(inputs_path));
    auto proof = avm.prove(inputs);

    // NOTE: As opposed to other proof systems, the public inputs are NOT part of the proof.
    write_file(output_path / "proof", to_buffer(proof));

    print_avm_stats();

    // NOTE: Temporarily we also verify after proving.
    // The reasoning is that proving will always pass unless it crashes.
    // We want to return an exit code != 0 if the proof is invalid so that the prover client saves the inputs.
    info("verifying...");
    bool res = avm.verify(proof, inputs.public_inputs);
    info("verification: ", res ? "success" : "failure");
    if (!res) {
        throw std::runtime_error("Generated proof is invalid!!!!!");
    }
}

void avm_check_circuit(const std::filesystem::path& inputs_path)
{