expand schnorr tests for both slice and array messages

noir-lang · Aug 25, 2023 · b9b04e6 · b9b04e6
1 parent 51bca48
commit b9b04e6
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/crates/nargo_cli/tests/execution_success/brillig_schnorr/src/main.nr b/crates/nargo_cli/tests/execution_success/brillig_schnorr/src/main.nr
@@ -22,6 +22,11 @@ unconstrained fn main(message: [u8; 10], message_field: Field, pub_key_x: Field,
     }
     // Is there ever a situation where someone would want 
     // to ensure that a signature was invalid?
+    // Check that passing a slice is valid
     let valid_signature = std::schnorr::verify_signature(pub_key_x,pub_key_y,signature, message_field_bytes);
     assert(valid_signature);
+
+    // Check that passing an array is valid
+    let valid_signature = std::schnorr::verify_signature(pub_key_x,pub_key_y,signature, message);
+    assert(valid_signature);
 }
diff --git a/crates/nargo_cli/tests/execution_success/schnorr/src/main.nr b/crates/nargo_cli/tests/execution_success/schnorr/src/main.nr
@@ -11,6 +11,11 @@ fn main(message: [u8; 10], message_field: Field, pub_key_x: Field, pub_key_y: Fi
     }
     // Is there ever a situation where someone would want 
     // to ensure that a signature was invalid?
+    // Check that passing a slice as the message is valid
     let valid_signature = std::schnorr::verify_signature(pub_key_x,pub_key_y,signature, message_field_bytes);
     assert(valid_signature);
+
+    // Check that passing an array as the message is valid
+    let valid_signature = std::schnorr::verify_signature(pub_key_x,pub_key_y,signature, message);
+    assert(valid_signature);
 }