split out constant

spaceandtimelabs · Nov 4, 2024 · 36a24f3 · 36a24f3
1 parent d320530
commit 36a24f3
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/sxt/proof/sumcheck/BUILD b/sxt/proof/sumcheck/BUILD
@@ -3,6 +3,11 @@ load(
     "sxt_cc_component",
 )
 
+sxt_cc_component(
+    name = "constant",
+    with_test = False,
+)
+
 sxt_cc_component(
     name = "workspace",
     with_test = False,
@@ -76,6 +81,7 @@ sxt_cc_component(
 sxt_cc_component(
     name = "gpu_driver",
     impl_deps = [
+        ":constant",
         ":partial_polynomial_mapper",
         ":polynomial_mapper",
         ":polynomial_utility",

diff --git a/sxt/proof/sumcheck/gpu_driver.cc b/sxt/proof/sumcheck/gpu_driver.cc
@@ -34,6 +34,7 @@
 #include "sxt/memory/management/managed_array.h"
 #include "sxt/memory/resource/async_device_resource.h"
 #include "sxt/memory/resource/device_resource.h"
+#include "sxt/proof/sumcheck/constant.h"
 #include "sxt/proof/sumcheck/partial_polynomial_mapper.h"
 #include "sxt/proof/sumcheck/polynomial_mapper.h"
 #include "sxt/proof/sumcheck/polynomial_utility.h"
@@ -125,7 +126,6 @@ gpu_driver::make_workspace(basct::cspan<s25t::element> mles,
 //--------------------------------------------------------------------------------------------------
 xena::future<> gpu_driver::sum(basct::span<s25t::element> polynomial,
                                workspace& ws) const noexcept {
-  static constexpr unsigned max_degree_v = 5u;
   auto& work = static_cast<gpu_workspace&>(ws);
   auto n = work.n;
   auto mid = 1u << (work.num_variables - 1u);