Revert unrelated RNG change

Author: frozenspider

Cargo.toml

@@ -37,8 +37,7 @@ itertools = "0.14.0"
 num-bigint = "0.4.6"
 num-integer = "0.1.46"
 num-traits = "0.2.19"
-rand = "0.9"
-rand_chacha = "0.9"
+rand = "0.9.2"
 rayon = { version = "1.10.0", optional = true }
 sha3 = "0.10.8"
 thiserror = "2.0.12"

src/transcript.rs

@@ -184,13 +184,6 @@ impl<I: Integer> ZipTranscript<I> for KeccakTranscript {
         self.get_integer_challenge::<Int<1>>().as_words()[0]
     }
 
-    fn sample_bytes(&mut self, buf: &mut [u8]) {
-        buf.copy_from_slice(self.get_random_bytes(buf.len()).as_slice());
-        self.hasher.update([0x12]);
-        self.hasher.update(buf);
-        self.hasher.update([0x34]);
-    }
-
     fn sample_unique_columns(
         &mut self,
         range: ark_std::ops::Range<usize>,

src/zip/code_raa.rs

@@ -23,10 +23,10 @@ pub struct RaaCode<ZT: ZipTypes> {
     num_proximity_testing: usize,
 
     /// Randomness seed for the first permutation
-    perm_1_seed: [u8; 32],
+    perm_1_seed: u64,
 
     /// Randomness seed for the second permutation
-    perm_2_seed: [u8; 32],
+    perm_2_seed: u64,
 
     phantom: PhantomData<ZT>,
 }
@@ -71,10 +71,8 @@ impl<ZT: ZipTypes> RaaCode<ZT> {
             ZT::K::num_bits()
         );
 
-        let mut perm_1_seed = [0; 32];
-        transcript.sample_bytes(&mut perm_1_seed);
-        let mut perm_2_seed = [0; 32];
-        transcript.sample_bytes(&mut perm_2_seed);
+        let perm_1_seed = transcript.get_u64();
+        let perm_2_seed = transcript.get_u64();
 
         Self {
             row_len,
@@ -175,7 +173,6 @@ where
 #[cfg(test)]
 mod tests {
     use ark_std::{vec, vec::Vec};
-    use itertools::Itertools;
     use num_traits::Zero;
 
     use crate::{
@@ -248,13 +245,13 @@ mod tests {
 
     #[test]
     fn shuffle_is_deterministic_for_a_given_seed() {
-        let original: Vec<I> = (1..=1000).map(I::from).collect();
+        let original: Vec<I> = (1..=10).map(I::from).collect();
         let mut vec1 = original.clone();
         let mut vec2 = original.clone();
         let mut vec3 = original.clone();
 
-        let seed1 = (0..32).collect_array().unwrap();
-        let seed2 = (1..33).collect_array().unwrap();
+        let seed1 = 12345;
+        let seed2 = 54321;
 
         shuffle_seeded(&mut vec1, seed1);
         shuffle_seeded(&mut vec2, seed1);

src/zip/pcs/structs.rs

@@ -57,7 +57,6 @@ impl<K: Integer> MultilinearZipData<K> {
 pub trait ZipTranscript<I: Integer> {
     fn get_encoding_element(&mut self) -> I;
     fn get_u64(&mut self) -> u64;
-    fn sample_bytes(&mut self, buf: &mut [u8]);
     fn sample_unique_columns(
         &mut self,
         range: ark_std::ops::Range<usize>,

src/zip/pcs/tests.rs

@@ -35,12 +35,6 @@ impl<L: Integer> ZipTranscript<L> for MockTranscript {
         self.counter += 1;
         self.counter as u64
     }
-    fn sample_bytes(&mut self, buf: &mut [u8]) {
-        for byte in buf.iter_mut() {
-            self.counter += 1;
-            *byte = (self.counter % 256) as u8;
-        }
-    }
     fn sample_unique_columns(
         &mut self,
         range: Range<usize>,

src/zip/utils.rs

@@ -4,7 +4,7 @@ use ark_std::{
     vec::Vec,
 };
 use num_integer::Integer as NumInteger;
-use rand::{SeedableRng, seq::SliceRandom};
+use rand::{SeedableRng, rngs::StdRng, seq::SliceRandom};
 
 use crate::traits::{Integer, Words};
 
@@ -136,8 +136,8 @@ pub(super) fn expand<N: Integer, M: Integer + for<'a> From<&'a N>>(narrow_int: &
 }
 
 /// Reorder the elements in slice using the given randomness seed
-pub(super) fn shuffle_seeded<T>(slice: &mut [T], seed: [u8; 32]) {
-    let mut rng = rand_chacha::ChaCha8Rng::from_seed(seed);
+pub(super) fn shuffle_seeded<T>(slice: &mut [T], seed: u64) {
+    let mut rng = StdRng::seed_from_u64(seed);
     slice.shuffle(&mut rng);
 }