feat: add logs to bb cli

barretenberg/cpp/src/barretenberg/api/api_ultra_honk.cpp

@@ -110,6 +110,12 @@ bool _verify(const bool honk_recursion_2, const std::filesystem::path& proof_pat
         verified = verifier.verify_proof(proof);
     }
 
+    if (verified) {
+        info("Proof verified successfully");
+    } else {
+        info("Proof verification failed");
+    }
+
     return verified;
 }
 
@@ -212,6 +218,7 @@ void UltraHonkAPI::write_contract(const Flags& flags,
         std::cout << contract;
     } else {
         write_file(output_path, { contract.begin(), contract.end() });
+        info("Solidity verifier saved to ", output_path);
     }
 }
 

barretenberg/cpp/src/barretenberg/api/write_prover_output.hpp

@@ -34,6 +34,7 @@ void write(const ProverOutput& prover_output,
                 write_bytes_to_stdout(buf);
             } else {
                 write_file(output_dir / "proof", buf);
+                info("Proof saved to ", output_dir / "proof");
             }
             break;
         }
@@ -43,6 +44,7 @@ void write(const ProverOutput& prover_output,
                 write_bytes_to_stdout(buf);
             } else {
                 write_file(output_dir / "vk", buf);
+                info("VK saved to ", output_dir / "vk");
             }
             break;
         }
@@ -57,6 +59,7 @@ void write(const ProverOutput& prover_output,
                 std::cout << proof_json;
             } else {
                 write_file(output_dir / "proof_fields.json", { proof_json.begin(), proof_json.end() });
+                info("Proof fields saved to ", output_dir / "proof_fields.json");
             }
             break;
         }
@@ -66,6 +69,7 @@ void write(const ProverOutput& prover_output,
                 std::cout << vk_json;
             } else {
                 write_file(output_dir / "vk_fields.json", { vk_json.begin(), vk_json.end() });
+                info("VK fields saved to ", output_dir / "vk_fields.json");
             }
             break;
         }

barretenberg/cpp/src/barretenberg/ultra_honk/decider_proving_key.hpp

@@ -76,11 +76,7 @@ template <IsUltraFlavor Flavor> class DeciderProvingKey_ {
             }
         }
 
-        info("Finalized circuit size: ",
-             circuit.num_gates,
-             ". Log dyadic circuit size: ",
-             numeric::get_msb(dyadic_circuit_size),
-             ".");
+        info("Finalized circuit size: ", circuit.num_gates);
         circuit.blocks.compute_offsets(is_structured); // compute offset of each block within the trace
 
         // Find index of last non-trivial wire value in the trace