fix integration test

scroll-tech · Sep 25, 2024 · b00a6c7 · b00a6c7
1 parent ccc8c91
commit b00a6c7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 9 deletions.
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
@@ -58,5 +58,5 @@ jobs:
           RAYON_NUM_THREADS: 2
         with:
           command: run
-          args: --package ceno_zkvm --example riscv_opcodes --target ${{ matrix.target }} -- --start 9 --end 10
+          args: --package ceno_zkvm --example riscv_opcodes --target ${{ matrix.target }} -- --start 10 --end 11
 
diff --git a/ceno_zkvm/src/utils.rs b/ceno_zkvm/src/utils.rs
@@ -2,7 +2,6 @@ use ff::Field;
 use ff_ext::ExtensionField;
 use goldilocks::SmallField;
 use itertools::Itertools;
-use std::mem;
 use transcript::Transcript;
 
 /// convert ext field element to u64, assume it is inside the range
@@ -34,13 +33,8 @@ pub fn limb_u8_to_u16(input: &[u8]) -> Vec<u16> {
         .collect()
 }
 
-pub fn split_to_u8<T: Into<u64>>(value: T) -> Vec<u8> {
-    let value: u64 = value.into(); // Convert to u64 for generality
-    let limbs: usize = {
-        let u8_bytes = (u16::BITS / 8) as usize;
-        mem::size_of::<T>() / u8_bytes
-    };
-    (0..limbs)
+pub fn split_to_u8(value: u32) -> Vec<u8> {
+    (0..4)
         .scan(value, |acc, _| {
             let limb = (*acc & 0xFF) as u8;
             *acc >>= 8;