search

supranational / blst

Multilingual BLS12-381 signature library
Apache License 2.0
458 stars 175 forks source link

Subtraction on bls12-381 #139

Closed 20171759 closed 1 year ago

20171759 commented 1 year ago

Given a "G1_affine" type point G (x, y), then - G should be (x, FqP - y). "Fq P" is a module over a finite field of elliptic curves.A "G1projective" point is marked as P, so G1 sub mixed(P,G) = G1 add_ mixed(P,-G)。 I want to know what is wrong with this understanding? Or can you provide some help for the calculation of "G1_sub_mixed"?

dot-asm commented 1 year ago

I'm sorry, but this is a generic textbook question. And since this project is not an educational one, such questions are bound to remain unanswered. Again, sorry.