chore: ultra goblin --> mega (#6674)

Naming update: `UltraGoblin` --> `Mega`

barretenberg/Earthfile

@@ -30,15 +30,15 @@ barretenberg-acir-tests-bb:
     RUN FLOW=prove_then_verify ./run_acir_tests.sh
     # Construct and separately verify a UltraHonk proof for a single program
     RUN FLOW=prove_then_verify_ultra_honk ./run_acir_tests.sh double_verify_nested_proof
-    # Construct and separately verify a GoblinUltraHonk proof for all acir programs
-    RUN FLOW=prove_then_verify_goblin_ultra_honk ./run_acir_tests.sh
+    # Construct and separately verify a MegaHonk proof for all acir programs
+    RUN FLOW=prove_then_verify_mega_honk ./run_acir_tests.sh
     # Construct and verify a UltraHonk proof for a single program
     RUN FLOW=prove_and_verify_ultra_honk ./run_acir_tests.sh double_verify_nested_proof
-    # Construct and verify a Goblin UltraHonk (GUH) proof for a single arbitrary program
-    RUN FLOW=prove_and_verify_goblin_ultra_honk ./run_acir_tests.sh 6_array
+    # Construct and verify a MegaHonk proof for a single arbitrary program
+    RUN FLOW=prove_and_verify_mega_honk ./run_acir_tests.sh 6_array
     # Construct and verify a UltraHonk proof for all ACIR programs using the new witness stack workflow
     RUN FLOW=prove_and_verify_ultra_honk_program ./run_acir_tests.sh
-    # This is a "full" Goblin flow. It constructs and verifies four proofs: GoblinUltraHonk, ECCVM, Translator, and merge
+    # This is a "full" Goblin flow. It constructs and verifies four proofs: MegaHonk, ECCVM, Translator, and merge
     RUN FLOW=prove_and_verify_goblin ./run_acir_tests.sh 6_array
     # Run 1_mul through native bb build, all_cmds flow, to test all cli args.
     RUN FLOW=all_cmds ./run_acir_tests.sh 1_mul
@@ -82,8 +82,8 @@ barretenberg-acir-tests-bb.js:
     RUN BIN=../ts/dest/node/main.js FLOW=prove_then_verify ./run_acir_tests.sh double_verify_proof
     # Run a single arbitrary test not involving recursion through bb.js for UltraHonk
     RUN BIN=../ts/dest/node/main.js FLOW=prove_and_verify_ultra_honk ./run_acir_tests.sh 6_array
-    # Run a single arbitrary test not involving recursion through bb.js for GoblinUltraHonk
-    RUN BIN=../ts/dest/node/main.js FLOW=prove_and_verify_goblin_ultra_honk ./run_acir_tests.sh 6_array
+    # Run a single arbitrary test not involving recursion through bb.js for MegaHonk
+    RUN BIN=../ts/dest/node/main.js FLOW=prove_and_verify_mega_honk ./run_acir_tests.sh 6_array
     # Run a single arbitrary test not involving recursion through bb.js for full Goblin
     RUN BIN=../ts/dest/node/main.js FLOW=prove_and_verify_goblin ./run_acir_tests.sh 6_array
     # Run 1_mul through bb.js build, all_cmds flow, to test all cli args.

barretenberg/acir_tests/Dockerfile.bb.js

@@ -19,10 +19,10 @@ RUN BIN=../ts/dest/node/main.js FLOW=prove_then_verify ./run_acir_tests.sh doubl
 RUN BIN=../ts/dest/node/main.js FLOW=prove_then_verify_ultra_honk ./run_acir_tests.sh nested_array_dynamic
 # Run a single arbitrary test not involving recursion through bb.js for Plonk
 RUN BIN=../ts/dest/node/main.js FLOW=prove_and_verify ./run_acir_tests.sh poseidon_bn254_hash
-# Run a single arbitrary test not involving recursion through bb.js for GoblinUltraHonk
+# Run a single arbitrary test not involving recursion through bb.js for MegaHonk
 RUN BIN=../ts/dest/node/main.js FLOW=prove_and_verify_ultra_honk ./run_acir_tests.sh closures_mut_ref
 # Run a single arbitrary test for separate prove and verify for UltraHonk
-RUN BIN=../ts/dest/node/main.js FLOW=prove_and_verify_goblin_ultra_honk ./run_acir_tests.sh 6_array
+RUN BIN=../ts/dest/node/main.js FLOW=prove_and_verify_mega_honk ./run_acir_tests.sh 6_array
 # Run a single arbitrary test not involving recursion through bb.js for full Goblin
 RUN BIN=../ts/dest/node/main.js FLOW=prove_and_verify_goblin ./run_acir_tests.sh 6_array
 # Run 1_mul through bb.js build, all_cmds flow, to test all cli args.

barretenberg/acir_tests/flows/prove_and_verify_mega_honk.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+set -eu
+
+VFLAG=${VERBOSE:+-v}
+
+$BIN prove_and_verify_mega_honk $VFLAG -c $CRS_PATH -b ./target/program.json

barretenberg/acir_tests/flows/prove_then_verify_goblin_ultra_honk.sh → barretenberg/acir_tests/flows/prove_then_verify_mega_honk.sh

@@ -7,6 +7,6 @@ FLAGS="-c $CRS_PATH $VFLAG"
 
 # Test we can perform the proof/verify flow.
 # This ensures we test independent pk construction through real/garbage witness data paths.
-$BIN prove_goblin_ultra_honk -o proof $FLAGS $BFLAG
-$BIN write_vk_goblin_ultra_honk -o vk $FLAGS $BFLAG
-$BIN verify_goblin_ultra_honk -k vk -p proof $FLAGS
+$BIN prove_mega_honk -o proof $FLAGS $BFLAG
+$BIN write_vk_mega_honk -o vk $FLAGS $BFLAG
+$BIN verify_mega_honk -k vk -p proof $FLAGS