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

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.
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	* 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	35	*
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	36	*********************************************************************** */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	37
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	38	#include "mpi.h"
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	39	#include "mplogic.h"
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	40	#include "ecl.h"
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	41	#include "ecl-priv.h"
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	42	#ifndef _KERNEL
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	43	#include <stdlib.h>
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	44	#endif
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	45
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	46	/* Elliptic curve scalar-point multiplication. Computes R(x, y) = k * P(x,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	47	* y). If x, y = NULL, then P is assumed to be the generator (base point)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	48	* of the group of points on the elliptic curve. Input and output values
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	49	* are assumed to be NOT field-encoded. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	50	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	51	ECPoint_mul(const ECGroup group, const mp_int k, const mp_int *px,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	52	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	53	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	54	mp_err res = MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	55	mp_int kt;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	56
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	57	ARGCHK((k != NULL) && (group != NULL), MP_BADARG);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	58	MP_DIGITS(&kt) = 0;
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	/* want scalar to be less than or equal to group order */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	61	if (mp_cmp(k, &group->order) > 0) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	62	MP_CHECKOK(mp_init(&kt, FLAG(k)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	63	MP_CHECKOK(mp_mod(k, &group->order, &kt));
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_SIGN(&kt) = MP_ZPOS;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	66	MP_USED(&kt) = MP_USED(k);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	67	MP_ALLOC(&kt) = MP_ALLOC(k);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	68	MP_DIGITS(&kt) = MP_DIGITS(k);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	69	}
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	if ((px == NULL) \|\| (py == NULL)) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	72	if (group->base_point_mul) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	73	MP_CHECKOK(group->base_point_mul(&kt, rx, ry, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	74	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	75	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	76	point_mul(&kt, &group->genx, &group->geny, rx, ry,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	77	group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	78	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	79	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	80	if (group->meth->field_enc) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	81	MP_CHECKOK(group->meth->field_enc(px, rx, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	82	MP_CHECKOK(group->meth->field_enc(py, ry, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	83	MP_CHECKOK(group->point_mul(&kt, rx, ry, rx, ry, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	84	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	85	MP_CHECKOK(group->point_mul(&kt, px, py, rx, ry, group));
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	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	88	if (group->meth->field_dec) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	89	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	90	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	91	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	92
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	93	CLEANUP:
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	94	if (MP_DIGITS(&kt) != MP_DIGITS(k)) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	95	mp_clear(&kt);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	96	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	97	return res;
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	/* 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	101	* 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	102	* 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	103	* Input and output values are assumed to be NOT field-encoded. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	104	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	105	ec_pts_mul_basic(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	106	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	107	const ECGroup *group)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	108	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	109	mp_err res = MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	110	mp_int sx, sy;
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	ARGCHK(group != NULL, MP_BADARG);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	113	ARGCHK(!((k1 == NULL)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	114	&& ((k2 == NULL) \|\| (px == NULL)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	115	\|\| (py == NULL))), MP_BADARG);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	116
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	117	/* 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	118	if (k1 == NULL) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	119	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	120	} 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	121	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	122	}
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	MP_DIGITS(&sx) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	125	MP_DIGITS(&sy) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	126	MP_CHECKOK(mp_init(&sx, FLAG(k1)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	127	MP_CHECKOK(mp_init(&sy, FLAG(k1)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	128
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	129	MP_CHECKOK(ECPoint_mul(group, k1, NULL, NULL, &sx, &sy));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	130	MP_CHECKOK(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	131
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	132	if (group->meth->field_enc) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	133	MP_CHECKOK(group->meth->field_enc(&sx, &sx, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	134	MP_CHECKOK(group->meth->field_enc(&sy, &sy, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	135	MP_CHECKOK(group->meth->field_enc(rx, rx, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	136	MP_CHECKOK(group->meth->field_enc(ry, ry, group->meth));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	137	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	138
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	139	MP_CHECKOK(group->point_add(&sx, &sy, rx, ry, rx, ry, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	140
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	141	if (group->meth->field_dec) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	142	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	143	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	144	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	145
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	146	CLEANUP:
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	147	mp_clear(&sx);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	148	mp_clear(&sy);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	149	return res;
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
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	152	/* 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	153	* 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	154	* 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	155	* Input and output values are assumed to be NOT field-encoded. Uses
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	156	* algorithm 15 (simultaneous multiple point multiplication) from Brown,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	157	* Hankerson, Lopez, Menezes. Software Implementation of the NIST
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	158	* Elliptic Curves over Prime Fields. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	159	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	160	ec_pts_mul_simul_w2(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	161	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	162	const ECGroup *group)
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	mp_err res = MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	165	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	166	const mp_int a, b;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	167	int i, j;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	168	int ai, bi, d;
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	ARGCHK(group != NULL, MP_BADARG);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	171	ARGCHK(!((k1 == NULL)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	172	&& ((k2 == NULL) \|\| (px == NULL)
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	173	\|\| (py == NULL))), MP_BADARG);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	174
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	175	/* 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	176	if (k1 == NULL) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	177	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	178	} 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	179	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	180	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	181
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	182	/* initialize precomputation table */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	183	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	184	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	185	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	186	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	187	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	188	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	189	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	190	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	191	MP_CHECKOK( mp_init_size(&precomp[i][j][0],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	192	ECL_MAX_FIELD_SIZE_DIGITS, FLAG(k1)) );
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	193	MP_CHECKOK( mp_init_size(&precomp[i][j][1],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	194	ECL_MAX_FIELD_SIZE_DIGITS, FLAG(k1)) );
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	195	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	196	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	197
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	198	/* fill precomputation table */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	199	/* 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	200	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	201	a = k2;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	202	b = k1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	203	if (group->meth->field_enc) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	204	MP_CHECKOK(group->meth->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	205	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	206	MP_CHECKOK(group->meth->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	207	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	208	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	209	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	210	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	211	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	212	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	213	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	214	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	215	a = k1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	216	b = k2;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	217	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	218	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	219	if (group->meth->field_enc) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	220	MP_CHECKOK(group->meth->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	221	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	222	MP_CHECKOK(group->meth->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	223	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	224	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	225	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	226	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	227	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	228	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	229	/* precompute [][0][] */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	230	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	231	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	232	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	233	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	234	&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	235	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	236	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	237	&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	238	&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	239	/* precompute [][1][] */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	240	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	241	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	242	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	243	&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	244	&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	245	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	246	/* precompute [][2][] */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	247	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	248	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	249	&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	250	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	251	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	252	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	253	&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	254	&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	255	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	256	/* precompute [][3][] */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	257	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	258	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	259	&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	260	&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	261	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	262	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	263	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	264	&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	265	&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	266	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	267
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	268	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	269
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	270	/* R = inf */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	271	mp_zero(rx);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	272	mp_zero(ry);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	273
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	274	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	275	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	276	ai <<= 1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	277	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	278	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	279	bi <<= 1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	280	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	281	/* R = 2^2 * R */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	282	MP_CHECKOK(group->point_dbl(rx, ry, rx, ry, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	283	MP_CHECKOK(group->point_dbl(rx, ry, rx, ry, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	284	/* 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	285	MP_CHECKOK(group->
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	286	point_add(rx, ry, &precomp[ai][bi][0],
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	287	&precomp[ai][bi][1], rx, ry, group));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	288	}
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	if (group->meth->field_dec) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	291	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	292	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	293	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	294
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	295	CLEANUP:
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	296	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	297	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	298	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	299	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	300	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	301	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	302	return res;
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
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	305	/* 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	306	* 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	307	* 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	308	* Input and output values are assumed to be NOT field-encoded. */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	309	mp_err
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	310	ECPoints_mul(const ECGroup group, const mp_int k1, const mp_int *k2,
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	311	const mp_int px, 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	312	{
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	313	mp_err res = MP_OKAY;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	314	mp_int k1t, k2t;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	315	const mp_int k1p, k2p;
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	MP_DIGITS(&k1t) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	318	MP_DIGITS(&k2t) = 0;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	319
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	320	ARGCHK(group != NULL, MP_BADARG);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	321
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	322	/* want scalar to be less than or equal to group order */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	323	if (k1 != NULL) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	324	if (mp_cmp(k1, &group->order) >= 0) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	325	MP_CHECKOK(mp_init(&k1t, FLAG(k1)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	326	MP_CHECKOK(mp_mod(k1, &group->order, &k1t));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	327	k1p = &k1t;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	328	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	329	k1p = k1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	330	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	331	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	332	k1p = k1;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	333	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	334	if (k2 != NULL) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	335	if (mp_cmp(k2, &group->order) >= 0) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	336	MP_CHECKOK(mp_init(&k2t, FLAG(k2)));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	337	MP_CHECKOK(mp_mod(k2, &group->order, &k2t));
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	338	k2p = &k2t;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	339	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	340	k2p = k2;
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	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	343	k2p = k2;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	344	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	345
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	346	/* if points_mul is defined, then use it */
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	347	if (group->points_mul) {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	348	res = group->points_mul(k1p, k2p, px, py, rx, ry, group);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	349	} else {
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	350	res = ec_pts_mul_simul_w2(k1p, k2p, px, py, rx, ry, group);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	351	}
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	352
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	353	CLEANUP:
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	354	mp_clear(&k1t);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	355	mp_clear(&k2t);
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	356	return res;
8e0f58b1c072 6884175: CR cleanup for 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	357	}

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