pegasus_dev

Users » switches » Code » pegasus_dev

features/mbedtls/src/bignum.c@3:1198227e6421, 2016-12-16 (annotated)

Committer:: switches
Date:: Fri Dec 16 16:27:57 2016 +0000
Revision:: 3:1198227e6421
Parent:: 0:5c4d7b2438d3

Changed ADC scale for MAX32625 platforms to 1.2V full scale to match MAX32630 platforms

Who changed what in which revision?

User	Revision	Line number	New contents of line
switches	0:5c4d7b2438d3	1	/*
switches	0:5c4d7b2438d3	2	* Multi-precision integer library
switches	0:5c4d7b2438d3	3	*
switches	0:5c4d7b2438d3	4	* Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
switches	0:5c4d7b2438d3	5	* SPDX-License-Identifier: Apache-2.0
switches	0:5c4d7b2438d3	6	*
switches	0:5c4d7b2438d3	7	* Licensed under the Apache License, Version 2.0 (the "License"); you may
switches	0:5c4d7b2438d3	8	* not use this file except in compliance with the License.
switches	0:5c4d7b2438d3	9	* You may obtain a copy of the License at
switches	0:5c4d7b2438d3	10	*
switches	0:5c4d7b2438d3	11	* http://www.apache.org/licenses/LICENSE-2.0
switches	0:5c4d7b2438d3	12	*
switches	0:5c4d7b2438d3	13	* Unless required by applicable law or agreed to in writing, software
switches	0:5c4d7b2438d3	14	* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
switches	0:5c4d7b2438d3	15	* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
switches	0:5c4d7b2438d3	16	* See the License for the specific language governing permissions and
switches	0:5c4d7b2438d3	17	* limitations under the License.
switches	0:5c4d7b2438d3	18	*
switches	0:5c4d7b2438d3	19	* This file is part of mbed TLS (https://tls.mbed.org)
switches	0:5c4d7b2438d3	20	*/
switches	0:5c4d7b2438d3	21
switches	0:5c4d7b2438d3	22	/*
switches	0:5c4d7b2438d3	23	* The following sources were referenced in the design of this Multi-precision
switches	0:5c4d7b2438d3	24	* Integer library:
switches	0:5c4d7b2438d3	25	*
switches	0:5c4d7b2438d3	26	* [1] Handbook of Applied Cryptography - 1997
switches	0:5c4d7b2438d3	27	* Menezes, van Oorschot and Vanstone
switches	0:5c4d7b2438d3	28	*
switches	0:5c4d7b2438d3	29	* [2] Multi-Precision Math
switches	0:5c4d7b2438d3	30	* Tom St Denis
switches	0:5c4d7b2438d3	31	* https://github.com/libtom/libtommath/blob/develop/tommath.pdf
switches	0:5c4d7b2438d3	32	*
switches	0:5c4d7b2438d3	33	* [3] GNU Multi-Precision Arithmetic Library
switches	0:5c4d7b2438d3	34	* https://gmplib.org/manual/index.html
switches	0:5c4d7b2438d3	35	*
switches	0:5c4d7b2438d3	36	*/
switches	0:5c4d7b2438d3	37
switches	0:5c4d7b2438d3	38	#if !defined(MBEDTLS_CONFIG_FILE)
switches	0:5c4d7b2438d3	39	#include "mbedtls/config.h"
switches	0:5c4d7b2438d3	40	#else
switches	0:5c4d7b2438d3	41	#include MBEDTLS_CONFIG_FILE
switches	0:5c4d7b2438d3	42	#endif
switches	0:5c4d7b2438d3	43
switches	0:5c4d7b2438d3	44	#if defined(MBEDTLS_BIGNUM_C)
switches	0:5c4d7b2438d3	45
switches	0:5c4d7b2438d3	46	#include "mbedtls/bignum.h"
switches	0:5c4d7b2438d3	47	#include "mbedtls/bn_mul.h"
switches	0:5c4d7b2438d3	48
switches	0:5c4d7b2438d3	49	#include <string.h>
switches	0:5c4d7b2438d3	50
switches	0:5c4d7b2438d3	51	#if defined(MBEDTLS_PLATFORM_C)
switches	0:5c4d7b2438d3	52	#include "mbedtls/platform.h"
switches	0:5c4d7b2438d3	53	#else
switches	0:5c4d7b2438d3	54	#include <stdio.h>
switches	0:5c4d7b2438d3	55	#include <stdlib.h>
switches	0:5c4d7b2438d3	56	#define mbedtls_printf printf
switches	0:5c4d7b2438d3	57	#define mbedtls_calloc calloc
switches	0:5c4d7b2438d3	58	#define mbedtls_free free
switches	0:5c4d7b2438d3	59	#endif
switches	0:5c4d7b2438d3	60
switches	0:5c4d7b2438d3	61	/* Implementation that should never be optimized out by the compiler */
switches	0:5c4d7b2438d3	62	static void mbedtls_mpi_zeroize( mbedtls_mpi_uint *v, size_t n ) {
switches	0:5c4d7b2438d3	63	volatile mbedtls_mpi_uint p = v; while( n-- ) p++ = 0;
switches	0:5c4d7b2438d3	64	}
switches	0:5c4d7b2438d3	65
switches	0:5c4d7b2438d3	66	#define ciL (sizeof(mbedtls_mpi_uint)) /* chars in limb */
switches	0:5c4d7b2438d3	67	#define biL (ciL << 3) /* bits in limb */
switches	0:5c4d7b2438d3	68	#define biH (ciL << 2) /* half limb size */
switches	0:5c4d7b2438d3	69
switches	0:5c4d7b2438d3	70	#define MPI_SIZE_T_MAX ( (size_t) -1 ) /* SIZE_T_MAX is not standard */
switches	0:5c4d7b2438d3	71
switches	0:5c4d7b2438d3	72	/*
switches	0:5c4d7b2438d3	73	* Convert between bits/chars and number of limbs
switches	0:5c4d7b2438d3	74	* Divide first in order to avoid potential overflows
switches	0:5c4d7b2438d3	75	*/
switches	0:5c4d7b2438d3	76	#define BITS_TO_LIMBS(i) ( (i) / biL + ( (i) % biL != 0 ) )
switches	0:5c4d7b2438d3	77	#define CHARS_TO_LIMBS(i) ( (i) / ciL + ( (i) % ciL != 0 ) )
switches	0:5c4d7b2438d3	78
switches	0:5c4d7b2438d3	79	/*
switches	0:5c4d7b2438d3	80	* Initialize one MPI
switches	0:5c4d7b2438d3	81	*/
switches	0:5c4d7b2438d3	82	void mbedtls_mpi_init( mbedtls_mpi *X )
switches	0:5c4d7b2438d3	83	{
switches	0:5c4d7b2438d3	84	if( X == NULL )
switches	0:5c4d7b2438d3	85	return;
switches	0:5c4d7b2438d3	86
switches	0:5c4d7b2438d3	87	X->s = 1;
switches	0:5c4d7b2438d3	88	X->n = 0;
switches	0:5c4d7b2438d3	89	X->p = NULL;
switches	0:5c4d7b2438d3	90	}
switches	0:5c4d7b2438d3	91
switches	0:5c4d7b2438d3	92	/*
switches	0:5c4d7b2438d3	93	* Unallocate one MPI
switches	0:5c4d7b2438d3	94	*/
switches	0:5c4d7b2438d3	95	void mbedtls_mpi_free( mbedtls_mpi *X )
switches	0:5c4d7b2438d3	96	{
switches	0:5c4d7b2438d3	97	if( X == NULL )
switches	0:5c4d7b2438d3	98	return;
switches	0:5c4d7b2438d3	99
switches	0:5c4d7b2438d3	100	if( X->p != NULL )
switches	0:5c4d7b2438d3	101	{
switches	0:5c4d7b2438d3	102	mbedtls_mpi_zeroize( X->p, X->n );
switches	0:5c4d7b2438d3	103	mbedtls_free( X->p );
switches	0:5c4d7b2438d3	104	}
switches	0:5c4d7b2438d3	105
switches	0:5c4d7b2438d3	106	X->s = 1;
switches	0:5c4d7b2438d3	107	X->n = 0;
switches	0:5c4d7b2438d3	108	X->p = NULL;
switches	0:5c4d7b2438d3	109	}
switches	0:5c4d7b2438d3	110
switches	0:5c4d7b2438d3	111	/*
switches	0:5c4d7b2438d3	112	* Enlarge to the specified number of limbs
switches	0:5c4d7b2438d3	113	*/
switches	0:5c4d7b2438d3	114	int mbedtls_mpi_grow( mbedtls_mpi *X, size_t nblimbs )
switches	0:5c4d7b2438d3	115	{
switches	0:5c4d7b2438d3	116	mbedtls_mpi_uint *p;
switches	0:5c4d7b2438d3	117
switches	0:5c4d7b2438d3	118	if( nblimbs > MBEDTLS_MPI_MAX_LIMBS )
switches	0:5c4d7b2438d3	119	return( MBEDTLS_ERR_MPI_ALLOC_FAILED );
switches	0:5c4d7b2438d3	120
switches	0:5c4d7b2438d3	121	if( X->n < nblimbs )
switches	0:5c4d7b2438d3	122	{
switches	0:5c4d7b2438d3	123	if( ( p = (mbedtls_mpi_uint*)mbedtls_calloc( nblimbs, ciL ) ) == NULL )
switches	0:5c4d7b2438d3	124	return( MBEDTLS_ERR_MPI_ALLOC_FAILED );
switches	0:5c4d7b2438d3	125
switches	0:5c4d7b2438d3	126	if( X->p != NULL )
switches	0:5c4d7b2438d3	127	{
switches	0:5c4d7b2438d3	128	memcpy( p, X->p, X->n * ciL );
switches	0:5c4d7b2438d3	129	mbedtls_mpi_zeroize( X->p, X->n );
switches	0:5c4d7b2438d3	130	mbedtls_free( X->p );
switches	0:5c4d7b2438d3	131	}
switches	0:5c4d7b2438d3	132
switches	0:5c4d7b2438d3	133	X->n = nblimbs;
switches	0:5c4d7b2438d3	134	X->p = p;
switches	0:5c4d7b2438d3	135	}
switches	0:5c4d7b2438d3	136
switches	0:5c4d7b2438d3	137	return( 0 );
switches	0:5c4d7b2438d3	138	}
switches	0:5c4d7b2438d3	139
switches	0:5c4d7b2438d3	140	/*
switches	0:5c4d7b2438d3	141	* Resize down as much as possible,
switches	0:5c4d7b2438d3	142	* while keeping at least the specified number of limbs
switches	0:5c4d7b2438d3	143	*/
switches	0:5c4d7b2438d3	144	int mbedtls_mpi_shrink( mbedtls_mpi *X, size_t nblimbs )
switches	0:5c4d7b2438d3	145	{
switches	0:5c4d7b2438d3	146	mbedtls_mpi_uint *p;
switches	0:5c4d7b2438d3	147	size_t i;
switches	0:5c4d7b2438d3	148
switches	0:5c4d7b2438d3	149	/* Actually resize up in this case */
switches	0:5c4d7b2438d3	150	if( X->n <= nblimbs )
switches	0:5c4d7b2438d3	151	return( mbedtls_mpi_grow( X, nblimbs ) );
switches	0:5c4d7b2438d3	152
switches	0:5c4d7b2438d3	153	for( i = X->n - 1; i > 0; i-- )
switches	0:5c4d7b2438d3	154	if( X->p[i] != 0 )
switches	0:5c4d7b2438d3	155	break;
switches	0:5c4d7b2438d3	156	i++;
switches	0:5c4d7b2438d3	157
switches	0:5c4d7b2438d3	158	if( i < nblimbs )
switches	0:5c4d7b2438d3	159	i = nblimbs;
switches	0:5c4d7b2438d3	160
switches	0:5c4d7b2438d3	161	if( ( p = (mbedtls_mpi_uint*)mbedtls_calloc( i, ciL ) ) == NULL )
switches	0:5c4d7b2438d3	162	return( MBEDTLS_ERR_MPI_ALLOC_FAILED );
switches	0:5c4d7b2438d3	163
switches	0:5c4d7b2438d3	164	if( X->p != NULL )
switches	0:5c4d7b2438d3	165	{
switches	0:5c4d7b2438d3	166	memcpy( p, X->p, i * ciL );
switches	0:5c4d7b2438d3	167	mbedtls_mpi_zeroize( X->p, X->n );
switches	0:5c4d7b2438d3	168	mbedtls_free( X->p );
switches	0:5c4d7b2438d3	169	}
switches	0:5c4d7b2438d3	170
switches	0:5c4d7b2438d3	171	X->n = i;
switches	0:5c4d7b2438d3	172	X->p = p;
switches	0:5c4d7b2438d3	173
switches	0:5c4d7b2438d3	174	return( 0 );
switches	0:5c4d7b2438d3	175	}
switches	0:5c4d7b2438d3	176
switches	0:5c4d7b2438d3	177	/*
switches	0:5c4d7b2438d3	178	* Copy the contents of Y into X
switches	0:5c4d7b2438d3	179	*/
switches	0:5c4d7b2438d3	180	int mbedtls_mpi_copy( mbedtls_mpi X, const mbedtls_mpi Y )
switches	0:5c4d7b2438d3	181	{
switches	0:5c4d7b2438d3	182	int ret;
switches	0:5c4d7b2438d3	183	size_t i;
switches	0:5c4d7b2438d3	184
switches	0:5c4d7b2438d3	185	if( X == Y )
switches	0:5c4d7b2438d3	186	return( 0 );
switches	0:5c4d7b2438d3	187
switches	0:5c4d7b2438d3	188	if( Y->p == NULL )
switches	0:5c4d7b2438d3	189	{
switches	0:5c4d7b2438d3	190	mbedtls_mpi_free( X );
switches	0:5c4d7b2438d3	191	return( 0 );
switches	0:5c4d7b2438d3	192	}
switches	0:5c4d7b2438d3	193
switches	0:5c4d7b2438d3	194	for( i = Y->n - 1; i > 0; i-- )
switches	0:5c4d7b2438d3	195	if( Y->p[i] != 0 )
switches	0:5c4d7b2438d3	196	break;
switches	0:5c4d7b2438d3	197	i++;
switches	0:5c4d7b2438d3	198
switches	0:5c4d7b2438d3	199	X->s = Y->s;
switches	0:5c4d7b2438d3	200
switches	0:5c4d7b2438d3	201	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, i ) );
switches	0:5c4d7b2438d3	202
switches	0:5c4d7b2438d3	203	memset( X->p, 0, X->n * ciL );
switches	0:5c4d7b2438d3	204	memcpy( X->p, Y->p, i * ciL );
switches	0:5c4d7b2438d3	205
switches	0:5c4d7b2438d3	206	cleanup:
switches	0:5c4d7b2438d3	207
switches	0:5c4d7b2438d3	208	return( ret );
switches	0:5c4d7b2438d3	209	}
switches	0:5c4d7b2438d3	210
switches	0:5c4d7b2438d3	211	/*
switches	0:5c4d7b2438d3	212	* Swap the contents of X and Y
switches	0:5c4d7b2438d3	213	*/
switches	0:5c4d7b2438d3	214	void mbedtls_mpi_swap( mbedtls_mpi X, mbedtls_mpi Y )
switches	0:5c4d7b2438d3	215	{
switches	0:5c4d7b2438d3	216	mbedtls_mpi T;
switches	0:5c4d7b2438d3	217
switches	0:5c4d7b2438d3	218	memcpy( &T, X, sizeof( mbedtls_mpi ) );
switches	0:5c4d7b2438d3	219	memcpy( X, Y, sizeof( mbedtls_mpi ) );
switches	0:5c4d7b2438d3	220	memcpy( Y, &T, sizeof( mbedtls_mpi ) );
switches	0:5c4d7b2438d3	221	}
switches	0:5c4d7b2438d3	222
switches	0:5c4d7b2438d3	223	/*
switches	0:5c4d7b2438d3	224	* Conditionally assign X = Y, without leaking information
switches	0:5c4d7b2438d3	225	* about whether the assignment was made or not.
switches	0:5c4d7b2438d3	226	* (Leaking information about the respective sizes of X and Y is ok however.)
switches	0:5c4d7b2438d3	227	*/
switches	0:5c4d7b2438d3	228	int mbedtls_mpi_safe_cond_assign( mbedtls_mpi X, const mbedtls_mpi Y, unsigned char assign )
switches	0:5c4d7b2438d3	229	{
switches	0:5c4d7b2438d3	230	int ret = 0;
switches	0:5c4d7b2438d3	231	size_t i;
switches	0:5c4d7b2438d3	232
switches	0:5c4d7b2438d3	233	/* make sure assign is 0 or 1 in a time-constant manner */
switches	0:5c4d7b2438d3	234	assign = (assign \| (unsigned char)-assign) >> 7;
switches	0:5c4d7b2438d3	235
switches	0:5c4d7b2438d3	236	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, Y->n ) );
switches	0:5c4d7b2438d3	237
switches	0:5c4d7b2438d3	238	X->s = X->s * ( 1 - assign ) + Y->s * assign;
switches	0:5c4d7b2438d3	239
switches	0:5c4d7b2438d3	240	for( i = 0; i < Y->n; i++ )
switches	0:5c4d7b2438d3	241	X->p[i] = X->p[i] * ( 1 - assign ) + Y->p[i] * assign;
switches	0:5c4d7b2438d3	242
switches	0:5c4d7b2438d3	243	for( ; i < X->n; i++ )
switches	0:5c4d7b2438d3	244	X->p[i] *= ( 1 - assign );
switches	0:5c4d7b2438d3	245
switches	0:5c4d7b2438d3	246	cleanup:
switches	0:5c4d7b2438d3	247	return( ret );
switches	0:5c4d7b2438d3	248	}
switches	0:5c4d7b2438d3	249
switches	0:5c4d7b2438d3	250	/*
switches	0:5c4d7b2438d3	251	* Conditionally swap X and Y, without leaking information
switches	0:5c4d7b2438d3	252	* about whether the swap was made or not.
switches	0:5c4d7b2438d3	253	* Here it is not ok to simply swap the pointers, which whould lead to
switches	0:5c4d7b2438d3	254	* different memory access patterns when X and Y are used afterwards.
switches	0:5c4d7b2438d3	255	*/
switches	0:5c4d7b2438d3	256	int mbedtls_mpi_safe_cond_swap( mbedtls_mpi X, mbedtls_mpi Y, unsigned char swap )
switches	0:5c4d7b2438d3	257	{
switches	0:5c4d7b2438d3	258	int ret, s;
switches	0:5c4d7b2438d3	259	size_t i;
switches	0:5c4d7b2438d3	260	mbedtls_mpi_uint tmp;
switches	0:5c4d7b2438d3	261
switches	0:5c4d7b2438d3	262	if( X == Y )
switches	0:5c4d7b2438d3	263	return( 0 );
switches	0:5c4d7b2438d3	264
switches	0:5c4d7b2438d3	265	/* make sure swap is 0 or 1 in a time-constant manner */
switches	0:5c4d7b2438d3	266	swap = (swap \| (unsigned char)-swap) >> 7;
switches	0:5c4d7b2438d3	267
switches	0:5c4d7b2438d3	268	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, Y->n ) );
switches	0:5c4d7b2438d3	269	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( Y, X->n ) );
switches	0:5c4d7b2438d3	270
switches	0:5c4d7b2438d3	271	s = X->s;
switches	0:5c4d7b2438d3	272	X->s = X->s * ( 1 - swap ) + Y->s * swap;
switches	0:5c4d7b2438d3	273	Y->s = Y->s * ( 1 - swap ) + s * swap;
switches	0:5c4d7b2438d3	274
switches	0:5c4d7b2438d3	275
switches	0:5c4d7b2438d3	276	for( i = 0; i < X->n; i++ )
switches	0:5c4d7b2438d3	277	{
switches	0:5c4d7b2438d3	278	tmp = X->p[i];
switches	0:5c4d7b2438d3	279	X->p[i] = X->p[i] * ( 1 - swap ) + Y->p[i] * swap;
switches	0:5c4d7b2438d3	280	Y->p[i] = Y->p[i] * ( 1 - swap ) + tmp * swap;
switches	0:5c4d7b2438d3	281	}
switches	0:5c4d7b2438d3	282
switches	0:5c4d7b2438d3	283	cleanup:
switches	0:5c4d7b2438d3	284	return( ret );
switches	0:5c4d7b2438d3	285	}
switches	0:5c4d7b2438d3	286
switches	0:5c4d7b2438d3	287	/*
switches	0:5c4d7b2438d3	288	* Set value from integer
switches	0:5c4d7b2438d3	289	*/
switches	0:5c4d7b2438d3	290	int mbedtls_mpi_lset( mbedtls_mpi *X, mbedtls_mpi_sint z )
switches	0:5c4d7b2438d3	291	{
switches	0:5c4d7b2438d3	292	int ret;
switches	0:5c4d7b2438d3	293
switches	0:5c4d7b2438d3	294	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, 1 ) );
switches	0:5c4d7b2438d3	295	memset( X->p, 0, X->n * ciL );
switches	0:5c4d7b2438d3	296
switches	0:5c4d7b2438d3	297	X->p[0] = ( z < 0 ) ? -z : z;
switches	0:5c4d7b2438d3	298	X->s = ( z < 0 ) ? -1 : 1;
switches	0:5c4d7b2438d3	299
switches	0:5c4d7b2438d3	300	cleanup:
switches	0:5c4d7b2438d3	301
switches	0:5c4d7b2438d3	302	return( ret );
switches	0:5c4d7b2438d3	303	}
switches	0:5c4d7b2438d3	304
switches	0:5c4d7b2438d3	305	/*
switches	0:5c4d7b2438d3	306	* Get a specific bit
switches	0:5c4d7b2438d3	307	*/
switches	0:5c4d7b2438d3	308	int mbedtls_mpi_get_bit( const mbedtls_mpi *X, size_t pos )
switches	0:5c4d7b2438d3	309	{
switches	0:5c4d7b2438d3	310	if( X->n * biL <= pos )
switches	0:5c4d7b2438d3	311	return( 0 );
switches	0:5c4d7b2438d3	312
switches	0:5c4d7b2438d3	313	return( ( X->p[pos / biL] >> ( pos % biL ) ) & 0x01 );
switches	0:5c4d7b2438d3	314	}
switches	0:5c4d7b2438d3	315
switches	0:5c4d7b2438d3	316	/*
switches	0:5c4d7b2438d3	317	* Set a bit to a specific value of 0 or 1
switches	0:5c4d7b2438d3	318	*/
switches	0:5c4d7b2438d3	319	int mbedtls_mpi_set_bit( mbedtls_mpi *X, size_t pos, unsigned char val )
switches	0:5c4d7b2438d3	320	{
switches	0:5c4d7b2438d3	321	int ret = 0;
switches	0:5c4d7b2438d3	322	size_t off = pos / biL;
switches	0:5c4d7b2438d3	323	size_t idx = pos % biL;
switches	0:5c4d7b2438d3	324
switches	0:5c4d7b2438d3	325	if( val != 0 && val != 1 )
switches	0:5c4d7b2438d3	326	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	327
switches	0:5c4d7b2438d3	328	if( X->n * biL <= pos )
switches	0:5c4d7b2438d3	329	{
switches	0:5c4d7b2438d3	330	if( val == 0 )
switches	0:5c4d7b2438d3	331	return( 0 );
switches	0:5c4d7b2438d3	332
switches	0:5c4d7b2438d3	333	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, off + 1 ) );
switches	0:5c4d7b2438d3	334	}
switches	0:5c4d7b2438d3	335
switches	0:5c4d7b2438d3	336	X->p[off] &= ~( (mbedtls_mpi_uint) 0x01 << idx );
switches	0:5c4d7b2438d3	337	X->p[off] \|= (mbedtls_mpi_uint) val << idx;
switches	0:5c4d7b2438d3	338
switches	0:5c4d7b2438d3	339	cleanup:
switches	0:5c4d7b2438d3	340
switches	0:5c4d7b2438d3	341	return( ret );
switches	0:5c4d7b2438d3	342	}
switches	0:5c4d7b2438d3	343
switches	0:5c4d7b2438d3	344	/*
switches	0:5c4d7b2438d3	345	* Return the number of less significant zero-bits
switches	0:5c4d7b2438d3	346	*/
switches	0:5c4d7b2438d3	347	size_t mbedtls_mpi_lsb( const mbedtls_mpi *X )
switches	0:5c4d7b2438d3	348	{
switches	0:5c4d7b2438d3	349	size_t i, j, count = 0;
switches	0:5c4d7b2438d3	350
switches	0:5c4d7b2438d3	351	for( i = 0; i < X->n; i++ )
switches	0:5c4d7b2438d3	352	for( j = 0; j < biL; j++, count++ )
switches	0:5c4d7b2438d3	353	if( ( ( X->p[i] >> j ) & 1 ) != 0 )
switches	0:5c4d7b2438d3	354	return( count );
switches	0:5c4d7b2438d3	355
switches	0:5c4d7b2438d3	356	return( 0 );
switches	0:5c4d7b2438d3	357	}
switches	0:5c4d7b2438d3	358
switches	0:5c4d7b2438d3	359	/*
switches	0:5c4d7b2438d3	360	* Count leading zero bits in a given integer
switches	0:5c4d7b2438d3	361	*/
switches	0:5c4d7b2438d3	362	static size_t mbedtls_clz( const mbedtls_mpi_uint x )
switches	0:5c4d7b2438d3	363	{
switches	0:5c4d7b2438d3	364	size_t j;
switches	0:5c4d7b2438d3	365	mbedtls_mpi_uint mask = (mbedtls_mpi_uint) 1 << (biL - 1);
switches	0:5c4d7b2438d3	366
switches	0:5c4d7b2438d3	367	for( j = 0; j < biL; j++ )
switches	0:5c4d7b2438d3	368	{
switches	0:5c4d7b2438d3	369	if( x & mask ) break;
switches	0:5c4d7b2438d3	370
switches	0:5c4d7b2438d3	371	mask >>= 1;
switches	0:5c4d7b2438d3	372	}
switches	0:5c4d7b2438d3	373
switches	0:5c4d7b2438d3	374	return j;
switches	0:5c4d7b2438d3	375	}
switches	0:5c4d7b2438d3	376
switches	0:5c4d7b2438d3	377	/*
switches	0:5c4d7b2438d3	378	* Return the number of bits
switches	0:5c4d7b2438d3	379	*/
switches	0:5c4d7b2438d3	380	size_t mbedtls_mpi_bitlen( const mbedtls_mpi *X )
switches	0:5c4d7b2438d3	381	{
switches	0:5c4d7b2438d3	382	size_t i, j;
switches	0:5c4d7b2438d3	383
switches	0:5c4d7b2438d3	384	if( X->n == 0 )
switches	0:5c4d7b2438d3	385	return( 0 );
switches	0:5c4d7b2438d3	386
switches	0:5c4d7b2438d3	387	for( i = X->n - 1; i > 0; i-- )
switches	0:5c4d7b2438d3	388	if( X->p[i] != 0 )
switches	0:5c4d7b2438d3	389	break;
switches	0:5c4d7b2438d3	390
switches	0:5c4d7b2438d3	391	j = biL - mbedtls_clz( X->p[i] );
switches	0:5c4d7b2438d3	392
switches	0:5c4d7b2438d3	393	return( ( i * biL ) + j );
switches	0:5c4d7b2438d3	394	}
switches	0:5c4d7b2438d3	395
switches	0:5c4d7b2438d3	396	/*
switches	0:5c4d7b2438d3	397	* Return the total size in bytes
switches	0:5c4d7b2438d3	398	*/
switches	0:5c4d7b2438d3	399	size_t mbedtls_mpi_size( const mbedtls_mpi *X )
switches	0:5c4d7b2438d3	400	{
switches	0:5c4d7b2438d3	401	return( ( mbedtls_mpi_bitlen( X ) + 7 ) >> 3 );
switches	0:5c4d7b2438d3	402	}
switches	0:5c4d7b2438d3	403
switches	0:5c4d7b2438d3	404	/*
switches	0:5c4d7b2438d3	405	* Convert an ASCII character to digit value
switches	0:5c4d7b2438d3	406	*/
switches	0:5c4d7b2438d3	407	static int mpi_get_digit( mbedtls_mpi_uint *d, int radix, char c )
switches	0:5c4d7b2438d3	408	{
switches	0:5c4d7b2438d3	409	*d = 255;
switches	0:5c4d7b2438d3	410
switches	0:5c4d7b2438d3	411	if( c >= 0x30 && c <= 0x39 ) *d = c - 0x30;
switches	0:5c4d7b2438d3	412	if( c >= 0x41 && c <= 0x46 ) *d = c - 0x37;
switches	0:5c4d7b2438d3	413	if( c >= 0x61 && c <= 0x66 ) *d = c - 0x57;
switches	0:5c4d7b2438d3	414
switches	0:5c4d7b2438d3	415	if( *d >= (mbedtls_mpi_uint) radix )
switches	0:5c4d7b2438d3	416	return( MBEDTLS_ERR_MPI_INVALID_CHARACTER );
switches	0:5c4d7b2438d3	417
switches	0:5c4d7b2438d3	418	return( 0 );
switches	0:5c4d7b2438d3	419	}
switches	0:5c4d7b2438d3	420
switches	0:5c4d7b2438d3	421	/*
switches	0:5c4d7b2438d3	422	* Import from an ASCII string
switches	0:5c4d7b2438d3	423	*/
switches	0:5c4d7b2438d3	424	int mbedtls_mpi_read_string( mbedtls_mpi X, int radix, const char s )
switches	0:5c4d7b2438d3	425	{
switches	0:5c4d7b2438d3	426	int ret;
switches	0:5c4d7b2438d3	427	size_t i, j, slen, n;
switches	0:5c4d7b2438d3	428	mbedtls_mpi_uint d;
switches	0:5c4d7b2438d3	429	mbedtls_mpi T;
switches	0:5c4d7b2438d3	430
switches	0:5c4d7b2438d3	431	if( radix < 2 \|\| radix > 16 )
switches	0:5c4d7b2438d3	432	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	433
switches	0:5c4d7b2438d3	434	mbedtls_mpi_init( &T );
switches	0:5c4d7b2438d3	435
switches	0:5c4d7b2438d3	436	slen = strlen( s );
switches	0:5c4d7b2438d3	437
switches	0:5c4d7b2438d3	438	if( radix == 16 )
switches	0:5c4d7b2438d3	439	{
switches	0:5c4d7b2438d3	440	if( slen > MPI_SIZE_T_MAX >> 2 )
switches	0:5c4d7b2438d3	441	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	442
switches	0:5c4d7b2438d3	443	n = BITS_TO_LIMBS( slen << 2 );
switches	0:5c4d7b2438d3	444
switches	0:5c4d7b2438d3	445	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, n ) );
switches	0:5c4d7b2438d3	446	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( X, 0 ) );
switches	0:5c4d7b2438d3	447
switches	0:5c4d7b2438d3	448	for( i = slen, j = 0; i > 0; i--, j++ )
switches	0:5c4d7b2438d3	449	{
switches	0:5c4d7b2438d3	450	if( i == 1 && s[i - 1] == '-' )
switches	0:5c4d7b2438d3	451	{
switches	0:5c4d7b2438d3	452	X->s = -1;
switches	0:5c4d7b2438d3	453	break;
switches	0:5c4d7b2438d3	454	}
switches	0:5c4d7b2438d3	455
switches	0:5c4d7b2438d3	456	MBEDTLS_MPI_CHK( mpi_get_digit( &d, radix, s[i - 1] ) );
switches	0:5c4d7b2438d3	457	X->p[j / ( 2 * ciL )] \|= d << ( ( j % ( 2 * ciL ) ) << 2 );
switches	0:5c4d7b2438d3	458	}
switches	0:5c4d7b2438d3	459	}
switches	0:5c4d7b2438d3	460	else
switches	0:5c4d7b2438d3	461	{
switches	0:5c4d7b2438d3	462	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( X, 0 ) );
switches	0:5c4d7b2438d3	463
switches	0:5c4d7b2438d3	464	for( i = 0; i < slen; i++ )
switches	0:5c4d7b2438d3	465	{
switches	0:5c4d7b2438d3	466	if( i == 0 && s[i] == '-' )
switches	0:5c4d7b2438d3	467	{
switches	0:5c4d7b2438d3	468	X->s = -1;
switches	0:5c4d7b2438d3	469	continue;
switches	0:5c4d7b2438d3	470	}
switches	0:5c4d7b2438d3	471
switches	0:5c4d7b2438d3	472	MBEDTLS_MPI_CHK( mpi_get_digit( &d, radix, s[i] ) );
switches	0:5c4d7b2438d3	473	MBEDTLS_MPI_CHK( mbedtls_mpi_mul_int( &T, X, radix ) );
switches	0:5c4d7b2438d3	474
switches	0:5c4d7b2438d3	475	if( X->s == 1 )
switches	0:5c4d7b2438d3	476	{
switches	0:5c4d7b2438d3	477	MBEDTLS_MPI_CHK( mbedtls_mpi_add_int( X, &T, d ) );
switches	0:5c4d7b2438d3	478	}
switches	0:5c4d7b2438d3	479	else
switches	0:5c4d7b2438d3	480	{
switches	0:5c4d7b2438d3	481	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( X, &T, d ) );
switches	0:5c4d7b2438d3	482	}
switches	0:5c4d7b2438d3	483	}
switches	0:5c4d7b2438d3	484	}
switches	0:5c4d7b2438d3	485
switches	0:5c4d7b2438d3	486	cleanup:
switches	0:5c4d7b2438d3	487
switches	0:5c4d7b2438d3	488	mbedtls_mpi_free( &T );
switches	0:5c4d7b2438d3	489
switches	0:5c4d7b2438d3	490	return( ret );
switches	0:5c4d7b2438d3	491	}
switches	0:5c4d7b2438d3	492
switches	0:5c4d7b2438d3	493	/*
switches	0:5c4d7b2438d3	494	* Helper to write the digits high-order first
switches	0:5c4d7b2438d3	495	*/
switches	0:5c4d7b2438d3	496	static int mpi_write_hlp( mbedtls_mpi X, int radix, char *p )
switches	0:5c4d7b2438d3	497	{
switches	0:5c4d7b2438d3	498	int ret;
switches	0:5c4d7b2438d3	499	mbedtls_mpi_uint r;
switches	0:5c4d7b2438d3	500
switches	0:5c4d7b2438d3	501	if( radix < 2 \|\| radix > 16 )
switches	0:5c4d7b2438d3	502	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	503
switches	0:5c4d7b2438d3	504	MBEDTLS_MPI_CHK( mbedtls_mpi_mod_int( &r, X, radix ) );
switches	0:5c4d7b2438d3	505	MBEDTLS_MPI_CHK( mbedtls_mpi_div_int( X, NULL, X, radix ) );
switches	0:5c4d7b2438d3	506
switches	0:5c4d7b2438d3	507	if( mbedtls_mpi_cmp_int( X, 0 ) != 0 )
switches	0:5c4d7b2438d3	508	MBEDTLS_MPI_CHK( mpi_write_hlp( X, radix, p ) );
switches	0:5c4d7b2438d3	509
switches	0:5c4d7b2438d3	510	if( r < 10 )
switches	0:5c4d7b2438d3	511	(p)++ = (char)( r + 0x30 );
switches	0:5c4d7b2438d3	512	else
switches	0:5c4d7b2438d3	513	(p)++ = (char)( r + 0x37 );
switches	0:5c4d7b2438d3	514
switches	0:5c4d7b2438d3	515	cleanup:
switches	0:5c4d7b2438d3	516
switches	0:5c4d7b2438d3	517	return( ret );
switches	0:5c4d7b2438d3	518	}
switches	0:5c4d7b2438d3	519
switches	0:5c4d7b2438d3	520	/*
switches	0:5c4d7b2438d3	521	* Export into an ASCII string
switches	0:5c4d7b2438d3	522	*/
switches	0:5c4d7b2438d3	523	int mbedtls_mpi_write_string( const mbedtls_mpi *X, int radix,
switches	0:5c4d7b2438d3	524	char buf, size_t buflen, size_t olen )
switches	0:5c4d7b2438d3	525	{
switches	0:5c4d7b2438d3	526	int ret = 0;
switches	0:5c4d7b2438d3	527	size_t n;
switches	0:5c4d7b2438d3	528	char *p;
switches	0:5c4d7b2438d3	529	mbedtls_mpi T;
switches	0:5c4d7b2438d3	530
switches	0:5c4d7b2438d3	531	if( radix < 2 \|\| radix > 16 )
switches	0:5c4d7b2438d3	532	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	533
switches	0:5c4d7b2438d3	534	n = mbedtls_mpi_bitlen( X );
switches	0:5c4d7b2438d3	535	if( radix >= 4 ) n >>= 1;
switches	0:5c4d7b2438d3	536	if( radix >= 16 ) n >>= 1;
switches	0:5c4d7b2438d3	537	n += 3;
switches	0:5c4d7b2438d3	538
switches	0:5c4d7b2438d3	539	if( buflen < n )
switches	0:5c4d7b2438d3	540	{
switches	0:5c4d7b2438d3	541	*olen = n;
switches	0:5c4d7b2438d3	542	return( MBEDTLS_ERR_MPI_BUFFER_TOO_SMALL );
switches	0:5c4d7b2438d3	543	}
switches	0:5c4d7b2438d3	544
switches	0:5c4d7b2438d3	545	p = buf;
switches	0:5c4d7b2438d3	546	mbedtls_mpi_init( &T );
switches	0:5c4d7b2438d3	547
switches	0:5c4d7b2438d3	548	if( X->s == -1 )
switches	0:5c4d7b2438d3	549	*p++ = '-';
switches	0:5c4d7b2438d3	550
switches	0:5c4d7b2438d3	551	if( radix == 16 )
switches	0:5c4d7b2438d3	552	{
switches	0:5c4d7b2438d3	553	int c;
switches	0:5c4d7b2438d3	554	size_t i, j, k;
switches	0:5c4d7b2438d3	555
switches	0:5c4d7b2438d3	556	for( i = X->n, k = 0; i > 0; i-- )
switches	0:5c4d7b2438d3	557	{
switches	0:5c4d7b2438d3	558	for( j = ciL; j > 0; j-- )
switches	0:5c4d7b2438d3	559	{
switches	0:5c4d7b2438d3	560	c = ( X->p[i - 1] >> ( ( j - 1 ) << 3) ) & 0xFF;
switches	0:5c4d7b2438d3	561
switches	0:5c4d7b2438d3	562	if( c == 0 && k == 0 && ( i + j ) != 2 )
switches	0:5c4d7b2438d3	563	continue;
switches	0:5c4d7b2438d3	564
switches	0:5c4d7b2438d3	565	*(p++) = "0123456789ABCDEF" [c / 16];
switches	0:5c4d7b2438d3	566	*(p++) = "0123456789ABCDEF" [c % 16];
switches	0:5c4d7b2438d3	567	k = 1;
switches	0:5c4d7b2438d3	568	}
switches	0:5c4d7b2438d3	569	}
switches	0:5c4d7b2438d3	570	}
switches	0:5c4d7b2438d3	571	else
switches	0:5c4d7b2438d3	572	{
switches	0:5c4d7b2438d3	573	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &T, X ) );
switches	0:5c4d7b2438d3	574
switches	0:5c4d7b2438d3	575	if( T.s == -1 )
switches	0:5c4d7b2438d3	576	T.s = 1;
switches	0:5c4d7b2438d3	577
switches	0:5c4d7b2438d3	578	MBEDTLS_MPI_CHK( mpi_write_hlp( &T, radix, &p ) );
switches	0:5c4d7b2438d3	579	}
switches	0:5c4d7b2438d3	580
switches	0:5c4d7b2438d3	581	*p++ = '\0';
switches	0:5c4d7b2438d3	582	*olen = p - buf;
switches	0:5c4d7b2438d3	583
switches	0:5c4d7b2438d3	584	cleanup:
switches	0:5c4d7b2438d3	585
switches	0:5c4d7b2438d3	586	mbedtls_mpi_free( &T );
switches	0:5c4d7b2438d3	587
switches	0:5c4d7b2438d3	588	return( ret );
switches	0:5c4d7b2438d3	589	}
switches	0:5c4d7b2438d3	590
switches	0:5c4d7b2438d3	591	#if defined(MBEDTLS_FS_IO)
switches	0:5c4d7b2438d3	592	/*
switches	0:5c4d7b2438d3	593	* Read X from an opened file
switches	0:5c4d7b2438d3	594	*/
switches	0:5c4d7b2438d3	595	int mbedtls_mpi_read_file( mbedtls_mpi X, int radix, FILE fin )
switches	0:5c4d7b2438d3	596	{
switches	0:5c4d7b2438d3	597	mbedtls_mpi_uint d;
switches	0:5c4d7b2438d3	598	size_t slen;
switches	0:5c4d7b2438d3	599	char *p;
switches	0:5c4d7b2438d3	600	/*
switches	0:5c4d7b2438d3	601	* Buffer should have space for (short) label and decimal formatted MPI,
switches	0:5c4d7b2438d3	602	* newline characters and '\0'
switches	0:5c4d7b2438d3	603	*/
switches	0:5c4d7b2438d3	604	char s[ MBEDTLS_MPI_RW_BUFFER_SIZE ];
switches	0:5c4d7b2438d3	605
switches	0:5c4d7b2438d3	606	memset( s, 0, sizeof( s ) );
switches	0:5c4d7b2438d3	607	if( fgets( s, sizeof( s ) - 1, fin ) == NULL )
switches	0:5c4d7b2438d3	608	return( MBEDTLS_ERR_MPI_FILE_IO_ERROR );
switches	0:5c4d7b2438d3	609
switches	0:5c4d7b2438d3	610	slen = strlen( s );
switches	0:5c4d7b2438d3	611	if( slen == sizeof( s ) - 2 )
switches	0:5c4d7b2438d3	612	return( MBEDTLS_ERR_MPI_BUFFER_TOO_SMALL );
switches	0:5c4d7b2438d3	613
switches	0:5c4d7b2438d3	614	if( s[slen - 1] == '\n' ) { slen--; s[slen] = '\0'; }
switches	0:5c4d7b2438d3	615	if( s[slen - 1] == '\r' ) { slen--; s[slen] = '\0'; }
switches	0:5c4d7b2438d3	616
switches	0:5c4d7b2438d3	617	p = s + slen;
switches	0:5c4d7b2438d3	618	while( --p >= s )
switches	0:5c4d7b2438d3	619	if( mpi_get_digit( &d, radix, *p ) != 0 )
switches	0:5c4d7b2438d3	620	break;
switches	0:5c4d7b2438d3	621
switches	0:5c4d7b2438d3	622	return( mbedtls_mpi_read_string( X, radix, p + 1 ) );
switches	0:5c4d7b2438d3	623	}
switches	0:5c4d7b2438d3	624
switches	0:5c4d7b2438d3	625	/*
switches	0:5c4d7b2438d3	626	* Write X into an opened file (or stdout if fout == NULL)
switches	0:5c4d7b2438d3	627	*/
switches	0:5c4d7b2438d3	628	int mbedtls_mpi_write_file( const char p, const mbedtls_mpi X, int radix, FILE *fout )
switches	0:5c4d7b2438d3	629	{
switches	0:5c4d7b2438d3	630	int ret;
switches	0:5c4d7b2438d3	631	size_t n, slen, plen;
switches	0:5c4d7b2438d3	632	/*
switches	0:5c4d7b2438d3	633	* Buffer should have space for (short) label and decimal formatted MPI,
switches	0:5c4d7b2438d3	634	* newline characters and '\0'
switches	0:5c4d7b2438d3	635	*/
switches	0:5c4d7b2438d3	636	char s[ MBEDTLS_MPI_RW_BUFFER_SIZE ];
switches	0:5c4d7b2438d3	637
switches	0:5c4d7b2438d3	638	memset( s, 0, sizeof( s ) );
switches	0:5c4d7b2438d3	639
switches	0:5c4d7b2438d3	640	MBEDTLS_MPI_CHK( mbedtls_mpi_write_string( X, radix, s, sizeof( s ) - 2, &n ) );
switches	0:5c4d7b2438d3	641
switches	0:5c4d7b2438d3	642	if( p == NULL ) p = "";
switches	0:5c4d7b2438d3	643
switches	0:5c4d7b2438d3	644	plen = strlen( p );
switches	0:5c4d7b2438d3	645	slen = strlen( s );
switches	0:5c4d7b2438d3	646	s[slen++] = '\r';
switches	0:5c4d7b2438d3	647	s[slen++] = '\n';
switches	0:5c4d7b2438d3	648
switches	0:5c4d7b2438d3	649	if( fout != NULL )
switches	0:5c4d7b2438d3	650	{
switches	0:5c4d7b2438d3	651	if( fwrite( p, 1, plen, fout ) != plen \|\|
switches	0:5c4d7b2438d3	652	fwrite( s, 1, slen, fout ) != slen )
switches	0:5c4d7b2438d3	653	return( MBEDTLS_ERR_MPI_FILE_IO_ERROR );
switches	0:5c4d7b2438d3	654	}
switches	0:5c4d7b2438d3	655	else
switches	0:5c4d7b2438d3	656	mbedtls_printf( "%s%s", p, s );
switches	0:5c4d7b2438d3	657
switches	0:5c4d7b2438d3	658	cleanup:
switches	0:5c4d7b2438d3	659
switches	0:5c4d7b2438d3	660	return( ret );
switches	0:5c4d7b2438d3	661	}
switches	0:5c4d7b2438d3	662	#endif /* MBEDTLS_FS_IO */
switches	0:5c4d7b2438d3	663
switches	0:5c4d7b2438d3	664	/*
switches	0:5c4d7b2438d3	665	* Import X from unsigned binary data, big endian
switches	0:5c4d7b2438d3	666	*/
switches	0:5c4d7b2438d3	667	int mbedtls_mpi_read_binary( mbedtls_mpi X, const unsigned char buf, size_t buflen )
switches	0:5c4d7b2438d3	668	{
switches	0:5c4d7b2438d3	669	int ret;
switches	0:5c4d7b2438d3	670	size_t i, j, n;
switches	0:5c4d7b2438d3	671
switches	0:5c4d7b2438d3	672	for( n = 0; n < buflen; n++ )
switches	0:5c4d7b2438d3	673	if( buf[n] != 0 )
switches	0:5c4d7b2438d3	674	break;
switches	0:5c4d7b2438d3	675
switches	0:5c4d7b2438d3	676	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, CHARS_TO_LIMBS( buflen - n ) ) );
switches	0:5c4d7b2438d3	677	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( X, 0 ) );
switches	0:5c4d7b2438d3	678
switches	0:5c4d7b2438d3	679	for( i = buflen, j = 0; i > n; i--, j++ )
switches	0:5c4d7b2438d3	680	X->p[j / ciL] \|= ((mbedtls_mpi_uint) buf[i - 1]) << ((j % ciL) << 3);
switches	0:5c4d7b2438d3	681
switches	0:5c4d7b2438d3	682	cleanup:
switches	0:5c4d7b2438d3	683
switches	0:5c4d7b2438d3	684	return( ret );
switches	0:5c4d7b2438d3	685	}
switches	0:5c4d7b2438d3	686
switches	0:5c4d7b2438d3	687	/*
switches	0:5c4d7b2438d3	688	* Export X into unsigned binary data, big endian
switches	0:5c4d7b2438d3	689	*/
switches	0:5c4d7b2438d3	690	int mbedtls_mpi_write_binary( const mbedtls_mpi X, unsigned char buf, size_t buflen )
switches	0:5c4d7b2438d3	691	{
switches	0:5c4d7b2438d3	692	size_t i, j, n;
switches	0:5c4d7b2438d3	693
switches	0:5c4d7b2438d3	694	n = mbedtls_mpi_size( X );
switches	0:5c4d7b2438d3	695
switches	0:5c4d7b2438d3	696	if( buflen < n )
switches	0:5c4d7b2438d3	697	return( MBEDTLS_ERR_MPI_BUFFER_TOO_SMALL );
switches	0:5c4d7b2438d3	698
switches	0:5c4d7b2438d3	699	memset( buf, 0, buflen );
switches	0:5c4d7b2438d3	700
switches	0:5c4d7b2438d3	701	for( i = buflen - 1, j = 0; n > 0; i--, j++, n-- )
switches	0:5c4d7b2438d3	702	buf[i] = (unsigned char)( X->p[j / ciL] >> ((j % ciL) << 3) );
switches	0:5c4d7b2438d3	703
switches	0:5c4d7b2438d3	704	return( 0 );
switches	0:5c4d7b2438d3	705	}
switches	0:5c4d7b2438d3	706
switches	0:5c4d7b2438d3	707	/*
switches	0:5c4d7b2438d3	708	* Left-shift: X <<= count
switches	0:5c4d7b2438d3	709	*/
switches	0:5c4d7b2438d3	710	int mbedtls_mpi_shift_l( mbedtls_mpi *X, size_t count )
switches	0:5c4d7b2438d3	711	{
switches	0:5c4d7b2438d3	712	int ret;
switches	0:5c4d7b2438d3	713	size_t i, v0, t1;
switches	0:5c4d7b2438d3	714	mbedtls_mpi_uint r0 = 0, r1;
switches	0:5c4d7b2438d3	715
switches	0:5c4d7b2438d3	716	v0 = count / (biL );
switches	0:5c4d7b2438d3	717	t1 = count & (biL - 1);
switches	0:5c4d7b2438d3	718
switches	0:5c4d7b2438d3	719	i = mbedtls_mpi_bitlen( X ) + count;
switches	0:5c4d7b2438d3	720
switches	0:5c4d7b2438d3	721	if( X->n * biL < i )
switches	0:5c4d7b2438d3	722	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, BITS_TO_LIMBS( i ) ) );
switches	0:5c4d7b2438d3	723
switches	0:5c4d7b2438d3	724	ret = 0;
switches	0:5c4d7b2438d3	725
switches	0:5c4d7b2438d3	726	/*
switches	0:5c4d7b2438d3	727	* shift by count / limb_size
switches	0:5c4d7b2438d3	728	*/
switches	0:5c4d7b2438d3	729	if( v0 > 0 )
switches	0:5c4d7b2438d3	730	{
switches	0:5c4d7b2438d3	731	for( i = X->n; i > v0; i-- )
switches	0:5c4d7b2438d3	732	X->p[i - 1] = X->p[i - v0 - 1];
switches	0:5c4d7b2438d3	733
switches	0:5c4d7b2438d3	734	for( ; i > 0; i-- )
switches	0:5c4d7b2438d3	735	X->p[i - 1] = 0;
switches	0:5c4d7b2438d3	736	}
switches	0:5c4d7b2438d3	737
switches	0:5c4d7b2438d3	738	/*
switches	0:5c4d7b2438d3	739	* shift by count % limb_size
switches	0:5c4d7b2438d3	740	*/
switches	0:5c4d7b2438d3	741	if( t1 > 0 )
switches	0:5c4d7b2438d3	742	{
switches	0:5c4d7b2438d3	743	for( i = v0; i < X->n; i++ )
switches	0:5c4d7b2438d3	744	{
switches	0:5c4d7b2438d3	745	r1 = X->p[i] >> (biL - t1);
switches	0:5c4d7b2438d3	746	X->p[i] <<= t1;
switches	0:5c4d7b2438d3	747	X->p[i] \|= r0;
switches	0:5c4d7b2438d3	748	r0 = r1;
switches	0:5c4d7b2438d3	749	}
switches	0:5c4d7b2438d3	750	}
switches	0:5c4d7b2438d3	751
switches	0:5c4d7b2438d3	752	cleanup:
switches	0:5c4d7b2438d3	753
switches	0:5c4d7b2438d3	754	return( ret );
switches	0:5c4d7b2438d3	755	}
switches	0:5c4d7b2438d3	756
switches	0:5c4d7b2438d3	757	/*
switches	0:5c4d7b2438d3	758	* Right-shift: X >>= count
switches	0:5c4d7b2438d3	759	*/
switches	0:5c4d7b2438d3	760	int mbedtls_mpi_shift_r( mbedtls_mpi *X, size_t count )
switches	0:5c4d7b2438d3	761	{
switches	0:5c4d7b2438d3	762	size_t i, v0, v1;
switches	0:5c4d7b2438d3	763	mbedtls_mpi_uint r0 = 0, r1;
switches	0:5c4d7b2438d3	764
switches	0:5c4d7b2438d3	765	v0 = count / biL;
switches	0:5c4d7b2438d3	766	v1 = count & (biL - 1);
switches	0:5c4d7b2438d3	767
switches	0:5c4d7b2438d3	768	if( v0 > X->n \|\| ( v0 == X->n && v1 > 0 ) )
switches	0:5c4d7b2438d3	769	return mbedtls_mpi_lset( X, 0 );
switches	0:5c4d7b2438d3	770
switches	0:5c4d7b2438d3	771	/*
switches	0:5c4d7b2438d3	772	* shift by count / limb_size
switches	0:5c4d7b2438d3	773	*/
switches	0:5c4d7b2438d3	774	if( v0 > 0 )
switches	0:5c4d7b2438d3	775	{
switches	0:5c4d7b2438d3	776	for( i = 0; i < X->n - v0; i++ )
switches	0:5c4d7b2438d3	777	X->p[i] = X->p[i + v0];
switches	0:5c4d7b2438d3	778
switches	0:5c4d7b2438d3	779	for( ; i < X->n; i++ )
switches	0:5c4d7b2438d3	780	X->p[i] = 0;
switches	0:5c4d7b2438d3	781	}
switches	0:5c4d7b2438d3	782
switches	0:5c4d7b2438d3	783	/*
switches	0:5c4d7b2438d3	784	* shift by count % limb_size
switches	0:5c4d7b2438d3	785	*/
switches	0:5c4d7b2438d3	786	if( v1 > 0 )
switches	0:5c4d7b2438d3	787	{
switches	0:5c4d7b2438d3	788	for( i = X->n; i > 0; i-- )
switches	0:5c4d7b2438d3	789	{
switches	0:5c4d7b2438d3	790	r1 = X->p[i - 1] << (biL - v1);
switches	0:5c4d7b2438d3	791	X->p[i - 1] >>= v1;
switches	0:5c4d7b2438d3	792	X->p[i - 1] \|= r0;
switches	0:5c4d7b2438d3	793	r0 = r1;
switches	0:5c4d7b2438d3	794	}
switches	0:5c4d7b2438d3	795	}
switches	0:5c4d7b2438d3	796
switches	0:5c4d7b2438d3	797	return( 0 );
switches	0:5c4d7b2438d3	798	}
switches	0:5c4d7b2438d3	799
switches	0:5c4d7b2438d3	800	/*
switches	0:5c4d7b2438d3	801	* Compare unsigned values
switches	0:5c4d7b2438d3	802	*/
switches	0:5c4d7b2438d3	803	int mbedtls_mpi_cmp_abs( const mbedtls_mpi X, const mbedtls_mpi Y )
switches	0:5c4d7b2438d3	804	{
switches	0:5c4d7b2438d3	805	size_t i, j;
switches	0:5c4d7b2438d3	806
switches	0:5c4d7b2438d3	807	for( i = X->n; i > 0; i-- )
switches	0:5c4d7b2438d3	808	if( X->p[i - 1] != 0 )
switches	0:5c4d7b2438d3	809	break;
switches	0:5c4d7b2438d3	810
switches	0:5c4d7b2438d3	811	for( j = Y->n; j > 0; j-- )
switches	0:5c4d7b2438d3	812	if( Y->p[j - 1] != 0 )
switches	0:5c4d7b2438d3	813	break;
switches	0:5c4d7b2438d3	814
switches	0:5c4d7b2438d3	815	if( i == 0 && j == 0 )
switches	0:5c4d7b2438d3	816	return( 0 );
switches	0:5c4d7b2438d3	817
switches	0:5c4d7b2438d3	818	if( i > j ) return( 1 );
switches	0:5c4d7b2438d3	819	if( j > i ) return( -1 );
switches	0:5c4d7b2438d3	820
switches	0:5c4d7b2438d3	821	for( ; i > 0; i-- )
switches	0:5c4d7b2438d3	822	{
switches	0:5c4d7b2438d3	823	if( X->p[i - 1] > Y->p[i - 1] ) return( 1 );
switches	0:5c4d7b2438d3	824	if( X->p[i - 1] < Y->p[i - 1] ) return( -1 );
switches	0:5c4d7b2438d3	825	}
switches	0:5c4d7b2438d3	826
switches	0:5c4d7b2438d3	827	return( 0 );
switches	0:5c4d7b2438d3	828	}
switches	0:5c4d7b2438d3	829
switches	0:5c4d7b2438d3	830	/*
switches	0:5c4d7b2438d3	831	* Compare signed values
switches	0:5c4d7b2438d3	832	*/
switches	0:5c4d7b2438d3	833	int mbedtls_mpi_cmp_mpi( const mbedtls_mpi X, const mbedtls_mpi Y )
switches	0:5c4d7b2438d3	834	{
switches	0:5c4d7b2438d3	835	size_t i, j;
switches	0:5c4d7b2438d3	836
switches	0:5c4d7b2438d3	837	for( i = X->n; i > 0; i-- )
switches	0:5c4d7b2438d3	838	if( X->p[i - 1] != 0 )
switches	0:5c4d7b2438d3	839	break;
switches	0:5c4d7b2438d3	840
switches	0:5c4d7b2438d3	841	for( j = Y->n; j > 0; j-- )
switches	0:5c4d7b2438d3	842	if( Y->p[j - 1] != 0 )
switches	0:5c4d7b2438d3	843	break;
switches	0:5c4d7b2438d3	844
switches	0:5c4d7b2438d3	845	if( i == 0 && j == 0 )
switches	0:5c4d7b2438d3	846	return( 0 );
switches	0:5c4d7b2438d3	847
switches	0:5c4d7b2438d3	848	if( i > j ) return( X->s );
switches	0:5c4d7b2438d3	849	if( j > i ) return( -Y->s );
switches	0:5c4d7b2438d3	850
switches	0:5c4d7b2438d3	851	if( X->s > 0 && Y->s < 0 ) return( 1 );
switches	0:5c4d7b2438d3	852	if( Y->s > 0 && X->s < 0 ) return( -1 );
switches	0:5c4d7b2438d3	853
switches	0:5c4d7b2438d3	854	for( ; i > 0; i-- )
switches	0:5c4d7b2438d3	855	{
switches	0:5c4d7b2438d3	856	if( X->p[i - 1] > Y->p[i - 1] ) return( X->s );
switches	0:5c4d7b2438d3	857	if( X->p[i - 1] < Y->p[i - 1] ) return( -X->s );
switches	0:5c4d7b2438d3	858	}
switches	0:5c4d7b2438d3	859
switches	0:5c4d7b2438d3	860	return( 0 );
switches	0:5c4d7b2438d3	861	}
switches	0:5c4d7b2438d3	862
switches	0:5c4d7b2438d3	863	/*
switches	0:5c4d7b2438d3	864	* Compare signed values
switches	0:5c4d7b2438d3	865	*/
switches	0:5c4d7b2438d3	866	int mbedtls_mpi_cmp_int( const mbedtls_mpi *X, mbedtls_mpi_sint z )
switches	0:5c4d7b2438d3	867	{
switches	0:5c4d7b2438d3	868	mbedtls_mpi Y;
switches	0:5c4d7b2438d3	869	mbedtls_mpi_uint p[1];
switches	0:5c4d7b2438d3	870
switches	0:5c4d7b2438d3	871	*p = ( z < 0 ) ? -z : z;
switches	0:5c4d7b2438d3	872	Y.s = ( z < 0 ) ? -1 : 1;
switches	0:5c4d7b2438d3	873	Y.n = 1;
switches	0:5c4d7b2438d3	874	Y.p = p;
switches	0:5c4d7b2438d3	875
switches	0:5c4d7b2438d3	876	return( mbedtls_mpi_cmp_mpi( X, &Y ) );
switches	0:5c4d7b2438d3	877	}
switches	0:5c4d7b2438d3	878
switches	0:5c4d7b2438d3	879	/*
switches	0:5c4d7b2438d3	880	* Unsigned addition: X = \|A\| + \|B\| (HAC 14.7)
switches	0:5c4d7b2438d3	881	*/
switches	0:5c4d7b2438d3	882	int mbedtls_mpi_add_abs( mbedtls_mpi X, const mbedtls_mpi A, const mbedtls_mpi *B )
switches	0:5c4d7b2438d3	883	{
switches	0:5c4d7b2438d3	884	int ret;
switches	0:5c4d7b2438d3	885	size_t i, j;
switches	0:5c4d7b2438d3	886	mbedtls_mpi_uint o, p, c, tmp;
switches	0:5c4d7b2438d3	887
switches	0:5c4d7b2438d3	888	if( X == B )
switches	0:5c4d7b2438d3	889	{
switches	0:5c4d7b2438d3	890	const mbedtls_mpi *T = A; A = X; B = T;
switches	0:5c4d7b2438d3	891	}
switches	0:5c4d7b2438d3	892
switches	0:5c4d7b2438d3	893	if( X != A )
switches	0:5c4d7b2438d3	894	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( X, A ) );
switches	0:5c4d7b2438d3	895
switches	0:5c4d7b2438d3	896	/*
switches	0:5c4d7b2438d3	897	* X should always be positive as a result of unsigned additions.
switches	0:5c4d7b2438d3	898	*/
switches	0:5c4d7b2438d3	899	X->s = 1;
switches	0:5c4d7b2438d3	900
switches	0:5c4d7b2438d3	901	for( j = B->n; j > 0; j-- )
switches	0:5c4d7b2438d3	902	if( B->p[j - 1] != 0 )
switches	0:5c4d7b2438d3	903	break;
switches	0:5c4d7b2438d3	904
switches	0:5c4d7b2438d3	905	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, j ) );
switches	0:5c4d7b2438d3	906
switches	0:5c4d7b2438d3	907	o = B->p; p = X->p; c = 0;
switches	0:5c4d7b2438d3	908
switches	0:5c4d7b2438d3	909	/*
switches	0:5c4d7b2438d3	910	* tmp is used because it might happen that p == o
switches	0:5c4d7b2438d3	911	*/
switches	0:5c4d7b2438d3	912	for( i = 0; i < j; i++, o++, p++ )
switches	0:5c4d7b2438d3	913	{
switches	0:5c4d7b2438d3	914	tmp= *o;
switches	0:5c4d7b2438d3	915	p += c; c = ( p < c );
switches	0:5c4d7b2438d3	916	p += tmp; c += ( p < tmp );
switches	0:5c4d7b2438d3	917	}
switches	0:5c4d7b2438d3	918
switches	0:5c4d7b2438d3	919	while( c != 0 )
switches	0:5c4d7b2438d3	920	{
switches	0:5c4d7b2438d3	921	if( i >= X->n )
switches	0:5c4d7b2438d3	922	{
switches	0:5c4d7b2438d3	923	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, i + 1 ) );
switches	0:5c4d7b2438d3	924	p = X->p + i;
switches	0:5c4d7b2438d3	925	}
switches	0:5c4d7b2438d3	926
switches	0:5c4d7b2438d3	927	p += c; c = ( p < c ); i++; p++;
switches	0:5c4d7b2438d3	928	}
switches	0:5c4d7b2438d3	929
switches	0:5c4d7b2438d3	930	cleanup:
switches	0:5c4d7b2438d3	931
switches	0:5c4d7b2438d3	932	return( ret );
switches	0:5c4d7b2438d3	933	}
switches	0:5c4d7b2438d3	934
switches	0:5c4d7b2438d3	935	/*
switches	0:5c4d7b2438d3	936	* Helper for mbedtls_mpi subtraction
switches	0:5c4d7b2438d3	937	*/
switches	0:5c4d7b2438d3	938	static void mpi_sub_hlp( size_t n, mbedtls_mpi_uint s, mbedtls_mpi_uint d )
switches	0:5c4d7b2438d3	939	{
switches	0:5c4d7b2438d3	940	size_t i;
switches	0:5c4d7b2438d3	941	mbedtls_mpi_uint c, z;
switches	0:5c4d7b2438d3	942
switches	0:5c4d7b2438d3	943	for( i = c = 0; i < n; i++, s++, d++ )
switches	0:5c4d7b2438d3	944	{
switches	0:5c4d7b2438d3	945	z = ( d < c ); d -= c;
switches	0:5c4d7b2438d3	946	c = ( d < s ) + z; d -= s;
switches	0:5c4d7b2438d3	947	}
switches	0:5c4d7b2438d3	948
switches	0:5c4d7b2438d3	949	while( c != 0 )
switches	0:5c4d7b2438d3	950	{
switches	0:5c4d7b2438d3	951	z = ( d < c ); d -= c;
switches	0:5c4d7b2438d3	952	c = z; i++; d++;
switches	0:5c4d7b2438d3	953	}
switches	0:5c4d7b2438d3	954	}
switches	0:5c4d7b2438d3	955
switches	0:5c4d7b2438d3	956	/*
switches	0:5c4d7b2438d3	957	* Unsigned subtraction: X = \|A\| - \|B\| (HAC 14.9)
switches	0:5c4d7b2438d3	958	*/
switches	0:5c4d7b2438d3	959	int mbedtls_mpi_sub_abs( mbedtls_mpi X, const mbedtls_mpi A, const mbedtls_mpi *B )
switches	0:5c4d7b2438d3	960	{
switches	0:5c4d7b2438d3	961	mbedtls_mpi TB;
switches	0:5c4d7b2438d3	962	int ret;
switches	0:5c4d7b2438d3	963	size_t n;
switches	0:5c4d7b2438d3	964
switches	0:5c4d7b2438d3	965	if( mbedtls_mpi_cmp_abs( A, B ) < 0 )
switches	0:5c4d7b2438d3	966	return( MBEDTLS_ERR_MPI_NEGATIVE_VALUE );
switches	0:5c4d7b2438d3	967
switches	0:5c4d7b2438d3	968	mbedtls_mpi_init( &TB );
switches	0:5c4d7b2438d3	969
switches	0:5c4d7b2438d3	970	if( X == B )
switches	0:5c4d7b2438d3	971	{
switches	0:5c4d7b2438d3	972	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &TB, B ) );
switches	0:5c4d7b2438d3	973	B = &TB;
switches	0:5c4d7b2438d3	974	}
switches	0:5c4d7b2438d3	975
switches	0:5c4d7b2438d3	976	if( X != A )
switches	0:5c4d7b2438d3	977	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( X, A ) );
switches	0:5c4d7b2438d3	978
switches	0:5c4d7b2438d3	979	/*
switches	0:5c4d7b2438d3	980	* X should always be positive as a result of unsigned subtractions.
switches	0:5c4d7b2438d3	981	*/
switches	0:5c4d7b2438d3	982	X->s = 1;
switches	0:5c4d7b2438d3	983
switches	0:5c4d7b2438d3	984	ret = 0;
switches	0:5c4d7b2438d3	985
switches	0:5c4d7b2438d3	986	for( n = B->n; n > 0; n-- )
switches	0:5c4d7b2438d3	987	if( B->p[n - 1] != 0 )
switches	0:5c4d7b2438d3	988	break;
switches	0:5c4d7b2438d3	989
switches	0:5c4d7b2438d3	990	mpi_sub_hlp( n, B->p, X->p );
switches	0:5c4d7b2438d3	991
switches	0:5c4d7b2438d3	992	cleanup:
switches	0:5c4d7b2438d3	993
switches	0:5c4d7b2438d3	994	mbedtls_mpi_free( &TB );
switches	0:5c4d7b2438d3	995
switches	0:5c4d7b2438d3	996	return( ret );
switches	0:5c4d7b2438d3	997	}
switches	0:5c4d7b2438d3	998
switches	0:5c4d7b2438d3	999	/*
switches	0:5c4d7b2438d3	1000	* Signed addition: X = A + B
switches	0:5c4d7b2438d3	1001	*/
switches	0:5c4d7b2438d3	1002	int mbedtls_mpi_add_mpi( mbedtls_mpi X, const mbedtls_mpi A, const mbedtls_mpi *B )
switches	0:5c4d7b2438d3	1003	{
switches	0:5c4d7b2438d3	1004	int ret, s = A->s;
switches	0:5c4d7b2438d3	1005
switches	0:5c4d7b2438d3	1006	if( A->s * B->s < 0 )
switches	0:5c4d7b2438d3	1007	{
switches	0:5c4d7b2438d3	1008	if( mbedtls_mpi_cmp_abs( A, B ) >= 0 )
switches	0:5c4d7b2438d3	1009	{
switches	0:5c4d7b2438d3	1010	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_abs( X, A, B ) );
switches	0:5c4d7b2438d3	1011	X->s = s;
switches	0:5c4d7b2438d3	1012	}
switches	0:5c4d7b2438d3	1013	else
switches	0:5c4d7b2438d3	1014	{
switches	0:5c4d7b2438d3	1015	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_abs( X, B, A ) );
switches	0:5c4d7b2438d3	1016	X->s = -s;
switches	0:5c4d7b2438d3	1017	}
switches	0:5c4d7b2438d3	1018	}
switches	0:5c4d7b2438d3	1019	else
switches	0:5c4d7b2438d3	1020	{
switches	0:5c4d7b2438d3	1021	MBEDTLS_MPI_CHK( mbedtls_mpi_add_abs( X, A, B ) );
switches	0:5c4d7b2438d3	1022	X->s = s;
switches	0:5c4d7b2438d3	1023	}
switches	0:5c4d7b2438d3	1024
switches	0:5c4d7b2438d3	1025	cleanup:
switches	0:5c4d7b2438d3	1026
switches	0:5c4d7b2438d3	1027	return( ret );
switches	0:5c4d7b2438d3	1028	}
switches	0:5c4d7b2438d3	1029
switches	0:5c4d7b2438d3	1030	/*
switches	0:5c4d7b2438d3	1031	* Signed subtraction: X = A - B
switches	0:5c4d7b2438d3	1032	*/
switches	0:5c4d7b2438d3	1033	int mbedtls_mpi_sub_mpi( mbedtls_mpi X, const mbedtls_mpi A, const mbedtls_mpi *B )
switches	0:5c4d7b2438d3	1034	{
switches	0:5c4d7b2438d3	1035	int ret, s = A->s;
switches	0:5c4d7b2438d3	1036
switches	0:5c4d7b2438d3	1037	if( A->s * B->s > 0 )
switches	0:5c4d7b2438d3	1038	{
switches	0:5c4d7b2438d3	1039	if( mbedtls_mpi_cmp_abs( A, B ) >= 0 )
switches	0:5c4d7b2438d3	1040	{
switches	0:5c4d7b2438d3	1041	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_abs( X, A, B ) );
switches	0:5c4d7b2438d3	1042	X->s = s;
switches	0:5c4d7b2438d3	1043	}
switches	0:5c4d7b2438d3	1044	else
switches	0:5c4d7b2438d3	1045	{
switches	0:5c4d7b2438d3	1046	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_abs( X, B, A ) );
switches	0:5c4d7b2438d3	1047	X->s = -s;
switches	0:5c4d7b2438d3	1048	}
switches	0:5c4d7b2438d3	1049	}
switches	0:5c4d7b2438d3	1050	else
switches	0:5c4d7b2438d3	1051	{
switches	0:5c4d7b2438d3	1052	MBEDTLS_MPI_CHK( mbedtls_mpi_add_abs( X, A, B ) );
switches	0:5c4d7b2438d3	1053	X->s = s;
switches	0:5c4d7b2438d3	1054	}
switches	0:5c4d7b2438d3	1055
switches	0:5c4d7b2438d3	1056	cleanup:
switches	0:5c4d7b2438d3	1057
switches	0:5c4d7b2438d3	1058	return( ret );
switches	0:5c4d7b2438d3	1059	}
switches	0:5c4d7b2438d3	1060
switches	0:5c4d7b2438d3	1061	/*
switches	0:5c4d7b2438d3	1062	* Signed addition: X = A + b
switches	0:5c4d7b2438d3	1063	*/
switches	0:5c4d7b2438d3	1064	int mbedtls_mpi_add_int( mbedtls_mpi X, const mbedtls_mpi A, mbedtls_mpi_sint b )
switches	0:5c4d7b2438d3	1065	{
switches	0:5c4d7b2438d3	1066	mbedtls_mpi _B;
switches	0:5c4d7b2438d3	1067	mbedtls_mpi_uint p[1];
switches	0:5c4d7b2438d3	1068
switches	0:5c4d7b2438d3	1069	p[0] = ( b < 0 ) ? -b : b;
switches	0:5c4d7b2438d3	1070	_B.s = ( b < 0 ) ? -1 : 1;
switches	0:5c4d7b2438d3	1071	_B.n = 1;
switches	0:5c4d7b2438d3	1072	_B.p = p;
switches	0:5c4d7b2438d3	1073
switches	0:5c4d7b2438d3	1074	return( mbedtls_mpi_add_mpi( X, A, &_B ) );
switches	0:5c4d7b2438d3	1075	}
switches	0:5c4d7b2438d3	1076
switches	0:5c4d7b2438d3	1077	/*
switches	0:5c4d7b2438d3	1078	* Signed subtraction: X = A - b
switches	0:5c4d7b2438d3	1079	*/
switches	0:5c4d7b2438d3	1080	int mbedtls_mpi_sub_int( mbedtls_mpi X, const mbedtls_mpi A, mbedtls_mpi_sint b )
switches	0:5c4d7b2438d3	1081	{
switches	0:5c4d7b2438d3	1082	mbedtls_mpi _B;
switches	0:5c4d7b2438d3	1083	mbedtls_mpi_uint p[1];
switches	0:5c4d7b2438d3	1084
switches	0:5c4d7b2438d3	1085	p[0] = ( b < 0 ) ? -b : b;
switches	0:5c4d7b2438d3	1086	_B.s = ( b < 0 ) ? -1 : 1;
switches	0:5c4d7b2438d3	1087	_B.n = 1;
switches	0:5c4d7b2438d3	1088	_B.p = p;
switches	0:5c4d7b2438d3	1089
switches	0:5c4d7b2438d3	1090	return( mbedtls_mpi_sub_mpi( X, A, &_B ) );
switches	0:5c4d7b2438d3	1091	}
switches	0:5c4d7b2438d3	1092
switches	0:5c4d7b2438d3	1093	/*
switches	0:5c4d7b2438d3	1094	* Helper for mbedtls_mpi multiplication
switches	0:5c4d7b2438d3	1095	*/
switches	0:5c4d7b2438d3	1096	static
switches	0:5c4d7b2438d3	1097	#if defined(__APPLE__) && defined(__arm__)
switches	0:5c4d7b2438d3	1098	/*
switches	0:5c4d7b2438d3	1099	* Apple LLVM version 4.2 (clang-425.0.24) (based on LLVM 3.2svn)
switches	0:5c4d7b2438d3	1100	* appears to need this to prevent bad ARM code generation at -O3.
switches	0:5c4d7b2438d3	1101	*/
switches	0:5c4d7b2438d3	1102	__attribute__ ((noinline))
switches	0:5c4d7b2438d3	1103	#endif
switches	0:5c4d7b2438d3	1104	void mpi_mul_hlp( size_t i, mbedtls_mpi_uint s, mbedtls_mpi_uint d, mbedtls_mpi_uint b )
switches	0:5c4d7b2438d3	1105	{
switches	0:5c4d7b2438d3	1106	mbedtls_mpi_uint c = 0, t = 0;
switches	0:5c4d7b2438d3	1107
switches	0:5c4d7b2438d3	1108	#if defined(MULADDC_HUIT)
switches	0:5c4d7b2438d3	1109	for( ; i >= 8; i -= 8 )
switches	0:5c4d7b2438d3	1110	{
switches	0:5c4d7b2438d3	1111	MULADDC_INIT
switches	0:5c4d7b2438d3	1112	MULADDC_HUIT
switches	0:5c4d7b2438d3	1113	MULADDC_STOP
switches	0:5c4d7b2438d3	1114	}
switches	0:5c4d7b2438d3	1115
switches	0:5c4d7b2438d3	1116	for( ; i > 0; i-- )
switches	0:5c4d7b2438d3	1117	{
switches	0:5c4d7b2438d3	1118	MULADDC_INIT
switches	0:5c4d7b2438d3	1119	MULADDC_CORE
switches	0:5c4d7b2438d3	1120	MULADDC_STOP
switches	0:5c4d7b2438d3	1121	}
switches	0:5c4d7b2438d3	1122	#else /* MULADDC_HUIT */
switches	0:5c4d7b2438d3	1123	for( ; i >= 16; i -= 16 )
switches	0:5c4d7b2438d3	1124	{
switches	0:5c4d7b2438d3	1125	MULADDC_INIT
switches	0:5c4d7b2438d3	1126	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1127	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1128	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1129	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1130
switches	0:5c4d7b2438d3	1131	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1132	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1133	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1134	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1135	MULADDC_STOP
switches	0:5c4d7b2438d3	1136	}
switches	0:5c4d7b2438d3	1137
switches	0:5c4d7b2438d3	1138	for( ; i >= 8; i -= 8 )
switches	0:5c4d7b2438d3	1139	{
switches	0:5c4d7b2438d3	1140	MULADDC_INIT
switches	0:5c4d7b2438d3	1141	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1142	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1143
switches	0:5c4d7b2438d3	1144	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1145	MULADDC_CORE MULADDC_CORE
switches	0:5c4d7b2438d3	1146	MULADDC_STOP
switches	0:5c4d7b2438d3	1147	}
switches	0:5c4d7b2438d3	1148
switches	0:5c4d7b2438d3	1149	for( ; i > 0; i-- )
switches	0:5c4d7b2438d3	1150	{
switches	0:5c4d7b2438d3	1151	MULADDC_INIT
switches	0:5c4d7b2438d3	1152	MULADDC_CORE
switches	0:5c4d7b2438d3	1153	MULADDC_STOP
switches	0:5c4d7b2438d3	1154	}
switches	0:5c4d7b2438d3	1155	#endif /* MULADDC_HUIT */
switches	0:5c4d7b2438d3	1156
switches	0:5c4d7b2438d3	1157	t++;
switches	0:5c4d7b2438d3	1158
switches	0:5c4d7b2438d3	1159	do {
switches	0:5c4d7b2438d3	1160	d += c; c = ( d < c ); d++;
switches	0:5c4d7b2438d3	1161	}
switches	0:5c4d7b2438d3	1162	while( c != 0 );
switches	0:5c4d7b2438d3	1163	}
switches	0:5c4d7b2438d3	1164
switches	0:5c4d7b2438d3	1165	/*
switches	0:5c4d7b2438d3	1166	* Baseline multiplication: X = A * B (HAC 14.12)
switches	0:5c4d7b2438d3	1167	*/
switches	0:5c4d7b2438d3	1168	int mbedtls_mpi_mul_mpi( mbedtls_mpi X, const mbedtls_mpi A, const mbedtls_mpi *B )
switches	0:5c4d7b2438d3	1169	{
switches	0:5c4d7b2438d3	1170	int ret;
switches	0:5c4d7b2438d3	1171	size_t i, j;
switches	0:5c4d7b2438d3	1172	mbedtls_mpi TA, TB;
switches	0:5c4d7b2438d3	1173
switches	0:5c4d7b2438d3	1174	mbedtls_mpi_init( &TA ); mbedtls_mpi_init( &TB );
switches	0:5c4d7b2438d3	1175
switches	0:5c4d7b2438d3	1176	if( X == A ) { MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &TA, A ) ); A = &TA; }
switches	0:5c4d7b2438d3	1177	if( X == B ) { MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &TB, B ) ); B = &TB; }
switches	0:5c4d7b2438d3	1178
switches	0:5c4d7b2438d3	1179	for( i = A->n; i > 0; i-- )
switches	0:5c4d7b2438d3	1180	if( A->p[i - 1] != 0 )
switches	0:5c4d7b2438d3	1181	break;
switches	0:5c4d7b2438d3	1182
switches	0:5c4d7b2438d3	1183	for( j = B->n; j > 0; j-- )
switches	0:5c4d7b2438d3	1184	if( B->p[j - 1] != 0 )
switches	0:5c4d7b2438d3	1185	break;
switches	0:5c4d7b2438d3	1186
switches	0:5c4d7b2438d3	1187	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, i + j ) );
switches	0:5c4d7b2438d3	1188	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( X, 0 ) );
switches	0:5c4d7b2438d3	1189
switches	0:5c4d7b2438d3	1190	for( i++; j > 0; j-- )
switches	0:5c4d7b2438d3	1191	mpi_mul_hlp( i - 1, A->p, X->p + j - 1, B->p[j - 1] );
switches	0:5c4d7b2438d3	1192
switches	0:5c4d7b2438d3	1193	X->s = A->s * B->s;
switches	0:5c4d7b2438d3	1194
switches	0:5c4d7b2438d3	1195	cleanup:
switches	0:5c4d7b2438d3	1196
switches	0:5c4d7b2438d3	1197	mbedtls_mpi_free( &TB ); mbedtls_mpi_free( &TA );
switches	0:5c4d7b2438d3	1198
switches	0:5c4d7b2438d3	1199	return( ret );
switches	0:5c4d7b2438d3	1200	}
switches	0:5c4d7b2438d3	1201
switches	0:5c4d7b2438d3	1202	/*
switches	0:5c4d7b2438d3	1203	* Baseline multiplication: X = A * b
switches	0:5c4d7b2438d3	1204	*/
switches	0:5c4d7b2438d3	1205	int mbedtls_mpi_mul_int( mbedtls_mpi X, const mbedtls_mpi A, mbedtls_mpi_uint b )
switches	0:5c4d7b2438d3	1206	{
switches	0:5c4d7b2438d3	1207	mbedtls_mpi _B;
switches	0:5c4d7b2438d3	1208	mbedtls_mpi_uint p[1];
switches	0:5c4d7b2438d3	1209
switches	0:5c4d7b2438d3	1210	_B.s = 1;
switches	0:5c4d7b2438d3	1211	_B.n = 1;
switches	0:5c4d7b2438d3	1212	_B.p = p;
switches	0:5c4d7b2438d3	1213	p[0] = b;
switches	0:5c4d7b2438d3	1214
switches	0:5c4d7b2438d3	1215	return( mbedtls_mpi_mul_mpi( X, A, &_B ) );
switches	0:5c4d7b2438d3	1216	}
switches	0:5c4d7b2438d3	1217
switches	0:5c4d7b2438d3	1218	/*
switches	0:5c4d7b2438d3	1219	* Unsigned integer divide - double mbedtls_mpi_uint dividend, u1/u0, and
switches	0:5c4d7b2438d3	1220	* mbedtls_mpi_uint divisor, d
switches	0:5c4d7b2438d3	1221	*/
switches	0:5c4d7b2438d3	1222	static mbedtls_mpi_uint mbedtls_int_div_int( mbedtls_mpi_uint u1,
switches	0:5c4d7b2438d3	1223	mbedtls_mpi_uint u0, mbedtls_mpi_uint d, mbedtls_mpi_uint *r )
switches	0:5c4d7b2438d3	1224	{
switches	0:5c4d7b2438d3	1225	#if defined(MBEDTLS_HAVE_UDBL)
switches	0:5c4d7b2438d3	1226	mbedtls_t_udbl dividend, quotient;
switches	0:5c4d7b2438d3	1227	#else
switches	0:5c4d7b2438d3	1228	const mbedtls_mpi_uint radix = (mbedtls_mpi_uint) 1 << biH;
switches	0:5c4d7b2438d3	1229	const mbedtls_mpi_uint uint_halfword_mask = ( (mbedtls_mpi_uint) 1 << biH ) - 1;
switches	0:5c4d7b2438d3	1230	mbedtls_mpi_uint d0, d1, q0, q1, rAX, r0, quotient;
switches	0:5c4d7b2438d3	1231	mbedtls_mpi_uint u0_msw, u0_lsw;
switches	0:5c4d7b2438d3	1232	size_t s;
switches	0:5c4d7b2438d3	1233	#endif
switches	0:5c4d7b2438d3	1234
switches	0:5c4d7b2438d3	1235	/*
switches	0:5c4d7b2438d3	1236	* Check for overflow
switches	0:5c4d7b2438d3	1237	*/
switches	0:5c4d7b2438d3	1238	if( 0 == d \|\| u1 >= d )
switches	0:5c4d7b2438d3	1239	{
switches	0:5c4d7b2438d3	1240	if (r != NULL) *r = ~0;
switches	0:5c4d7b2438d3	1241
switches	0:5c4d7b2438d3	1242	return ( ~0 );
switches	0:5c4d7b2438d3	1243	}
switches	0:5c4d7b2438d3	1244
switches	0:5c4d7b2438d3	1245	#if defined(MBEDTLS_HAVE_UDBL)
switches	0:5c4d7b2438d3	1246	dividend = (mbedtls_t_udbl) u1 << biL;
switches	0:5c4d7b2438d3	1247	dividend \|= (mbedtls_t_udbl) u0;
switches	0:5c4d7b2438d3	1248	quotient = dividend / d;
switches	0:5c4d7b2438d3	1249	if( quotient > ( (mbedtls_t_udbl) 1 << biL ) - 1 )
switches	0:5c4d7b2438d3	1250	quotient = ( (mbedtls_t_udbl) 1 << biL ) - 1;
switches	0:5c4d7b2438d3	1251
switches	0:5c4d7b2438d3	1252	if( r != NULL )
switches	0:5c4d7b2438d3	1253	r = (mbedtls_mpi_uint)( dividend - (quotient d ) );
switches	0:5c4d7b2438d3	1254
switches	0:5c4d7b2438d3	1255	return (mbedtls_mpi_uint) quotient;
switches	0:5c4d7b2438d3	1256	#else
switches	0:5c4d7b2438d3	1257
switches	0:5c4d7b2438d3	1258	/*
switches	0:5c4d7b2438d3	1259	* Algorithm D, Section 4.3.1 - The Art of Computer Programming
switches	0:5c4d7b2438d3	1260	* Vol. 2 - Seminumerical Algorithms, Knuth
switches	0:5c4d7b2438d3	1261	*/
switches	0:5c4d7b2438d3	1262
switches	0:5c4d7b2438d3	1263	/*
switches	0:5c4d7b2438d3	1264	* Normalize the divisor, d, and dividend, u0, u1
switches	0:5c4d7b2438d3	1265	*/
switches	0:5c4d7b2438d3	1266	s = mbedtls_clz( d );
switches	0:5c4d7b2438d3	1267	d = d << s;
switches	0:5c4d7b2438d3	1268
switches	0:5c4d7b2438d3	1269	u1 = u1 << s;
switches	0:5c4d7b2438d3	1270	u1 \|= ( u0 >> ( biL - s ) ) & ( -(mbedtls_mpi_sint)s >> ( biL - 1 ) );
switches	0:5c4d7b2438d3	1271	u0 = u0 << s;
switches	0:5c4d7b2438d3	1272
switches	0:5c4d7b2438d3	1273	d1 = d >> biH;
switches	0:5c4d7b2438d3	1274	d0 = d & uint_halfword_mask;
switches	0:5c4d7b2438d3	1275
switches	0:5c4d7b2438d3	1276	u0_msw = u0 >> biH;
switches	0:5c4d7b2438d3	1277	u0_lsw = u0 & uint_halfword_mask;
switches	0:5c4d7b2438d3	1278
switches	0:5c4d7b2438d3	1279	/*
switches	0:5c4d7b2438d3	1280	* Find the first quotient and remainder
switches	0:5c4d7b2438d3	1281	*/
switches	0:5c4d7b2438d3	1282	q1 = u1 / d1;
switches	0:5c4d7b2438d3	1283	r0 = u1 - d1 * q1;
switches	0:5c4d7b2438d3	1284
switches	0:5c4d7b2438d3	1285	while( q1 >= radix \|\| ( q1 * d0 > radix * r0 + u0_msw ) )
switches	0:5c4d7b2438d3	1286	{
switches	0:5c4d7b2438d3	1287	q1 -= 1;
switches	0:5c4d7b2438d3	1288	r0 += d1;
switches	0:5c4d7b2438d3	1289
switches	0:5c4d7b2438d3	1290	if ( r0 >= radix ) break;
switches	0:5c4d7b2438d3	1291	}
switches	0:5c4d7b2438d3	1292
switches	0:5c4d7b2438d3	1293	rAX = ( u1 * radix ) + ( u0_msw - q1 * d );
switches	0:5c4d7b2438d3	1294	q0 = rAX / d1;
switches	0:5c4d7b2438d3	1295	r0 = rAX - q0 * d1;
switches	0:5c4d7b2438d3	1296
switches	0:5c4d7b2438d3	1297	while( q0 >= radix \|\| ( q0 * d0 > radix * r0 + u0_lsw ) )
switches	0:5c4d7b2438d3	1298	{
switches	0:5c4d7b2438d3	1299	q0 -= 1;
switches	0:5c4d7b2438d3	1300	r0 += d1;
switches	0:5c4d7b2438d3	1301
switches	0:5c4d7b2438d3	1302	if ( r0 >= radix ) break;
switches	0:5c4d7b2438d3	1303	}
switches	0:5c4d7b2438d3	1304
switches	0:5c4d7b2438d3	1305	if (r != NULL)
switches	0:5c4d7b2438d3	1306	r = ( rAX radix + u0_lsw - q0 * d ) >> s;
switches	0:5c4d7b2438d3	1307
switches	0:5c4d7b2438d3	1308	quotient = q1 * radix + q0;
switches	0:5c4d7b2438d3	1309
switches	0:5c4d7b2438d3	1310	return quotient;
switches	0:5c4d7b2438d3	1311	#endif
switches	0:5c4d7b2438d3	1312	}
switches	0:5c4d7b2438d3	1313
switches	0:5c4d7b2438d3	1314	/*
switches	0:5c4d7b2438d3	1315	* Division by mbedtls_mpi: A = Q * B + R (HAC 14.20)
switches	0:5c4d7b2438d3	1316	*/
switches	0:5c4d7b2438d3	1317	int mbedtls_mpi_div_mpi( mbedtls_mpi Q, mbedtls_mpi R, const mbedtls_mpi A, const mbedtls_mpi B )
switches	0:5c4d7b2438d3	1318	{
switches	0:5c4d7b2438d3	1319	int ret;
switches	0:5c4d7b2438d3	1320	size_t i, n, t, k;
switches	0:5c4d7b2438d3	1321	mbedtls_mpi X, Y, Z, T1, T2;
switches	0:5c4d7b2438d3	1322
switches	0:5c4d7b2438d3	1323	if( mbedtls_mpi_cmp_int( B, 0 ) == 0 )
switches	0:5c4d7b2438d3	1324	return( MBEDTLS_ERR_MPI_DIVISION_BY_ZERO );
switches	0:5c4d7b2438d3	1325
switches	0:5c4d7b2438d3	1326	mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Z );
switches	0:5c4d7b2438d3	1327	mbedtls_mpi_init( &T1 ); mbedtls_mpi_init( &T2 );
switches	0:5c4d7b2438d3	1328
switches	0:5c4d7b2438d3	1329	if( mbedtls_mpi_cmp_abs( A, B ) < 0 )
switches	0:5c4d7b2438d3	1330	{
switches	0:5c4d7b2438d3	1331	if( Q != NULL ) MBEDTLS_MPI_CHK( mbedtls_mpi_lset( Q, 0 ) );
switches	0:5c4d7b2438d3	1332	if( R != NULL ) MBEDTLS_MPI_CHK( mbedtls_mpi_copy( R, A ) );
switches	0:5c4d7b2438d3	1333	return( 0 );
switches	0:5c4d7b2438d3	1334	}
switches	0:5c4d7b2438d3	1335
switches	0:5c4d7b2438d3	1336	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &X, A ) );
switches	0:5c4d7b2438d3	1337	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &Y, B ) );
switches	0:5c4d7b2438d3	1338	X.s = Y.s = 1;
switches	0:5c4d7b2438d3	1339
switches	0:5c4d7b2438d3	1340	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( &Z, A->n + 2 ) );
switches	0:5c4d7b2438d3	1341	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &Z, 0 ) );
switches	0:5c4d7b2438d3	1342	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( &T1, 2 ) );
switches	0:5c4d7b2438d3	1343	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( &T2, 3 ) );
switches	0:5c4d7b2438d3	1344
switches	0:5c4d7b2438d3	1345	k = mbedtls_mpi_bitlen( &Y ) % biL;
switches	0:5c4d7b2438d3	1346	if( k < biL - 1 )
switches	0:5c4d7b2438d3	1347	{
switches	0:5c4d7b2438d3	1348	k = biL - 1 - k;
switches	0:5c4d7b2438d3	1349	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_l( &X, k ) );
switches	0:5c4d7b2438d3	1350	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_l( &Y, k ) );
switches	0:5c4d7b2438d3	1351	}
switches	0:5c4d7b2438d3	1352	else k = 0;
switches	0:5c4d7b2438d3	1353
switches	0:5c4d7b2438d3	1354	n = X.n - 1;
switches	0:5c4d7b2438d3	1355	t = Y.n - 1;
switches	0:5c4d7b2438d3	1356	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_l( &Y, biL * ( n - t ) ) );
switches	0:5c4d7b2438d3	1357
switches	0:5c4d7b2438d3	1358	while( mbedtls_mpi_cmp_mpi( &X, &Y ) >= 0 )
switches	0:5c4d7b2438d3	1359	{
switches	0:5c4d7b2438d3	1360	Z.p[n - t]++;
switches	0:5c4d7b2438d3	1361	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &X, &X, &Y ) );
switches	0:5c4d7b2438d3	1362	}
switches	0:5c4d7b2438d3	1363	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &Y, biL * ( n - t ) ) );
switches	0:5c4d7b2438d3	1364
switches	0:5c4d7b2438d3	1365	for( i = n; i > t ; i-- )
switches	0:5c4d7b2438d3	1366	{
switches	0:5c4d7b2438d3	1367	if( X.p[i] >= Y.p[t] )
switches	0:5c4d7b2438d3	1368	Z.p[i - t - 1] = ~0;
switches	0:5c4d7b2438d3	1369	else
switches	0:5c4d7b2438d3	1370	{
switches	0:5c4d7b2438d3	1371	Z.p[i - t - 1] = mbedtls_int_div_int( X.p[i], X.p[i - 1],
switches	0:5c4d7b2438d3	1372	Y.p[t], NULL);
switches	0:5c4d7b2438d3	1373	}
switches	0:5c4d7b2438d3	1374
switches	0:5c4d7b2438d3	1375	Z.p[i - t - 1]++;
switches	0:5c4d7b2438d3	1376	do
switches	0:5c4d7b2438d3	1377	{
switches	0:5c4d7b2438d3	1378	Z.p[i - t - 1]--;
switches	0:5c4d7b2438d3	1379
switches	0:5c4d7b2438d3	1380	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &T1, 0 ) );
switches	0:5c4d7b2438d3	1381	T1.p[0] = ( t < 1 ) ? 0 : Y.p[t - 1];
switches	0:5c4d7b2438d3	1382	T1.p[1] = Y.p[t];
switches	0:5c4d7b2438d3	1383	MBEDTLS_MPI_CHK( mbedtls_mpi_mul_int( &T1, &T1, Z.p[i - t - 1] ) );
switches	0:5c4d7b2438d3	1384
switches	0:5c4d7b2438d3	1385	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &T2, 0 ) );
switches	0:5c4d7b2438d3	1386	T2.p[0] = ( i < 2 ) ? 0 : X.p[i - 2];
switches	0:5c4d7b2438d3	1387	T2.p[1] = ( i < 1 ) ? 0 : X.p[i - 1];
switches	0:5c4d7b2438d3	1388	T2.p[2] = X.p[i];
switches	0:5c4d7b2438d3	1389	}
switches	0:5c4d7b2438d3	1390	while( mbedtls_mpi_cmp_mpi( &T1, &T2 ) > 0 );
switches	0:5c4d7b2438d3	1391
switches	0:5c4d7b2438d3	1392	MBEDTLS_MPI_CHK( mbedtls_mpi_mul_int( &T1, &Y, Z.p[i - t - 1] ) );
switches	0:5c4d7b2438d3	1393	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_l( &T1, biL * ( i - t - 1 ) ) );
switches	0:5c4d7b2438d3	1394	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &X, &X, &T1 ) );
switches	0:5c4d7b2438d3	1395
switches	0:5c4d7b2438d3	1396	if( mbedtls_mpi_cmp_int( &X, 0 ) < 0 )
switches	0:5c4d7b2438d3	1397	{
switches	0:5c4d7b2438d3	1398	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &T1, &Y ) );
switches	0:5c4d7b2438d3	1399	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_l( &T1, biL * ( i - t - 1 ) ) );
switches	0:5c4d7b2438d3	1400	MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &X, &X, &T1 ) );
switches	0:5c4d7b2438d3	1401	Z.p[i - t - 1]--;
switches	0:5c4d7b2438d3	1402	}
switches	0:5c4d7b2438d3	1403	}
switches	0:5c4d7b2438d3	1404
switches	0:5c4d7b2438d3	1405	if( Q != NULL )
switches	0:5c4d7b2438d3	1406	{
switches	0:5c4d7b2438d3	1407	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( Q, &Z ) );
switches	0:5c4d7b2438d3	1408	Q->s = A->s * B->s;
switches	0:5c4d7b2438d3	1409	}
switches	0:5c4d7b2438d3	1410
switches	0:5c4d7b2438d3	1411	if( R != NULL )
switches	0:5c4d7b2438d3	1412	{
switches	0:5c4d7b2438d3	1413	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &X, k ) );
switches	0:5c4d7b2438d3	1414	X.s = A->s;
switches	0:5c4d7b2438d3	1415	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( R, &X ) );
switches	0:5c4d7b2438d3	1416
switches	0:5c4d7b2438d3	1417	if( mbedtls_mpi_cmp_int( R, 0 ) == 0 )
switches	0:5c4d7b2438d3	1418	R->s = 1;
switches	0:5c4d7b2438d3	1419	}
switches	0:5c4d7b2438d3	1420
switches	0:5c4d7b2438d3	1421	cleanup:
switches	0:5c4d7b2438d3	1422
switches	0:5c4d7b2438d3	1423	mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Z );
switches	0:5c4d7b2438d3	1424	mbedtls_mpi_free( &T1 ); mbedtls_mpi_free( &T2 );
switches	0:5c4d7b2438d3	1425
switches	0:5c4d7b2438d3	1426	return( ret );
switches	0:5c4d7b2438d3	1427	}
switches	0:5c4d7b2438d3	1428
switches	0:5c4d7b2438d3	1429	/*
switches	0:5c4d7b2438d3	1430	* Division by int: A = Q * b + R
switches	0:5c4d7b2438d3	1431	*/
switches	0:5c4d7b2438d3	1432	int mbedtls_mpi_div_int( mbedtls_mpi Q, mbedtls_mpi R, const mbedtls_mpi *A, mbedtls_mpi_sint b )
switches	0:5c4d7b2438d3	1433	{
switches	0:5c4d7b2438d3	1434	mbedtls_mpi _B;
switches	0:5c4d7b2438d3	1435	mbedtls_mpi_uint p[1];
switches	0:5c4d7b2438d3	1436
switches	0:5c4d7b2438d3	1437	p[0] = ( b < 0 ) ? -b : b;
switches	0:5c4d7b2438d3	1438	_B.s = ( b < 0 ) ? -1 : 1;
switches	0:5c4d7b2438d3	1439	_B.n = 1;
switches	0:5c4d7b2438d3	1440	_B.p = p;
switches	0:5c4d7b2438d3	1441
switches	0:5c4d7b2438d3	1442	return( mbedtls_mpi_div_mpi( Q, R, A, &_B ) );
switches	0:5c4d7b2438d3	1443	}
switches	0:5c4d7b2438d3	1444
switches	0:5c4d7b2438d3	1445	/*
switches	0:5c4d7b2438d3	1446	* Modulo: R = A mod B
switches	0:5c4d7b2438d3	1447	*/
switches	0:5c4d7b2438d3	1448	int mbedtls_mpi_mod_mpi( mbedtls_mpi R, const mbedtls_mpi A, const mbedtls_mpi *B )
switches	0:5c4d7b2438d3	1449	{
switches	0:5c4d7b2438d3	1450	int ret;
switches	0:5c4d7b2438d3	1451
switches	0:5c4d7b2438d3	1452	if( mbedtls_mpi_cmp_int( B, 0 ) < 0 )
switches	0:5c4d7b2438d3	1453	return( MBEDTLS_ERR_MPI_NEGATIVE_VALUE );
switches	0:5c4d7b2438d3	1454
switches	0:5c4d7b2438d3	1455	MBEDTLS_MPI_CHK( mbedtls_mpi_div_mpi( NULL, R, A, B ) );
switches	0:5c4d7b2438d3	1456
switches	0:5c4d7b2438d3	1457	while( mbedtls_mpi_cmp_int( R, 0 ) < 0 )
switches	0:5c4d7b2438d3	1458	MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( R, R, B ) );
switches	0:5c4d7b2438d3	1459
switches	0:5c4d7b2438d3	1460	while( mbedtls_mpi_cmp_mpi( R, B ) >= 0 )
switches	0:5c4d7b2438d3	1461	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( R, R, B ) );
switches	0:5c4d7b2438d3	1462
switches	0:5c4d7b2438d3	1463	cleanup:
switches	0:5c4d7b2438d3	1464
switches	0:5c4d7b2438d3	1465	return( ret );
switches	0:5c4d7b2438d3	1466	}
switches	0:5c4d7b2438d3	1467
switches	0:5c4d7b2438d3	1468	/*
switches	0:5c4d7b2438d3	1469	* Modulo: r = A mod b
switches	0:5c4d7b2438d3	1470	*/
switches	0:5c4d7b2438d3	1471	int mbedtls_mpi_mod_int( mbedtls_mpi_uint r, const mbedtls_mpi A, mbedtls_mpi_sint b )
switches	0:5c4d7b2438d3	1472	{
switches	0:5c4d7b2438d3	1473	size_t i;
switches	0:5c4d7b2438d3	1474	mbedtls_mpi_uint x, y, z;
switches	0:5c4d7b2438d3	1475
switches	0:5c4d7b2438d3	1476	if( b == 0 )
switches	0:5c4d7b2438d3	1477	return( MBEDTLS_ERR_MPI_DIVISION_BY_ZERO );
switches	0:5c4d7b2438d3	1478
switches	0:5c4d7b2438d3	1479	if( b < 0 )
switches	0:5c4d7b2438d3	1480	return( MBEDTLS_ERR_MPI_NEGATIVE_VALUE );
switches	0:5c4d7b2438d3	1481
switches	0:5c4d7b2438d3	1482	/*
switches	0:5c4d7b2438d3	1483	* handle trivial cases
switches	0:5c4d7b2438d3	1484	*/
switches	0:5c4d7b2438d3	1485	if( b == 1 )
switches	0:5c4d7b2438d3	1486	{
switches	0:5c4d7b2438d3	1487	*r = 0;
switches	0:5c4d7b2438d3	1488	return( 0 );
switches	0:5c4d7b2438d3	1489	}
switches	0:5c4d7b2438d3	1490
switches	0:5c4d7b2438d3	1491	if( b == 2 )
switches	0:5c4d7b2438d3	1492	{
switches	0:5c4d7b2438d3	1493	*r = A->p[0] & 1;
switches	0:5c4d7b2438d3	1494	return( 0 );
switches	0:5c4d7b2438d3	1495	}
switches	0:5c4d7b2438d3	1496
switches	0:5c4d7b2438d3	1497	/*
switches	0:5c4d7b2438d3	1498	* general case
switches	0:5c4d7b2438d3	1499	*/
switches	0:5c4d7b2438d3	1500	for( i = A->n, y = 0; i > 0; i-- )
switches	0:5c4d7b2438d3	1501	{
switches	0:5c4d7b2438d3	1502	x = A->p[i - 1];
switches	0:5c4d7b2438d3	1503	y = ( y << biH ) \| ( x >> biH );
switches	0:5c4d7b2438d3	1504	z = y / b;
switches	0:5c4d7b2438d3	1505	y -= z * b;
switches	0:5c4d7b2438d3	1506
switches	0:5c4d7b2438d3	1507	x <<= biH;
switches	0:5c4d7b2438d3	1508	y = ( y << biH ) \| ( x >> biH );
switches	0:5c4d7b2438d3	1509	z = y / b;
switches	0:5c4d7b2438d3	1510	y -= z * b;
switches	0:5c4d7b2438d3	1511	}
switches	0:5c4d7b2438d3	1512
switches	0:5c4d7b2438d3	1513	/*
switches	0:5c4d7b2438d3	1514	* If A is negative, then the current y represents a negative value.
switches	0:5c4d7b2438d3	1515	* Flipping it to the positive side.
switches	0:5c4d7b2438d3	1516	*/
switches	0:5c4d7b2438d3	1517	if( A->s < 0 && y != 0 )
switches	0:5c4d7b2438d3	1518	y = b - y;
switches	0:5c4d7b2438d3	1519
switches	0:5c4d7b2438d3	1520	*r = y;
switches	0:5c4d7b2438d3	1521
switches	0:5c4d7b2438d3	1522	return( 0 );
switches	0:5c4d7b2438d3	1523	}
switches	0:5c4d7b2438d3	1524
switches	0:5c4d7b2438d3	1525	/*
switches	0:5c4d7b2438d3	1526	* Fast Montgomery initialization (thanks to Tom St Denis)
switches	0:5c4d7b2438d3	1527	*/
switches	0:5c4d7b2438d3	1528	static void mpi_montg_init( mbedtls_mpi_uint mm, const mbedtls_mpi N )
switches	0:5c4d7b2438d3	1529	{
switches	0:5c4d7b2438d3	1530	mbedtls_mpi_uint x, m0 = N->p[0];
switches	0:5c4d7b2438d3	1531	unsigned int i;
switches	0:5c4d7b2438d3	1532
switches	0:5c4d7b2438d3	1533	x = m0;
switches	0:5c4d7b2438d3	1534	x += ( ( m0 + 2 ) & 4 ) << 1;
switches	0:5c4d7b2438d3	1535
switches	0:5c4d7b2438d3	1536	for( i = biL; i >= 8; i /= 2 )
switches	0:5c4d7b2438d3	1537	x = ( 2 - ( m0 x ) );
switches	0:5c4d7b2438d3	1538
switches	0:5c4d7b2438d3	1539	*mm = ~x + 1;
switches	0:5c4d7b2438d3	1540	}
switches	0:5c4d7b2438d3	1541
switches	0:5c4d7b2438d3	1542	/*
switches	0:5c4d7b2438d3	1543	* Montgomery multiplication: A = A * B * R^-1 mod N (HAC 14.36)
switches	0:5c4d7b2438d3	1544	*/
switches	0:5c4d7b2438d3	1545	static int mpi_montmul( mbedtls_mpi A, const mbedtls_mpi B, const mbedtls_mpi *N, mbedtls_mpi_uint mm,
switches	0:5c4d7b2438d3	1546	const mbedtls_mpi *T )
switches	0:5c4d7b2438d3	1547	{
switches	0:5c4d7b2438d3	1548	size_t i, n, m;
switches	0:5c4d7b2438d3	1549	mbedtls_mpi_uint u0, u1, *d;
switches	0:5c4d7b2438d3	1550
switches	0:5c4d7b2438d3	1551	if( T->n < N->n + 1 \|\| T->p == NULL )
switches	0:5c4d7b2438d3	1552	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	1553
switches	0:5c4d7b2438d3	1554	memset( T->p, 0, T->n * ciL );
switches	0:5c4d7b2438d3	1555
switches	0:5c4d7b2438d3	1556	d = T->p;
switches	0:5c4d7b2438d3	1557	n = N->n;
switches	0:5c4d7b2438d3	1558	m = ( B->n < n ) ? B->n : n;
switches	0:5c4d7b2438d3	1559
switches	0:5c4d7b2438d3	1560	for( i = 0; i < n; i++ )
switches	0:5c4d7b2438d3	1561	{
switches	0:5c4d7b2438d3	1562	/*
switches	0:5c4d7b2438d3	1563	* T = (T + u0B + u1N) / 2^biL
switches	0:5c4d7b2438d3	1564	*/
switches	0:5c4d7b2438d3	1565	u0 = A->p[i];
switches	0:5c4d7b2438d3	1566	u1 = ( d[0] + u0 * B->p[0] ) * mm;
switches	0:5c4d7b2438d3	1567
switches	0:5c4d7b2438d3	1568	mpi_mul_hlp( m, B->p, d, u0 );
switches	0:5c4d7b2438d3	1569	mpi_mul_hlp( n, N->p, d, u1 );
switches	0:5c4d7b2438d3	1570
switches	0:5c4d7b2438d3	1571	*d++ = u0; d[n + 1] = 0;
switches	0:5c4d7b2438d3	1572	}
switches	0:5c4d7b2438d3	1573
switches	0:5c4d7b2438d3	1574	memcpy( A->p, d, ( n + 1 ) * ciL );
switches	0:5c4d7b2438d3	1575
switches	0:5c4d7b2438d3	1576	if( mbedtls_mpi_cmp_abs( A, N ) >= 0 )
switches	0:5c4d7b2438d3	1577	mpi_sub_hlp( n, N->p, A->p );
switches	0:5c4d7b2438d3	1578	else
switches	0:5c4d7b2438d3	1579	/* prevent timing attacks */
switches	0:5c4d7b2438d3	1580	mpi_sub_hlp( n, A->p, T->p );
switches	0:5c4d7b2438d3	1581
switches	0:5c4d7b2438d3	1582	return( 0 );
switches	0:5c4d7b2438d3	1583	}
switches	0:5c4d7b2438d3	1584
switches	0:5c4d7b2438d3	1585	/*
switches	0:5c4d7b2438d3	1586	* Montgomery reduction: A = A * R^-1 mod N
switches	0:5c4d7b2438d3	1587	*/
switches	0:5c4d7b2438d3	1588	static int mpi_montred( mbedtls_mpi A, const mbedtls_mpi N, mbedtls_mpi_uint mm, const mbedtls_mpi *T )
switches	0:5c4d7b2438d3	1589	{
switches	0:5c4d7b2438d3	1590	mbedtls_mpi_uint z = 1;
switches	0:5c4d7b2438d3	1591	mbedtls_mpi U;
switches	0:5c4d7b2438d3	1592
switches	0:5c4d7b2438d3	1593	U.n = U.s = (int) z;
switches	0:5c4d7b2438d3	1594	U.p = &z;
switches	0:5c4d7b2438d3	1595
switches	0:5c4d7b2438d3	1596	return( mpi_montmul( A, &U, N, mm, T ) );
switches	0:5c4d7b2438d3	1597	}
switches	0:5c4d7b2438d3	1598
switches	0:5c4d7b2438d3	1599	/*
switches	0:5c4d7b2438d3	1600	* Sliding-window exponentiation: X = A^E mod N (HAC 14.85)
switches	0:5c4d7b2438d3	1601	*/
switches	0:5c4d7b2438d3	1602	int mbedtls_mpi_exp_mod( mbedtls_mpi X, const mbedtls_mpi A, const mbedtls_mpi E, const mbedtls_mpi N, mbedtls_mpi *_RR )
switches	0:5c4d7b2438d3	1603	{
switches	0:5c4d7b2438d3	1604	int ret;
switches	0:5c4d7b2438d3	1605	size_t wbits, wsize, one = 1;
switches	0:5c4d7b2438d3	1606	size_t i, j, nblimbs;
switches	0:5c4d7b2438d3	1607	size_t bufsize, nbits;
switches	0:5c4d7b2438d3	1608	mbedtls_mpi_uint ei, mm, state;
switches	0:5c4d7b2438d3	1609	mbedtls_mpi RR, T, W[ 2 << MBEDTLS_MPI_WINDOW_SIZE ], Apos;
switches	0:5c4d7b2438d3	1610	int neg;
switches	0:5c4d7b2438d3	1611
switches	0:5c4d7b2438d3	1612	if( mbedtls_mpi_cmp_int( N, 0 ) < 0 \|\| ( N->p[0] & 1 ) == 0 )
switches	0:5c4d7b2438d3	1613	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	1614
switches	0:5c4d7b2438d3	1615	if( mbedtls_mpi_cmp_int( E, 0 ) < 0 )
switches	0:5c4d7b2438d3	1616	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	1617
switches	0:5c4d7b2438d3	1618	/*
switches	0:5c4d7b2438d3	1619	* Init temps and window size
switches	0:5c4d7b2438d3	1620	*/
switches	0:5c4d7b2438d3	1621	mpi_montg_init( &mm, N );
switches	0:5c4d7b2438d3	1622	mbedtls_mpi_init( &RR ); mbedtls_mpi_init( &T );
switches	0:5c4d7b2438d3	1623	mbedtls_mpi_init( &Apos );
switches	0:5c4d7b2438d3	1624	memset( W, 0, sizeof( W ) );
switches	0:5c4d7b2438d3	1625
switches	0:5c4d7b2438d3	1626	i = mbedtls_mpi_bitlen( E );
switches	0:5c4d7b2438d3	1627
switches	0:5c4d7b2438d3	1628	wsize = ( i > 671 ) ? 6 : ( i > 239 ) ? 5 :
switches	0:5c4d7b2438d3	1629	( i > 79 ) ? 4 : ( i > 23 ) ? 3 : 1;
switches	0:5c4d7b2438d3	1630
switches	0:5c4d7b2438d3	1631	if( wsize > MBEDTLS_MPI_WINDOW_SIZE )
switches	0:5c4d7b2438d3	1632	wsize = MBEDTLS_MPI_WINDOW_SIZE;
switches	0:5c4d7b2438d3	1633
switches	0:5c4d7b2438d3	1634	j = N->n + 1;
switches	0:5c4d7b2438d3	1635	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( X, j ) );
switches	0:5c4d7b2438d3	1636	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( &W[1], j ) );
switches	0:5c4d7b2438d3	1637	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( &T, j * 2 ) );
switches	0:5c4d7b2438d3	1638
switches	0:5c4d7b2438d3	1639	/*
switches	0:5c4d7b2438d3	1640	* Compensate for negative A (and correct at the end)
switches	0:5c4d7b2438d3	1641	*/
switches	0:5c4d7b2438d3	1642	neg = ( A->s == -1 );
switches	0:5c4d7b2438d3	1643	if( neg )
switches	0:5c4d7b2438d3	1644	{
switches	0:5c4d7b2438d3	1645	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &Apos, A ) );
switches	0:5c4d7b2438d3	1646	Apos.s = 1;
switches	0:5c4d7b2438d3	1647	A = &Apos;
switches	0:5c4d7b2438d3	1648	}
switches	0:5c4d7b2438d3	1649
switches	0:5c4d7b2438d3	1650	/*
switches	0:5c4d7b2438d3	1651	* If 1st call, pre-compute R^2 mod N
switches	0:5c4d7b2438d3	1652	*/
switches	0:5c4d7b2438d3	1653	if( _RR == NULL \|\| _RR->p == NULL )
switches	0:5c4d7b2438d3	1654	{
switches	0:5c4d7b2438d3	1655	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &RR, 1 ) );
switches	0:5c4d7b2438d3	1656	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_l( &RR, N->n * 2 * biL ) );
switches	0:5c4d7b2438d3	1657	MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &RR, &RR, N ) );
switches	0:5c4d7b2438d3	1658
switches	0:5c4d7b2438d3	1659	if( _RR != NULL )
switches	0:5c4d7b2438d3	1660	memcpy( _RR, &RR, sizeof( mbedtls_mpi ) );
switches	0:5c4d7b2438d3	1661	}
switches	0:5c4d7b2438d3	1662	else
switches	0:5c4d7b2438d3	1663	memcpy( &RR, _RR, sizeof( mbedtls_mpi ) );
switches	0:5c4d7b2438d3	1664
switches	0:5c4d7b2438d3	1665	/*
switches	0:5c4d7b2438d3	1666	* W[1] = A * R^2 * R^-1 mod N = A * R mod N
switches	0:5c4d7b2438d3	1667	*/
switches	0:5c4d7b2438d3	1668	if( mbedtls_mpi_cmp_mpi( A, N ) >= 0 )
switches	0:5c4d7b2438d3	1669	MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &W[1], A, N ) );
switches	0:5c4d7b2438d3	1670	else
switches	0:5c4d7b2438d3	1671	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &W[1], A ) );
switches	0:5c4d7b2438d3	1672
switches	0:5c4d7b2438d3	1673	MBEDTLS_MPI_CHK( mpi_montmul( &W[1], &RR, N, mm, &T ) );
switches	0:5c4d7b2438d3	1674
switches	0:5c4d7b2438d3	1675	/*
switches	0:5c4d7b2438d3	1676	* X = R^2 * R^-1 mod N = R mod N
switches	0:5c4d7b2438d3	1677	*/
switches	0:5c4d7b2438d3	1678	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( X, &RR ) );
switches	0:5c4d7b2438d3	1679	MBEDTLS_MPI_CHK( mpi_montred( X, N, mm, &T ) );
switches	0:5c4d7b2438d3	1680
switches	0:5c4d7b2438d3	1681	if( wsize > 1 )
switches	0:5c4d7b2438d3	1682	{
switches	0:5c4d7b2438d3	1683	/*
switches	0:5c4d7b2438d3	1684	* W[1 << (wsize - 1)] = W[1] ^ (wsize - 1)
switches	0:5c4d7b2438d3	1685	*/
switches	0:5c4d7b2438d3	1686	j = one << ( wsize - 1 );
switches	0:5c4d7b2438d3	1687
switches	0:5c4d7b2438d3	1688	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( &W[j], N->n + 1 ) );
switches	0:5c4d7b2438d3	1689	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &W[j], &W[1] ) );
switches	0:5c4d7b2438d3	1690
switches	0:5c4d7b2438d3	1691	for( i = 0; i < wsize - 1; i++ )
switches	0:5c4d7b2438d3	1692	MBEDTLS_MPI_CHK( mpi_montmul( &W[j], &W[j], N, mm, &T ) );
switches	0:5c4d7b2438d3	1693
switches	0:5c4d7b2438d3	1694	/*
switches	0:5c4d7b2438d3	1695	* W[i] = W[i - 1] * W[1]
switches	0:5c4d7b2438d3	1696	*/
switches	0:5c4d7b2438d3	1697	for( i = j + 1; i < ( one << wsize ); i++ )
switches	0:5c4d7b2438d3	1698	{
switches	0:5c4d7b2438d3	1699	MBEDTLS_MPI_CHK( mbedtls_mpi_grow( &W[i], N->n + 1 ) );
switches	0:5c4d7b2438d3	1700	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &W[i], &W[i - 1] ) );
switches	0:5c4d7b2438d3	1701
switches	0:5c4d7b2438d3	1702	MBEDTLS_MPI_CHK( mpi_montmul( &W[i], &W[1], N, mm, &T ) );
switches	0:5c4d7b2438d3	1703	}
switches	0:5c4d7b2438d3	1704	}
switches	0:5c4d7b2438d3	1705
switches	0:5c4d7b2438d3	1706	nblimbs = E->n;
switches	0:5c4d7b2438d3	1707	bufsize = 0;
switches	0:5c4d7b2438d3	1708	nbits = 0;
switches	0:5c4d7b2438d3	1709	wbits = 0;
switches	0:5c4d7b2438d3	1710	state = 0;
switches	0:5c4d7b2438d3	1711
switches	0:5c4d7b2438d3	1712	while( 1 )
switches	0:5c4d7b2438d3	1713	{
switches	0:5c4d7b2438d3	1714	if( bufsize == 0 )
switches	0:5c4d7b2438d3	1715	{
switches	0:5c4d7b2438d3	1716	if( nblimbs == 0 )
switches	0:5c4d7b2438d3	1717	break;
switches	0:5c4d7b2438d3	1718
switches	0:5c4d7b2438d3	1719	nblimbs--;
switches	0:5c4d7b2438d3	1720
switches	0:5c4d7b2438d3	1721	bufsize = sizeof( mbedtls_mpi_uint ) << 3;
switches	0:5c4d7b2438d3	1722	}
switches	0:5c4d7b2438d3	1723
switches	0:5c4d7b2438d3	1724	bufsize--;
switches	0:5c4d7b2438d3	1725
switches	0:5c4d7b2438d3	1726	ei = (E->p[nblimbs] >> bufsize) & 1;
switches	0:5c4d7b2438d3	1727
switches	0:5c4d7b2438d3	1728	/*
switches	0:5c4d7b2438d3	1729	* skip leading 0s
switches	0:5c4d7b2438d3	1730	*/
switches	0:5c4d7b2438d3	1731	if( ei == 0 && state == 0 )
switches	0:5c4d7b2438d3	1732	continue;
switches	0:5c4d7b2438d3	1733
switches	0:5c4d7b2438d3	1734	if( ei == 0 && state == 1 )
switches	0:5c4d7b2438d3	1735	{
switches	0:5c4d7b2438d3	1736	/*
switches	0:5c4d7b2438d3	1737	* out of window, square X
switches	0:5c4d7b2438d3	1738	*/
switches	0:5c4d7b2438d3	1739	MBEDTLS_MPI_CHK( mpi_montmul( X, X, N, mm, &T ) );
switches	0:5c4d7b2438d3	1740	continue;
switches	0:5c4d7b2438d3	1741	}
switches	0:5c4d7b2438d3	1742
switches	0:5c4d7b2438d3	1743	/*
switches	0:5c4d7b2438d3	1744	* add ei to current window
switches	0:5c4d7b2438d3	1745	*/
switches	0:5c4d7b2438d3	1746	state = 2;
switches	0:5c4d7b2438d3	1747
switches	0:5c4d7b2438d3	1748	nbits++;
switches	0:5c4d7b2438d3	1749	wbits \|= ( ei << ( wsize - nbits ) );
switches	0:5c4d7b2438d3	1750
switches	0:5c4d7b2438d3	1751	if( nbits == wsize )
switches	0:5c4d7b2438d3	1752	{
switches	0:5c4d7b2438d3	1753	/*
switches	0:5c4d7b2438d3	1754	* X = X^wsize R^-1 mod N
switches	0:5c4d7b2438d3	1755	*/
switches	0:5c4d7b2438d3	1756	for( i = 0; i < wsize; i++ )
switches	0:5c4d7b2438d3	1757	MBEDTLS_MPI_CHK( mpi_montmul( X, X, N, mm, &T ) );
switches	0:5c4d7b2438d3	1758
switches	0:5c4d7b2438d3	1759	/*
switches	0:5c4d7b2438d3	1760	* X = X * W[wbits] R^-1 mod N
switches	0:5c4d7b2438d3	1761	*/
switches	0:5c4d7b2438d3	1762	MBEDTLS_MPI_CHK( mpi_montmul( X, &W[wbits], N, mm, &T ) );
switches	0:5c4d7b2438d3	1763
switches	0:5c4d7b2438d3	1764	state--;
switches	0:5c4d7b2438d3	1765	nbits = 0;
switches	0:5c4d7b2438d3	1766	wbits = 0;
switches	0:5c4d7b2438d3	1767	}
switches	0:5c4d7b2438d3	1768	}
switches	0:5c4d7b2438d3	1769
switches	0:5c4d7b2438d3	1770	/*
switches	0:5c4d7b2438d3	1771	* process the remaining bits
switches	0:5c4d7b2438d3	1772	*/
switches	0:5c4d7b2438d3	1773	for( i = 0; i < nbits; i++ )
switches	0:5c4d7b2438d3	1774	{
switches	0:5c4d7b2438d3	1775	MBEDTLS_MPI_CHK( mpi_montmul( X, X, N, mm, &T ) );
switches	0:5c4d7b2438d3	1776
switches	0:5c4d7b2438d3	1777	wbits <<= 1;
switches	0:5c4d7b2438d3	1778
switches	0:5c4d7b2438d3	1779	if( ( wbits & ( one << wsize ) ) != 0 )
switches	0:5c4d7b2438d3	1780	MBEDTLS_MPI_CHK( mpi_montmul( X, &W[1], N, mm, &T ) );
switches	0:5c4d7b2438d3	1781	}
switches	0:5c4d7b2438d3	1782
switches	0:5c4d7b2438d3	1783	/*
switches	0:5c4d7b2438d3	1784	* X = A^E * R * R^-1 mod N = A^E mod N
switches	0:5c4d7b2438d3	1785	*/
switches	0:5c4d7b2438d3	1786	MBEDTLS_MPI_CHK( mpi_montred( X, N, mm, &T ) );
switches	0:5c4d7b2438d3	1787
switches	0:5c4d7b2438d3	1788	if( neg )
switches	0:5c4d7b2438d3	1789	{
switches	0:5c4d7b2438d3	1790	X->s = -1;
switches	0:5c4d7b2438d3	1791	MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( X, N, X ) );
switches	0:5c4d7b2438d3	1792	}
switches	0:5c4d7b2438d3	1793
switches	0:5c4d7b2438d3	1794	cleanup:
switches	0:5c4d7b2438d3	1795
switches	0:5c4d7b2438d3	1796	for( i = ( one << ( wsize - 1 ) ); i < ( one << wsize ); i++ )
switches	0:5c4d7b2438d3	1797	mbedtls_mpi_free( &W[i] );
switches	0:5c4d7b2438d3	1798
switches	0:5c4d7b2438d3	1799	mbedtls_mpi_free( &W[1] ); mbedtls_mpi_free( &T ); mbedtls_mpi_free( &Apos );
switches	0:5c4d7b2438d3	1800
switches	0:5c4d7b2438d3	1801	if( _RR == NULL \|\| _RR->p == NULL )
switches	0:5c4d7b2438d3	1802	mbedtls_mpi_free( &RR );
switches	0:5c4d7b2438d3	1803
switches	0:5c4d7b2438d3	1804	return( ret );
switches	0:5c4d7b2438d3	1805	}
switches	0:5c4d7b2438d3	1806
switches	0:5c4d7b2438d3	1807	/*
switches	0:5c4d7b2438d3	1808	* Greatest common divisor: G = gcd(A, B) (HAC 14.54)
switches	0:5c4d7b2438d3	1809	*/
switches	0:5c4d7b2438d3	1810	int mbedtls_mpi_gcd( mbedtls_mpi G, const mbedtls_mpi A, const mbedtls_mpi *B )
switches	0:5c4d7b2438d3	1811	{
switches	0:5c4d7b2438d3	1812	int ret;
switches	0:5c4d7b2438d3	1813	size_t lz, lzt;
switches	0:5c4d7b2438d3	1814	mbedtls_mpi TG, TA, TB;
switches	0:5c4d7b2438d3	1815
switches	0:5c4d7b2438d3	1816	mbedtls_mpi_init( &TG ); mbedtls_mpi_init( &TA ); mbedtls_mpi_init( &TB );
switches	0:5c4d7b2438d3	1817
switches	0:5c4d7b2438d3	1818	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &TA, A ) );
switches	0:5c4d7b2438d3	1819	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &TB, B ) );
switches	0:5c4d7b2438d3	1820
switches	0:5c4d7b2438d3	1821	lz = mbedtls_mpi_lsb( &TA );
switches	0:5c4d7b2438d3	1822	lzt = mbedtls_mpi_lsb( &TB );
switches	0:5c4d7b2438d3	1823
switches	0:5c4d7b2438d3	1824	if( lzt < lz )
switches	0:5c4d7b2438d3	1825	lz = lzt;
switches	0:5c4d7b2438d3	1826
switches	0:5c4d7b2438d3	1827	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &TA, lz ) );
switches	0:5c4d7b2438d3	1828	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &TB, lz ) );
switches	0:5c4d7b2438d3	1829
switches	0:5c4d7b2438d3	1830	TA.s = TB.s = 1;
switches	0:5c4d7b2438d3	1831
switches	0:5c4d7b2438d3	1832	while( mbedtls_mpi_cmp_int( &TA, 0 ) != 0 )
switches	0:5c4d7b2438d3	1833	{
switches	0:5c4d7b2438d3	1834	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &TA, mbedtls_mpi_lsb( &TA ) ) );
switches	0:5c4d7b2438d3	1835	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &TB, mbedtls_mpi_lsb( &TB ) ) );
switches	0:5c4d7b2438d3	1836
switches	0:5c4d7b2438d3	1837	if( mbedtls_mpi_cmp_mpi( &TA, &TB ) >= 0 )
switches	0:5c4d7b2438d3	1838	{
switches	0:5c4d7b2438d3	1839	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_abs( &TA, &TA, &TB ) );
switches	0:5c4d7b2438d3	1840	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &TA, 1 ) );
switches	0:5c4d7b2438d3	1841	}
switches	0:5c4d7b2438d3	1842	else
switches	0:5c4d7b2438d3	1843	{
switches	0:5c4d7b2438d3	1844	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_abs( &TB, &TB, &TA ) );
switches	0:5c4d7b2438d3	1845	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &TB, 1 ) );
switches	0:5c4d7b2438d3	1846	}
switches	0:5c4d7b2438d3	1847	}
switches	0:5c4d7b2438d3	1848
switches	0:5c4d7b2438d3	1849	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_l( &TB, lz ) );
switches	0:5c4d7b2438d3	1850	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( G, &TB ) );
switches	0:5c4d7b2438d3	1851
switches	0:5c4d7b2438d3	1852	cleanup:
switches	0:5c4d7b2438d3	1853
switches	0:5c4d7b2438d3	1854	mbedtls_mpi_free( &TG ); mbedtls_mpi_free( &TA ); mbedtls_mpi_free( &TB );
switches	0:5c4d7b2438d3	1855
switches	0:5c4d7b2438d3	1856	return( ret );
switches	0:5c4d7b2438d3	1857	}
switches	0:5c4d7b2438d3	1858
switches	0:5c4d7b2438d3	1859	/*
switches	0:5c4d7b2438d3	1860	* Fill X with size bytes of random.
switches	0:5c4d7b2438d3	1861	*
switches	0:5c4d7b2438d3	1862	* Use a temporary bytes representation to make sure the result is the same
switches	0:5c4d7b2438d3	1863	* regardless of the platform endianness (useful when f_rng is actually
switches	0:5c4d7b2438d3	1864	* deterministic, eg for tests).
switches	0:5c4d7b2438d3	1865	*/
switches	0:5c4d7b2438d3	1866	int mbedtls_mpi_fill_random( mbedtls_mpi *X, size_t size,
switches	0:5c4d7b2438d3	1867	int (f_rng)(void , unsigned char *, size_t),
switches	0:5c4d7b2438d3	1868	void *p_rng )
switches	0:5c4d7b2438d3	1869	{
switches	0:5c4d7b2438d3	1870	int ret;
switches	0:5c4d7b2438d3	1871	unsigned char buf[MBEDTLS_MPI_MAX_SIZE];
switches	0:5c4d7b2438d3	1872
switches	0:5c4d7b2438d3	1873	if( size > MBEDTLS_MPI_MAX_SIZE )
switches	0:5c4d7b2438d3	1874	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	1875
switches	0:5c4d7b2438d3	1876	MBEDTLS_MPI_CHK( f_rng( p_rng, buf, size ) );
switches	0:5c4d7b2438d3	1877	MBEDTLS_MPI_CHK( mbedtls_mpi_read_binary( X, buf, size ) );
switches	0:5c4d7b2438d3	1878
switches	0:5c4d7b2438d3	1879	cleanup:
switches	0:5c4d7b2438d3	1880	return( ret );
switches	0:5c4d7b2438d3	1881	}
switches	0:5c4d7b2438d3	1882
switches	0:5c4d7b2438d3	1883	/*
switches	0:5c4d7b2438d3	1884	* Modular inverse: X = A^-1 mod N (HAC 14.61 / 14.64)
switches	0:5c4d7b2438d3	1885	*/
switches	0:5c4d7b2438d3	1886	int mbedtls_mpi_inv_mod( mbedtls_mpi X, const mbedtls_mpi A, const mbedtls_mpi *N )
switches	0:5c4d7b2438d3	1887	{
switches	0:5c4d7b2438d3	1888	int ret;
switches	0:5c4d7b2438d3	1889	mbedtls_mpi G, TA, TU, U1, U2, TB, TV, V1, V2;
switches	0:5c4d7b2438d3	1890
switches	0:5c4d7b2438d3	1891	if( mbedtls_mpi_cmp_int( N, 0 ) <= 0 )
switches	0:5c4d7b2438d3	1892	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	1893
switches	0:5c4d7b2438d3	1894	mbedtls_mpi_init( &TA ); mbedtls_mpi_init( &TU ); mbedtls_mpi_init( &U1 ); mbedtls_mpi_init( &U2 );
switches	0:5c4d7b2438d3	1895	mbedtls_mpi_init( &G ); mbedtls_mpi_init( &TB ); mbedtls_mpi_init( &TV );
switches	0:5c4d7b2438d3	1896	mbedtls_mpi_init( &V1 ); mbedtls_mpi_init( &V2 );
switches	0:5c4d7b2438d3	1897
switches	0:5c4d7b2438d3	1898	MBEDTLS_MPI_CHK( mbedtls_mpi_gcd( &G, A, N ) );
switches	0:5c4d7b2438d3	1899
switches	0:5c4d7b2438d3	1900	if( mbedtls_mpi_cmp_int( &G, 1 ) != 0 )
switches	0:5c4d7b2438d3	1901	{
switches	0:5c4d7b2438d3	1902	ret = MBEDTLS_ERR_MPI_NOT_ACCEPTABLE;
switches	0:5c4d7b2438d3	1903	goto cleanup;
switches	0:5c4d7b2438d3	1904	}
switches	0:5c4d7b2438d3	1905
switches	0:5c4d7b2438d3	1906	MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &TA, A, N ) );
switches	0:5c4d7b2438d3	1907	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &TU, &TA ) );
switches	0:5c4d7b2438d3	1908	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &TB, N ) );
switches	0:5c4d7b2438d3	1909	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &TV, N ) );
switches	0:5c4d7b2438d3	1910
switches	0:5c4d7b2438d3	1911	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &U1, 1 ) );
switches	0:5c4d7b2438d3	1912	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &U2, 0 ) );
switches	0:5c4d7b2438d3	1913	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &V1, 0 ) );
switches	0:5c4d7b2438d3	1914	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &V2, 1 ) );
switches	0:5c4d7b2438d3	1915
switches	0:5c4d7b2438d3	1916	do
switches	0:5c4d7b2438d3	1917	{
switches	0:5c4d7b2438d3	1918	while( ( TU.p[0] & 1 ) == 0 )
switches	0:5c4d7b2438d3	1919	{
switches	0:5c4d7b2438d3	1920	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &TU, 1 ) );
switches	0:5c4d7b2438d3	1921
switches	0:5c4d7b2438d3	1922	if( ( U1.p[0] & 1 ) != 0 \|\| ( U2.p[0] & 1 ) != 0 )
switches	0:5c4d7b2438d3	1923	{
switches	0:5c4d7b2438d3	1924	MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &U1, &U1, &TB ) );
switches	0:5c4d7b2438d3	1925	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &U2, &U2, &TA ) );
switches	0:5c4d7b2438d3	1926	}
switches	0:5c4d7b2438d3	1927
switches	0:5c4d7b2438d3	1928	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &U1, 1 ) );
switches	0:5c4d7b2438d3	1929	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &U2, 1 ) );
switches	0:5c4d7b2438d3	1930	}
switches	0:5c4d7b2438d3	1931
switches	0:5c4d7b2438d3	1932	while( ( TV.p[0] & 1 ) == 0 )
switches	0:5c4d7b2438d3	1933	{
switches	0:5c4d7b2438d3	1934	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &TV, 1 ) );
switches	0:5c4d7b2438d3	1935
switches	0:5c4d7b2438d3	1936	if( ( V1.p[0] & 1 ) != 0 \|\| ( V2.p[0] & 1 ) != 0 )
switches	0:5c4d7b2438d3	1937	{
switches	0:5c4d7b2438d3	1938	MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &V1, &V1, &TB ) );
switches	0:5c4d7b2438d3	1939	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &V2, &V2, &TA ) );
switches	0:5c4d7b2438d3	1940	}
switches	0:5c4d7b2438d3	1941
switches	0:5c4d7b2438d3	1942	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &V1, 1 ) );
switches	0:5c4d7b2438d3	1943	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &V2, 1 ) );
switches	0:5c4d7b2438d3	1944	}
switches	0:5c4d7b2438d3	1945
switches	0:5c4d7b2438d3	1946	if( mbedtls_mpi_cmp_mpi( &TU, &TV ) >= 0 )
switches	0:5c4d7b2438d3	1947	{
switches	0:5c4d7b2438d3	1948	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &TU, &TU, &TV ) );
switches	0:5c4d7b2438d3	1949	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &U1, &U1, &V1 ) );
switches	0:5c4d7b2438d3	1950	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &U2, &U2, &V2 ) );
switches	0:5c4d7b2438d3	1951	}
switches	0:5c4d7b2438d3	1952	else
switches	0:5c4d7b2438d3	1953	{
switches	0:5c4d7b2438d3	1954	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &TV, &TV, &TU ) );
switches	0:5c4d7b2438d3	1955	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &V1, &V1, &U1 ) );
switches	0:5c4d7b2438d3	1956	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &V2, &V2, &U2 ) );
switches	0:5c4d7b2438d3	1957	}
switches	0:5c4d7b2438d3	1958	}
switches	0:5c4d7b2438d3	1959	while( mbedtls_mpi_cmp_int( &TU, 0 ) != 0 );
switches	0:5c4d7b2438d3	1960
switches	0:5c4d7b2438d3	1961	while( mbedtls_mpi_cmp_int( &V1, 0 ) < 0 )
switches	0:5c4d7b2438d3	1962	MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &V1, &V1, N ) );
switches	0:5c4d7b2438d3	1963
switches	0:5c4d7b2438d3	1964	while( mbedtls_mpi_cmp_mpi( &V1, N ) >= 0 )
switches	0:5c4d7b2438d3	1965	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &V1, &V1, N ) );
switches	0:5c4d7b2438d3	1966
switches	0:5c4d7b2438d3	1967	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( X, &V1 ) );
switches	0:5c4d7b2438d3	1968
switches	0:5c4d7b2438d3	1969	cleanup:
switches	0:5c4d7b2438d3	1970
switches	0:5c4d7b2438d3	1971	mbedtls_mpi_free( &TA ); mbedtls_mpi_free( &TU ); mbedtls_mpi_free( &U1 ); mbedtls_mpi_free( &U2 );
switches	0:5c4d7b2438d3	1972	mbedtls_mpi_free( &G ); mbedtls_mpi_free( &TB ); mbedtls_mpi_free( &TV );
switches	0:5c4d7b2438d3	1973	mbedtls_mpi_free( &V1 ); mbedtls_mpi_free( &V2 );
switches	0:5c4d7b2438d3	1974
switches	0:5c4d7b2438d3	1975	return( ret );
switches	0:5c4d7b2438d3	1976	}
switches	0:5c4d7b2438d3	1977
switches	0:5c4d7b2438d3	1978	#if defined(MBEDTLS_GENPRIME)
switches	0:5c4d7b2438d3	1979
switches	0:5c4d7b2438d3	1980	static const int small_prime[] =
switches	0:5c4d7b2438d3	1981	{
switches	0:5c4d7b2438d3	1982	3, 5, 7, 11, 13, 17, 19, 23,
switches	0:5c4d7b2438d3	1983	29, 31, 37, 41, 43, 47, 53, 59,
switches	0:5c4d7b2438d3	1984	61, 67, 71, 73, 79, 83, 89, 97,
switches	0:5c4d7b2438d3	1985	101, 103, 107, 109, 113, 127, 131, 137,
switches	0:5c4d7b2438d3	1986	139, 149, 151, 157, 163, 167, 173, 179,
switches	0:5c4d7b2438d3	1987	181, 191, 193, 197, 199, 211, 223, 227,
switches	0:5c4d7b2438d3	1988	229, 233, 239, 241, 251, 257, 263, 269,
switches	0:5c4d7b2438d3	1989	271, 277, 281, 283, 293, 307, 311, 313,
switches	0:5c4d7b2438d3	1990	317, 331, 337, 347, 349, 353, 359, 367,
switches	0:5c4d7b2438d3	1991	373, 379, 383, 389, 397, 401, 409, 419,
switches	0:5c4d7b2438d3	1992	421, 431, 433, 439, 443, 449, 457, 461,
switches	0:5c4d7b2438d3	1993	463, 467, 479, 487, 491, 499, 503, 509,
switches	0:5c4d7b2438d3	1994	521, 523, 541, 547, 557, 563, 569, 571,
switches	0:5c4d7b2438d3	1995	577, 587, 593, 599, 601, 607, 613, 617,
switches	0:5c4d7b2438d3	1996	619, 631, 641, 643, 647, 653, 659, 661,
switches	0:5c4d7b2438d3	1997	673, 677, 683, 691, 701, 709, 719, 727,
switches	0:5c4d7b2438d3	1998	733, 739, 743, 751, 757, 761, 769, 773,
switches	0:5c4d7b2438d3	1999	787, 797, 809, 811, 821, 823, 827, 829,
switches	0:5c4d7b2438d3	2000	839, 853, 857, 859, 863, 877, 881, 883,
switches	0:5c4d7b2438d3	2001	887, 907, 911, 919, 929, 937, 941, 947,
switches	0:5c4d7b2438d3	2002	953, 967, 971, 977, 983, 991, 997, -103
switches	0:5c4d7b2438d3	2003	};
switches	0:5c4d7b2438d3	2004
switches	0:5c4d7b2438d3	2005	/*
switches	0:5c4d7b2438d3	2006	* Small divisors test (X must be positive)
switches	0:5c4d7b2438d3	2007	*
switches	0:5c4d7b2438d3	2008	* Return values:
switches	0:5c4d7b2438d3	2009	* 0: no small factor (possible prime, more tests needed)
switches	0:5c4d7b2438d3	2010	* 1: certain prime
switches	0:5c4d7b2438d3	2011	* MBEDTLS_ERR_MPI_NOT_ACCEPTABLE: certain non-prime
switches	0:5c4d7b2438d3	2012	* other negative: error
switches	0:5c4d7b2438d3	2013	*/
switches	0:5c4d7b2438d3	2014	static int mpi_check_small_factors( const mbedtls_mpi *X )
switches	0:5c4d7b2438d3	2015	{
switches	0:5c4d7b2438d3	2016	int ret = 0;
switches	0:5c4d7b2438d3	2017	size_t i;
switches	0:5c4d7b2438d3	2018	mbedtls_mpi_uint r;
switches	0:5c4d7b2438d3	2019
switches	0:5c4d7b2438d3	2020	if( ( X->p[0] & 1 ) == 0 )
switches	0:5c4d7b2438d3	2021	return( MBEDTLS_ERR_MPI_NOT_ACCEPTABLE );
switches	0:5c4d7b2438d3	2022
switches	0:5c4d7b2438d3	2023	for( i = 0; small_prime[i] > 0; i++ )
switches	0:5c4d7b2438d3	2024	{
switches	0:5c4d7b2438d3	2025	if( mbedtls_mpi_cmp_int( X, small_prime[i] ) <= 0 )
switches	0:5c4d7b2438d3	2026	return( 1 );
switches	0:5c4d7b2438d3	2027
switches	0:5c4d7b2438d3	2028	MBEDTLS_MPI_CHK( mbedtls_mpi_mod_int( &r, X, small_prime[i] ) );
switches	0:5c4d7b2438d3	2029
switches	0:5c4d7b2438d3	2030	if( r == 0 )
switches	0:5c4d7b2438d3	2031	return( MBEDTLS_ERR_MPI_NOT_ACCEPTABLE );
switches	0:5c4d7b2438d3	2032	}
switches	0:5c4d7b2438d3	2033
switches	0:5c4d7b2438d3	2034	cleanup:
switches	0:5c4d7b2438d3	2035	return( ret );
switches	0:5c4d7b2438d3	2036	}
switches	0:5c4d7b2438d3	2037
switches	0:5c4d7b2438d3	2038	/*
switches	0:5c4d7b2438d3	2039	* Miller-Rabin pseudo-primality test (HAC 4.24)
switches	0:5c4d7b2438d3	2040	*/
switches	0:5c4d7b2438d3	2041	static int mpi_miller_rabin( const mbedtls_mpi *X,
switches	0:5c4d7b2438d3	2042	int (f_rng)(void , unsigned char *, size_t),
switches	0:5c4d7b2438d3	2043	void *p_rng )
switches	0:5c4d7b2438d3	2044	{
switches	0:5c4d7b2438d3	2045	int ret, count;
switches	0:5c4d7b2438d3	2046	size_t i, j, k, n, s;
switches	0:5c4d7b2438d3	2047	mbedtls_mpi W, R, T, A, RR;
switches	0:5c4d7b2438d3	2048
switches	0:5c4d7b2438d3	2049	mbedtls_mpi_init( &W ); mbedtls_mpi_init( &R ); mbedtls_mpi_init( &T ); mbedtls_mpi_init( &A );
switches	0:5c4d7b2438d3	2050	mbedtls_mpi_init( &RR );
switches	0:5c4d7b2438d3	2051
switches	0:5c4d7b2438d3	2052	/*
switches	0:5c4d7b2438d3	2053	* W = \|X\| - 1
switches	0:5c4d7b2438d3	2054	* R = W >> lsb( W )
switches	0:5c4d7b2438d3	2055	*/
switches	0:5c4d7b2438d3	2056	MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &W, X, 1 ) );
switches	0:5c4d7b2438d3	2057	s = mbedtls_mpi_lsb( &W );
switches	0:5c4d7b2438d3	2058	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &R, &W ) );
switches	0:5c4d7b2438d3	2059	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &R, s ) );
switches	0:5c4d7b2438d3	2060
switches	0:5c4d7b2438d3	2061	i = mbedtls_mpi_bitlen( X );
switches	0:5c4d7b2438d3	2062	/*
switches	0:5c4d7b2438d3	2063	* HAC, table 4.4
switches	0:5c4d7b2438d3	2064	*/
switches	0:5c4d7b2438d3	2065	n = ( ( i >= 1300 ) ? 2 : ( i >= 850 ) ? 3 :
switches	0:5c4d7b2438d3	2066	( i >= 650 ) ? 4 : ( i >= 350 ) ? 8 :
switches	0:5c4d7b2438d3	2067	( i >= 250 ) ? 12 : ( i >= 150 ) ? 18 : 27 );
switches	0:5c4d7b2438d3	2068
switches	0:5c4d7b2438d3	2069	for( i = 0; i < n; i++ )
switches	0:5c4d7b2438d3	2070	{
switches	0:5c4d7b2438d3	2071	/*
switches	0:5c4d7b2438d3	2072	* pick a random A, 1 < A < \|X\| - 1
switches	0:5c4d7b2438d3	2073	*/
switches	0:5c4d7b2438d3	2074	MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &A, X->n * ciL, f_rng, p_rng ) );
switches	0:5c4d7b2438d3	2075
switches	0:5c4d7b2438d3	2076	if( mbedtls_mpi_cmp_mpi( &A, &W ) >= 0 )
switches	0:5c4d7b2438d3	2077	{
switches	0:5c4d7b2438d3	2078	j = mbedtls_mpi_bitlen( &A ) - mbedtls_mpi_bitlen( &W );
switches	0:5c4d7b2438d3	2079	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &A, j + 1 ) );
switches	0:5c4d7b2438d3	2080	}
switches	0:5c4d7b2438d3	2081	A.p[0] \|= 3;
switches	0:5c4d7b2438d3	2082
switches	0:5c4d7b2438d3	2083	count = 0;
switches	0:5c4d7b2438d3	2084	do {
switches	0:5c4d7b2438d3	2085	MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &A, X->n * ciL, f_rng, p_rng ) );
switches	0:5c4d7b2438d3	2086
switches	0:5c4d7b2438d3	2087	j = mbedtls_mpi_bitlen( &A );
switches	0:5c4d7b2438d3	2088	k = mbedtls_mpi_bitlen( &W );
switches	0:5c4d7b2438d3	2089	if (j > k) {
switches	0:5c4d7b2438d3	2090	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &A, j - k ) );
switches	0:5c4d7b2438d3	2091	}
switches	0:5c4d7b2438d3	2092
switches	0:5c4d7b2438d3	2093	if (count++ > 30) {
switches	0:5c4d7b2438d3	2094	return MBEDTLS_ERR_MPI_NOT_ACCEPTABLE;
switches	0:5c4d7b2438d3	2095	}
switches	0:5c4d7b2438d3	2096
switches	0:5c4d7b2438d3	2097	} while ( mbedtls_mpi_cmp_mpi( &A, &W ) >= 0 \|\|
switches	0:5c4d7b2438d3	2098	mbedtls_mpi_cmp_int( &A, 1 ) <= 0 );
switches	0:5c4d7b2438d3	2099
switches	0:5c4d7b2438d3	2100	/*
switches	0:5c4d7b2438d3	2101	* A = A^R mod \|X\|
switches	0:5c4d7b2438d3	2102	*/
switches	0:5c4d7b2438d3	2103	MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &A, &A, &R, X, &RR ) );
switches	0:5c4d7b2438d3	2104
switches	0:5c4d7b2438d3	2105	if( mbedtls_mpi_cmp_mpi( &A, &W ) == 0 \|\|
switches	0:5c4d7b2438d3	2106	mbedtls_mpi_cmp_int( &A, 1 ) == 0 )
switches	0:5c4d7b2438d3	2107	continue;
switches	0:5c4d7b2438d3	2108
switches	0:5c4d7b2438d3	2109	j = 1;
switches	0:5c4d7b2438d3	2110	while( j < s && mbedtls_mpi_cmp_mpi( &A, &W ) != 0 )
switches	0:5c4d7b2438d3	2111	{
switches	0:5c4d7b2438d3	2112	/*
switches	0:5c4d7b2438d3	2113	* A = A * A mod \|X\|
switches	0:5c4d7b2438d3	2114	*/
switches	0:5c4d7b2438d3	2115	MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &T, &A, &A ) );
switches	0:5c4d7b2438d3	2116	MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &A, &T, X ) );
switches	0:5c4d7b2438d3	2117
switches	0:5c4d7b2438d3	2118	if( mbedtls_mpi_cmp_int( &A, 1 ) == 0 )
switches	0:5c4d7b2438d3	2119	break;
switches	0:5c4d7b2438d3	2120
switches	0:5c4d7b2438d3	2121	j++;
switches	0:5c4d7b2438d3	2122	}
switches	0:5c4d7b2438d3	2123
switches	0:5c4d7b2438d3	2124	/*
switches	0:5c4d7b2438d3	2125	* not prime if A != \|X\| - 1 or A == 1
switches	0:5c4d7b2438d3	2126	*/
switches	0:5c4d7b2438d3	2127	if( mbedtls_mpi_cmp_mpi( &A, &W ) != 0 \|\|
switches	0:5c4d7b2438d3	2128	mbedtls_mpi_cmp_int( &A, 1 ) == 0 )
switches	0:5c4d7b2438d3	2129	{
switches	0:5c4d7b2438d3	2130	ret = MBEDTLS_ERR_MPI_NOT_ACCEPTABLE;
switches	0:5c4d7b2438d3	2131	break;
switches	0:5c4d7b2438d3	2132	}
switches	0:5c4d7b2438d3	2133	}
switches	0:5c4d7b2438d3	2134
switches	0:5c4d7b2438d3	2135	cleanup:
switches	0:5c4d7b2438d3	2136	mbedtls_mpi_free( &W ); mbedtls_mpi_free( &R ); mbedtls_mpi_free( &T ); mbedtls_mpi_free( &A );
switches	0:5c4d7b2438d3	2137	mbedtls_mpi_free( &RR );
switches	0:5c4d7b2438d3	2138
switches	0:5c4d7b2438d3	2139	return( ret );
switches	0:5c4d7b2438d3	2140	}
switches	0:5c4d7b2438d3	2141
switches	0:5c4d7b2438d3	2142	/*
switches	0:5c4d7b2438d3	2143	* Pseudo-primality test: small factors, then Miller-Rabin
switches	0:5c4d7b2438d3	2144	*/
switches	0:5c4d7b2438d3	2145	int mbedtls_mpi_is_prime( const mbedtls_mpi *X,
switches	0:5c4d7b2438d3	2146	int (f_rng)(void , unsigned char *, size_t),
switches	0:5c4d7b2438d3	2147	void *p_rng )
switches	0:5c4d7b2438d3	2148	{
switches	0:5c4d7b2438d3	2149	int ret;
switches	0:5c4d7b2438d3	2150	mbedtls_mpi XX;
switches	0:5c4d7b2438d3	2151
switches	0:5c4d7b2438d3	2152	XX.s = 1;
switches	0:5c4d7b2438d3	2153	XX.n = X->n;
switches	0:5c4d7b2438d3	2154	XX.p = X->p;
switches	0:5c4d7b2438d3	2155
switches	0:5c4d7b2438d3	2156	if( mbedtls_mpi_cmp_int( &XX, 0 ) == 0 \|\|
switches	0:5c4d7b2438d3	2157	mbedtls_mpi_cmp_int( &XX, 1 ) == 0 )
switches	0:5c4d7b2438d3	2158	return( MBEDTLS_ERR_MPI_NOT_ACCEPTABLE );
switches	0:5c4d7b2438d3	2159
switches	0:5c4d7b2438d3	2160	if( mbedtls_mpi_cmp_int( &XX, 2 ) == 0 )
switches	0:5c4d7b2438d3	2161	return( 0 );
switches	0:5c4d7b2438d3	2162
switches	0:5c4d7b2438d3	2163	if( ( ret = mpi_check_small_factors( &XX ) ) != 0 )
switches	0:5c4d7b2438d3	2164	{
switches	0:5c4d7b2438d3	2165	if( ret == 1 )
switches	0:5c4d7b2438d3	2166	return( 0 );
switches	0:5c4d7b2438d3	2167
switches	0:5c4d7b2438d3	2168	return( ret );
switches	0:5c4d7b2438d3	2169	}
switches	0:5c4d7b2438d3	2170
switches	0:5c4d7b2438d3	2171	return( mpi_miller_rabin( &XX, f_rng, p_rng ) );
switches	0:5c4d7b2438d3	2172	}
switches	0:5c4d7b2438d3	2173
switches	0:5c4d7b2438d3	2174	/*
switches	0:5c4d7b2438d3	2175	* Prime number generation
switches	0:5c4d7b2438d3	2176	*/
switches	0:5c4d7b2438d3	2177	int mbedtls_mpi_gen_prime( mbedtls_mpi *X, size_t nbits, int dh_flag,
switches	0:5c4d7b2438d3	2178	int (f_rng)(void , unsigned char *, size_t),
switches	0:5c4d7b2438d3	2179	void *p_rng )
switches	0:5c4d7b2438d3	2180	{
switches	0:5c4d7b2438d3	2181	int ret;
switches	0:5c4d7b2438d3	2182	size_t k, n;
switches	0:5c4d7b2438d3	2183	mbedtls_mpi_uint r;
switches	0:5c4d7b2438d3	2184	mbedtls_mpi Y;
switches	0:5c4d7b2438d3	2185
switches	0:5c4d7b2438d3	2186	if( nbits < 3 \|\| nbits > MBEDTLS_MPI_MAX_BITS )
switches	0:5c4d7b2438d3	2187	return( MBEDTLS_ERR_MPI_BAD_INPUT_DATA );
switches	0:5c4d7b2438d3	2188
switches	0:5c4d7b2438d3	2189	mbedtls_mpi_init( &Y );
switches	0:5c4d7b2438d3	2190
switches	0:5c4d7b2438d3	2191	n = BITS_TO_LIMBS( nbits );
switches	0:5c4d7b2438d3	2192
switches	0:5c4d7b2438d3	2193	MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( X, n * ciL, f_rng, p_rng ) );
switches	0:5c4d7b2438d3	2194
switches	0:5c4d7b2438d3	2195	k = mbedtls_mpi_bitlen( X );
switches	0:5c4d7b2438d3	2196	if( k > nbits ) MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( X, k - nbits + 1 ) );
switches	0:5c4d7b2438d3	2197
switches	0:5c4d7b2438d3	2198	mbedtls_mpi_set_bit( X, nbits-1, 1 );
switches	0:5c4d7b2438d3	2199
switches	0:5c4d7b2438d3	2200	X->p[0] \|= 1;
switches	0:5c4d7b2438d3	2201
switches	0:5c4d7b2438d3	2202	if( dh_flag == 0 )
switches	0:5c4d7b2438d3	2203	{
switches	0:5c4d7b2438d3	2204	while( ( ret = mbedtls_mpi_is_prime( X, f_rng, p_rng ) ) != 0 )
switches	0:5c4d7b2438d3	2205	{
switches	0:5c4d7b2438d3	2206	if( ret != MBEDTLS_ERR_MPI_NOT_ACCEPTABLE )
switches	0:5c4d7b2438d3	2207	goto cleanup;
switches	0:5c4d7b2438d3	2208
switches	0:5c4d7b2438d3	2209	MBEDTLS_MPI_CHK( mbedtls_mpi_add_int( X, X, 2 ) );
switches	0:5c4d7b2438d3	2210	}
switches	0:5c4d7b2438d3	2211	}
switches	0:5c4d7b2438d3	2212	else
switches	0:5c4d7b2438d3	2213	{
switches	0:5c4d7b2438d3	2214	/*
switches	0:5c4d7b2438d3	2215	* An necessary condition for Y and X = 2Y + 1 to be prime
switches	0:5c4d7b2438d3	2216	* is X = 2 mod 3 (which is equivalent to Y = 2 mod 3).
switches	0:5c4d7b2438d3	2217	* Make sure it is satisfied, while keeping X = 3 mod 4
switches	0:5c4d7b2438d3	2218	*/
switches	0:5c4d7b2438d3	2219
switches	0:5c4d7b2438d3	2220	X->p[0] \|= 2;
switches	0:5c4d7b2438d3	2221
switches	0:5c4d7b2438d3	2222	MBEDTLS_MPI_CHK( mbedtls_mpi_mod_int( &r, X, 3 ) );
switches	0:5c4d7b2438d3	2223	if( r == 0 )
switches	0:5c4d7b2438d3	2224	MBEDTLS_MPI_CHK( mbedtls_mpi_add_int( X, X, 8 ) );
switches	0:5c4d7b2438d3	2225	else if( r == 1 )
switches	0:5c4d7b2438d3	2226	MBEDTLS_MPI_CHK( mbedtls_mpi_add_int( X, X, 4 ) );
switches	0:5c4d7b2438d3	2227
switches	0:5c4d7b2438d3	2228	/* Set Y = (X-1) / 2, which is X / 2 because X is odd */
switches	0:5c4d7b2438d3	2229	MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &Y, X ) );
switches	0:5c4d7b2438d3	2230	MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &Y, 1 ) );
switches	0:5c4d7b2438d3	2231
switches	0:5c4d7b2438d3	2232	while( 1 )
switches	0:5c4d7b2438d3	2233	{
switches	0:5c4d7b2438d3	2234	/*
switches	0:5c4d7b2438d3	2235	* First, check small factors for X and Y
switches	0:5c4d7b2438d3	2236	* before doing Miller-Rabin on any of them
switches	0:5c4d7b2438d3	2237	*/
switches	0:5c4d7b2438d3	2238	if( ( ret = mpi_check_small_factors( X ) ) == 0 &&
switches	0:5c4d7b2438d3	2239	( ret = mpi_check_small_factors( &Y ) ) == 0 &&
switches	0:5c4d7b2438d3	2240	( ret = mpi_miller_rabin( X, f_rng, p_rng ) ) == 0 &&
switches	0:5c4d7b2438d3	2241	( ret = mpi_miller_rabin( &Y, f_rng, p_rng ) ) == 0 )
switches	0:5c4d7b2438d3	2242	{
switches	0:5c4d7b2438d3	2243	break;
switches	0:5c4d7b2438d3	2244	}
switches	0:5c4d7b2438d3	2245
switches	0:5c4d7b2438d3	2246	if( ret != MBEDTLS_ERR_MPI_NOT_ACCEPTABLE )
switches	0:5c4d7b2438d3	2247	goto cleanup;
switches	0:5c4d7b2438d3	2248
switches	0:5c4d7b2438d3	2249	/*
switches	0:5c4d7b2438d3	2250	* Next candidates. We want to preserve Y = (X-1) / 2 and
switches	0:5c4d7b2438d3	2251	* Y = 1 mod 2 and Y = 2 mod 3 (eq X = 3 mod 4 and X = 2 mod 3)
switches	0:5c4d7b2438d3	2252	* so up Y by 6 and X by 12.
switches	0:5c4d7b2438d3	2253	*/
switches	0:5c4d7b2438d3	2254	MBEDTLS_MPI_CHK( mbedtls_mpi_add_int( X, X, 12 ) );
switches	0:5c4d7b2438d3	2255	MBEDTLS_MPI_CHK( mbedtls_mpi_add_int( &Y, &Y, 6 ) );
switches	0:5c4d7b2438d3	2256	}
switches	0:5c4d7b2438d3	2257	}
switches	0:5c4d7b2438d3	2258
switches	0:5c4d7b2438d3	2259	cleanup:
switches	0:5c4d7b2438d3	2260
switches	0:5c4d7b2438d3	2261	mbedtls_mpi_free( &Y );
switches	0:5c4d7b2438d3	2262
switches	0:5c4d7b2438d3	2263	return( ret );
switches	0:5c4d7b2438d3	2264	}
switches	0:5c4d7b2438d3	2265
switches	0:5c4d7b2438d3	2266	#endif /* MBEDTLS_GENPRIME */
switches	0:5c4d7b2438d3	2267
switches	0:5c4d7b2438d3	2268	#if defined(MBEDTLS_SELF_TEST)
switches	0:5c4d7b2438d3	2269
switches	0:5c4d7b2438d3	2270	#define GCD_PAIR_COUNT 3
switches	0:5c4d7b2438d3	2271
switches	0:5c4d7b2438d3	2272	static const int gcd_pairs[GCD_PAIR_COUNT][3] =
switches	0:5c4d7b2438d3	2273	{
switches	0:5c4d7b2438d3	2274	{ 693, 609, 21 },
switches	0:5c4d7b2438d3	2275	{ 1764, 868, 28 },
switches	0:5c4d7b2438d3	2276	{ 768454923, 542167814, 1 }
switches	0:5c4d7b2438d3	2277	};
switches	0:5c4d7b2438d3	2278
switches	0:5c4d7b2438d3	2279	/*
switches	0:5c4d7b2438d3	2280	* Checkup routine
switches	0:5c4d7b2438d3	2281	*/
switches	0:5c4d7b2438d3	2282	int mbedtls_mpi_self_test( int verbose )
switches	0:5c4d7b2438d3	2283	{
switches	0:5c4d7b2438d3	2284	int ret, i;
switches	0:5c4d7b2438d3	2285	mbedtls_mpi A, E, N, X, Y, U, V;
switches	0:5c4d7b2438d3	2286
switches	0:5c4d7b2438d3	2287	mbedtls_mpi_init( &A ); mbedtls_mpi_init( &E ); mbedtls_mpi_init( &N ); mbedtls_mpi_init( &X );
switches	0:5c4d7b2438d3	2288	mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &U ); mbedtls_mpi_init( &V );
switches	0:5c4d7b2438d3	2289
switches	0:5c4d7b2438d3	2290	MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &A, 16,
switches	0:5c4d7b2438d3	2291	"EFE021C2645FD1DC586E69184AF4A31E" \
switches	0:5c4d7b2438d3	2292	"D5F53E93B5F123FA41680867BA110131" \
switches	0:5c4d7b2438d3	2293	"944FE7952E2517337780CB0DB80E61AA" \
switches	0:5c4d7b2438d3	2294	"E7C8DDC6C5C6AADEB34EB38A2F40D5E6" ) );
switches	0:5c4d7b2438d3	2295
switches	0:5c4d7b2438d3	2296	MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &E, 16,
switches	0:5c4d7b2438d3	2297	"B2E7EFD37075B9F03FF989C7C5051C20" \
switches	0:5c4d7b2438d3	2298	"34D2A323810251127E7BF8625A4F49A5" \
switches	0:5c4d7b2438d3	2299	"F3E27F4DA8BD59C47D6DAABA4C8127BD" \
switches	0:5c4d7b2438d3	2300	"5B5C25763222FEFCCFC38B832366C29E" ) );
switches	0:5c4d7b2438d3	2301
switches	0:5c4d7b2438d3	2302	MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &N, 16,
switches	0:5c4d7b2438d3	2303	"0066A198186C18C10B2F5ED9B522752A" \
switches	0:5c4d7b2438d3	2304	"9830B69916E535C8F047518A889A43A5" \
switches	0:5c4d7b2438d3	2305	"94B6BED27A168D31D4A52F88925AA8F5" ) );
switches	0:5c4d7b2438d3	2306
switches	0:5c4d7b2438d3	2307	MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &X, &A, &N ) );
switches	0:5c4d7b2438d3	2308
switches	0:5c4d7b2438d3	2309	MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &U, 16,
switches	0:5c4d7b2438d3	2310	"602AB7ECA597A3D6B56FF9829A5E8B85" \
switches	0:5c4d7b2438d3	2311	"9E857EA95A03512E2BAE7391688D264A" \
switches	0:5c4d7b2438d3	2312	"A5663B0341DB9CCFD2C4C5F421FEC814" \
switches	0:5c4d7b2438d3	2313	"8001B72E848A38CAE1C65F78E56ABDEF" \
switches	0:5c4d7b2438d3	2314	"E12D3C039B8A02D6BE593F0BBBDA56F1" \
switches	0:5c4d7b2438d3	2315	"ECF677152EF804370C1A305CAF3B5BF1" \
switches	0:5c4d7b2438d3	2316	"30879B56C61DE584A0F53A2447A51E" ) );
switches	0:5c4d7b2438d3	2317
switches	0:5c4d7b2438d3	2318	if( verbose != 0 )
switches	0:5c4d7b2438d3	2319	mbedtls_printf( " MPI test #1 (mul_mpi): " );
switches	0:5c4d7b2438d3	2320
switches	0:5c4d7b2438d3	2321	if( mbedtls_mpi_cmp_mpi( &X, &U ) != 0 )
switches	0:5c4d7b2438d3	2322	{
switches	0:5c4d7b2438d3	2323	if( verbose != 0 )
switches	0:5c4d7b2438d3	2324	mbedtls_printf( "failed\n" );
switches	0:5c4d7b2438d3	2325
switches	0:5c4d7b2438d3	2326	ret = 1;
switches	0:5c4d7b2438d3	2327	goto cleanup;
switches	0:5c4d7b2438d3	2328	}
switches	0:5c4d7b2438d3	2329
switches	0:5c4d7b2438d3	2330	if( verbose != 0 )
switches	0:5c4d7b2438d3	2331	mbedtls_printf( "passed\n" );
switches	0:5c4d7b2438d3	2332
switches	0:5c4d7b2438d3	2333	MBEDTLS_MPI_CHK( mbedtls_mpi_div_mpi( &X, &Y, &A, &N ) );
switches	0:5c4d7b2438d3	2334
switches	0:5c4d7b2438d3	2335	MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &U, 16,
switches	0:5c4d7b2438d3	2336	"256567336059E52CAE22925474705F39A94" ) );
switches	0:5c4d7b2438d3	2337
switches	0:5c4d7b2438d3	2338	MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &V, 16,
switches	0:5c4d7b2438d3	2339	"6613F26162223DF488E9CD48CC132C7A" \
switches	0:5c4d7b2438d3	2340	"0AC93C701B001B092E4E5B9F73BCD27B" \
switches	0:5c4d7b2438d3	2341	"9EE50D0657C77F374E903CDFA4C642" ) );
switches	0:5c4d7b2438d3	2342
switches	0:5c4d7b2438d3	2343	if( verbose != 0 )
switches	0:5c4d7b2438d3	2344	mbedtls_printf( " MPI test #2 (div_mpi): " );
switches	0:5c4d7b2438d3	2345
switches	0:5c4d7b2438d3	2346	if( mbedtls_mpi_cmp_mpi( &X, &U ) != 0 \|\|
switches	0:5c4d7b2438d3	2347	mbedtls_mpi_cmp_mpi( &Y, &V ) != 0 )
switches	0:5c4d7b2438d3	2348	{
switches	0:5c4d7b2438d3	2349	if( verbose != 0 )
switches	0:5c4d7b2438d3	2350	mbedtls_printf( "failed\n" );
switches	0:5c4d7b2438d3	2351
switches	0:5c4d7b2438d3	2352	ret = 1;
switches	0:5c4d7b2438d3	2353	goto cleanup;
switches	0:5c4d7b2438d3	2354	}
switches	0:5c4d7b2438d3	2355
switches	0:5c4d7b2438d3	2356	if( verbose != 0 )
switches	0:5c4d7b2438d3	2357	mbedtls_printf( "passed\n" );
switches	0:5c4d7b2438d3	2358
switches	0:5c4d7b2438d3	2359	MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &X, &A, &E, &N, NULL ) );
switches	0:5c4d7b2438d3	2360
switches	0:5c4d7b2438d3	2361	MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &U, 16,
switches	0:5c4d7b2438d3	2362	"36E139AEA55215609D2816998ED020BB" \
switches	0:5c4d7b2438d3	2363	"BD96C37890F65171D948E9BC7CBAA4D9" \
switches	0:5c4d7b2438d3	2364	"325D24D6A3C12710F10A09FA08AB87" ) );
switches	0:5c4d7b2438d3	2365
switches	0:5c4d7b2438d3	2366	if( verbose != 0 )
switches	0:5c4d7b2438d3	2367	mbedtls_printf( " MPI test #3 (exp_mod): " );
switches	0:5c4d7b2438d3	2368
switches	0:5c4d7b2438d3	2369	if( mbedtls_mpi_cmp_mpi( &X, &U ) != 0 )
switches	0:5c4d7b2438d3	2370	{
switches	0:5c4d7b2438d3	2371	if( verbose != 0 )
switches	0:5c4d7b2438d3	2372	mbedtls_printf( "failed\n" );
switches	0:5c4d7b2438d3	2373
switches	0:5c4d7b2438d3	2374	ret = 1;
switches	0:5c4d7b2438d3	2375	goto cleanup;
switches	0:5c4d7b2438d3	2376	}
switches	0:5c4d7b2438d3	2377
switches	0:5c4d7b2438d3	2378	if( verbose != 0 )
switches	0:5c4d7b2438d3	2379	mbedtls_printf( "passed\n" );
switches	0:5c4d7b2438d3	2380
switches	0:5c4d7b2438d3	2381	MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &X, &A, &N ) );
switches	0:5c4d7b2438d3	2382
switches	0:5c4d7b2438d3	2383	MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &U, 16,
switches	0:5c4d7b2438d3	2384	"003A0AAEDD7E784FC07D8F9EC6E3BFD5" \
switches	0:5c4d7b2438d3	2385	"C3DBA76456363A10869622EAC2DD84EC" \
switches	0:5c4d7b2438d3	2386	"C5B8A74DAC4D09E03B5E0BE779F2DF61" ) );
switches	0:5c4d7b2438d3	2387
switches	0:5c4d7b2438d3	2388	if( verbose != 0 )
switches	0:5c4d7b2438d3	2389	mbedtls_printf( " MPI test #4 (inv_mod): " );
switches	0:5c4d7b2438d3	2390
switches	0:5c4d7b2438d3	2391	if( mbedtls_mpi_cmp_mpi( &X, &U ) != 0 )
switches	0:5c4d7b2438d3	2392	{
switches	0:5c4d7b2438d3	2393	if( verbose != 0 )
switches	0:5c4d7b2438d3	2394	mbedtls_printf( "failed\n" );
switches	0:5c4d7b2438d3	2395
switches	0:5c4d7b2438d3	2396	ret = 1;
switches	0:5c4d7b2438d3	2397	goto cleanup;
switches	0:5c4d7b2438d3	2398	}
switches	0:5c4d7b2438d3	2399
switches	0:5c4d7b2438d3	2400	if( verbose != 0 )
switches	0:5c4d7b2438d3	2401	mbedtls_printf( "passed\n" );
switches	0:5c4d7b2438d3	2402
switches	0:5c4d7b2438d3	2403	if( verbose != 0 )
switches	0:5c4d7b2438d3	2404	mbedtls_printf( " MPI test #5 (simple gcd): " );
switches	0:5c4d7b2438d3	2405
switches	0:5c4d7b2438d3	2406	for( i = 0; i < GCD_PAIR_COUNT; i++ )
switches	0:5c4d7b2438d3	2407	{
switches	0:5c4d7b2438d3	2408	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &X, gcd_pairs[i][0] ) );
switches	0:5c4d7b2438d3	2409	MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &Y, gcd_pairs[i][1] ) );
switches	0:5c4d7b2438d3	2410
switches	0:5c4d7b2438d3	2411	MBEDTLS_MPI_CHK( mbedtls_mpi_gcd( &A, &X, &Y ) );
switches	0:5c4d7b2438d3	2412
switches	0:5c4d7b2438d3	2413	if( mbedtls_mpi_cmp_int( &A, gcd_pairs[i][2] ) != 0 )
switches	0:5c4d7b2438d3	2414	{
switches	0:5c4d7b2438d3	2415	if( verbose != 0 )
switches	0:5c4d7b2438d3	2416	mbedtls_printf( "failed at %d\n", i );
switches	0:5c4d7b2438d3	2417
switches	0:5c4d7b2438d3	2418	ret = 1;
switches	0:5c4d7b2438d3	2419	goto cleanup;
switches	0:5c4d7b2438d3	2420	}
switches	0:5c4d7b2438d3	2421	}
switches	0:5c4d7b2438d3	2422
switches	0:5c4d7b2438d3	2423	if( verbose != 0 )
switches	0:5c4d7b2438d3	2424	mbedtls_printf( "passed\n" );
switches	0:5c4d7b2438d3	2425
switches	0:5c4d7b2438d3	2426	cleanup:
switches	0:5c4d7b2438d3	2427
switches	0:5c4d7b2438d3	2428	if( ret != 0 && verbose != 0 )
switches	0:5c4d7b2438d3	2429	mbedtls_printf( "Unexpected error, return code = %08X\n", ret );
switches	0:5c4d7b2438d3	2430
switches	0:5c4d7b2438d3	2431	mbedtls_mpi_free( &A ); mbedtls_mpi_free( &E ); mbedtls_mpi_free( &N ); mbedtls_mpi_free( &X );
switches	0:5c4d7b2438d3	2432	mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &U ); mbedtls_mpi_free( &V );
switches	0:5c4d7b2438d3	2433
switches	0:5c4d7b2438d3	2434	if( verbose != 0 )
switches	0:5c4d7b2438d3	2435	mbedtls_printf( "\n" );
switches	0:5c4d7b2438d3	2436
switches	0:5c4d7b2438d3	2437	return( ret );
switches	0:5c4d7b2438d3	2438	}
switches	0:5c4d7b2438d3	2439
switches	0:5c4d7b2438d3	2440	#endif /* MBEDTLS_SELF_TEST */
switches	0:5c4d7b2438d3	2441
switches	0:5c4d7b2438d3	2442	#endif /* MBEDTLS_BIGNUM_C */

Repository toolbox

Export to desktop IDE

Repository details

Type:	Library
Created:	11 Nov 2016
Imports:	21
Forks:	0
Commits:	4
Dependents:	1
Dependencies:	0
Followers:	4

This repository is Public (Unlisted).

Developers

Greg Steiert

Jesse Marroquin

features/mbedtls/src/bignum.c@3:1198227e6421, 2016-12-16 (annotated)

Who changed what in which revision?

Repository toolbox

Repository details

Developers

Important Information for this Arm website

Access Warning