340 void Jac_toAffine(uint32_t *X3, uint32_t *Y3, uint32_t *X1, uint32_t *Y1, uint32_t *Z1);
346 void Jac_addition(uint32_t *X3,
362 …uint32_t *X3, uint32_t *Y3, uint32_t *Z3, uint32_t *X1, uint32_t *Y1, uint32_t *Z1, uint32_t *X2, …
368 void Jac_double(uint32_t *X3, uint32_t *Y3, uint32_t *Z3, uint32_t *X1, uint32_t *Y1, uint32_t *Z1);
378 …uint32_t *X3, uint32_t *Y3, uint32_t *Z3, uint32_t *X1, uint32_t *Y1, uint32_t *k, uint32_t *p, ui…
386 void double_scalar_multiplication(uint32_t *X3,
1930 void Jac_toAffine(uint32_t *X3, uint32_t *Y3, uint32_t *X1, uint32_t *Y1, uint32_t *Z1)  in Jac_toAffine()  argument
1958     multiply_casper(X3, X1, T2); // X3 = X/Z^2  in Jac_toAffine()
1965 void Jac_addition(uint32_t *X3,  in Jac_addition()  argument
1992         CASPER_MEMCPY(X3, X2, N_wordlen * 4U);  in Jac_addition()
1999         CASPER_MEMCPY(X3, X1, N_wordlen * 4U);  in Jac_addition()
2020             Jac_double(X3, Y3, Z3, X1, Y1, Z1);  in Jac_addition()
2039     sub_casper(X3, t0, t1);  in Jac_addition()
2040     sub_casper(t0, V, X3);  in Jac_addition()
2058 …uint32_t *X3, uint32_t *Y3, uint32_t *Z3, uint32_t *X1, uint32_t *Y1, uint32_t *Z1, uint32_t *X2, …  in Jac_add_affine()  argument
2086         CASPER_MEMCPY(X3, X2, N_wordlen * 4U);  in Jac_add_affine()
2104             Jac_double(X3, Y3, Z3, X1, Y1, Z1);  in Jac_add_affine()
2120     square_casper(X3, T2);  in Jac_add_affine()
2121     sub_casper(X3, X3, T1);  in Jac_add_affine()
2122     sub_casper(X3, X3, T4);  in Jac_add_affine()
2123     sub_casper(T3, T5, X3);  in Jac_add_affine()
2135 void Jac_double(uint32_t *X3, uint32_t *Y3, uint32_t *Z3, uint32_t *X1, uint32_t *Y1, uint32_t *Z1)  in Jac_double()  argument
2167     square_casper(X3, T2);  in Jac_double()
2171     sub_casper(X3, X3, T1);  in Jac_double()
2173     sub_casper(T1, T3, X3);  in Jac_double()
2265 …uint32_t *X3, uint32_t *Y3, uint32_t *Z3, uint32_t *X1, uint32_t *Y1, uint32_t *k, uint32_t *p, ui…  in Jac_scalar_multiplication()  argument
2319     Jac_double(X3, Y3, Z3, X1, Y1, Z3);  in Jac_scalar_multiplication()
2322 …Jac_add_affine(FSL_CASPER_LUT(3U, 0U), FSL_CASPER_LUT(3U, 1U), FSL_CASPER_LUT(3U, 2U), X3, Y3, Z3,…  in Jac_scalar_multiplication()
2326                  FSL_CASPER_LUT(3U, 1U), FSL_CASPER_LUT(3U, 2U), X3, Y3, Z3);  in Jac_scalar_multiplication()
2330                  FSL_CASPER_LUT(5U, 1U), FSL_CASPER_LUT(5U, 2U), X3, Y3, Z3);  in Jac_scalar_multiplication()
2346     CASPER_MEMCPY(X3, FSL_CASPER_LUT((uint32_t)index, 0U), N_wordlen * sizeof(uint32_t));  in Jac_scalar_multiplication()
2375     GET_LUT(X3, Y3, Z3, index);  in Jac_scalar_multiplication()
2383         Jac_double(X3, Y3, Z3, X3, Y3, Z3);  in Jac_scalar_multiplication()
2384         Jac_double(X3, Y3, Z3, X3, Y3, Z3);  in Jac_scalar_multiplication()
2385         Jac_double(X3, Y3, Z3, X3, Y3, Z3);  in Jac_scalar_multiplication()
2396         Jac_addition(X3, Y3, Z3, X3, Y3, Z3, X, scalar, Z);  in Jac_scalar_multiplication()
2635 void double_scalar_multiplication(uint32_t *X3,  in double_scalar_multiplication()  argument
2722     CASPER_MEMCPY(X3, &lut[GETLUTX(index)], N_wordlen * sizeof(uint32_t));  in double_scalar_multiplication()
2746             Jac_double(X3, Y3, Z3, X3, Y3, Z3);  in double_scalar_multiplication()
2757             Jac_double(X3, Y3, Z3, X3, Y3, Z3);  in double_scalar_multiplication()
2780         Jac_addition(X3, Y3, Z3, X3, Y3, Z3, Tx, Ty,  in double_scalar_multiplication()
2788         Jac_double(X3, Y3, Z3, X3, Y3, Z3);  in double_scalar_multiplication()
2793             Jac_add_affine(X3, Y3, Z3, X3, Y3, Z3, X1, Y1);  in double_scalar_multiplication()
2797             Jac_add_affine(X3, Y3, Z3, X3, Y3, Z3, X2, Y2);  in double_scalar_multiplication()
2804         Jac_double(X3, Y3, Z3, X3, Y3, Z3);  in double_scalar_multiplication()