From ec1bce4925543b72257a7515b1b6555cf50f0e58 Mon Sep 17 00:00:00 2001 From: Maxim Vezenov Date: Mon, 9 Sep 2024 16:53:43 +0000 Subject: [PATCH] restrict keccak256_injective input to 8 bits --- acvm-repo/acvm/tests/solver.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/acvm-repo/acvm/tests/solver.rs b/acvm-repo/acvm/tests/solver.rs index 2a06e07f092..5a15586bf1b 100644 --- a/acvm-repo/acvm/tests/solver.rs +++ b/acvm-repo/acvm/tests/solver.rs @@ -1584,7 +1584,7 @@ proptest! { #[test] fn keccak256_injective(inputs_distinct_inputs in any_distinct_inputs(Some(8), 0, 32)) { let (inputs, distinct_inputs) = inputs_distinct_inputs; - let (result, message) = prop_assert_injective(inputs, distinct_inputs, 32, Some(32), keccak256_op); + let (result, message) = prop_assert_injective(inputs, distinct_inputs, 32, Some(8), keccak256_op); prop_assert!(result, "{}", message); }