In ecrecover/secp256k1/mod.rs, lines 147 to 153 is wrong:
As is_zero is defined like:
Also, self.infinity is toggled up when self.x = self.y = 0:
ecrecover/secp256k1/mod.rs, lines 189 to 211
Im putting it as a Low as it may be some weird math thing, but the zero element in all math-things is defined as the one that makes:
Note: please see calculation in wardens original submission.
Having two zero-elements is definetly wrong. If I am right, then it may be a High as some functions like eq or is_on_curve would return true for both.
Note: please see scenario in wardens original submission.
I cant give you a solution, as I do not know which one is the right point, as in some places it says it is the (0, 0) and in others say it is (0, 1).
