Fixed get_random_bytes now always being hashed

Author: frozenspider

src/prime_gen.rs

@@ -8,7 +8,6 @@ use crate::{
 fn hash_int<F: Field>(hasher: &mut KeccakTranscript) -> F::U {
     let n_bytes = F::W::num_words() * 8;
     let bytes = hasher.get_random_bytes(n_bytes);
-    hasher.absorb(&bytes);
     F::U::from_bytes_be(&bytes).expect("Failed to convert bytes to CryptoUint")
 }
 

src/transcript.rs

@@ -51,6 +51,11 @@ impl KeccakTranscript {
         }
 
         result.truncate(length);
+
+        self.hasher.update([0x12]);
+        self.hasher.update(&result);
+        self.hasher.update([0x34]);
+
         result
     }
 
@@ -145,9 +150,6 @@ impl KeccakTranscript {
         for i in 0..I::W::num_words() {
             let mut challenge = [0u8; 8];
             challenge.copy_from_slice(self.get_random_bytes(8).as_slice());
-            self.hasher.update([0x12]);
-            self.hasher.update(challenge);
-            self.hasher.update([0x34]);
             words[i] = PrimitiveConversion::from_primitive(u64::from_le_bytes(challenge));
         }