Remove broken features non_pow2_rayon_thread and riv64

Makefile.toml

@@ -11,10 +11,6 @@ CUR_TARGET = { script = ['''
         '''] }
 RAYON_NUM_THREADS = "${CORE}"
 
-[tasks.build]
-# Override the default `--all-features`, that's broken, because some of our features are mutually exclusive.
-args = ["build"]
-
 [tasks.tests]
 args = [
   "test",

ceno_zkvm/Cargo.toml

@@ -52,12 +52,9 @@ pprof2.workspace = true
 glob = "0.3"
 
 [features]
-default = ["riv32", "forbid_overflow"]
+default = ["forbid_overflow"]
 flamegraph = ["pprof2/flamegraph", "pprof2/criterion"]
 forbid_overflow = []
-non_pow2_rayon_thread = []
-riv32 = []
-riv64 = []
 
 [[bench]]
 harness = false

ceno_zkvm/src/instructions/riscv/constants.rs

@@ -14,10 +14,8 @@ pub const PUBLIC_IO_IDX: usize = 6;
 pub const LIMB_BITS: usize = 16;
 pub const LIMB_MASK: u32 = 0xFFFF;
 
-#[cfg(feature = "riv32")]
 pub const BIT_WIDTH: usize = 32usize;
-#[cfg(feature = "riv64")]
-pub const BIT_WIDTH: usize = 64usize;
+
 pub type UInt<E> = UIntLimbs<BIT_WIDTH, LIMB_BITS, E>;
 pub type UIntMul<E> = UIntLimbs<{ 2 * BIT_WIDTH }, LIMB_BITS, E>;
 /// use UInt<x> for x bits limb size

sumcheck/Cargo.toml

@@ -29,6 +29,3 @@ criterion.workspace = true
 [[bench]]
 harness = false
 name = "devirgo_sumcheck"
-
-[features]
-non_pow2_rayon_thread = []

sumcheck/src/lib.rs

@@ -1,7 +1,5 @@
 #![deny(clippy::cargo)]
 #![feature(decl_macro)]
-#[cfg(feature = "non_pow2_rayon_thread")]
-pub mod local_thread_pool;
 pub mod macros;
 mod prover;
 mod prover_v2;

sumcheck/src/prover.rs

@@ -12,9 +12,6 @@ use rayon::{
 };
 use transcript::{Challenge, Transcript, TranscriptSyncronized};
 
-#[cfg(feature = "non_pow2_rayon_thread")]
-use crate::local_thread_pool::{LOCAL_THREAD_POOL, create_local_pool_once};
-
 use crate::{
     macros::{entered_span, exit_span},
     structs::{IOPProof, IOPProverMessage, IOPProverState},
@@ -119,25 +116,11 @@ impl<E: ExtensionField> IOPProverState<E> {
             if rayon::current_num_threads() >= max_thread_id {
                 rayon::spawn(spawn_task);
             } else {
-                #[cfg(not(feature = "non_pow2_rayon_thread"))]
-                {
-                    panic!(
-                        "rayon global thread pool size {} mismatch with desired poly size {}, add --features non_pow2_rayon_thread",
-                        rayon::current_num_threads(),
-                        polys.len()
-                    );
-                }
-
-                #[cfg(feature = "non_pow2_rayon_thread")]
-                unsafe {
-                    create_local_pool_once(max_thread_id, true);
-
-                    if let Some(pool) = LOCAL_THREAD_POOL.as_ref() {
-                        pool.spawn(spawn_task)
-                    } else {
-                        panic!("empty local pool")
-                    }
-                }
+                panic!(
+                    "rayon global thread pool size {} mismatch with desired poly size {}.",
+                    rayon::current_num_threads(),
+                    polys.len()
+                );
             }
         }
 

sumcheck/src/prover_v2.rs

@@ -18,9 +18,6 @@ use rayon::{
 };
 use transcript::{Challenge, Transcript, TranscriptSyncronized};
 
-#[cfg(feature = "non_pow2_rayon_thread")]
-use crate::local_thread_pool::{LOCAL_THREAD_POOL, create_local_pool_once};
-
 use crate::{
     macros::{entered_span, exit_span},
     structs::{IOPProof, IOPProverMessage, IOPProverStateV2},
@@ -235,26 +232,11 @@ impl<'a, E: ExtensionField> IOPProverStateV2<'a, E> {
         {
             rayon::in_place_scope(scoped_fn)
         } else {
-            #[cfg(not(feature = "non_pow2_rayon_thread"))]
-            {
-                panic!(
-                    "rayon global thread pool size {} mismatch with desired poly size {}, add
-            --features non_pow2_rayon_thread",
-                    rayon::current_num_threads(),
-                    polys.len()
-                );
-            }
-
-            #[cfg(feature = "non_pow2_rayon_thread")]
-            unsafe {
-                create_local_pool_once(max_thread_id, true);
-
-                if let Some(pool) = LOCAL_THREAD_POOL.as_ref() {
-                    pool.scope(scoped_fn)
-                } else {
-                    panic!("empty local pool")
-                }
-            }
+            panic!(
+                "rayon global thread pool size {} mismatch with desired poly size {}.",
+                rayon::current_num_threads(),
+                polys.len()
+            );
         };
 
         if log2_max_thread_id == 0 {