std::schnorr::verify_signature_noir ability to verify every message

[jewelofchaos9]

Problem

std::schnorr::verify_signature_noir returns true, if public key is valid and this check invalid for every message.

Expected Behavior

Returned false

Bug

use dep::std;
use std::embedded_curve_ops::{EmbeddedCurvePoint};


fn main(
) {
}


#[test]
fn test_main() {
    let public_key: EmbeddedCurvePoint = EmbeddedCurvePoint {x: 1, y: 17631683881184975370165255887551781615748388533673675138860, is_infinite: false};
    let signature: [u8; 64] = [0; 64];
    let message: [u8; _] = [2; 64]; // every message
    let verified = std::schnorr::verify_signature_noir(public_key, signature, message);
    assert(verified);
}

To Reproduce

1. Create Noir project for program written in bug section.
2. Run nargo test

Possible fix

else {return false;} after check

Environment

nargo version = 0.35.0 
noirc version = 0.35.0+2a0d211b92d002fa75855d4ba27267f8892dd52c (git version hash: 2a0d211b92d002fa75855d4ba27267f8892dd52c, is dirty: false)