a few more

barretenberg/CHANGELOG.md

@@ -1579,7 +1579,7 @@
 
 ### Features
 
-- Add Goblin Ultra Circuit builder ([#587](https://github.com/AztecProtocol/barretenberg/issues/587)) ([2d38c25](https://github.com/AztecProtocol/barretenberg/commit/2d38c252de8b867955da661181e51f1a5f28cbc6))
+- Add Mega Circuit builder ([#587](https://github.com/AztecProtocol/barretenberg/issues/587)) ([2d38c25](https://github.com/AztecProtocol/barretenberg/commit/2d38c252de8b867955da661181e51f1a5f28cbc6))
 - Modify bb.js to be compatible with next.js ([#544](https://github.com/AztecProtocol/barretenberg/issues/544)) ([d384089](https://github.com/AztecProtocol/barretenberg/commit/d384089f60d1a6d5baeb0d3459556a310b790366))
 - Support public inputs in Ultra Honk ([#581](https://github.com/AztecProtocol/barretenberg/issues/581)) ([9cd0a06](https://github.com/AztecProtocol/barretenberg/commit/9cd0a064b8258bf4f72dd9e1c5e8f85b074d1bbc))
 

barretenberg/Earthfile

@@ -34,7 +34,7 @@ barretenberg-acir-tests-bb:
     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 (MegaHonk) proof for a single arbitrary program
+    # 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

barretenberg/cpp/docs/src/sumcheck-outline.md

@@ -71,7 +71,7 @@ The prover algorithm is implemented in the \ref bb::SumcheckProver< Flavor > "Su
 
 #### Set up Prover Polynomials {#ProverPolynomialsSetup}
 
-The polynomials \f$P_1,\ldots, P_N\f$ are abstracted in the class ProverPolynomials specific to a Flavor, e.g. \ref bb::MegaFlavor::ProverPolynomials "Goblin Ultra Flavor".
+The polynomials \f$P_1,\ldots, P_N\f$ are abstracted in the class ProverPolynomials specific to a Flavor, e.g. \ref bb::MegaFlavor::ProverPolynomials "Mega Flavor".
 Sumcheck Prover algorithm takes a reference to an object of this class.
 
 #### Compute Round Univariates and add them to Transcript {#ComputeRoundUnivariates}

barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/mega_recursive_flavor.hpp

@@ -17,7 +17,7 @@
 namespace bb {
 
 /**
- * @brief The recursive counterpart to the "native" Goblin Ultra flavor.
+ * @brief The recursive counterpart to the "native" Mega flavor.
  * @details This flavor can be used to instantiate a recursive Ultra Honk verifier for a proof created using the
  * Mega flavor. It is similar in structure to its native counterpart with two main differences: 1) the
  * curve types are stdlib types (e.g. field_t instead of field) and 2) it does not specify any Prover related types

barretenberg/cpp/src/barretenberg/sumcheck/instance/verifier_instance.hpp

@@ -4,7 +4,7 @@
 
 namespace bb {
 /**
- * @brief The VerifierInstance encapsulates all the necessary information for a Goblin Ultra Honk Verifier to verify a
+ * @brief The VerifierInstance encapsulates all the necessary information for a Mega Honk Verifier to verify a
  * proof (sumcheck + Zeromorph). In the context of folding, this is returned by the Protogalaxy verifier with non-zero
  * target sum and gate challenges.
  *

barretenberg/cpp/src/barretenberg/ultra_honk/databus.test.cpp

@@ -34,7 +34,7 @@ class DataBusTests : public ::testing::Test {
         return verifier.verify_proof(proof);
     }
 
-    // Construct a Goblin Ultra circuit with some arbitrary sample gates
+    // Construct a Mega circuit with some arbitrary sample gates
     static MegaCircuitBuilder construct_test_builder()
     {
         auto op_queue = std::make_shared<bb::ECCOpQueue>();

barretenberg/cpp/src/barretenberg/ultra_honk/mega_transcript.test.cpp

@@ -165,7 +165,7 @@ TEST_F(MegaTranscriptTests, ProverManifestConsistency)
 }
 
 /**
- * @brief Ensure consistency between the manifest generated by the goblin ultra honk prover over the course of proof
+ * @brief Ensure consistency between the manifest generated by the mega honk prover over the course of proof
  * construction and the one generated by the verifier over the course of proof verification.
  *
  */