diff --git a/circuits/cpp/barretenberg/cpp/src/barretenberg/honk/proof_system/ultra_prover.cpp b/circuits/cpp/barretenberg/cpp/src/barretenberg/honk/proof_system/ultra_prover.cpp
index c29de6d2d1f..bf355776fef 100644
--- a/circuits/cpp/barretenberg/cpp/src/barretenberg/honk/proof_system/ultra_prover.cpp
+++ b/circuits/cpp/barretenberg/cpp/src/barretenberg/honk/proof_system/ultra_prover.cpp
@@ -299,20 +299,20 @@ template <UltraFlavor Flavor> void UltraProver_<Flavor>::execute_op_queue_transc
             // T_{i-1}(γ)
             auto polynomial = Polynomial(prev_aggregate_ecc_op_transcript[idx]);
             auto evaluation = polynomial.evaluate(kappa);
-            univariate_openings.opening_pairs.emplace_back(kappa, evaluation);
+            univariate_openings.opening_pairs.emplace_back(OpenPair{kappa, evaluation});
             univariate_openings.witnesses.emplace_back(std::move(polynomial));
             transcript.send_to_verifier("prev_agg_ecc_op_queue_eval_" + suffix, evaluation);
 
             // t_i^{shift}(γ)
             evaluation = right_shifted_op_wires[idx].evaluate(kappa);
-            univariate_openings.opening_pairs.emplace_back(kappa, evaluation);
+            univariate_openings.opening_pairs.emplace_back(OpenPair{kappa, evaluation});
             univariate_openings.witnesses.emplace_back(std::move(right_shifted_op_wires[idx]));
             transcript.send_to_verifier("op_wire_eval_" + suffix, evaluation);
 
             // T_i(γ)
             polynomial = Polynomial(aggregate_ecc_op_transcript[idx]);
             evaluation = polynomial.evaluate(kappa);
-            univariate_openings.opening_pairs.emplace_back(kappa, evaluation);
+            univariate_openings.opening_pairs.emplace_back(OpenPair{kappa, evaluation});
             univariate_openings.witnesses.emplace_back(std::move(polynomial));
             transcript.send_to_verifier("agg_ecc_op_queue_eval_" + suffix, evaluation);
         }
diff --git a/circuits/cpp/barretenberg/cpp/src/barretenberg/honk/proof_system/ultra_prover.hpp b/circuits/cpp/barretenberg/cpp/src/barretenberg/honk/proof_system/ultra_prover.hpp
index c3fa27634c8..79842071810 100644
--- a/circuits/cpp/barretenberg/cpp/src/barretenberg/honk/proof_system/ultra_prover.hpp
+++ b/circuits/cpp/barretenberg/cpp/src/barretenberg/honk/proof_system/ultra_prover.hpp
@@ -25,6 +25,7 @@ template <UltraFlavor Flavor> class UltraProver_ {
     using ProverPolynomials = typename Flavor::ProverPolynomials;
     using CommitmentLabels = typename Flavor::CommitmentLabels;
     using Curve = typename Flavor::Curve;
+    using OpenPair = pcs::OpeningPair<Curve>;
 
   public:
     explicit UltraProver_(std::shared_ptr<ProvingKey> input_key, std::shared_ptr<CommitmentKey> commitment_key);
diff --git a/circuits/cpp/barretenberg/cpp/src/barretenberg/polynomials/polynomial.hpp b/circuits/cpp/barretenberg/cpp/src/barretenberg/polynomials/polynomial.hpp
index b535a5db1d0..8c704b64a3d 100644
--- a/circuits/cpp/barretenberg/cpp/src/barretenberg/polynomials/polynomial.hpp
+++ b/circuits/cpp/barretenberg/cpp/src/barretenberg/polynomials/polynomial.hpp
@@ -184,29 +184,6 @@ template <typename Fr> class Polynomial {
         zero_memory_beyond(size_);
     }
 
-    /**
-     * @brief Returns the right-shift of self by given magnitude k.
-     *
-     * @details Asserts that the last k coefficients of self are zero.
-     */
-    [[nodiscard]] Polynomial get_right_shifted(size_t shift_size = 1) const
-    {
-        ASSERT(size_ > 0);
-        ASSERT(shift_size < size_);
-        // Ensure that the last k coefficients of the pre-shifted polynomial are zero
-        for (size_t i = 0; i < shift_size; ++i) {
-            size_t idx = size_ - shift_size - 1;
-            ASSERT(coefficients_[(std::ptrdiff_t)idx].is_zero());
-        }
-        // Compute the right-shift-by-k of the polynomial
-        // Note: first shift_size coefficients of result will be zero
-        Polynomial right_shifted(size_);
-        for (size_t idx = 0; idx < size_ - shift_size; ++idx) {
-            right_shifted.at(idx + shift_size) = coefficients_[(std::ptrdiff_t)idx];
-        }
-        return right_shifted;
-    }
-
     /**
      * @brief adds the polynomial q(X) 'other', multiplied by a scaling factor.
      *