From 4ed1487a4e5f0e54a3f5d9db8bdde4b352d7d84b Mon Sep 17 00:00:00 2001 From: benesjan Date: Mon, 29 Apr 2024 13:17:08 +0000 Subject: [PATCH] more tests --- .../execution_success/variable_base_scalar_mul/src/main.nr | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/noir/noir-repo/test_programs/execution_success/variable_base_scalar_mul/src/main.nr b/noir/noir-repo/test_programs/execution_success/variable_base_scalar_mul/src/main.nr index 051a6a977a69..12a86333663d 100644 --- a/noir/noir-repo/test_programs/execution_success/variable_base_scalar_mul/src/main.nr +++ b/noir/noir-repo/test_programs/execution_success/variable_base_scalar_mul/src/main.nr @@ -16,4 +16,9 @@ fn main( assert(triple.x == res[0]); assert(triple.y == res[1]); + + // Multiplying the point by 1 should return the same point + let res = std::scalar_mul::variable_base_embedded_curve(point_x, point_y, 1, 0); + assert(point_x == res[0]); + assert(point_y == res[1]); }