Lines Matching refs:z1z1
432 FieldElement z1z1, z2z2, u1, u2, s1, s2, h, i, j, r, v;
437 // Z1Z1 = Z1²
438 Square(&z1z1, a.z);
446 // U2 = X2*Z1Z1
447 Mul(&u2, b.x, z1z1);
453 // S2 = Y2*Z1*Z1Z1
454 Mul(&s2, a.z, z1z1);
491 // Z3 = ((Z1+Z2)²-Z1Z1-Z2Z2)*H
492 Add(&z1z1, z1z1, z2z2);
496 Subtract(&out->z, z2z2, z1z1);
502 z1z1[i] = v[i] << 1;
504 Add(&z1z1, j, z1z1);
505 Reduce(&z1z1);
507 Subtract(&out->x, out->x, z1z1);
515 Subtract(&z1z1, v, out->x);
516 Reduce(&z1z1);
517 Mul(&z1z1, z1z1, r);
518 Subtract(&out->y, z1z1, s1);
