Implement Small-Value Sum-Check Optimization (Algorithm 6)

Cargo.toml

@@ -16,6 +16,7 @@ bellpepper = "0.4.0"
 ff = { version = "0.13.0", features = ["derive"] }
 digest = "0.10"
 sha3 = "0.10"
+sha2 = "0.10"
 rayon = "1.10.0"
 rand_core = { version = "0.6", default-features = false, features = ["getrandom"] }
 itertools = "0.14.0"
@@ -36,6 +37,7 @@ once_cell = "1.18.0"
 tracing = "0.1"
 tracing-subscriber = { version = "0.3.18", features = ["env-filter", "time"] }
 tikv-jemallocator = { version = "0.6.0", optional = true }
+clap = { version = "4", features = ["derive"] }
 
 [target.wasm32-unknown-unknown.dependencies]
 # see https://github.com/rust-random/rand/pull/948
@@ -50,12 +52,12 @@ proptest = "1.2.0"
 
 
 [features]
-default = ["halo2curves/asm"]
+default = []
 jem = ["tikv-jemallocator"]
 
 [profile.release]
 debug = 1
 lto = "fat"
- 
+
 [target.'cfg(target_arch = "x86_64")'.dependencies]
 halo2curves = { version = "0.9.0", features = ["derive_serde", "std", "asm"] }