From bc24f006ef389d3f6e6cf543f902adf2a8611416 Mon Sep 17 00:00:00 2001 From: Sergio Chouhy Date: Wed, 26 Nov 2025 17:37:22 -0300 Subject: [PATCH] use window --- nssa/program_methods/guest/src/bin/pinata.rs | 1 - .../guest/src/bin/privacy_preserving_circuit.rs | 9 ++++++--- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/nssa/program_methods/guest/src/bin/pinata.rs b/nssa/program_methods/guest/src/bin/pinata.rs index a92fb33..377d6a6 100644 --- a/nssa/program_methods/guest/src/bin/pinata.rs +++ b/nssa/program_methods/guest/src/bin/pinata.rs @@ -1,6 +1,5 @@ use nssa_core::program::{ProgramInput, read_nssa_inputs, write_nssa_outputs}; use risc0_zkvm::{ - serde::to_vec, sha::{Impl, Sha256}, }; diff --git a/nssa/program_methods/guest/src/bin/privacy_preserving_circuit.rs b/nssa/program_methods/guest/src/bin/privacy_preserving_circuit.rs index 67a916f..18556f9 100644 --- a/nssa/program_methods/guest/src/bin/privacy_preserving_circuit.rs +++ b/nssa/program_methods/guest/src/bin/privacy_preserving_circuit.rs @@ -37,13 +37,16 @@ fn main() { panic!("Call stack is incomplete"); } - for i in 0..(program_outputs.len() - 1) { - let Some(chained_call) = &program_outputs[i].chained_call else { + for window in program_outputs.windows(2) { + let caller = &window[0]; + let callee = &window[1]; + + let Some(chained_call) = &caller.chained_call else { panic!("Expected chained call"); }; // Check that instruction data in caller is the instruction data in callee - if chained_call.instruction_data != program_outputs[i + 1].instruction_data { + if chained_call.instruction_data != callee.instruction_data { panic!("Invalid instruction data"); } }