banderwagon: check point in curve in SetBytesUncompressed

crate-crypto / go-ipa

A Go implementation of cryptographic primitives for Verkle Trees

https://verkle.dev

Apache License 2.0

32 stars 14 forks source link

Closed jsign closed 9 months ago

jsign commented 9 months ago

This PR adds an extra check in banderwagon.SetBytesUncomprssed(..., true) such that:

Checks if the x coordinate corresponds to a point in the curve.
Verifies that the resulting y coordinate bytes match the right-half of the provided bytes.

Tests were added to check both cases.