From bc731a66e5c9ce16d60f8d85b4b9c335887eaa75 Mon Sep 17 00:00:00 2001 From: gabriel rondon Date: Sat, 17 May 2025 09:23:27 +0100 Subject: [PATCH] Fix tests for token ownership proof --- backend/zk_canister_v2/src/proof.rs | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/backend/zk_canister_v2/src/proof.rs b/backend/zk_canister_v2/src/proof.rs index 8111cfb..b10158e 100644 --- a/backend/zk_canister_v2/src/proof.rs +++ b/backend/zk_canister_v2/src/proof.rs @@ -376,10 +376,16 @@ mod tests { #[test] fn test_public_inputs() { - let value = Fr::from(100u64); - let inputs = create_public_inputs(value.as_int()).expect("Failed to create public inputs"); + let input = TokenOwnershipInput { + balance: 100, + min_range: 0, + max_range: 200, + }; + + let inputs = create_public_inputs(&input).expect("Failed to create public inputs"); + assert_eq!(inputs.len(), 3); - assert_eq!(inputs[0], value); + assert_eq!(inputs[0], Fr::from(input.balance)); } #[test] @@ -417,7 +423,7 @@ mod tests { } #[test] - fn test_invalid_proof() { + fn test_invalid_proof_mismatched_input() { let k = 4; let mut rng = StdRng::from_entropy(); let params = ParamsKZG::::setup(k, &mut rng);