Ask Your Question

cryptoqs's profile - activity

2022-03-05 20:48:38 +0100 marked best answer Partial evaluation of a MV Polynomial.

I have a polynomial defined as:

q = next_prime(2^128)
P.< x1, x2, x3, x4, x5> = GF(q)[]
p = (x1*x2) + (x3*x4)

I would like to obtain the resulting polynomial by partially evaluating by some variables.

Example partial polynomial p' generated by evaluating p at x2 = 2:

p' = (2*x1) + (x3*x4)

Is there a way to accomplish this?

2022-03-05 20:48:38 +0100 received badge  Scholar (source)
2022-03-05 20:44:10 +0100 commented answer Partial evaluation of a MV Polynomial.

Alright, after working on it a little bit, I think that this behaviour is not implemented correctly. For p(x1, x2, x3) =

2022-03-05 18:51:12 +0100 commented answer Partial evaluation of a MV Polynomial.

Thanks! I actually did p(x2=1) and got 0 as a result and thought it was wrong, it was actually working. However, I still

2022-03-05 18:48:26 +0100 commented answer Partial evaluation of a MV Polynomial.

Thanks! I actually did p(x2=1) and got 0 as a result and thought it was wrong. However, it just worked on anything but 1

2022-03-05 16:17:09 +0100 asked a question Partial evaluation of a MV Polynomial.

Partial evaluation of a MV Polynomial. I have a polynomial defined as: q = next_prime(2^128) P. x1, x2, x3, x4, x5 = G