diff --git a/barretenberg/cpp/src/barretenberg/proof_system/arithmetization/arithmetization.hpp b/barretenberg/cpp/src/barretenberg/proof_system/arithmetization/arithmetization.hpp
index ae5b8d172d2f..6697cee6aae7 100644
--- a/barretenberg/cpp/src/barretenberg/proof_system/arithmetization/arithmetization.hpp
+++ b/barretenberg/cpp/src/barretenberg/proof_system/arithmetization/arithmetization.hpp
@@ -104,6 +104,12 @@ template <typename FF_> class Ultra {
                                                                     "q_elliptic", "q_aux", "table_type" };
 };
 
+/**
+ * @brief Ultra Honk arithmetization
+ * @details Extends the conventional Ultra arithmetization with a new selector related to databus lookups
+ *
+ * @tparam FF_
+ */
 template <typename FF_> class UltraHonk : public Ultra<FF_> {
   public:
     static constexpr size_t NUM_SELECTORS = 12;
@@ -115,12 +121,6 @@ template <typename FF_> class UltraHonk : public Ultra<FF_> {
     UltraHonk()
         : Ultra<FF_>(NUM_SELECTORS)
     {}
-
-    // // Note: These are needed for Plonk only (for poly storage in a std::map). Must be in same order as above struct.
-    // inline static const std::vector<std::string> selector_names = { "q_m",        "q_c",   "q_1",        "q_2",
-    //                                                                 "q_3",        "q_4",   "q_arith",    "q_sort",
-    //                                                                 "q_elliptic", "q_aux", "table_type", "q_busread"
-    //                                                                 };
 };
 
 class GoblinTranslator {
diff --git a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/goblin_ultra_circuit_builder.hpp b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/goblin_ultra_circuit_builder.hpp
index 0e29557b81fe..1b7c6e6eb158 100644
--- a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/goblin_ultra_circuit_builder.hpp
+++ b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/goblin_ultra_circuit_builder.hpp
@@ -77,6 +77,10 @@ template <typename FF> class GoblinUltraCircuitBuilder_ : public UltraCircuitBui
     void finalize_circuit();
     void add_gates_to_ensure_all_polys_are_non_zero();
 
+    /**
+     * @brief Utility for adding zeros to selectors which are not part of the conventional Ultra arithmetization
+     *
+     */
     void pad_additional_selectors() override { q_busread.emplace_back(0); };
 
     size_t get_num_constant_gates() const override { return 0; }
diff --git a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp
index 6ce3c73891d0..3d36484a288a 100644
--- a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp
+++ b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp
@@ -641,6 +641,12 @@ class UltraCircuitBuilder_ : public CircuitBuilderBase<typename Arithmetization:
 
     void add_gates_to_ensure_all_polys_are_non_zero();
 
+    /**
+     * @brief Virtual method for adding zeros to selectors which are not part of the conventional Ultra arithmetization
+     * @details This method does nothing for the conventional Ultra builder but can be overriden by child classes to
+     * allow methods for constructing conventional ultra gates to be reused in builders that extend this one.
+     *
+     */
     virtual void pad_additional_selectors(){};
 
     void create_add_gate(const add_triple_<FF>& in) override;
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp
index e1fbb2b65f28..d748baa72a89 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp
@@ -8,10 +8,8 @@
 #include "barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp"
 
 template <typename T>
-concept HasPlookup = proof_system::IsAnyOf<T,
-                                           proof_system::UltraCircuitBuilder,
-                                           proof_system::UltraHonkCircuitBuilder,
-                                           proof_system::GoblinUltraCircuitBuilder>;
+concept HasPlookup =
+    proof_system::IsAnyOf<T, proof_system::UltraCircuitBuilder, proof_system::GoblinUltraCircuitBuilder>;
 
 template <typename T>
 concept IsGoblinBuilder = proof_system::IsAnyOf<T, proof_system::GoblinUltraCircuitBuilder>;
@@ -19,19 +17,16 @@ concept IsGoblinBuilder = proof_system::IsAnyOf<T, proof_system::GoblinUltraCirc
 #define INSTANTIATE_STDLIB_METHOD(stdlib_method)                                                                       \
     template stdlib_method(proof_system::StandardCircuitBuilder);                                                      \
     template stdlib_method(proof_system::UltraCircuitBuilder);                                                         \
-    template stdlib_method(proof_system::UltraHonkCircuitBuilder);                                                     \
     template stdlib_method(proof_system::GoblinUltraCircuitBuilder);
 
 #define INSTANTIATE_STDLIB_TYPE(stdlib_type)                                                                           \
     template class stdlib_type<proof_system::StandardCircuitBuilder>;                                                  \
     template class stdlib_type<proof_system::UltraCircuitBuilder>;                                                     \
-    template class stdlib_type<proof_system::UltraHonkCircuitBuilder>;                                                 \
     template class stdlib_type<proof_system::GoblinUltraCircuitBuilder>;
 
 #define INSTANTIATE_STDLIB_TYPE_VA(stdlib_type, ...)                                                                   \
     template class stdlib_type<proof_system::StandardCircuitBuilder, __VA_ARGS__>;                                     \
     template class stdlib_type<proof_system::UltraCircuitBuilder, __VA_ARGS__>;                                        \
-    template class stdlib_type<proof_system::UltraHonkCircuitBuilder, __VA_ARGS__>;                                    \
     template class stdlib_type<proof_system::GoblinUltraCircuitBuilder, __VA_ARGS__>;
 
 #define INSTANTIATE_STDLIB_BASIC_TYPE(stdlib_type) template class stdlib_type<proof_system::StandardCircuitBuilder>;
@@ -41,15 +36,12 @@ concept IsGoblinBuilder = proof_system::IsAnyOf<T, proof_system::GoblinUltraCirc
 
 #define INSTANTIATE_STDLIB_ULTRA_METHOD(stdlib_method)                                                                 \
     template stdlib_method(proof_system::UltraCircuitBuilder);                                                         \
-    template stdlib_method(proof_system::UltraHonkCircuitBuilder);                                                     \
     template stdlib_method(proof_system::GoblinUltraCircuitBuilder);
 
 #define INSTANTIATE_STDLIB_ULTRA_TYPE(stdlib_type)                                                                     \
     template class stdlib_type<proof_system::UltraCircuitBuilder>;                                                     \
-    template class stdlib_type<proof_system::UltraHonkCircuitBuilder>;                                                 \
     template class stdlib_type<proof_system::GoblinUltraCircuitBuilder>;
 
 #define INSTANTIATE_STDLIB_ULTRA_TYPE_VA(stdlib_type, ...)                                                             \
     template class stdlib_type<proof_system::UltraCircuitBuilder, __VA_ARGS__>;                                        \
-    template class stdlib_type<proof_system::UltraHonkCircuitBuilder, __VA_ARGS__>;                                    \
     template class stdlib_type<proof_system::GoblinUltraCircuitBuilder, __VA_ARGS__>;
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp
index 093351cae5ca..5b46b4c25d5c 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp
@@ -23,7 +23,6 @@ template <class Params> struct alignas(32) field;
 } // namespace barretenberg
 namespace arithmetization {
 template <typename FF_> class Ultra;
-template <typename FF_> class UltraHonk;
 } // namespace arithmetization
 namespace proof_system {
 template <class FF> class StandardCircuitBuilder_;
@@ -32,8 +31,6 @@ using StandardGrumpkinCircuitBuilder = StandardCircuitBuilder_<barretenberg::fie
 template <class Arithmetization> class UltraCircuitBuilder_;
 using UltraCircuitBuilder =
     UltraCircuitBuilder_<arithmetization::Ultra<barretenberg::field<barretenberg::Bn254FrParams>>>;
-using UltraHonkCircuitBuilder =
-    UltraCircuitBuilder_<arithmetization::UltraHonk<barretenberg::field<barretenberg::Bn254FrParams>>>;
 template <class FF> class GoblinUltraCircuitBuilder_;
 using GoblinUltraCircuitBuilder = GoblinUltraCircuitBuilder_<barretenberg::field<barretenberg::Bn254FrParams>>;
 } // namespace proof_system
@@ -41,18 +38,15 @@ using GoblinUltraCircuitBuilder = GoblinUltraCircuitBuilder_<barretenberg::field
 #define EXTERN_STDLIB_TYPE(stdlib_type)                                                                                \
     extern template class stdlib_type<proof_system::StandardCircuitBuilder>;                                           \
     extern template class stdlib_type<proof_system::UltraCircuitBuilder>;                                              \
-    extern template class stdlib_type<proof_system::UltraHonkCircuitBuilder>;                                          \
     extern template class stdlib_type<proof_system::GoblinUltraCircuitBuilder>;
 
 #define EXTERN_STDLIB_METHOD(stdlib_method)                                                                            \
     extern template stdlib_method(proof_system::StandardCircuitBuilder);                                               \
     extern template stdlib_method(proof_system::UltraCircuitBuilder);                                                  \
-    extern template stdlib_method(proof_system::UltraHonkCircuitBuilder);                                              \
     extern template stdlib_method(proof_system::GoblinUltraCircuitBuilder);
 
 #define EXTERN_STDLIB_TYPE_VA(stdlib_type, ...)                                                                        \
     extern template class stdlib_type<proof_system::StandardCircuitBuilder, __VA_ARGS__>;                              \
-    extern template class stdlib_type<proof_system::UltraHonkCircuitBuilder, __VA_ARGS__>;                             \
     extern template class stdlib_type<proof_system::UltraCircuitBuilder, __VA_ARGS__>;                                 \
     extern template class stdlib_type<proof_system::GoblinUltraCircuitBuilder, __VA_ARGS__>;
 
@@ -63,15 +57,12 @@ using GoblinUltraCircuitBuilder = GoblinUltraCircuitBuilder_<barretenberg::field
 
 #define EXTERN_STDLIB_ULTRA_TYPE(stdlib_type)                                                                          \
     extern template class stdlib_type<proof_system::UltraCircuitBuilder>;                                              \
-    extern template class stdlib_type<proof_system::UltraHonkCircuitBuilder>;                                          \
     extern template class stdlib_type<proof_system::GoblinUltraCircuitBuilder>;
 
 #define EXTERN_STDLIB_ULTRA_TYPE_VA(stdlib_type, ...)                                                                  \
     extern template class stdlib_type<proof_system::UltraCircuitBuilder, __VA_ARGS__>;                                 \
-    extern template class stdlib_type<proof_system::UltraHonkCircuitBuilder, __VA_ARGS__>;                             \
     extern template class stdlib_type<proof_system::GoblinUltraCircuitBuilder, __VA_ARGS__>;
 
 #define EXTERN_STDLIB_ULTRA_METHOD(stdlib_method)                                                                      \
     extern template stdlib_method(proof_system::UltraCircuitBuilder);                                                  \
-    extern template stdlib_method(proof_system::UltraHonkCircuitBuilder);                                              \
     extern template stdlib_method(proof_system::GoblinUltraCircuitBuilder);