From 389c0bb050a07b48d7e2870c99deece43e42e7f7 Mon Sep 17 00:00:00 2001 From: Dmitriy Ryajov Date: Mon, 27 Mar 2023 18:50:59 -0600 Subject: [PATCH] use rando data for chunks --- src/circuit_tests/mod.rs | 3 --- src/ffi.rs | 10 ++++++++-- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/src/circuit_tests/mod.rs b/src/circuit_tests/mod.rs index f37f905..b60fb93 100644 --- a/src/circuit_tests/mod.rs +++ b/src/circuit_tests/mod.rs @@ -129,9 +129,6 @@ mod test { parent_hash_l, ]; - println!("hashes: {:?}", hashes); - println!("siblings: {:?}", siblings); - let root = merkelize(hashes.as_slice()); let proof_bytes = &mut Vec::new(); let public_inputs_bytes = &mut Vec::new(); diff --git a/src/ffi.rs b/src/ffi.rs index 6d5de01..dd5e3e5 100644 --- a/src/ffi.rs +++ b/src/ffi.rs @@ -175,6 +175,7 @@ pub extern "C" fn free_proof_ctx(ctx: *mut ProofCtx) { #[cfg(test)] mod tests { + use ark_std::rand::{rngs::ThreadRng, distributions::Alphanumeric, Rng}; use ruint::aliases::U256; use crate::{ @@ -190,7 +191,12 @@ mod tests { // and hash is the hash of each vector generated using the digest function let data = (0..4) .map(|_| { - let preimages: Vec = (0..4).map(|_| U256::from(1)).collect(); + let rng = ThreadRng::default(); + let preimages: Vec = rng + .sample_iter(Alphanumeric) + .take(256) + .map(|c| U256::from(c)) + .collect(); let hash = digest(&preimages, Some(16)); (preimages, hash) }) @@ -216,7 +222,7 @@ mod tests { let sibling_hashes = &[ hashes[1], parent_hash_r, - hashes[1], + hashes[0], parent_hash_r, hashes[3], parent_hash_l,