search

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
871 stars 188 forks source link

Document stdlib's ECDSA verifications' expectation of `s` to be lower part of curve #5294

Open Savio-Sou opened 3 months ago

Savio-Sou commented 3 months ago

Document that ECDSA verifications https://noir-lang.org/docs/noir/standard_library/cryptographic_primitives/ecdsa_sig_verification/ expect s in the (r,s) of signatures to be in the lower part of the curve.

Recommend testing with minimal code before documenting.

Credit to @wraitii for the feedback.