fix tests

This commit is contained in:
Sergio Chouhy 2025-09-02 12:56:01 -03:00
parent 5190b486c4
commit f3d63806c3
2 changed files with 6 additions and 3 deletions

View File

@ -33,12 +33,12 @@ fn main() {
// Check that the program is well behaved.
// See the # Programs section for the definition of the `validate_execution` method.
if !validate_execution(&pre_states, &post_states, program_id) {
panic!();
panic!("Bad behaved program");
}
let n_accounts = pre_states.len();
if visibility_mask.len() != n_accounts {
panic!();
panic!("Invalid visibility mask length");
}
// These lists will be the public outputs of this circuit

View File

@ -111,6 +111,7 @@ mod tests {
let program = Program::authenticated_transfer_program();
let sender = AccountWithMetadata {
account: Account {
program_owner: program.id(),
balance: 100,
..Account::default()
},
@ -177,11 +178,13 @@ mod tests {
#[test]
fn prove_privacy_preserving_execution_circuit_fully_private() {
let program = Program::authenticated_transfer_program();
let sender_pre = AccountWithMetadata {
account: Account {
balance: 100,
nonce: 0xdeadbeef,
..Account::default()
program_owner: program.id(),
data: vec![],
},
is_authorized: true,
};