change pda reserved identifier

This commit is contained in:
Sergio Chouhy 2026-04-24 19:48:16 -03:00
parent 85a6763490
commit 924b30650c
3 changed files with 3 additions and 3 deletions

View File

@ -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,

View File

@ -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 {