-
slave_blockerhello
-
slave_blocker:)
-
slave_blockerso far in bp's i have, from the verifier side :
-
slave_blockerP' = P + L[i]x² + R[i]x^(-2)
-
slave_blockerwhere i goes from 1 to log(64 * p)
-
slave_blockerand how does the recursion end ?
-
slave_blockerVerifier computes c = a * b and checks if P = g^a h^b u^c ?
-
slave_blockerfrom eprint.iacr.org/2017/1066.pdf line (16) of page 16 sounds very misleading.
-
slave_blockerplease help someone.