update cli to allow nonstructured hiding circuit VK

Author: ledwards2225

barretenberg/cpp/src/barretenberg/api/api_client_ivc.cpp

@@ -213,7 +213,9 @@ void ClientIVCAPI::write_vk(const Flags& flags,
         auto bytecode = get_bytecode(bytecode_path);
         write_civc_vk(flags.output_format, bytecode, output_path);
     } else if (flags.verifier_type == "standalone") {
-        write_standalone_vk(flags.output_format, bytecode_path, output_path);
+        write_standalone_vk(flags.output_format, bytecode_path, output_path, /*use_structured_trace=*/true);
+    } else if (flags.verifier_type == "hiding") {
+        write_standalone_vk(flags.output_format, bytecode_path, output_path, /*use_structured_trace=*/false);
     } else {
         const std::string msg = std::string("Can't write vk for verifier type ") + flags.verifier_type;
         throw_or_abort(msg);

barretenberg/cpp/src/barretenberg/bb/cli.cpp

@@ -256,7 +256,7 @@ int parse_and_run_cli_command(int argc, char* argv[])
                          "use case where an IVC scheme is manually constructed via recursive UltraHonk proof "
                          "verification). `ivc` produces a verification key for verifying the stack of run though a "
                          "dedicated ivc verifier class (currently the only option is the ClientIVC class) ")
-            ->check(CLI::IsMember({ "standalone", "ivc" }).name("is_member"));
+            ->check(CLI::IsMember({ "standalone", "hiding", "ivc" }).name("is_member"));
     };
 
     const auto add_verbose_flag = [&](CLI::App* subcommand) {

noir-projects/noir-protocol-circuits/bootstrap.sh

@@ -29,11 +29,11 @@ export circuits_hash=$(hash_str "$NOIR_HASH" $(cache_content_hash "^noir-project
 
 # Circuits matching these patterns we have client-ivc keys computed, rather than ultra-honk.
 readarray -t ivc_patterns < <(jq -r '.[]' "../client_ivc_circuits.json")
-readarray -t ivc_tail_patterns < <(jq -r '.[]' "../client_ivc_tail_circuits.json")
+ivc_hiding_pattern=("hiding")
 readarray -t rollup_honk_patterns < <(jq -r '.[]' "../rollup_honk_circuits.json")
 # Convert to regex string here and export for use in exported functions.
 export ivc_regex=$(IFS="|"; echo "${ivc_patterns[*]}")
-export private_tail_regex=$(IFS="|"; echo "${ivc_tail_patterns[*]}")
+export hiding_kernel_regex=$(IFS="|"; echo "${ivc_hiding_pattern[*]}")
 export rollup_honk_regex=$(IFS="|"; echo "${rollup_honk_patterns[*]}")
 
 function on_exit {
@@ -74,10 +74,10 @@ function compile {
     cache_upload circuit-$hash.tar.gz $json_path &> /dev/null
   fi
 
-  if echo "$name" | grep -qE "${private_tail_regex}"; then
+  if echo "$name" | grep -qE "${hiding_kernel_regex}"; then
     local proto="client_ivc_tail"
     # We still need the standalone IVC vk. We also create the final IVC vk from the tail (specifically, the number of public inputs is used from it).
-    local write_vk_cmd="write_vk --scheme client_ivc --verifier_type standalone"
+    local write_vk_cmd="write_vk --scheme client_ivc --verifier_type hiding"
   elif echo "$name" | grep -qE "${ivc_regex}"; then
     local proto="client_ivc"
     local write_vk_cmd="write_vk --scheme client_ivc --verifier_type standalone"
@@ -123,7 +123,7 @@ function compile {
       echo_stderr "Root rollup verifier at: $verifier_path (${SECONDS}s)"
       # Include the verifier path if we create it.
       cache_upload vk-$hash.tar.gz $key_path $verifier_path &> /dev/null
-    elif echo "$name" | grep -qE "${private_tail_regex}"; then
+    elif echo "$name" | grep -qE "${hiding_kernel_regex}"; then
       # If we are a tail kernel circuit, we also need to generate the ivc vk.
       SECONDS=0
       local ivc_vk_path="$key_dir/${name}.ivc.vk"