diff --git a/artifacts/program_methods/privacy_preserving_circuit.bin b/artifacts/program_methods/privacy_preserving_circuit.bin index 577ce0be..3dbf6032 100644 Binary files a/artifacts/program_methods/privacy_preserving_circuit.bin and b/artifacts/program_methods/privacy_preserving_circuit.bin differ diff --git a/nssa/src/state.rs b/nssa/src/state.rs index cb1e2f3e..ff16175c 100644 --- a/nssa/src/state.rs +++ b/nssa/src/state.rs @@ -2402,7 +2402,7 @@ pub mod tests { vec![pre_state], Program::serialize_instruction(seed).unwrap(), vec![3], - vec![(npk, 0, shared_secret)], + vec![(npk, u128::MAX, shared_secret)], vec![], vec![None], &program.into(), @@ -2474,7 +2474,7 @@ pub mod tests { vec![pre_state], Program::serialize_instruction((seed, seed, callee_id)).unwrap(), vec![3], - vec![(npk, 0, shared_secret)], + vec![(npk, u128::MAX, shared_secret)], vec![], vec![None], &program_with_deps, diff --git a/program_methods/guest/src/bin/privacy_preserving_circuit.rs b/program_methods/guest/src/bin/privacy_preserving_circuit.rs index 57e414f2..70979b7e 100644 --- a/program_methods/guest/src/bin/privacy_preserving_circuit.rs +++ b/program_methods/guest/src/bin/privacy_preserving_circuit.rs @@ -17,7 +17,7 @@ use nssa_core::{ }; use risc0_zkvm::{guest::env, serde::to_vec}; -const PRIVATE_PDA_FIXED_IDENTIFIER: u128 = 0; +const PRIVATE_PDA_FIXED_IDENTIFIER: u128 = u128::MAX; /// State of the involved accounts before and after program execution. struct ExecutionState {