Fixed wrongfully deleted recursive_verifier settings

AztecProtocol · Mar 18, 2023 · 0144eea · 0144eea
1 parent 340b23a
commit 0144eea
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/cpp/src/barretenberg/stdlib/recursion/verifier/program_settings.hpp b/cpp/src/barretenberg/stdlib/recursion/verifier/program_settings.hpp
@@ -114,6 +114,7 @@ template <typename Curve> class recursive_turbo_verifier_settings : public plonk
 
     typedef plonk::turbo_settings base_settings;
 
+    typedef plonk::VerifierTurboFixedBaseWidget<fr_ct, g1, Transcript_pt, base_settings> TurboFixedBaseWidget;
     typedef plonk::VerifierTurboArithmeticWidget<fr_ct, g1, Transcript_pt, base_settings> TurboArithmeticWidget;
     typedef plonk::VerifierTurboRangeWidget<fr_ct, g1, Transcript_pt, base_settings> TurboRangeWidget;
     typedef plonk::VerifierTurboLogicWidget<fr_ct, g1, Transcript_pt, base_settings> TurboLogicWidget;
@@ -131,6 +132,9 @@ template <typename Curve> class recursive_turbo_verifier_settings : public plonk
         updated_alpha =
             TurboArithmeticWidget::append_scalar_multiplication_inputs(key, updated_alpha, transcript, scalars);
 
+        updated_alpha =
+            TurboFixedBaseWidget::append_scalar_multiplication_inputs(key, updated_alpha, transcript, scalars);
+
         updated_alpha = TurboRangeWidget::append_scalar_multiplication_inputs(key, updated_alpha, transcript, scalars);
 
         updated_alpha = TurboLogicWidget::append_scalar_multiplication_inputs(key, updated_alpha, transcript, scalars);
@@ -146,6 +150,8 @@ template <typename Curve> class recursive_turbo_verifier_settings : public plonk
             key, alpha_base, transcript, quotient_numerator_eval);
         updated_alpha_base = TurboArithmeticWidget::compute_quotient_evaluation_contribution(
             key, updated_alpha_base, transcript, quotient_numerator_eval);
+        updated_alpha_base = TurboFixedBaseWidget::compute_quotient_evaluation_contribution(
+            key, updated_alpha_base, transcript, quotient_numerator_eval);
         updated_alpha_base = TurboRangeWidget::compute_quotient_evaluation_contribution(
             key, updated_alpha_base, transcript, quotient_numerator_eval);
         updated_alpha_base = TurboLogicWidget::compute_quotient_evaluation_contribution(