jdk-sandbox: jdk/src/share/native/sun/security/ec/impl/ecp

9774 50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	1	/*
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	2	* Copyright (c) 2007, 2011, Oracle and/or its affiliates. All rights reserved.
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	3	* Use is subject to license terms.
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	4	*
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	5	* This library is free software; you can redistribute it and/or
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	6	* modify it under the terms of the GNU Lesser General Public
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	7	* License as published by the Free Software Foundation; either
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	8	* version 2.1 of the License, or (at your option) any later version.
3863 8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	9	*
9774 50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	10	* This library is distributed in the hope that it will be useful,
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	11	* but WITHOUT ANY WARRANTY; without even the implied warranty of
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	12	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	13	* Lesser General Public License for more details.
3863 8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	14	*
9774 50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	15	* You should have received a copy of the GNU Lesser General Public License
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	16	* along with this library; if not, write to the Free Software Foundation,
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	17	* Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
3863 8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	18	*
9774 50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	20	* or visit www.oracle.com if you need additional information or have any
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	21	* questions.
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	22	*/
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	23
50a2b28ca54c 7049173: Replace the software license for ECC native code vinnie parents: 9035 diff changeset	24	/* *********************************************************************
3863 8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	25	*
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	26	* The Original Code is the elliptic curve math library for prime field curves.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	27	*
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	28	* The Initial Developer of the Original Code is
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	29	* Sun Microsystems, Inc.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	30	* Portions created by the Initial Developer are Copyright (C) 2003
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	31	* the Initial Developer. All Rights Reserved.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	32	*
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	33	* Contributor(s):
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	34	* Sheueling Chang-Shantz <sheueling.chang@sun.com>,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	35	* Stephen Fung <fungstep@hotmail.com>, and
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	36	* Douglas Stebila <douglas@stebila.ca>, Sun Microsystems Laboratories.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	37	* Bodo Moeller <moeller@cdc.informatik.tu-darmstadt.de>,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	38	* Nils Larsch <nla@trustcenter.de>, and
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	39	* Lenka Fibikova <fibikova@exp-math.uni-essen.de>, the OpenSSL Project
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	40	*
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	41	*********************************************************************** */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	42
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	43	#include "ecp.h"
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	44	#include "mplogic.h"
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	45	#ifndef _KERNEL
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	46	#include <stdlib.h>
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	47	#endif
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	48	#ifdef ECL_DEBUG
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	49	#include <assert.h>
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	50	#endif
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	51
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	52	/* Converts a point P(px, py) from affine coordinates to Jacobian
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	53	* projective coordinates R(rx, ry, rz). Assumes input is already
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	54	* field-encoded using field_enc, and returns output that is still
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	55	* field-encoded. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	56	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	57	ec_GFp_pt_aff2jac(const mp_int px, const mp_int py, mp_int *rx,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	58	mp_int ry, mp_int rz, const ECGroup *group)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	59	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	60	mp_err res = MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	61
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	62	if (ec_GFp_pt_is_inf_aff(px, py) == MP_YES) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	63	MP_CHECKOK(ec_GFp_pt_set_inf_jac(rx, ry, rz));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	64	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	65	MP_CHECKOK(mp_copy(px, rx));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	66	MP_CHECKOK(mp_copy(py, ry));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	67	MP_CHECKOK(mp_set_int(rz, 1));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	68	if (group->meth->field_enc) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	69	MP_CHECKOK(group->meth->field_enc(rz, rz, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	70	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	71	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	72	CLEANUP:
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	73	return res;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	74	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	75
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	76	/* Converts a point P(px, py, pz) from Jacobian projective coordinates to
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	77	* affine coordinates R(rx, ry). P and R can share x and y coordinates.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	78	* Assumes input is already field-encoded using field_enc, and returns
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	79	* output that is still field-encoded. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	80	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	81	ec_GFp_pt_jac2aff(const mp_int px, const mp_int py, const mp_int *pz,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	82	mp_int rx, mp_int ry, const ECGroup *group)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	83	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	84	mp_err res = MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	85	mp_int z1, z2, z3;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	86
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	87	MP_DIGITS(&z1) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	88	MP_DIGITS(&z2) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	89	MP_DIGITS(&z3) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	90	MP_CHECKOK(mp_init(&z1, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	91	MP_CHECKOK(mp_init(&z2, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	92	MP_CHECKOK(mp_init(&z3, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	93
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	94	/* if point at infinity, then set point at infinity and exit */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	95	if (ec_GFp_pt_is_inf_jac(px, py, pz) == MP_YES) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	96	MP_CHECKOK(ec_GFp_pt_set_inf_aff(rx, ry));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	97	goto CLEANUP;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	98	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	99
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	100	/* transform (px, py, pz) into (px / pz^2, py / pz^3) */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	101	if (mp_cmp_d(pz, 1) == 0) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	102	MP_CHECKOK(mp_copy(px, rx));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	103	MP_CHECKOK(mp_copy(py, ry));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	104	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	105	MP_CHECKOK(group->meth->field_div(NULL, pz, &z1, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	106	MP_CHECKOK(group->meth->field_sqr(&z1, &z2, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	107	MP_CHECKOK(group->meth->field_mul(&z1, &z2, &z3, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	108	MP_CHECKOK(group->meth->field_mul(px, &z2, rx, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	109	MP_CHECKOK(group->meth->field_mul(py, &z3, ry, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	110	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	111
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	112	CLEANUP:
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	113	mp_clear(&z1);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	114	mp_clear(&z2);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	115	mp_clear(&z3);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	116	return res;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	117	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	118
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	119	/* Checks if point P(px, py, pz) is at infinity. Uses Jacobian
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	120	* coordinates. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	121	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	122	ec_GFp_pt_is_inf_jac(const mp_int px, const mp_int py, const mp_int *pz)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	123	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	124	return mp_cmp_z(pz);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	125	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	126
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	127	/* Sets P(px, py, pz) to be the point at infinity. Uses Jacobian
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	128	* coordinates. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	129	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	130	ec_GFp_pt_set_inf_jac(mp_int px, mp_int py, mp_int *pz)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	131	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	132	mp_zero(pz);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	133	return MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	134	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	135
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	136	/* Computes R = P + Q where R is (rx, ry, rz), P is (px, py, pz) and Q is
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	137	* (qx, qy, 1). Elliptic curve points P, Q, and R can all be identical.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	138	* Uses mixed Jacobian-affine coordinates. Assumes input is already
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	139	* field-encoded using field_enc, and returns output that is still
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	140	* field-encoded. Uses equation (2) from Brown, Hankerson, Lopez, and
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	141	* Menezes. Software Implementation of the NIST Elliptic Curves Over Prime
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	142	* Fields. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	143	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	144	ec_GFp_pt_add_jac_aff(const mp_int px, const mp_int py, const mp_int *pz,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	145	const mp_int qx, const mp_int qy, mp_int *rx,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	146	mp_int ry, mp_int rz, const ECGroup *group)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	147	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	148	mp_err res = MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	149	mp_int A, B, C, D, C2, C3;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	150
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	151	MP_DIGITS(&A) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	152	MP_DIGITS(&B) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	153	MP_DIGITS(&C) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	154	MP_DIGITS(&D) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	155	MP_DIGITS(&C2) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	156	MP_DIGITS(&C3) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	157	MP_CHECKOK(mp_init(&A, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	158	MP_CHECKOK(mp_init(&B, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	159	MP_CHECKOK(mp_init(&C, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	160	MP_CHECKOK(mp_init(&D, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	161	MP_CHECKOK(mp_init(&C2, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	162	MP_CHECKOK(mp_init(&C3, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	163
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	164	/* If either P or Q is the point at infinity, then return the other
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	165	* point */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	166	if (ec_GFp_pt_is_inf_jac(px, py, pz) == MP_YES) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	167	MP_CHECKOK(ec_GFp_pt_aff2jac(qx, qy, rx, ry, rz, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	168	goto CLEANUP;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	169	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	170	if (ec_GFp_pt_is_inf_aff(qx, qy) == MP_YES) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	171	MP_CHECKOK(mp_copy(px, rx));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	172	MP_CHECKOK(mp_copy(py, ry));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	173	MP_CHECKOK(mp_copy(pz, rz));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	174	goto CLEANUP;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	175	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	176
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	177	/* A = qx * pz^2, B = qy * pz^3 */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	178	MP_CHECKOK(group->meth->field_sqr(pz, &A, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	179	MP_CHECKOK(group->meth->field_mul(&A, pz, &B, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	180	MP_CHECKOK(group->meth->field_mul(&A, qx, &A, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	181	MP_CHECKOK(group->meth->field_mul(&B, qy, &B, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	182
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	183	/* C = A - px, D = B - py */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	184	MP_CHECKOK(group->meth->field_sub(&A, px, &C, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	185	MP_CHECKOK(group->meth->field_sub(&B, py, &D, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	186
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	187	/* C2 = C^2, C3 = C^3 */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	188	MP_CHECKOK(group->meth->field_sqr(&C, &C2, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	189	MP_CHECKOK(group->meth->field_mul(&C, &C2, &C3, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	190
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	191	/* rz = pz * C */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	192	MP_CHECKOK(group->meth->field_mul(pz, &C, rz, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	193
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	194	/* C = px * C^2 */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	195	MP_CHECKOK(group->meth->field_mul(px, &C2, &C, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	196	/* A = D^2 */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	197	MP_CHECKOK(group->meth->field_sqr(&D, &A, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	198
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	199	/* rx = D^2 - (C^3 + 2 * (px * C^2)) */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	200	MP_CHECKOK(group->meth->field_add(&C, &C, rx, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	201	MP_CHECKOK(group->meth->field_add(&C3, rx, rx, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	202	MP_CHECKOK(group->meth->field_sub(&A, rx, rx, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	203
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	204	/* C3 = py * C^3 */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	205	MP_CHECKOK(group->meth->field_mul(py, &C3, &C3, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	206
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	207	/* ry = D * (px * C^2 - rx) - py * C^3 */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	208	MP_CHECKOK(group->meth->field_sub(&C, rx, ry, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	209	MP_CHECKOK(group->meth->field_mul(&D, ry, ry, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	210	MP_CHECKOK(group->meth->field_sub(ry, &C3, ry, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	211
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	212	CLEANUP:
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	213	mp_clear(&A);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	214	mp_clear(&B);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	215	mp_clear(&C);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	216	mp_clear(&D);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	217	mp_clear(&C2);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	218	mp_clear(&C3);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	219	return res;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	220	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	221
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	222	/* Computes R = 2P. Elliptic curve points P and R can be identical. Uses
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	223	* Jacobian coordinates.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	224	*
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	225	* Assumes input is already field-encoded using field_enc, and returns
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	226	* output that is still field-encoded.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	227	*
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	228	* This routine implements Point Doubling in the Jacobian Projective
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	229	* space as described in the paper "Efficient elliptic curve exponentiation
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	230	* using mixed coordinates", by H. Cohen, A Miyaji, T. Ono.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	231	*/
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	232	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	233	ec_GFp_pt_dbl_jac(const mp_int px, const mp_int py, const mp_int *pz,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	234	mp_int rx, mp_int ry, mp_int rz, const ECGroup group)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	235	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	236	mp_err res = MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	237	mp_int t0, t1, M, S;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	238
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	239	MP_DIGITS(&t0) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	240	MP_DIGITS(&t1) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	241	MP_DIGITS(&M) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	242	MP_DIGITS(&S) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	243	MP_CHECKOK(mp_init(&t0, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	244	MP_CHECKOK(mp_init(&t1, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	245	MP_CHECKOK(mp_init(&M, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	246	MP_CHECKOK(mp_init(&S, FLAG(px)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	247
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	248	if (ec_GFp_pt_is_inf_jac(px, py, pz) == MP_YES) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	249	MP_CHECKOK(ec_GFp_pt_set_inf_jac(rx, ry, rz));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	250	goto CLEANUP;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	251	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	252
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	253	if (mp_cmp_d(pz, 1) == 0) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	254	/* M = 3 * px^2 + a */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	255	MP_CHECKOK(group->meth->field_sqr(px, &t0, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	256	MP_CHECKOK(group->meth->field_add(&t0, &t0, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	257	MP_CHECKOK(group->meth->field_add(&t0, &M, &t0, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	258	MP_CHECKOK(group->meth->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	259	field_add(&t0, &group->curvea, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	260	} else if (mp_cmp_int(&group->curvea, -3, FLAG(px)) == 0) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	261	/* M = 3 * (px + pz^2) * (px - pz^2) */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	262	MP_CHECKOK(group->meth->field_sqr(pz, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	263	MP_CHECKOK(group->meth->field_add(px, &M, &t0, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	264	MP_CHECKOK(group->meth->field_sub(px, &M, &t1, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	265	MP_CHECKOK(group->meth->field_mul(&t0, &t1, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	266	MP_CHECKOK(group->meth->field_add(&M, &M, &t0, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	267	MP_CHECKOK(group->meth->field_add(&t0, &M, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	268	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	269	/* M = 3 * (px^2) + a * (pz^4) */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	270	MP_CHECKOK(group->meth->field_sqr(px, &t0, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	271	MP_CHECKOK(group->meth->field_add(&t0, &t0, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	272	MP_CHECKOK(group->meth->field_add(&t0, &M, &t0, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	273	MP_CHECKOK(group->meth->field_sqr(pz, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	274	MP_CHECKOK(group->meth->field_sqr(&M, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	275	MP_CHECKOK(group->meth->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	276	field_mul(&M, &group->curvea, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	277	MP_CHECKOK(group->meth->field_add(&M, &t0, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	278	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	279
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	280	/* rz = 2 * py * pz */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	281	/* t0 = 4 * py^2 */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	282	if (mp_cmp_d(pz, 1) == 0) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	283	MP_CHECKOK(group->meth->field_add(py, py, rz, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	284	MP_CHECKOK(group->meth->field_sqr(rz, &t0, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	285	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	286	MP_CHECKOK(group->meth->field_add(py, py, &t0, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	287	MP_CHECKOK(group->meth->field_mul(&t0, pz, rz, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	288	MP_CHECKOK(group->meth->field_sqr(&t0, &t0, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	289	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	290
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	291	/* S = 4 * px * py^2 = px * (2 * py)^2 */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	292	MP_CHECKOK(group->meth->field_mul(px, &t0, &S, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	293
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	294	/* rx = M^2 - 2 * S */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	295	MP_CHECKOK(group->meth->field_add(&S, &S, &t1, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	296	MP_CHECKOK(group->meth->field_sqr(&M, rx, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	297	MP_CHECKOK(group->meth->field_sub(rx, &t1, rx, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	298
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	299	/* ry = M * (S - rx) - 8 * py^4 */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	300	MP_CHECKOK(group->meth->field_sqr(&t0, &t1, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	301	if (mp_isodd(&t1)) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	302	MP_CHECKOK(mp_add(&t1, &group->meth->irr, &t1));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	303	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	304	MP_CHECKOK(mp_div_2(&t1, &t1));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	305	MP_CHECKOK(group->meth->field_sub(&S, rx, &S, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	306	MP_CHECKOK(group->meth->field_mul(&M, &S, &M, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	307	MP_CHECKOK(group->meth->field_sub(&M, &t1, ry, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	308
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	309	CLEANUP:
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	310	mp_clear(&t0);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	311	mp_clear(&t1);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	312	mp_clear(&M);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	313	mp_clear(&S);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	314	return res;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	315	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	316
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	317	/* by default, this routine is unused and thus doesn't need to be compiled */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	318	#ifdef ECL_ENABLE_GFP_PT_MUL_JAC
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	319	/* Computes R = nP where R is (rx, ry) and P is (px, py). The parameters
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	320	* a, b and p are the elliptic curve coefficients and the prime that
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	321	* determines the field GFp. Elliptic curve points P and R can be
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	322	* identical. Uses mixed Jacobian-affine coordinates. Assumes input is
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	323	* already field-encoded using field_enc, and returns output that is still
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	324	* field-encoded. Uses 4-bit window method. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	325	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	326	ec_GFp_pt_mul_jac(const mp_int n, const mp_int px, const mp_int *py,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	327	mp_int rx, mp_int ry, const ECGroup *group)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	328	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	329	mp_err res = MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	330	mp_int precomp[16][2], rz;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	331	int i, ni, d;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	332
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	333	MP_DIGITS(&rz) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	334	for (i = 0; i < 16; i++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	335	MP_DIGITS(&precomp[i][0]) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	336	MP_DIGITS(&precomp[i][1]) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	337	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	338
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	339	ARGCHK(group != NULL, MP_BADARG);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	340	ARGCHK((n != NULL) && (px != NULL) && (py != NULL), MP_BADARG);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	341
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	342	/* initialize precomputation table */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	343	for (i = 0; i < 16; i++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	344	MP_CHECKOK(mp_init(&precomp[i][0]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	345	MP_CHECKOK(mp_init(&precomp[i][1]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	346	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	347
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	348	/* fill precomputation table */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	349	mp_zero(&precomp[0][0]);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	350	mp_zero(&precomp[0][1]);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	351	MP_CHECKOK(mp_copy(px, &precomp[1][0]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	352	MP_CHECKOK(mp_copy(py, &precomp[1][1]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	353	for (i = 2; i < 16; i++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	354	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	355	point_add(&precomp[1][0], &precomp[1][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	356	&precomp[i - 1][0], &precomp[i - 1][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	357	&precomp[i][0], &precomp[i][1], group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	358	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	359
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	360	d = (mpl_significant_bits(n) + 3) / 4;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	361
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	362	/* R = inf */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	363	MP_CHECKOK(mp_init(&rz));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	364	MP_CHECKOK(ec_GFp_pt_set_inf_jac(rx, ry, &rz));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	365
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	366	for (i = d - 1; i >= 0; i--) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	367	/* compute window ni */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	368	ni = MP_GET_BIT(n, 4 * i + 3);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	369	ni <<= 1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	370	ni \|= MP_GET_BIT(n, 4 * i + 2);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	371	ni <<= 1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	372	ni \|= MP_GET_BIT(n, 4 * i + 1);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	373	ni <<= 1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	374	ni \|= MP_GET_BIT(n, 4 * i);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	375	/* R = 2^4 * R */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	376	MP_CHECKOK(ec_GFp_pt_dbl_jac(rx, ry, &rz, rx, ry, &rz, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	377	MP_CHECKOK(ec_GFp_pt_dbl_jac(rx, ry, &rz, rx, ry, &rz, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	378	MP_CHECKOK(ec_GFp_pt_dbl_jac(rx, ry, &rz, rx, ry, &rz, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	379	MP_CHECKOK(ec_GFp_pt_dbl_jac(rx, ry, &rz, rx, ry, &rz, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	380	/* R = R + (ni * P) */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	381	MP_CHECKOK(ec_GFp_pt_add_jac_aff
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	382	(rx, ry, &rz, &precomp[ni][0], &precomp[ni][1], rx, ry,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	383	&rz, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	384	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	385
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	386	/* convert result S to affine coordinates */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	387	MP_CHECKOK(ec_GFp_pt_jac2aff(rx, ry, &rz, rx, ry, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	388
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	389	CLEANUP:
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	390	mp_clear(&rz);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	391	for (i = 0; i < 16; i++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	392	mp_clear(&precomp[i][0]);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	393	mp_clear(&precomp[i][1]);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	394	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	395	return res;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	396	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	397	#endif
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	398
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	399	/* Elliptic curve scalar-point multiplication. Computes R(x, y) = k1 * G +
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	400	* k2 * P(x, y), where G is the generator (base point) of the group of
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	401	* points on the elliptic curve. Allows k1 = NULL or { k2, P } = NULL.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	402	* Uses mixed Jacobian-affine coordinates. Input and output values are
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	403	* assumed to be NOT field-encoded. Uses algorithm 15 (simultaneous
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	404	* multiple point multiplication) from Brown, Hankerson, Lopez, Menezes.
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	405	* Software Implementation of the NIST Elliptic Curves over Prime Fields. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	406	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	407	ec_GFp_pts_mul_jac(const mp_int k1, const mp_int k2, const mp_int *px,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	408	const mp_int py, mp_int rx, mp_int *ry,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	409	const ECGroup *group)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	410	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	411	mp_err res = MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	412	mp_int precomp[4][4][2];
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	413	mp_int rz;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	414	const mp_int a, b;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	415	int i, j;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	416	int ai, bi, d;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	417
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	418	for (i = 0; i < 4; i++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	419	for (j = 0; j < 4; j++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	420	MP_DIGITS(&precomp[i][j][0]) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	421	MP_DIGITS(&precomp[i][j][1]) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	422	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	423	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	424	MP_DIGITS(&rz) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	425
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	426	ARGCHK(group != NULL, MP_BADARG);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	427	ARGCHK(!((k1 == NULL)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	428	&& ((k2 == NULL) \|\| (px == NULL)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	429	\|\| (py == NULL))), MP_BADARG);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	430
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	431	/* if some arguments are not defined used ECPoint_mul */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	432	if (k1 == NULL) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	433	return ECPoint_mul(group, k2, px, py, rx, ry);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	434	} else if ((k2 == NULL) \|\| (px == NULL) \|\| (py == NULL)) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	435	return ECPoint_mul(group, k1, NULL, NULL, rx, ry);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	436	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	437
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	438	/* initialize precomputation table */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	439	for (i = 0; i < 4; i++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	440	for (j = 0; j < 4; j++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	441	MP_CHECKOK(mp_init(&precomp[i][j][0], FLAG(k1)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	442	MP_CHECKOK(mp_init(&precomp[i][j][1], FLAG(k1)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	443	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	444	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	445
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	446	/* fill precomputation table */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	447	/* assign {k1, k2} = {a, b} such that len(a) >= len(b) */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	448	if (mpl_significant_bits(k1) < mpl_significant_bits(k2)) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	449	a = k2;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	450	b = k1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	451	if (group->meth->field_enc) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	452	MP_CHECKOK(group->meth->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	453	field_enc(px, &precomp[1][0][0], group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	454	MP_CHECKOK(group->meth->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	455	field_enc(py, &precomp[1][0][1], group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	456	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	457	MP_CHECKOK(mp_copy(px, &precomp[1][0][0]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	458	MP_CHECKOK(mp_copy(py, &precomp[1][0][1]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	459	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	460	MP_CHECKOK(mp_copy(&group->genx, &precomp[0][1][0]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	461	MP_CHECKOK(mp_copy(&group->geny, &precomp[0][1][1]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	462	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	463	a = k1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	464	b = k2;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	465	MP_CHECKOK(mp_copy(&group->genx, &precomp[1][0][0]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	466	MP_CHECKOK(mp_copy(&group->geny, &precomp[1][0][1]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	467	if (group->meth->field_enc) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	468	MP_CHECKOK(group->meth->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	469	field_enc(px, &precomp[0][1][0], group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	470	MP_CHECKOK(group->meth->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	471	field_enc(py, &precomp[0][1][1], group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	472	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	473	MP_CHECKOK(mp_copy(px, &precomp[0][1][0]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	474	MP_CHECKOK(mp_copy(py, &precomp[0][1][1]));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	475	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	476	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	477	/* precompute [][0][] */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	478	mp_zero(&precomp[0][0][0]);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	479	mp_zero(&precomp[0][0][1]);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	480	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	481	point_dbl(&precomp[1][0][0], &precomp[1][0][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	482	&precomp[2][0][0], &precomp[2][0][1], group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	483	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	484	point_add(&precomp[1][0][0], &precomp[1][0][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	485	&precomp[2][0][0], &precomp[2][0][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	486	&precomp[3][0][0], &precomp[3][0][1], group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	487	/* precompute [][1][] */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	488	for (i = 1; i < 4; i++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	489	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	490	point_add(&precomp[0][1][0], &precomp[0][1][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	491	&precomp[i][0][0], &precomp[i][0][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	492	&precomp[i][1][0], &precomp[i][1][1], group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	493	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	494	/* precompute [][2][] */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	495	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	496	point_dbl(&precomp[0][1][0], &precomp[0][1][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	497	&precomp[0][2][0], &precomp[0][2][1], group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	498	for (i = 1; i < 4; i++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	499	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	500	point_add(&precomp[0][2][0], &precomp[0][2][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	501	&precomp[i][0][0], &precomp[i][0][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	502	&precomp[i][2][0], &precomp[i][2][1], group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	503	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	504	/* precompute [][3][] */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	505	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	506	point_add(&precomp[0][1][0], &precomp[0][1][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	507	&precomp[0][2][0], &precomp[0][2][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	508	&precomp[0][3][0], &precomp[0][3][1], group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	509	for (i = 1; i < 4; i++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	510	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	511	point_add(&precomp[0][3][0], &precomp[0][3][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	512	&precomp[i][0][0], &precomp[i][0][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	513	&precomp[i][3][0], &precomp[i][3][1], group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	514	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	515
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	516	d = (mpl_significant_bits(a) + 1) / 2;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	517
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	518	/* R = inf */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	519	MP_CHECKOK(mp_init(&rz, FLAG(k1)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	520	MP_CHECKOK(ec_GFp_pt_set_inf_jac(rx, ry, &rz));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	521
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	522	for (i = d - 1; i >= 0; i--) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	523	ai = MP_GET_BIT(a, 2 * i + 1);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	524	ai <<= 1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	525	ai \|= MP_GET_BIT(a, 2 * i);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	526	bi = MP_GET_BIT(b, 2 * i + 1);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	527	bi <<= 1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	528	bi \|= MP_GET_BIT(b, 2 * i);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	529	/* R = 2^2 * R */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	530	MP_CHECKOK(ec_GFp_pt_dbl_jac(rx, ry, &rz, rx, ry, &rz, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	531	MP_CHECKOK(ec_GFp_pt_dbl_jac(rx, ry, &rz, rx, ry, &rz, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	532	/* R = R + (ai * A + bi * B) */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	533	MP_CHECKOK(ec_GFp_pt_add_jac_aff
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	534	(rx, ry, &rz, &precomp[ai][bi][0], &precomp[ai][bi][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	535	rx, ry, &rz, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	536	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	537
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	538	MP_CHECKOK(ec_GFp_pt_jac2aff(rx, ry, &rz, rx, ry, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	539
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	540	if (group->meth->field_dec) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	541	MP_CHECKOK(group->meth->field_dec(rx, rx, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	542	MP_CHECKOK(group->meth->field_dec(ry, ry, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	543	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	544
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	545	CLEANUP:
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	546	mp_clear(&rz);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	547	for (i = 0; i < 4; i++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	548	for (j = 0; j < 4; j++) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	549	mp_clear(&precomp[i][j][0]);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	550	mp_clear(&precomp[i][j][1]);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	551	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	552	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	553	return res;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	554	}

author	vinnie
	Mon, 30 May 2011 16:37:42 +0100
changeset 9774	50a2b28ca54c
parent 9035	1255eb81cc2f
permissions	-rw-r--r--