Can't verify that a polynomial is correct

asked 2024-02-07 01:23:03 +0100

anonymous user

Anonymous

You are working on a problem that involves tampering with the domain parameters of an ECDSA. I'm trying to find a value for u that satisfies the following expression, but when I use sagemath to find the value and then do the inverse, the value doesn't fit. what could be the problem?http:// (image description)

F = GF(p)
R = PolynomialRing(F, "u")
u = R.gen()
equation = (3 * xG ^ 2 + a * u ^ 4) ^ 2 - (4 * xQ) * (
    xG ^ 3 + a * u ^ 4 * xG + b * u ^ 6
) - (8 * xG) * (xG ^ 3 + a * u ^ 4 * xG + b * u ^ 6)

roots = equation.roots(multiplicities=False)

for root in roots:
    print(hex(root))
edit retag flag offensive close merge delete

Comments

xG and many other variables are not defined in your code. Please provide a complete code. Also, what "doesn't fit" means?

Max Alekseyev gravatar imageMax Alekseyev ( 2024-02-08 20:12:31 +0100 )edit

Also, what is p ?

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2024-02-09 20:06:17 +0100 )edit