chore(ci): recover from earthly bug with --no-cache, build images from registry

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

@@ -1307,7 +1307,6 @@ int main(int argc, char* argv[])
         if (command == "prove_and_verify_mega_honk_program") {
             return proveAndVerifyHonkProgram<MegaFlavor>(bytecode_path, witness_path) ? 0 : 1;
         }
-        // TODO(https://github.com/AztecProtocol/barretenberg/issues/1050) we need a verify_client_ivc bb cli command
         // TODO(#7371): remove this
         if (command == "client_ivc_prove_output_all_msgpack") {
             std::filesystem::path output_dir = get_option(args, "-o", "./target");

yarn-project/bb-prover/src/bb/execute.ts

@@ -4,10 +4,13 @@ import { type LogFn, currentLevel as currentLogLevel } from '@aztec/foundation/l
 import { Timer } from '@aztec/foundation/timer';
 import { type NoirCompiledCircuit } from '@aztec/types/noir';
 
+
+
 import * as proc from 'child_process';
 import * as fs from 'fs/promises';
 import { basename, dirname, join } from 'path';
 
+
 export const VK_FILENAME = 'vk';
 export const VK_FIELDS_FILENAME = 'vk_fields.json';
 export const PROOF_FILENAME = 'proof';
@@ -455,10 +458,14 @@ export async function generateTubeProof(
     const logFunction = (message: string) => {
       log(`TubeCircuit (prove) BB out - ${message}`);
     };
+    const verifyResult = await executeBB(pathToBB, 'verify_client_ivc', args, logFunction);
+    if (verifyResult.status !== BB_RESULT.SUCCESS) {
+      return { status: BB_RESULT.FAILURE, reason: `Failed to verify client IVC at ${workingDirectory}` };
+    }
     const result = await executeBB(pathToBB, 'prove_tube', args, logFunction);
     const durationMs = timer.ms();
 
-    if (result.status == BB_RESULT.SUCCESS) {
+    if (result.status === BB_RESULT.SUCCESS) {
       return {
         status: BB_RESULT.SUCCESS,
         durationMs,
@@ -869,4 +876,4 @@ async function fsCache<T>(
   }
 
   return res;
-}
+}