| 481 | |
| 482 | #[allow(clippy::needless_range_loop)] |
| 483 | pub fn read_asserts_from_file(filename: &str) -> Assertions { |
| 484 | let res = read_map_from_file(filename).unwrap(); |
| 485 | let proof_vec = res.get(&0).unwrap(); |
| 486 | |
| 487 | let mut assert1 = vec![]; |
| 488 | for i in 0..NUM_PUBS { |
| 489 | let v: [u8; 32] = proof_vec[i].clone().try_into().unwrap(); |
| 490 | assert1.push(v); |
| 491 | } |
| 492 | let assert1: [[u8; 32]; NUM_PUBS] = assert1.try_into().unwrap(); |
| 493 | |
| 494 | let mut assert2 = vec![]; |
| 495 | for i in 0..NUM_U256 { |
| 496 | let v: [u8; 32] = proof_vec[NUM_PUBS + i].clone().try_into().unwrap(); |
| 497 | assert2.push(v); |
| 498 | } |
| 499 | let assert2: [[u8; 32]; NUM_U256] = assert2.try_into().unwrap(); |
| 500 | |
| 501 | let mut assert3 = vec![]; |
| 502 | for i in 0..NUM_HASH { |
| 503 | let v: [u8; BLAKE3_HASH_LENGTH] = proof_vec[NUM_PUBS + NUM_U256 + i] |
| 504 | .clone() |
| 505 | .try_into() |
| 506 | .unwrap(); |
| 507 | assert3.push(v); |
| 508 | } |
| 509 | let assert3: [[u8; BLAKE3_HASH_LENGTH]; NUM_HASH] = assert3.try_into().unwrap(); |
| 510 | (assert1, assert2, assert3) |
| 511 | } |
| 512 | } |
| 513 | |
| 514 | #[test] |