0
$\begingroup$

I'm trying to confirm a vulnerability in a signing scheme I'm helping with. To do this I need to simulate a rogue key attack on a BLS aggregate signature using the golang bn256 library https://godoc.org/golang.org/x/crypto/bn256 This requires computing the inverse of a public key.

I'm not a crypto expert but do have a fairly strong algebra background... So if g is the generator of order n then the inverse of p is just p^(n-1) right? But I have no idea what n is.

Any help would be greatly appreciated

$\endgroup$
  • $\begingroup$ Why are you doing that if you have no idea about that? Why havent you learned the basics first? $\endgroup$ – mentallurg Sep 6 at 20:45
  • $\begingroup$ @mentallurg could you please elaborate so that your comment is constructive? For example what do you mean by "that"? Anyways, I'm doing this because I need to write some code and don't have the time right now to take several semesters worth courses to learn the basics. $\endgroup$ – cmspice Sep 6 at 21:09
  • $\begingroup$ OK. Why are you "trying to simulate a rogue key attack" if you don't really understand what are you doing? Can you explain the purpose of such strange "activity"? $\endgroup$ – mentallurg Sep 6 at 21:11
  • $\begingroup$ I need to write some tests to confirm a vulnerability in a signing scheme I'm helping with. I understand it well enough at a high level but I have no experience working with the crypto primitives. $\endgroup$ – cmspice Sep 6 at 21:15
  • 1
    $\begingroup$ I added the explanation to the question. $\endgroup$ – cmspice Sep 6 at 21:20
1
$\begingroup$

Actually, computing an inverse of a point (that is, the inverse of X is the point Y such that X+Y is the identity) is quite easy.

For a curve in Weierstrass format with characteristic > 3 (which bn256 is), the inverse of the point (x, y) is the point (x, -y). That is, you compute the negation of the y coordinate (which, in this case, is modulo $p$ the characteristic of the curve, as it's a prime curve).

BTW: you stated that you "don't have the time right now ... to learn the basics"; if you want to do anything with Elliptic Curves, I would suggest you take the time (the basics shouldn't take several semesters...)

$\endgroup$
  • $\begingroup$ Thx!! I was able to invert the point by flipping the y component (I think). a * inv(a) gives me a point at infinity as expected. But (a*inv(b))*b does not give me back a right now :(. Any ideas? I'll keep poking at it. Any suggestions on learning more about elliptic curves? I'm especially interested in learning about bilinear maps so as to someday understand all the ZK stuff. $\endgroup$ – cmspice Sep 9 at 19:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.