fix N in aggregation script

This commit is contained in:
M Alghazwi 2025-05-22 14:08:56 +02:00
parent 39957e98b2
commit 507c91c06c
No known key found for this signature in database
GPG Key ID: 646E567CAD7DB607

View File

@ -15,24 +15,23 @@ fn main() -> Result<()> {
let t: usize = args.get(1).and_then(|s| s.parse().ok()).unwrap_or(4); let t: usize = args.get(1).and_then(|s| s.parse().ok()).unwrap_or(4);
match t { match t {
2 => run_tree::<2>()?, 2 => run_tree::<N,2>()?,
4 => run_tree::<4>()?, 4 => run_tree::<N, 4>()?,
8 => run_tree::<8>()?, 8 => run_tree::<N, 8>()?,
16 => run_tree::<2>()?, 16 => run_tree::<N, 16>()?,
32 => run_tree::<4>()?, 32 => run_tree::<N, 32>()?,
64 => run_tree::<8>()?, 64 => run_tree::<N, 64>()?,
128 => run_tree::<2>()?, 128 => run_tree::<N, 128>()?,
256 => run_tree::<4>()?, 256 => run_tree::<N, 256>()?,
512 => run_tree::<8>()?, 512 => run_tree::<N, 512>()?,
1024 => run_tree::<8>()?, 1024 => run_tree::<N, 1024>()?,
other => panic!("unsupported proof count: {}", other), other => panic!("unsupported proof count: {}", other),
} }
Ok(()) Ok(())
} }
fn run_tree<const T: usize>() -> Result<()> { fn run_tree<const N: usize, const T: usize>() -> Result<()> {
const N: usize = 2;
// Read the proof // Read the proof
let proof_with_pi = import_proof_with_pi::<F,C,D>()?; let proof_with_pi = import_proof_with_pi::<F,C,D>()?;
println!("Proof with public input imported from: {}", PROOF_JSON); println!("Proof with public input imported from: {}", PROOF_JSON);