Lines Matching refs:fq1
158 FqElem fq1; in EFqAdd() local
178 FqMul(&fq1, &(right->X), &fq3); in EFqAdd()
180 FqSub(&fq5, &fq1, &fq0); in EFqAdd()
201 FqAdd(&fq1, &fq0, &fq1); in EFqAdd()
204 FqMul(&fq1, &fq1, &fq5); in EFqAdd()
206 FqSub(&(result->X), &(result->X), &fq1); in EFqAdd()
262 FqElem fq1; in EFqEq() local
273 FqSquare(&fq1, &left->Z); in EFqEq()
277 FqMul(&fq3, &fq1, &right->X); in EFqEq()
281 FqMul(&fq1, &fq1, &left->Z); in EFqEq()
285 FqMul(&fq1, &fq1, &right->Y); in EFqEq()
289 return FqEq(&fq1, &fq2) && FqEq(&fq3, &fq4); in EFqEq()
384 FqElem fq1; in EFqJOnCurve() local
387 FqSquare(&fq1, &in->Z); in EFqJOnCurve()
388 FqSquare(&fq2, &fq1); in EFqJOnCurve()
389 FqMul(&fq2, &fq2, &fq1); // T2 = Z^6 in EFqJOnCurve()
390 FqAdd(&fq1, &fq2, &fq2); in EFqJOnCurve()
391 FqAdd(&fq1, &fq1, &fq2); // T1 = 3 * Z^6 in EFqJOnCurve()
394 FqAdd(&fq1, &fq1, &fq2); // T1 = X^3 + 3 Z^6 in EFqJOnCurve()
396 FqMul(&fq1, &fq1, &in->Z); in EFqJOnCurve()
398 return FqEq(&fq1, &fq2); // check Y^2 = X^3 + 3 Z^6 in EFqJOnCurve()