Members/anatofuz/MoarVM: 3rdparty/libtommath/tommath.h annotate

annotate 3rdparty/libtommath/tommath.h @ 0:2cf249471370

convert mercurial for git

author	Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
date	Tue, 08 May 2018 16:09:12 +0900
parents
children

rev	line source
0 2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1 /* LibTomMath, multiple-precision integer library -- Tom St Denis
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	2 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	3 * LibTomMath is a library that provides multiple-precision
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	4 * integer arithmetic as well as number theoretic functionality.
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	5 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	6 * The library was designed directly after the MPI library by
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	7 * Michael Fromberger but has been written from scratch with
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	8 * additional optimizations in place.
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	9 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	10 * The library is free for all purposes without any express
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	11 * guarantee it works.
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	12 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	13 * Tom St Denis, tstdenis82@gmail.com, http://math.libtomcrypt.com
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	14 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	15 #ifndef BN_H_
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	16 #define BN_H_
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	17
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	18 #include <stdio.h>
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	19 #include <stdlib.h>
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	20 #include <stdint.h>
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	21 #include <limits.h>
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	22
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	23 #include <tommath_class.h>
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	24
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	25 #ifdef __cplusplus
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	26 extern "C" {
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	27 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	28
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	29 /* detect 64-bit mode if possible */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	30 #if defined(__x86_64__)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	31 #if !(defined(MP_32BIT) \|\| defined(MP_16BIT) \|\| defined(MP_8BIT))
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	32 #define MP_64BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	33 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	34 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	35
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	36 /* some default configurations.
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	37 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	38 * A "mp_digit" must be able to hold DIGIT_BIT + 1 bits
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	39 * A "mp_word" must be able to hold 2*DIGIT_BIT + 1 bits
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	40 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	41 * At the very least a mp_digit must be able to hold 7 bits
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	42 * [any size beyond that is ok provided it doesn't overflow the data type]
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	43 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	44 #ifdef MP_8BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	45 typedef uint8_t mp_digit;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	46 typedef uint16_t mp_word;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	47 #define MP_SIZEOF_MP_DIGIT 1
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	48 #ifdef DIGIT_BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	49 #error You must not define DIGIT_BIT when using MP_8BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	50 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	51 #elif defined(MP_16BIT)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	52 typedef uint16_t mp_digit;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	53 typedef uint32_t mp_word;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	54 #define MP_SIZEOF_MP_DIGIT 2
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	55 #ifdef DIGIT_BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	56 #error You must not define DIGIT_BIT when using MP_16BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	57 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	58 #elif defined(MP_64BIT)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	59 /* for GCC only on supported platforms */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	60 typedef uint64_t mp_digit;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	61 #if defined(_WIN32)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	62 typedef unsigned __int128 mp_word;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	63 #elif defined(__GNUC__)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	64 typedef unsigned long mp_word __attribute__ ((mode(TI)));
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	65 #else
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	66 /* it seems you have a problem
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	67 * but we assume you can somewhere define your own uint128_t */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	68 typedef uint128_t mp_word;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	69 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	70
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	71 #define DIGIT_BIT 60
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	72 #else
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	73 /* this is the default case, 28-bit digits */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	74
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	75 /* this is to make porting into LibTomCrypt easier :-) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	76 typedef uint32_t mp_digit;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	77 typedef uint64_t mp_word;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	78
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	79 #ifdef MP_31BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	80 /* this is an extension that uses 31-bit digits */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	81 #define DIGIT_BIT 31
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	82 #else
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	83 /* default case is 28-bit digits, defines MP_28BIT as a handy macro to test */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	84 #define DIGIT_BIT 28
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	85 #define MP_28BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	86 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	87 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	88
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	89 /* otherwise the bits per digit is calculated automatically from the size of a mp_digit */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	90 #ifndef DIGIT_BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	91 #define DIGIT_BIT (((CHAR_BIT * MP_SIZEOF_MP_DIGIT) - 1)) /* bits per digit */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	92 typedef uint_least32_t mp_min_u32;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	93 #else
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	94 typedef mp_digit mp_min_u32;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	95 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	96
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	97 /* platforms that can use a better rand function */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	98 #if defined(__FreeBSD__) \|\| defined(__OpenBSD__) \|\| defined(__NetBSD__) \|\| defined(__DragonFly__)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	99 #define MP_USE_ALT_RAND 1
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	100 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	101
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	102 /* use arc4random on platforms that support it */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	103 #ifdef MP_USE_ALT_RAND
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	104 #define MP_GEN_RANDOM() arc4random()
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	105 #define MP_GEN_RANDOM_MAX 0xffffffff
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	106 #else
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	107 #define MP_GEN_RANDOM() rand()
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	108 #define MP_GEN_RANDOM_MAX RAND_MAX
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	109 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	110
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	111 #define MP_DIGIT_BIT DIGIT_BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	112 #define MP_MASK ((((mp_digit)1)<<((mp_digit)DIGIT_BIT))-((mp_digit)1))
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	113 #define MP_DIGIT_MAX MP_MASK
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	114
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	115 /* equalities */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	116 #define MP_LT -1 /* less than */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	117 #define MP_EQ 0 /* equal to */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	118 #define MP_GT 1 /* greater than */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	119
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	120 #define MP_ZPOS 0 /* positive integer */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	121 #define MP_NEG 1 /* negative */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	122
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	123 #define MP_OKAY 0 /* ok result */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	124 #define MP_MEM -2 /* out of mem */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	125 #define MP_VAL -3 /* invalid input */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	126 #define MP_RANGE MP_VAL
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	127
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	128 #define MP_YES 1 /* yes response */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	129 #define MP_NO 0 /* no response */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	130
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	131 /* Primality generation flags */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	132 #define LTM_PRIME_BBS 0x0001 /* BBS style prime */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	133 #define LTM_PRIME_SAFE 0x0002 /* Safe prime (p-1)/2 == prime */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	134 #define LTM_PRIME_2MSB_ON 0x0008 /* force 2nd MSB to 1 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	135
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	136 typedef int mp_err;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	137
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	138 /* you'll have to tune these... */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	139 extern int KARATSUBA_MUL_CUTOFF,
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	140 KARATSUBA_SQR_CUTOFF,
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	141 TOOM_MUL_CUTOFF,
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	142 TOOM_SQR_CUTOFF;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	143
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	144 /* define this to use lower memory usage routines (exptmods mostly) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	145 /* #define MP_LOW_MEM */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	146
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	147 /* default precision */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	148 #ifndef MP_PREC
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	149 #ifndef MP_LOW_MEM
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	150 #define MP_PREC 32 /* default digits of precision */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	151 #else
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	152 #define MP_PREC 8 /* default digits of precision */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	153 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	154 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	155
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	156 /* size of comba arrays, should be at least 2 * 2*(BITS_PER_WORD - BITS_PER_DIGIT2) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	157 #define MP_WARRAY (1 << (((sizeof(mp_word) * CHAR_BIT) - (2 * DIGIT_BIT)) + 1))
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	158
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	159 /* the infamous mp_int structure */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	160 typedef struct {
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	161 int used, alloc, sign;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	162 mp_digit *dp;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	163 } mp_int;
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	164
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	165 /* callback for mp_prime_random, should fill dst with random bytes and return how many read [upto len] */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	166 typedef int ltm_prime_callback(unsigned char dst, int len, void dat);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	167
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	168
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	169 #define USED(m) ((m)->used)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	170 #define DIGIT(m,k) ((m)->dp[(k)])
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	171 #define SIGN(m) ((m)->sign)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	172
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	173 /* error code to char* string */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	174 const char *mp_error_to_string(int code);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	175
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	176 /* ---> init and deinit bignum functions <--- */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	177 /* init a bignum */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	178 int mp_init(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	179
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	180 /* free a bignum */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	181 void mp_clear(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	182
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	183 /* init a null terminated series of arguments */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	184 int mp_init_multi(mp_int *mp, ...);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	185
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	186 /* clear a null terminated series of arguments */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	187 void mp_clear_multi(mp_int *mp, ...);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	188
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	189 /* exchange two ints */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	190 void mp_exch(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	191
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	192 /* shrink ram required for a bignum */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	193 int mp_shrink(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	194
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	195 /* grow an int to a given size */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	196 int mp_grow(mp_int *a, int size);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	197
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	198 /* init to a given number of digits */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	199 int mp_init_size(mp_int *a, int size);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	200
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	201 /* ---> Basic Manipulations <--- */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	202 #define mp_iszero(a) (((a)->used == 0) ? MP_YES : MP_NO)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	203 #define mp_iseven(a) ((((a)->used > 0) && (((a)->dp[0] & 1u) == 0u)) ? MP_YES : MP_NO)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	204 #define mp_isodd(a) ((((a)->used > 0) && (((a)->dp[0] & 1u) == 1u)) ? MP_YES : MP_NO)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	205 #define mp_isneg(a) (((a)->sign != MP_ZPOS) ? MP_YES : MP_NO)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	206
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	207 /* set to zero */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	208 void mp_zero(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	209
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	210 /* set to a digit */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	211 void mp_set(mp_int *a, mp_digit b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	212
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	213 /* set a 32-bit const */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	214 int mp_set_int(mp_int *a, unsigned long b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	215
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	216 /* set a platform dependent unsigned long value */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	217 int mp_set_long(mp_int *a, unsigned long b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	218
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	219 /* set a platform dependent unsigned long long value */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	220 int mp_set_long_long(mp_int *a, unsigned long long b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	221
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	222 /* get a 32-bit value */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	223 unsigned long mp_get_int(mp_int * a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	224
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	225 /* get a platform dependent unsigned long value */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	226 unsigned long mp_get_long(mp_int * a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	227
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	228 /* get a platform dependent unsigned long long value */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	229 unsigned long long mp_get_long_long(mp_int * a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	230
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	231 /* initialize and set a digit */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	232 int mp_init_set (mp_int * a, mp_digit b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	233
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	234 /* initialize and set 32-bit value */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	235 int mp_init_set_int (mp_int * a, unsigned long b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	236
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	237 /* copy, b = a */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	238 int mp_copy(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	239
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	240 /* inits and copies, a = b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	241 int mp_init_copy(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	242
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	243 /* trim unused digits */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	244 void mp_clamp(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	245
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	246 /* import binary data */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	247 int mp_import(mp_int* rop, size_t count, int order, size_t size, int endian, size_t nails, const void* op);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	248
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	249 /* export binary data */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	250 int mp_export(void* rop, size_t* countp, int order, size_t size, int endian, size_t nails, mp_int* op);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	251
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	252 /* ---> digit manipulation <--- */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	253
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	254 /* right shift by "b" digits */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	255 void mp_rshd(mp_int *a, int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	256
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	257 /* left shift by "b" digits */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	258 int mp_lshd(mp_int *a, int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	259
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	260 /* c = a / 2*b, implemented as c = a >> b /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	261 int mp_div_2d(mp_int a, int b, mp_int c, mp_int *d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	262
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	263 /* b = a/2 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	264 int mp_div_2(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	265
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	266 /* c = a * 2*b, implemented as c = a << b /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	267 int mp_mul_2d(mp_int a, int b, mp_int c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	268
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	269 /* b = a2 /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	270 int mp_mul_2(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	271
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	272 /* c = a mod 2*b /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	273 int mp_mod_2d(mp_int a, int b, mp_int c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	274
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	275 /* computes a = 2*b /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	276 int mp_2expt(mp_int *a, int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	277
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	278 /* Counts the number of lsbs which are zero before the first zero bit */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	279 int mp_cnt_lsb(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	280
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	281 /* I Love Earth! */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	282
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	283 /* makes a pseudo-random int of a given size */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	284 int mp_rand(mp_int *a, int digits);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	285
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	286 /* ---> binary operations <--- */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	287 /* c = a XOR b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	288 int mp_xor(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	289
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	290 /* c = a OR b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	291 int mp_or(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	292
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	293 /* c = a AND b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	294 int mp_and(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	295
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	296 /* ---> Basic arithmetic <--- */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	297
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	298 /* b = -a */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	299 int mp_neg(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	300
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	301 /* b = \|a\| */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	302 int mp_abs(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	303
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	304 /* compare a to b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	305 int mp_cmp(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	306
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	307 /* compare \|a\| to \|b\| */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	308 int mp_cmp_mag(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	309
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	310 /* c = a + b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	311 int mp_add(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	312
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	313 /* c = a - b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	314 int mp_sub(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	315
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	316 /* c = a * b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	317 int mp_mul(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	318
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	319 /* b = aa /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	320 int mp_sqr(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	321
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	322 /* a/b => cb + d == a */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	323 int mp_div(mp_int a, mp_int b, mp_int c, mp_int d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	324
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	325 /* c = a mod b, 0 <= c < b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	326 int mp_mod(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	327
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	328 /* ---> single digit functions <--- */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	329
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	330 /* compare against a single digit */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	331 int mp_cmp_d(mp_int *a, mp_digit b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	332
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	333 /* c = a + b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	334 int mp_add_d(mp_int a, mp_digit b, mp_int c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	335
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	336 /* c = a - b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	337 int mp_sub_d(mp_int a, mp_digit b, mp_int c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	338
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	339 /* c = a * b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	340 int mp_mul_d(mp_int a, mp_digit b, mp_int c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	341
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	342 /* a/b => cb + d == a */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	343 int mp_div_d(mp_int a, mp_digit b, mp_int c, mp_digit *d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	344
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	345 /* a/3 => 3c + d == a */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	346 int mp_div_3(mp_int a, mp_int c, mp_digit *d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	347
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	348 /* c = a*b /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	349 int mp_expt_d(mp_int a, mp_digit b, mp_int c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	350 int mp_expt_d_ex (mp_int * a, mp_digit b, mp_int * c, int fast);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	351
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	352 /* c = a mod b, 0 <= c < b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	353 int mp_mod_d(mp_int a, mp_digit b, mp_digit c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	354
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	355 /* ---> number theory <--- */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	356
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	357 /* d = a + b (mod c) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	358 int mp_addmod(mp_int a, mp_int b, mp_int c, mp_int d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	359
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	360 /* d = a - b (mod c) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	361 int mp_submod(mp_int a, mp_int b, mp_int c, mp_int d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	362
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	363 /* d = a * b (mod c) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	364 int mp_mulmod(mp_int a, mp_int b, mp_int c, mp_int d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	365
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	366 /* c = a * a (mod b) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	367 int mp_sqrmod(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	368
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	369 /* c = 1/a (mod b) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	370 int mp_invmod(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	371
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	372 /* c = (a, b) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	373 int mp_gcd(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	374
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	375 /* produces value such that U1a + U2b = U3 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	376 int mp_exteuclid(mp_int a, mp_int b, mp_int U1, mp_int U2, mp_int *U3);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	377
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	378 /* c = [a, b] or (ab)/(a, b) /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	379 int mp_lcm(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	380
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	381 /* finds one of the b'th root of a, such that \|c\|**b <= \|a\|
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	382 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	383 * returns error if a < 0 and b is even
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	384 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	385 int mp_n_root(mp_int a, mp_digit b, mp_int c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	386 int mp_n_root_ex (mp_int * a, mp_digit b, mp_int * c, int fast);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	387
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	388 /* special sqrt algo */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	389 int mp_sqrt(mp_int arg, mp_int ret);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	390
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	391 /* special sqrt (mod prime) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	392 int mp_sqrtmod_prime(mp_int arg, mp_int prime, mp_int *ret);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	393
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	394 /* is number a square? */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	395 int mp_is_square(mp_int arg, int ret);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	396
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	397 /* computes the jacobi c = (a \| n) (or Legendre if b is prime) */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	398 int mp_jacobi(mp_int a, mp_int n, int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	399
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	400 /* used to setup the Barrett reduction for a given modulus b */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	401 int mp_reduce_setup(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	402
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	403 /* Barrett Reduction, computes a (mod b) with a precomputed value c
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	404 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	405 * Assumes that 0 < a <= bb, note if 0 > a > -(bb) then you can merely
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	406 * compute the reduction as -1 * mp_reduce(mp_abs(a)) [pseudo code].
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	407 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	408 int mp_reduce(mp_int a, mp_int b, mp_int *c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	409
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	410 /* setups the montgomery reduction */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	411 int mp_montgomery_setup(mp_int a, mp_digit mp);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	412
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	413 /* computes a = B**n mod b without division or multiplication useful for
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	414 * normalizing numbers in a Montgomery system.
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	415 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	416 int mp_montgomery_calc_normalization(mp_int a, mp_int b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	417
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	418 /* computes x/R == x (mod N) via Montgomery Reduction */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	419 int mp_montgomery_reduce(mp_int a, mp_int m, mp_digit mp);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	420
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	421 /* returns 1 if a is a valid DR modulus */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	422 int mp_dr_is_modulus(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	423
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	424 /* sets the value of "d" required for mp_dr_reduce */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	425 void mp_dr_setup(mp_int a, mp_digit d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	426
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	427 /* reduces a modulo b using the Diminished Radix method */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	428 int mp_dr_reduce(mp_int a, mp_int b, mp_digit mp);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	429
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	430 /* returns true if a can be reduced with mp_reduce_2k */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	431 int mp_reduce_is_2k(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	432
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	433 /* determines k value for 2k reduction */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	434 int mp_reduce_2k_setup(mp_int a, mp_digit d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	435
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	436 /* reduces a modulo b where b is of the form 2*p - k [0 <= a] /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	437 int mp_reduce_2k(mp_int a, mp_int n, mp_digit d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	438
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	439 /* returns true if a can be reduced with mp_reduce_2k_l */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	440 int mp_reduce_is_2k_l(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	441
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	442 /* determines k value for 2k reduction */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	443 int mp_reduce_2k_setup_l(mp_int a, mp_int d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	444
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	445 /* reduces a modulo b where b is of the form 2*p - k [0 <= a] /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	446 int mp_reduce_2k_l(mp_int a, mp_int n, mp_int *d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	447
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	448 /* d = a*b (mod c) /
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	449 int mp_exptmod(mp_int a, mp_int b, mp_int c, mp_int d);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	450
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	451 /* ---> Primes <--- */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	452
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	453 /* number of primes */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	454 #ifdef MP_8BIT
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	455 #define PRIME_SIZE 31
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	456 #else
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	457 #define PRIME_SIZE 256
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	458 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	459
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	460 /* table of first PRIME_SIZE primes */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	461 extern const mp_digit ltm_prime_tab[PRIME_SIZE];
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	462
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	463 /* result=1 if a is divisible by one of the first PRIME_SIZE primes */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	464 int mp_prime_is_divisible(mp_int a, int result);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	465
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	466 /* performs one Fermat test of "a" using base "b".
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	467 * Sets result to 0 if composite or 1 if probable prime
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	468 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	469 int mp_prime_fermat(mp_int a, mp_int b, int *result);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	470
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	471 /* performs one Miller-Rabin test of "a" using base "b".
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	472 * Sets result to 0 if composite or 1 if probable prime
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	473 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	474 int mp_prime_miller_rabin(mp_int a, mp_int b, int *result);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	475
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	476 /* This gives [for a given bit size] the number of trials required
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	477 * such that Miller-Rabin gives a prob of failure lower than 2^-96
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	478 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	479 int mp_prime_rabin_miller_trials(int size);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	480
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	481 /* performs t rounds of Miller-Rabin on "a" using the first
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	482 * t prime bases. Also performs an initial sieve of trial
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	483 * division. Determines if "a" is prime with probability
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	484 * of error no more than (1/4)**t.
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	485 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	486 * Sets result to 1 if probably prime, 0 otherwise
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	487 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	488 int mp_prime_is_prime(mp_int a, int t, int result);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	489
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	490 /* finds the next prime after the number "a" using "t" trials
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	491 * of Miller-Rabin.
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	492 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	493 * bbs_style = 1 means the prime must be congruent to 3 mod 4
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	494 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	495 int mp_prime_next_prime(mp_int *a, int t, int bbs_style);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	496
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	497 /* makes a truly random prime of a given size (bytes),
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	498 * call with bbs = 1 if you want it to be congruent to 3 mod 4
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	499 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	500 * You have to supply a callback which fills in a buffer with random bytes. "dat" is a parameter you can
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	501 * have passed to the callback (e.g. a state or something). This function doesn't use "dat" itself
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	502 * so it can be NULL
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	503 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	504 * The prime generated will be larger than 2^(8*size).
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	505 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	506 #define mp_prime_random(a, t, size, bbs, cb, dat) mp_prime_random_ex(a, t, ((size) * 8) + 1, (bbs==1)?LTM_PRIME_BBS:0, cb, dat)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	507
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	508 /* makes a truly random prime of a given size (bits),
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	509 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	510 * Flags are as follows:
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	511 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	512 * LTM_PRIME_BBS - make prime congruent to 3 mod 4
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	513 * LTM_PRIME_SAFE - make sure (p-1)/2 is prime as well (implies LTM_PRIME_BBS)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	514 * LTM_PRIME_2MSB_ON - make the 2nd highest bit one
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	515 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	516 * You have to supply a callback which fills in a buffer with random bytes. "dat" is a parameter you can
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	517 * have passed to the callback (e.g. a state or something). This function doesn't use "dat" itself
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	518 * so it can be NULL
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	519 *
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	520 */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	521 int mp_prime_random_ex(mp_int a, int t, int size, int flags, ltm_prime_callback cb, void dat);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	522
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	523 /* ---> radix conversion <--- */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	524 int mp_count_bits(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	525
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	526 int mp_unsigned_bin_size(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	527 int mp_read_unsigned_bin(mp_int a, const unsigned char b, int c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	528 int mp_to_unsigned_bin(mp_int a, unsigned char b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	529 int mp_to_unsigned_bin_n (mp_int * a, unsigned char b, unsigned long outlen);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	530
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	531 int mp_signed_bin_size(mp_int *a);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	532 int mp_read_signed_bin(mp_int a, const unsigned char b, int c);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	533 int mp_to_signed_bin(mp_int a, unsigned char b);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	534 int mp_to_signed_bin_n (mp_int * a, unsigned char b, unsigned long outlen);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	535
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	536 int mp_read_radix(mp_int a, const char str, int radix);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	537 int mp_toradix(mp_int a, char str, int radix);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	538 int mp_toradix_n(mp_int * a, char *str, int radix, int maxlen);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	539 int mp_radix_size(mp_int a, int radix, int size);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	540
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	541 #ifndef LTM_NO_FILE
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	542 int mp_fread(mp_int a, int radix, FILE stream);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	543 int mp_fwrite(mp_int a, int radix, FILE stream);
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	544 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	545
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	546 #define mp_read_raw(mp, str, len) mp_read_signed_bin((mp), (str), (len))
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	547 #define mp_raw_size(mp) mp_signed_bin_size(mp)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	548 #define mp_toraw(mp, str) mp_to_signed_bin((mp), (str))
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	549 #define mp_read_mag(mp, str, len) mp_read_unsigned_bin((mp), (str), (len))
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	550 #define mp_mag_size(mp) mp_unsigned_bin_size(mp)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	551 #define mp_tomag(mp, str) mp_to_unsigned_bin((mp), (str))
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	552
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	553 #define mp_tobinary(M, S) mp_toradix((M), (S), 2)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	554 #define mp_tooctal(M, S) mp_toradix((M), (S), 8)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	555 #define mp_todecimal(M, S) mp_toradix((M), (S), 10)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	556 #define mp_tohex(M, S) mp_toradix((M), (S), 16)
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	557
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	558 #ifdef __cplusplus
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	559 }
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	560 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	561
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	562 #endif
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	563
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	564
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	565 /* $Source$ */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	566 /* $Revision$ */
2cf249471370 convert mercurial for git Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	567 /* $Date$ */

Mercurial > hg > Members > anatofuz > MoarVM

annotate 3rdparty/libtommath/tommath.h @ 0:2cf249471370