rework sumcheck

sxt/proof/sumcheck/BUILD

@@ -1,200 +1,4 @@
 # sxt_cc_component(
-#     name = "mle_utility",
-#     impl_deps = [
-#         "//sxt/base/container:span_utility",
-#         "//sxt/base/device:memory_utility",
-#         "//sxt/base/device:property",
-#         "//sxt/base/num:divide_up",
-#         "//sxt/base/num:ceil_log2",
-#         "//sxt/memory/management:managed_array",
-#         "//sxt/scalar25/type:element",
-#     ],
-#     test_deps = [
-#         "//sxt/base/device:stream",
-#         "//sxt/base/device:synchronization",
-#         "//sxt/base/test:unit_test",
-#         "//sxt/memory/management:managed_array",
-#         "//sxt/memory/resource:managed_device_resource",
-#         "//sxt/scalar25/type:element",
-#         "//sxt/scalar25/type:literal",
-#     ],
-#     deps = [
-#         "//sxt/base/container:span",
-#         "//sxt/memory/management:managed_array_fwd",
-#     ],
-# )
-#
-# sxt_cc_component(
-#     name = "sum_gpu",
-#     impl_deps = [
-#         ":constant",
-#         ":device_cache",
-#         ":mle_utility",
-#         ":polynomial_mapper",
-#         ":reduction_gpu",
-#         "//sxt/algorithm/reduction:kernel_fit",
-#         "//sxt/algorithm/reduction:thread_reduction",
-#         "//sxt/base/device:memory_utility",
-#         "//sxt/base/device:stream",
-#         "//sxt/base/device:state",
-#         "//sxt/base/iterator:split",
-#         "//sxt/base/num:ceil_log2",
-#         "//sxt/base/num:constexpr_switch",
-#         "//sxt/execution/async:coroutine",
-#         "//sxt/execution/async:future",
-#         "//sxt/execution/device:for_each",
-#         "//sxt/execution/kernel:kernel_dims",
-#         "//sxt/memory/resource:device_resource",
-#         "//sxt/memory/resource:async_device_resource",
-#         "//sxt/scalar25/operation:add",
-#         "//sxt/scalar25/operation:mul",
-#         "//sxt/scalar25/type:element",
-#     ],
-#     test_deps = [
-#         ":device_cache",
-#         "//sxt/base/iterator:split",
-#         "//sxt/base/test:unit_test",
-#         "//sxt/execution/async:future",
-#         "//sxt/execution/schedule:scheduler",
-#         "//sxt/scalar25/operation:overload",
-#         "//sxt/scalar25/type:element",
-#         "//sxt/scalar25/type:literal",
-#     ],
-#     deps = [
-#         "//sxt/base/container:span",
-#         "//sxt/execution/async:future_fwd",
-#     ],
-# )
-#
-# sxt_cc_component(
-#     name = "sumcheck_transcript",
-#     with_test = False,
-#     deps = [
-#         "//sxt/base/container:span",
-#     ],
-# )
-#
-# sxt_cc_component(
-#     name = "reference_transcript",
-#     impl_deps = [
-#         "//sxt/scalar25/type:element",
-#         "//sxt/proof/transcript:transcript_utility",
-#     ],
-#     test_deps = [
-#         "//sxt/base/test:unit_test",
-#         "//sxt/scalar25/type:literal",
-#     ],
-#     deps = [
-#         ":sumcheck_transcript",
-#         "//sxt/proof/transcript",
-#     ],
-# )
-#
-# sxt_cc_component(
-#     name = "sumcheck_random",
-#     impl_deps = [
-#         "//sxt/base/error:assert",
-#         "//sxt/base/num:fast_random_number_generator",
-#         "//sxt/scalar25/random:element",
-#         "//sxt/scalar25/type:element",
-#     ],
-#     with_test = False,
-#     deps = [
-#         ":constant",
-#     ],
-# )
-#
-# sxt_cc_component(
-#     name = "workspace",
-#     with_test = False,
-# )
-#
-# sxt_cc_component(
-#     name = "driver",
-#     with_test = False,
-#     deps = [
-#         ":workspace",
-#         "//sxt/base/container:span",
-#         "//sxt/execution/async:future_fwd",
-#     ],
-# )
-#
-# sxt_cc_component(
-#     name = "driver_test",
-#     impl_deps = [
-#         ":driver",
-#         ":workspace",
-#         "//sxt/base/test:unit_test",
-#         "//sxt/execution/async:future",
-#         "//sxt/execution/schedule:scheduler",
-#         "//sxt/scalar25/operation:overload",
-#         "//sxt/scalar25/type:element",
-#         "//sxt/scalar25/type:literal",
-#     ],
-#     with_test = False,
-# )
-#
-# sxt_cc_component(
-#     name = "cpu_driver",
-#     impl_deps = [
-#         ":polynomial_utility",
-#         "//sxt/base/container:stack_array",
-#         "//sxt/base/error:panic",
-#         "//sxt/base/num:ceil_log2",
-#         "//sxt/execution/async:future",
-#         "//sxt/memory/management:managed_array",
-#         "//sxt/scalar25/operation:mul",
-#         "//sxt/scalar25/operation:sub",
-#         "//sxt/scalar25/operation:muladd",
-#         "//sxt/scalar25/type:element",
-#         "//sxt/scalar25/type:literal",
-#     ],
-#     test_deps = [
-#         ":driver_test",
-#         "//sxt/base/test:unit_test",
-#     ],
-#     deps = [
-#         ":driver",
-#         ":workspace",
-#     ],
-# )
-#
-# sxt_cc_component(
-#     name = "gpu_driver",
-#     impl_deps = [
-#         ":constant",
-#         ":polynomial_mapper",
-#         ":sum_gpu",
-#         "//sxt/algorithm/iteration:for_each",
-#         "//sxt/algorithm/reduction:reduction",
-#         "//sxt/base/container:stack_array",
-#         "//sxt/base/device:stream",
-#         "//sxt/base/device:memory_utility",
-#         "//sxt/base/error:panic",
-#         "//sxt/base/num:ceil_log2",
-#         "//sxt/base/num:constexpr_switch",
-#         "//sxt/execution/async:coroutine",
-#         "//sxt/execution/async:future",
-#         "//sxt/execution/device:synchronization",
-#         "//sxt/memory/management:managed_array",
-#         "//sxt/memory/resource:async_device_resource",
-#         "//sxt/memory/resource:device_resource",
-#         "//sxt/scalar25/operation:mul",
-#         "//sxt/scalar25/operation:sub",
-#         "//sxt/scalar25/operation:muladd",
-#         "//sxt/scalar25/type:element",
-#         "//sxt/scalar25/type:literal",
-#     ],
-#     test_deps = [
-#         ":driver_test",
-#         "//sxt/base/test:unit_test",
-#     ],
-#     deps = [
-#         ":driver",
-#     ],
-# )
-#
-# sxt_cc_component(
 #     name = "polynomial_utility",
 #     impl_deps = [
 #         "//sxt/scalar25/operation:add",