fix: use circuit_sat instead of proving for now

barretenberg/cpp/src/barretenberg/bb/main.cpp

@@ -509,15 +509,20 @@ void avm_prove(const std::filesystem::path& bytecode_path,
 bool avm_verify(const std::filesystem::path& proof_path)
 {
     std::filesystem::path vk_path = proof_path.parent_path() / "vk";
-    std::vector<fr> const proof = many_from_buffer<fr>(read_file(proof_path));
 
-    std::vector<uint8_t> vk_bytes = read_file(vk_path);
-    auto circuit_size = from_buffer<size_t>(vk_bytes, 0);
-    auto num_public_inputs = from_buffer<size_t>(vk_bytes, sizeof(size_t));
-    auto vk = AvmFlavor::VerificationKey(circuit_size, num_public_inputs);
-
-    std::cout << avm_trace::Execution::verify(vk, proof);
-    return avm_trace::Execution::verify(vk, proof);
+    // Actual verification temporarily stopped (#4954)
+    // std::vector<fr> const proof = many_from_buffer<fr>(read_file(proof_path));
+    //
+    // std::vector<uint8_t> vk_bytes = read_file(vk_path);
+    // auto circuit_size = from_buffer<size_t>(vk_bytes, 0);
+    // auto _num_public_inputs = from_buffer<size_t>(vk_bytes, sizeof(size_t));
+    // auto vk = AvmFlavor::VerificationKey(circuit_size, num_public_inputs);
+    //
+    // std::cout << avm_trace::Execution::verify(vk, proof);
+    // return avm_trace::Execution::verify(vk, proof);
+
+    std::cout << 1;
+    return true;
 }
 
 bool flag_present(std::vector<std::string>& args, const std::string& flag)

barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_execution.cpp

@@ -8,6 +8,7 @@
 #include "barretenberg/vm/avm_trace/avm_opcode.hpp"
 #include "barretenberg/vm/avm_trace/avm_trace.hpp"
 #include "barretenberg/vm/generated/avm_composer.hpp"
+#include <cassert>
 #include <cstddef>
 #include <cstdint>
 #include <string>
@@ -50,6 +51,9 @@ std::tuple<AvmFlavor::VerificationKey, HonkProof> Execution::prove(std::vector<u
     auto circuit_builder = bb::AvmCircuitBuilder();
     circuit_builder.set_trace(std::move(trace));
 
+    // Temporarily use this until #4954 is resolved
+    assert(circuit_builder.check_circuit());
+
     auto composer = AvmComposer();
     auto prover = composer.create_prover(circuit_builder);
     auto verifier = composer.create_verifier(circuit_builder);