From 7ae56f59b434a5293d029d9d6b4cd79462221727 Mon Sep 17 00:00:00 2001
From: GGSuchao <1500062807@pku.edu.cn>
Date: Sat, 24 Jun 2017 09:20:28 +0800
Subject: [PATCH] Create miracl.h
---
include/openssl/miracl.h | 1561 ++++++++++++++++++++++++++++++++++++++
1 file changed, 1561 insertions(+)
create mode 100644 include/openssl/miracl.h
diff --git a/include/openssl/miracl.h b/include/openssl/miracl.h
new file mode 100644
index 00000000..3fd638d1
--- /dev/null
+++ b/include/openssl/miracl.h
@@ -0,0 +1,1561 @@
+/***************************************************************************
+ *
+Copyright 2013 CertiVox IOM Ltd. *
+ *
+This file is part of CertiVox MIRACL Crypto SDK. *
+ *
+The CertiVox MIRACL Crypto SDK provides developers with an *
+extensive and efficient set of cryptographic functions. *
+For further information about its features and functionalities please *
+refer to http://www.certivox.com *
+ *
+* The CertiVox MIRACL Crypto SDK is free software: you can *
+ redistribute it and/or modify it under the terms of the *
+ GNU Affero General Public License as published by the *
+ Free Software Foundation, either version 3 of the License, *
+ or (at your option) any later version. *
+ *
+* The CertiVox MIRACL Crypto SDK is distributed in the hope *
+ that it will be useful, but WITHOUT ANY WARRANTY; without even the *
+ implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *
+ See the GNU Affero General Public License for more details. *
+ *
+* You should have received a copy of the GNU Affero General Public *
+ License along with CertiVox MIRACL Crypto SDK. *
+ If not, see . *
+ *
+You can be released from the requirements of the license by purchasing *
+a commercial license. Buying such a license is mandatory as soon as you *
+develop commercial activities involving the CertiVox MIRACL Crypto SDK *
+without disclosing the source code of your own applications, or shipping *
+the CertiVox MIRACL Crypto SDK with a closed source product. *
+ *
+***************************************************************************/
+
+#ifndef MIRACL_H
+#define MIRACL_H
+
+/*
+ * main MIRACL header - miracl.h.
+ */
+
+#include "mirdef.h"
+
+/* Some modifiable defaults... */
+
+/* Use a smaller buffer if space is limited, don't be so wasteful! */
+
+#ifdef MR_STATIC
+#define MR_DEFAULT_BUFFER_SIZE 260
+#else
+#define MR_DEFAULT_BUFFER_SIZE 1024
+#endif
+
+/* see mrgf2m.c */
+
+#ifndef MR_KARATSUBA
+#define MR_KARATSUBA 2
+#endif
+
+#ifndef MR_DOUBLE_BIG
+
+#ifdef MR_KCM
+ #ifdef MR_FLASH
+ #define MR_SPACES 32
+ #else
+ #define MR_SPACES 31
+ #endif
+#else
+ #ifdef MR_FLASH
+ #define MR_SPACES 28
+ #else
+ #define MR_SPACES 27
+ #endif
+#endif
+
+#else
+
+#ifdef MR_KCM
+ #ifdef MR_FLASH
+ #define MR_SPACES 44
+ #else
+ #define MR_SPACES 43
+ #endif
+#else
+ #ifdef MR_FLASH
+ #define MR_SPACES 40
+ #else
+ #define MR_SPACES 39
+ #endif
+#endif
+
+#endif
+
+/* To avoid name clashes - undefine this */
+
+/* #define compare mr_compare */
+
+#ifdef MR_AVR
+#include
+#endif
+
+/* size of bigs and elliptic curve points for memory allocation from stack or heap */
+
+#define MR_ROUNDUP(a,b) ((a)-1)/(b)+1
+
+#define MR_SL sizeof(long)
+
+#ifdef MR_STATIC
+
+#define MR_SIZE (((sizeof(struct bigtype)+(MR_STATIC+2)*sizeof(mr_utype))-1)/MR_SL+1)*MR_SL
+#define MR_BIG_RESERVE(n) ((n)*MR_SIZE+MR_SL)
+
+#ifdef MR_AFFINE_ONLY
+#define MR_ESIZE (((sizeof(epoint)+MR_BIG_RESERVE(2))-1)/MR_SL+1)*MR_SL
+#else
+#define MR_ESIZE (((sizeof(epoint)+MR_BIG_RESERVE(3))-1)/MR_SL+1)*MR_SL
+#endif
+#define MR_ECP_RESERVE(n) ((n)*MR_ESIZE+MR_SL)
+
+#define MR_ESIZE_A (((sizeof(epoint)+MR_BIG_RESERVE(2))-1)/MR_SL+1)*MR_SL
+#define MR_ECP_RESERVE_A(n) ((n)*MR_ESIZE_A+MR_SL)
+
+
+#endif
+
+/* useful macro to convert size of big in words, to size of required structure */
+
+#define mr_size(n) (((sizeof(struct bigtype)+((n)+2)*sizeof(mr_utype))-1)/MR_SL+1)*MR_SL
+#define mr_big_reserve(n,m) ((n)*mr_size(m)+MR_SL)
+
+#define mr_esize_a(n) (((sizeof(epoint)+mr_big_reserve(2,(n)))-1)/MR_SL+1)*MR_SL
+#define mr_ecp_reserve_a(n,m) ((n)*mr_esize_a(m)+MR_SL)
+
+#ifdef MR_AFFINE_ONLY
+#define mr_esize(n) (((sizeof(epoint)+mr_big_reserve(2,(n)))-1)/MR_SL+1)*MR_SL
+#else
+#define mr_esize(n) (((sizeof(epoint)+mr_big_reserve(3,(n)))-1)/MR_SL+1)*MR_SL
+#endif
+#define mr_ecp_reserve(n,m) ((n)*mr_esize(m)+MR_SL)
+
+
+/* if basic library is static, make sure and use static C++ */
+
+#ifdef MR_STATIC
+ #ifndef BIGS
+ #define BIGS MR_STATIC
+ #endif
+ #ifndef ZZNS
+ #define ZZNS MR_STATIC
+ #endif
+ #ifndef GF2MS
+ #define GF2MS MR_STATIC
+ #endif
+#endif
+
+#ifdef __ia64__
+#if MIRACL==64
+#define MR_ITANIUM
+#include
+#endif
+#endif
+
+#ifdef _M_X64
+#ifdef _WIN64
+#if MIRACL==64
+#define MR_WIN64
+#include
+#endif
+#endif
+#endif
+
+#ifndef MR_NO_FILE_IO
+#include
+#endif
+ /* error returns */
+
+#define MR_ERR_BASE_TOO_BIG 1
+#define MR_ERR_DIV_BY_ZERO 2
+#define MR_ERR_OVERFLOW 3
+#define MR_ERR_NEG_RESULT 4
+#define MR_ERR_BAD_FORMAT 5
+#define MR_ERR_BAD_BASE 6
+#define MR_ERR_BAD_PARAMETERS 7
+#define MR_ERR_OUT_OF_MEMORY 8
+#define MR_ERR_NEG_ROOT 9
+#define MR_ERR_NEG_POWER 10
+#define MR_ERR_BAD_ROOT 11
+#define MR_ERR_INT_OP 12
+#define MR_ERR_FLASH_OVERFLOW 13
+#define MR_ERR_TOO_BIG 14
+#define MR_ERR_NEG_LOG 15
+#define MR_ERR_DOUBLE_FAIL 16
+#define MR_ERR_IO_OVERFLOW 17
+#define MR_ERR_NO_MIRSYS 18
+#define MR_ERR_BAD_MODULUS 19
+#define MR_ERR_NO_MODULUS 20
+#define MR_ERR_EXP_TOO_BIG 21
+#define MR_ERR_NOT_SUPPORTED 22
+#define MR_ERR_NOT_DOUBLE_LEN 23
+#define MR_ERR_NOT_IRREDUC 24
+#define MR_ERR_NO_ROUNDING 25
+#define MR_ERR_NOT_BINARY 26
+#define MR_ERR_NO_BASIS 27
+#define MR_ERR_COMPOSITE_MODULUS 28
+#define MR_ERR_DEV_RANDOM 29
+
+ /* some useful definitions */
+
+#define forever for(;;)
+
+#define mr_abs(x) ((x)<0? (-(x)) : (x))
+
+#ifndef TRUE
+ #define TRUE 1
+#endif
+#ifndef FALSE
+ #define FALSE 0
+#endif
+
+#define OFF 0
+#define ON 1
+#define PLUS 1
+#define MINUS (-1)
+
+#define M1 (MIRACL-1)
+#define M2 (MIRACL-2)
+#define M3 (MIRACL-3)
+#define M4 (MIRACL-4)
+#define TOPBIT ((mr_small)1<= MR_IBITS
+#define MR_TOOBIG (1<<(MR_IBITS-2))
+#else
+#define MR_TOOBIG (1<<(MIRACL-1))
+#endif
+
+#ifdef MR_FLASH
+#define MR_EBITS (8*sizeof(double) - MR_FLASH)
+ /* no of Bits per double exponent */
+#define MR_BTS 16
+#define MR_MSK 0xFFFF
+
+#endif
+
+/* Default Hash function output size in bytes */
+#define MR_HASH_BYTES 32
+
+/* Marsaglia & Zaman Random number generator */
+/* constants alternatives */
+#define NK 37 /* 21 */
+#define NJ 24 /* 6 */
+#define NV 14 /* 8 */
+
+/* Use smaller values if memory is precious */
+
+#ifdef mr_dltype
+
+#ifdef MR_LITTLE_ENDIAN
+#define MR_BOT 0
+#define MR_TOP 1
+#endif
+#ifdef MR_BIG_ENDIAN
+#define MR_BOT 1
+#define MR_TOP 0
+#endif
+
+union doubleword
+{
+ mr_large d;
+ mr_small h[2];
+};
+
+#endif
+
+/* chinese remainder theorem structures */
+
+typedef struct {
+big *C;
+big *V;
+big *M;
+int NP;
+} big_chinese;
+
+typedef struct {
+mr_utype *C;
+mr_utype *V;
+mr_utype *M;
+int NP;
+} small_chinese;
+
+/* Cryptographically strong pseudo-random number generator */
+
+typedef struct {
+mr_unsign32 ira[NK]; /* random number... */
+int rndptr; /* ...array & pointer */
+mr_unsign32 borrow;
+int pool_ptr;
+char pool[MR_HASH_BYTES]; /* random pool */
+} csprng;
+
+/* secure hash Algorithm structure */
+
+typedef struct {
+mr_unsign32 length[2];
+mr_unsign32 h[8];
+mr_unsign32 w[80];
+} sha256;
+
+typedef sha256 sha;
+
+#ifdef mr_unsign64
+
+typedef struct {
+mr_unsign64 length[2];
+mr_unsign64 h[8];
+mr_unsign64 w[80];
+} sha512;
+
+typedef sha512 sha384;
+
+typedef struct {
+mr_unsign64 length;
+mr_unsign64 S[5][5];
+int rate,len;
+} sha3;
+
+#endif
+
+/* Symmetric Encryption algorithm structure */
+
+#define MR_ECB 0
+#define MR_CBC 1
+#define MR_CFB1 2
+#define MR_CFB2 3
+#define MR_CFB4 5
+#define MR_PCFB1 10
+#define MR_PCFB2 11
+#define MR_PCFB4 13
+#define MR_OFB1 14
+#define MR_OFB2 15
+#define MR_OFB4 17
+#define MR_OFB8 21
+#define MR_OFB16 29
+
+typedef struct {
+int Nk,Nr;
+int mode;
+mr_unsign32 fkey[60];
+mr_unsign32 rkey[60];
+char f[16];
+} aes;
+
+/* AES-GCM suppport. See mrgcm.c */
+
+#define GCM_ACCEPTING_HEADER 0
+#define GCM_ACCEPTING_CIPHER 1
+#define GCM_NOT_ACCEPTING_MORE 2
+#define GCM_FINISHED 3
+#define GCM_ENCRYPTING 0
+#define GCM_DECRYPTING 1
+
+typedef struct {
+mr_unsign32 table[128][4]; /* 2k bytes */
+MR_BYTE stateX[16];
+MR_BYTE Y_0[16];
+mr_unsign32 counter;
+mr_unsign32 lenA[2],lenC[2];
+int status;
+aes a;
+} gcm;
+
+ /* Elliptic curve point status */
+
+#define MR_EPOINT_GENERAL 0
+#define MR_EPOINT_NORMALIZED 1
+#define MR_EPOINT_INFINITY 2
+
+#define MR_NOTSET 0
+#define MR_PROJECTIVE 0
+#define MR_AFFINE 1
+#define MR_BEST 2
+#define MR_TWIST 8
+
+#define MR_OVER 0
+#define MR_ADD 1
+#define MR_DOUBLE 2
+
+/* Twist type */
+
+#define MR_QUADRATIC 2
+#define MR_CUBIC_M 0x3A
+#define MR_CUBIC_D 0x3B
+#define MR_QUARTIC_M 0x4A
+#define MR_QUARTIC_D 0x4B
+#define MR_SEXTIC_M 0x6A
+#define MR_SEXTIC_D 0x6B
+
+
+/* Fractional Sliding Windows for ECC - how much precomputation storage to use ? */
+/* Note that for variable point multiplication there is an optimal value
+ which can be reduced if space is short. For fixed points its a matter of
+ how much ROM is available to store precomputed points.
+ We are storing the k points (P,3P,5P,7P,...,[2k-1].P) */
+
+/* These values can be manually tuned for optimal performance... */
+
+#ifdef MR_SMALL_EWINDOW
+#define MR_ECC_STORE_N 3 /* point store for ecn variable point multiplication */
+#define MR_ECC_STORE_2M 3 /* point store for ec2m variable point multiplication */
+#define MR_ECC_STORE_N2 3 /* point store for ecn2 variable point multiplication */
+#else
+#define MR_ECC_STORE_N 8 /* 8/9 is close to optimal for 256 bit exponents */
+#define MR_ECC_STORE_2M 9
+#define MR_ECC_STORE_N2 8
+#endif
+
+/*#define MR_ECC_STORE_N2_PRECOMP MR_ECC_STORE_N2 */
+ /* Might want to make this bigger.. */
+
+/* If multi-addition is of m points, and s precomputed values are required, this is max of m*s (=4.10?) */
+#define MR_MAX_M_T_S 64
+
+/* Elliptic Curve epoint structure. Uses projective (X,Y,Z) co-ordinates */
+
+typedef struct {
+int marker;
+big X;
+big Y;
+#ifndef MR_AFFINE_ONLY
+big Z;
+#endif
+} epoint;
+
+
+/* Structure for Comb method for finite *
+ field exponentiation with precomputation */
+
+typedef struct {
+#ifdef MR_STATIC
+ const mr_small *table;
+#else
+ mr_small *table;
+#endif
+ big n;
+ int window;
+ int max;
+} brick;
+
+/* Structure for Comb method for elliptic *
+ curve exponentiation with precomputation */
+
+typedef struct {
+#ifdef MR_STATIC
+ const mr_small *table;
+#else
+ mr_small *table;
+#endif
+ big a,b,n;
+ int window;
+ int max;
+} ebrick;
+
+typedef struct {
+#ifdef MR_STATIC
+ const mr_small *table;
+#else
+ mr_small *table;
+#endif
+ big a6,a2;
+ int m,a,b,c;
+ int window;
+ int max;
+} ebrick2;
+
+typedef struct
+{
+ big a;
+ big b;
+} zzn2;
+
+typedef struct
+{
+ zzn2 a;
+ zzn2 b;
+ BOOL unitary;
+} zzn4;
+
+typedef struct
+{
+ int marker;
+ zzn2 x;
+ zzn2 y;
+#ifndef MR_AFFINE_ONLY
+ zzn2 z;
+#endif
+
+} ecn2;
+
+typedef struct
+{
+ big a;
+ big b;
+ big c;
+} zzn3;
+
+typedef struct
+{
+ zzn2 a;
+ zzn2 b;
+ zzn2 c;
+} zzn6_3x2;
+
+/* main MIRACL instance structure */
+
+/* ------------------------------------------------------------------------*/
+
+typedef struct {
+mr_small base; /* number base */
+mr_small apbase; /* apparent base */
+int pack; /* packing density */
+int lg2b; /* bits in base */
+mr_small base2; /* 2^mr_lg2b */
+BOOL (*user)(void); /* pointer to user supplied function */
+
+int nib; /* length of bigs */
+#ifndef MR_STRIPPED_DOWN
+int depth; /* error tracing ..*/
+int trace[MR_MAXDEPTH]; /* .. mechanism */
+#endif
+BOOL check; /* overflow check */
+BOOL fout; /* Output to file */
+BOOL fin; /* Input from file */
+BOOL active;
+
+#ifndef MR_NO_FILE_IO
+
+FILE *infile; /* Input file */
+FILE *otfile; /* Output file */
+
+#endif
+
+
+#ifndef MR_NO_RAND
+mr_unsign32 ira[NK]; /* random number... */
+int rndptr; /* ...array & pointer */
+mr_unsign32 borrow;
+#endif
+
+ /* Montgomery constants */
+mr_small ndash;
+big modulus;
+big pR;
+BOOL ACTIVE;
+BOOL MONTY;
+
+ /* Elliptic Curve details */
+#ifndef MR_NO_SS
+BOOL SS; /* True for Super-Singular */
+#endif
+#ifndef MR_NOKOBLITZ
+BOOL KOBLITZ; /* True for a Koblitz curve */
+#endif
+#ifndef MR_AFFINE_ONLY
+int coord;
+#endif
+int Asize,Bsize;
+
+int M,AA,BB,CC; /* for GF(2^m) curves */
+
+/*
+mr_small pm,mask;
+int e,k,Me,m; for GF(p^m) curves */
+
+
+#ifndef MR_STATIC
+
+int logN; /* constants for fast fourier fft multiplication */
+int nprimes,degree;
+mr_utype *prime,*cr;
+mr_utype *inverse,**roots;
+small_chinese chin;
+mr_utype const1,const2,const3;
+mr_small msw,lsw;
+mr_utype **s1,**s2; /* pre-computed tables for polynomial reduction */
+mr_utype **t; /* workspace */
+mr_utype *wa;
+mr_utype *wb;
+mr_utype *wc;
+
+#endif
+
+BOOL same;
+BOOL first_one;
+BOOL debug;
+
+big w0; /* workspace bigs */
+big w1,w2,w3,w4;
+big w5,w6,w7;
+big w8,w9,w10,w11;
+big w12,w13,w14,w15;
+big sru;
+big one;
+
+#ifdef MR_KCM
+big big_ndash;
+big ws,wt;
+#endif
+
+big A,B;
+
+/* User modifiables */
+
+#ifndef MR_SIMPLE_IO
+int IOBSIZ; /* size of i/o buffer */
+#endif
+BOOL ERCON; /* error control */
+int ERNUM; /* last error code */
+int NTRY; /* no. of tries for probablistic primality testing */
+#ifndef MR_SIMPLE_IO
+int INPLEN; /* input length */
+#ifndef MR_SIMPLE_BASE
+int IOBASE; /* base for input and output */
+
+#endif
+#endif
+#ifdef MR_FLASH
+BOOL EXACT; /* exact flag */
+BOOL RPOINT; /* =ON for radix point, =OFF for fractions in output */
+#endif
+#ifndef MR_STRIPPED_DOWN
+BOOL TRACER; /* turns trace tracker on/off */
+#endif
+
+#ifdef MR_STATIC
+const int *PRIMES; /* small primes array */
+#ifndef MR_SIMPLE_IO
+char IOBUFF[MR_DEFAULT_BUFFER_SIZE]; /* i/o buffer */
+#endif
+#else
+int *PRIMES; /* small primes array */
+#ifndef MR_SIMPLE_IO
+char *IOBUFF; /* i/o buffer */
+#endif
+#endif
+
+#ifdef MR_FLASH
+int workprec;
+int stprec; /* start precision */
+
+int RS,RD;
+double D;
+
+double db,n,p;
+int a,b,c,d,r,q,oldn,ndig;
+mr_small u,v,ku,kv;
+
+BOOL last,carryon;
+flash pi;
+
+#endif
+
+#ifdef MR_FP_ROUNDING
+mr_large inverse_base;
+#endif
+
+#ifndef MR_STATIC
+char *workspace;
+#else
+char workspace[MR_BIG_RESERVE(MR_SPACES)];
+#endif
+
+int TWIST; /* set to twisted curve */
+int qnr; /* a QNR -1 for p=3 mod 4, -2 for p=5 mod 8, 0 otherwise */
+int cnr; /* a cubic non-residue */
+int pmod8;
+int pmod9;
+BOOL NO_CARRY;
+} miracl;
+
+/* ------------------------------------------------------------------------*/
+
+
+#ifndef MR_GENERIC_MT
+
+#ifdef MR_WINDOWS_MT
+#define MR_OS_THREADS
+#endif
+
+#ifdef MR_UNIX_MT
+#define MR_OS_THREADS
+#endif
+
+#ifdef MR_OPENMP_MT
+#define MR_OS_THREADS
+#endif
+
+
+#ifndef MR_OS_THREADS
+
+extern miracl *mr_mip; /* pointer to MIRACL's only global variable */
+
+#endif
+
+#endif
+
+#ifdef MR_GENERIC_MT
+
+#ifdef MR_STATIC
+#define MR_GENERIC_AND_STATIC
+#endif
+
+#define _MIPT_ miracl *,
+#define _MIPTO_ miracl *
+#define _MIPD_ miracl *mr_mip,
+#define _MIPDO_ miracl *mr_mip
+#define _MIPP_ mr_mip,
+#define _MIPPO_ mr_mip
+
+#else
+
+#define _MIPT_
+#define _MIPTO_ void
+#define _MIPD_
+#define _MIPDO_ void
+#define _MIPP_
+#define _MIPPO_
+
+#endif
+
+/* Preamble and exit code for MIRACL routines. *
+ * Not used if MR_STRIPPED_DOWN is defined */
+
+#ifdef MR_STRIPPED_DOWN
+#define MR_OUT
+#define MR_IN(N)
+#else
+#define MR_OUT mr_mip->depth--;
+#define MR_IN(N) mr_mip->depth++; if (mr_mip->depthtrace[mr_mip->depth]=(N); if (mr_mip->TRACER) mr_track(_MIPPO_); }
+#endif
+
+/* Function definitions */
+
+/* Group 0 - Internal routines */
+
+extern void mr_berror(_MIPT_ int);
+extern mr_small mr_shiftbits(mr_small,int);
+extern mr_small mr_setbase(_MIPT_ mr_small);
+extern void mr_track(_MIPTO_ );
+extern void mr_lzero(big);
+extern BOOL mr_notint(flash);
+extern int mr_lent(flash);
+extern void mr_padd(_MIPT_ big,big,big);
+extern void mr_psub(_MIPT_ big,big,big);
+extern void mr_pmul(_MIPT_ big,mr_small,big);
+#ifdef MR_FP_ROUNDING
+extern mr_large mr_invert(mr_small);
+extern mr_small imuldiv(mr_small,mr_small,mr_small,mr_small,mr_large,mr_small *);
+extern mr_small mr_sdiv(_MIPT_ big,mr_small,mr_large,big);
+#else
+extern mr_small mr_sdiv(_MIPT_ big,mr_small,big);
+extern void mr_and(big,big,big);
+extern void mr_xor(big,big,big);
+#endif
+extern void mr_shift(_MIPT_ big,int,big);
+extern miracl *mr_first_alloc(void);
+extern void *mr_alloc(_MIPT_ int,int);
+extern void mr_free(void *);
+extern void set_user_function(_MIPT_ BOOL (*)(void));
+extern void set_io_buffer_size(_MIPT_ int);
+extern int mr_testbit(_MIPT_ big,int);
+extern void mr_addbit(_MIPT_ big,int);
+extern int recode(_MIPT_ big ,int ,int ,int );
+extern int mr_window(_MIPT_ big,int,int *,int *,int);
+extern int mr_window2(_MIPT_ big,big,int,int *,int *);
+extern int mr_naf_window(_MIPT_ big,big,int,int *,int *,int);
+
+extern int mr_fft_init(_MIPT_ int,big,big,BOOL);
+extern void mr_dif_fft(_MIPT_ int,int,mr_utype *);
+extern void mr_dit_fft(_MIPT_ int,int,mr_utype *);
+extern void fft_reset(_MIPTO_);
+
+extern int mr_poly_mul(_MIPT_ int,big*,int,big*,big*);
+extern int mr_poly_sqr(_MIPT_ int,big*,big*);
+extern void mr_polymod_set(_MIPT_ int,big*,big*);
+extern int mr_poly_rem(_MIPT_ int,big *,big *);
+
+extern int mr_ps_big_mul(_MIPT_ int,big *,big *,big *);
+extern int mr_ps_zzn_mul(_MIPT_ int,big *,big *,big *);
+
+extern mr_small muldiv(mr_small,mr_small,mr_small,mr_small,mr_small *);
+extern mr_small muldvm(mr_small,mr_small,mr_small,mr_small *);
+extern mr_small muldvd(mr_small,mr_small,mr_small,mr_small *);
+extern void muldvd2(mr_small,mr_small,mr_small *,mr_small *);
+
+extern flash mirvar_mem_variable(char *,int,int);
+extern epoint* epoint_init_mem_variable(_MIPT_ char *,int,int);
+
+/* Group 1 - General purpose, I/O and basic arithmetic routines */
+
+extern unsigned int igcd(unsigned int,unsigned int);
+extern unsigned long lgcd(unsigned long,unsigned long);
+extern mr_small sgcd(mr_small,mr_small);
+extern unsigned int isqrt(unsigned int,unsigned int);
+extern unsigned long mr_lsqrt(unsigned long,unsigned long);
+extern void irand(_MIPT_ mr_unsign32);
+extern mr_small brand(_MIPTO_ );
+extern void zero(flash);
+extern void convert(_MIPT_ int,big);
+extern void uconvert(_MIPT_ unsigned int,big);
+extern void lgconv(_MIPT_ long,big);
+extern void ulgconv(_MIPT_ unsigned long,big);
+extern void tconvert(_MIPT_ mr_utype,big);
+
+#ifdef mr_dltype
+extern void dlconv(_MIPT_ mr_dltype,big);
+#endif
+
+extern flash mirvar(_MIPT_ int);
+extern flash mirvar_mem(_MIPT_ char *,int);
+extern void mirkill(big);
+extern void *memalloc(_MIPT_ int);
+extern void memkill(_MIPT_ char *,int);
+extern void mr_init_threading(void);
+extern void mr_end_threading(void);
+extern miracl *get_mip(void );
+extern void set_mip(miracl *);
+#ifdef MR_GENERIC_AND_STATIC
+extern miracl *mirsys(miracl *,int,mr_small);
+#else
+extern miracl *mirsys(int,mr_small);
+#endif
+extern miracl *mirsys_basic(miracl *,int,mr_small);
+extern void mirexit(_MIPTO_ );
+extern int exsign(flash);
+extern void insign(int,flash);
+extern int getdig(_MIPT_ big,int);
+extern int numdig(_MIPT_ big);
+extern void putdig(_MIPT_ int,big,int);
+extern void copy(flash,flash);
+extern void negify(flash,flash);
+extern void absol(flash,flash);
+extern int size(big);
+extern int mr_compare(big,big);
+extern void add(_MIPT_ big,big,big);
+extern void subtract(_MIPT_ big,big,big);
+extern void incr(_MIPT_ big,int,big);
+extern void decr(_MIPT_ big,int,big);
+extern void premult(_MIPT_ big,int,big);
+extern int subdiv(_MIPT_ big,int,big);
+extern BOOL subdivisible(_MIPT_ big,int);
+extern int remain(_MIPT_ big,int);
+extern void bytes_to_big(_MIPT_ int,const char *,big);
+extern int big_to_bytes(_MIPT_ int,big,char *,BOOL);
+extern mr_small normalise(_MIPT_ big,big);
+extern void multiply(_MIPT_ big,big,big);
+extern void fft_mult(_MIPT_ big,big,big);
+extern BOOL fastmultop(_MIPT_ int,big,big,big);
+extern void divide(_MIPT_ big,big,big);
+extern BOOL divisible(_MIPT_ big,big);
+extern void mad(_MIPT_ big,big,big,big,big,big);
+extern int instr(_MIPT_ flash,char *);
+extern int otstr(_MIPT_ flash,char *);
+extern int cinstr(_MIPT_ flash,char *);
+extern int cotstr(_MIPT_ flash,char *);
+extern epoint* epoint_init(_MIPTO_ );
+extern epoint* epoint_init_mem(_MIPT_ char *,int);
+extern void* ecp_memalloc(_MIPT_ int);
+void ecp_memkill(_MIPT_ char *,int);
+BOOL init_big_from_rom(big,int,const mr_small *,int ,int *);
+BOOL init_point_from_rom(epoint *,int,const mr_small *,int,int *);
+
+#ifndef MR_NO_FILE_IO
+
+extern int innum(_MIPT_ flash,FILE *);
+extern int otnum(_MIPT_ flash,FILE *);
+extern int cinnum(_MIPT_ flash,FILE *);
+extern int cotnum(_MIPT_ flash,FILE *);
+
+#endif
+
+/* Group 2 - Advanced arithmetic routines */
+
+extern mr_small smul(mr_small,mr_small,mr_small);
+extern mr_small spmd(mr_small,mr_small,mr_small);
+extern mr_small invers(mr_small,mr_small);
+extern mr_small sqrmp(mr_small,mr_small);
+extern int jac(mr_small,mr_small);
+
+extern void gprime(_MIPT_ int);
+extern int jack(_MIPT_ big,big);
+extern int egcd(_MIPT_ big,big,big);
+extern int xgcd(_MIPT_ big,big,big,big,big);
+extern int invmodp(_MIPT_ big,big,big);
+extern int logb2(_MIPT_ big);
+extern int hamming(_MIPT_ big);
+extern void expb2(_MIPT_ int,big);
+extern void bigbits(_MIPT_ int,big);
+extern void expint(_MIPT_ int,int,big);
+extern void sftbit(_MIPT_ big,int,big);
+extern void power(_MIPT_ big,long,big,big);
+extern void powmod(_MIPT_ big,big,big,big);
+extern void powmod2(_MIPT_ big,big,big,big,big,big);
+extern void powmodn(_MIPT_ int,big *,big *,big,big);
+extern int powltr(_MIPT_ int,big,big,big);
+extern BOOL double_inverse(_MIPT_ big,big,big,big,big);
+extern BOOL multi_inverse(_MIPT_ int,big*,big,big*);
+extern void lucas(_MIPT_ big,big,big,big,big);
+extern BOOL nroot(_MIPT_ big,int,big);
+extern BOOL sqroot(_MIPT_ big,big,big);
+extern void bigrand(_MIPT_ big,big);
+extern void bigdig(_MIPT_ int,int,big);
+extern int trial_division(_MIPT_ big,big);
+extern BOOL isprime(_MIPT_ big);
+extern BOOL nxprime(_MIPT_ big,big);
+extern BOOL nxsafeprime(_MIPT_ int,int,big,big);
+extern BOOL crt_init(_MIPT_ big_chinese *,int,big *);
+extern void crt(_MIPT_ big_chinese *,big *,big);
+extern void crt_end(big_chinese *);
+extern BOOL scrt_init(_MIPT_ small_chinese *,int,mr_utype *);
+extern void scrt(_MIPT_ small_chinese*,mr_utype *,big);
+extern void scrt_end(small_chinese *);
+#ifndef MR_STATIC
+extern BOOL brick_init(_MIPT_ brick *,big,big,int,int);
+extern void brick_end(brick *);
+#else
+extern void brick_init(brick *,const mr_small *,big,int,int);
+#endif
+extern void pow_brick(_MIPT_ brick *,big,big);
+#ifndef MR_STATIC
+extern BOOL ebrick_init(_MIPT_ ebrick *,big,big,big,big,big,int,int);
+extern void ebrick_end(ebrick *);
+#else
+extern void ebrick_init(ebrick *,const mr_small *,big,big,big,int,int);
+#endif
+extern int mul_brick(_MIPT_ ebrick*,big,big,big);
+#ifndef MR_STATIC
+extern BOOL ebrick2_init(_MIPT_ ebrick2 *,big,big,big,big,int,int,int,int,int,int);
+extern void ebrick2_end(ebrick2 *);
+#else
+extern void ebrick2_init(ebrick2 *,const mr_small *,big,big,int,int,int,int,int,int);
+#endif
+extern int mul2_brick(_MIPT_ ebrick2*,big,big,big);
+
+/* Montgomery stuff */
+
+extern mr_small prepare_monty(_MIPT_ big);
+extern void kill_monty(_MIPTO_ );
+extern void nres(_MIPT_ big,big);
+extern void redc(_MIPT_ big,big);
+
+extern void nres_negate(_MIPT_ big,big);
+extern void nres_modadd(_MIPT_ big,big,big);
+extern void nres_modsub(_MIPT_ big,big,big);
+extern void nres_lazy(_MIPT_ big,big,big,big,big,big);
+extern void nres_complex(_MIPT_ big,big,big,big);
+extern void nres_double_modadd(_MIPT_ big,big,big);
+extern void nres_double_modsub(_MIPT_ big,big,big);
+extern void nres_premult(_MIPT_ big,int,big);
+extern void nres_modmult(_MIPT_ big,big,big);
+extern int nres_moddiv(_MIPT_ big,big,big);
+extern void nres_dotprod(_MIPT_ int,big *,big *,big);
+extern void nres_powmod(_MIPT_ big,big,big);
+extern void nres_powltr(_MIPT_ int,big,big);
+extern void nres_powmod2(_MIPT_ big,big,big,big,big);
+extern void nres_powmodn(_MIPT_ int,big *,big *,big);
+extern BOOL nres_sqroot(_MIPT_ big,big);
+extern void nres_lucas(_MIPT_ big,big,big,big);
+extern BOOL nres_double_inverse(_MIPT_ big,big,big,big);
+extern BOOL nres_multi_inverse(_MIPT_ int,big *,big *);
+extern void nres_div2(_MIPT_ big,big);
+extern void nres_div3(_MIPT_ big,big);
+extern void nres_div5(_MIPT_ big,big);
+
+extern void shs_init(sha *);
+extern void shs_process(sha *,int);
+extern void shs_hash(sha *,char *);
+
+extern void shs256_init(sha256 *);
+extern void shs256_process(sha256 *,int);
+extern void shs256_hash(sha256 *,char *);
+
+#ifdef mr_unsign64
+
+extern void shs512_init(sha512 *);
+extern void shs512_process(sha512 *,int);
+extern void shs512_hash(sha512 *,char *);
+
+extern void shs384_init(sha384 *);
+extern void shs384_process(sha384 *,int);
+extern void shs384_hash(sha384 *,char *);
+
+extern void sha3_init(sha3 *,int);
+extern void sha3_process(sha3 *,int);
+extern void sha3_hash(sha3 *,char *);
+
+#endif
+
+extern BOOL aes_init(aes *,int,int,char *,char *);
+extern void aes_getreg(aes *,char *);
+extern void aes_ecb_encrypt(aes *,MR_BYTE *);
+extern void aes_ecb_decrypt(aes *,MR_BYTE *);
+extern mr_unsign32 aes_encrypt(aes *,char *);
+extern mr_unsign32 aes_decrypt(aes *,char *);
+extern void aes_reset(aes *,int,char *);
+extern void aes_end(aes *);
+
+extern void gcm_init(gcm *,int,char *,int,char *);
+extern BOOL gcm_add_header(gcm *,char *,int);
+extern BOOL gcm_add_cipher(gcm *,int,char *,int,char *);
+extern void gcm_finish(gcm *,char *);
+
+extern void FPE_encrypt(int ,aes *,mr_unsign32 ,mr_unsign32 ,char *,int);
+extern void FPE_decrypt(int ,aes *,mr_unsign32 ,mr_unsign32 ,char *,int);
+
+extern void strong_init(csprng *,int,char *,mr_unsign32);
+extern int strong_rng(csprng *);
+extern void strong_bigrand(_MIPT_ csprng *,big,big);
+extern void strong_bigdig(_MIPT_ csprng *,int,int,big);
+extern void strong_kill(csprng *);
+
+/* special modular multipliers */
+
+extern void comba_mult(big,big,big);
+extern void comba_square(big,big);
+extern void comba_redc(_MIPT_ big,big);
+extern void comba_modadd(_MIPT_ big,big,big);
+extern void comba_modsub(_MIPT_ big,big,big);
+extern void comba_double_modadd(_MIPT_ big,big,big);
+extern void comba_double_modsub(_MIPT_ big,big,big);
+extern void comba_negate(_MIPT_ big,big);
+extern void comba_add(big,big,big);
+extern void comba_sub(big,big,big);
+extern void comba_double_add(big,big,big);
+extern void comba_double_sub(big,big,big);
+
+extern void comba_mult2(_MIPT_ big,big,big);
+
+extern void fastmodmult(_MIPT_ big,big,big);
+extern void fastmodsquare(_MIPT_ big,big);
+
+extern void kcm_mul(_MIPT_ big,big,big);
+extern void kcm_sqr(_MIPT_ big,big);
+extern void kcm_redc(_MIPT_ big,big);
+
+extern void kcm_multiply(_MIPT_ int,big,big,big);
+extern void kcm_square(_MIPT_ int,big,big);
+extern BOOL kcm_top(_MIPT_ int,big,big,big);
+
+/* elliptic curve stuff */
+
+extern BOOL point_at_infinity(epoint *);
+
+extern void mr_jsf(_MIPT_ big,big,big,big,big,big);
+
+extern void ecurve_init(_MIPT_ big,big,big,int);
+extern int ecurve_add(_MIPT_ epoint *,epoint *);
+extern int ecurve_sub(_MIPT_ epoint *,epoint *);
+extern void ecurve_double_add(_MIPT_ epoint *,epoint *,epoint *,epoint *,big *,big *);
+extern void ecurve_multi_add(_MIPT_ int,epoint **,epoint **);
+extern void ecurve_double(_MIPT_ epoint*);
+extern int ecurve_mult(_MIPT_ big,epoint *,epoint *);
+extern void ecurve_mult2(_MIPT_ big,epoint *,big,epoint *,epoint *);
+extern void ecurve_multn(_MIPT_ int,big *,epoint**,epoint *);
+
+extern BOOL epoint_x(_MIPT_ big);
+extern BOOL epoint_set(_MIPT_ big,big,int,epoint*);
+extern int epoint_get(_MIPT_ epoint*,big,big);
+extern void epoint_getxyz(_MIPT_ epoint *,big,big,big);
+extern BOOL epoint_norm(_MIPT_ epoint *);
+extern BOOL epoint_multi_norm(_MIPT_ int,big *,epoint **);
+extern void epoint_free(epoint *);
+extern void epoint_copy(epoint *,epoint *);
+extern BOOL epoint_comp(_MIPT_ epoint *,epoint *);
+extern void epoint_negate(_MIPT_ epoint *);
+
+extern BOOL ecurve2_init(_MIPT_ int,int,int,int,big,big,BOOL,int);
+extern big ecurve2_add(_MIPT_ epoint *,epoint *);
+extern big ecurve2_sub(_MIPT_ epoint *,epoint *);
+extern void ecurve2_multi_add(_MIPT_ int,epoint **,epoint **);
+extern void ecurve2_mult(_MIPT_ big,epoint *,epoint *);
+extern void ecurve2_mult2(_MIPT_ big,epoint *,big,epoint *,epoint *);
+extern void ecurve2_multn(_MIPT_ int,big *,epoint**,epoint *);
+
+extern epoint* epoint2_init(_MIPTO_ );
+extern BOOL epoint2_set(_MIPT_ big,big,int,epoint*);
+extern int epoint2_get(_MIPT_ epoint*,big,big);
+extern void epoint2_getxyz(_MIPT_ epoint *,big,big,big);
+extern int epoint2_norm(_MIPT_ epoint *);
+extern void epoint2_free(epoint *);
+extern void epoint2_copy(epoint *,epoint *);
+extern BOOL epoint2_comp(_MIPT_ epoint *,epoint *);
+extern void epoint2_negate(_MIPT_ epoint *);
+
+/* GF(2) stuff */
+
+extern BOOL prepare_basis(_MIPT_ int,int,int,int,BOOL);
+extern int parity2(big);
+extern BOOL multi_inverse2(_MIPT_ int,big *,big *);
+extern void add2(big,big,big);
+extern void incr2(big,int,big);
+extern void reduce2(_MIPT_ big,big);
+extern void multiply2(_MIPT_ big,big,big);
+extern void modmult2(_MIPT_ big,big,big);
+extern void modsquare2(_MIPT_ big,big);
+extern void power2(_MIPT_ big,int,big);
+extern void sqroot2(_MIPT_ big,big);
+extern void halftrace2(_MIPT_ big,big);
+extern BOOL quad2(_MIPT_ big,big);
+extern BOOL inverse2(_MIPT_ big,big);
+extern void karmul2(int,mr_small *,mr_small *,mr_small *,mr_small *);
+extern void karmul2_poly(_MIPT_ int,big *,big *,big *,big *);
+extern void karmul2_poly_upper(_MIPT_ int,big *,big *,big *,big *);
+extern void gf2m_dotprod(_MIPT_ int,big *,big *,big);
+extern int trace2(_MIPT_ big);
+extern void rand2(_MIPT_ big);
+extern void gcd2(_MIPT_ big,big,big);
+extern int degree2(big);
+
+/* zzn2 stuff */
+
+extern BOOL zzn2_iszero(zzn2 *);
+extern BOOL zzn2_isunity(_MIPT_ zzn2 *);
+extern void zzn2_from_int(_MIPT_ int,zzn2 *);
+extern void zzn2_from_ints(_MIPT_ int,int,zzn2 *);
+extern void zzn2_copy(zzn2 *,zzn2 *);
+extern void zzn2_zero(zzn2 *);
+extern void zzn2_negate(_MIPT_ zzn2 *,zzn2 *);
+extern void zzn2_conj(_MIPT_ zzn2 *,zzn2 *);
+extern void zzn2_add(_MIPT_ zzn2 *,zzn2 *,zzn2 *);
+extern void zzn2_sub(_MIPT_ zzn2 *,zzn2 *,zzn2 *);
+extern void zzn2_smul(_MIPT_ zzn2 *,big,zzn2 *);
+extern void zzn2_mul(_MIPT_ zzn2 *,zzn2 *,zzn2 *);
+extern void zzn2_sqr(_MIPT_ zzn2 *,zzn2 *);
+extern void zzn2_inv(_MIPT_ zzn2 *);
+extern void zzn2_timesi(_MIPT_ zzn2 *);
+extern void zzn2_powl(_MIPT_ zzn2 *,big,zzn2 *);
+extern void zzn2_from_zzns(big,big,zzn2 *);
+extern void zzn2_from_bigs(_MIPT_ big,big,zzn2 *);
+extern void zzn2_from_zzn(big,zzn2 *);
+extern void zzn2_from_big(_MIPT_ big, zzn2 *);
+extern void zzn2_sadd(_MIPT_ zzn2 *,big,zzn2 *);
+extern void zzn2_ssub(_MIPT_ zzn2 *,big,zzn2 *);
+extern void zzn2_div2(_MIPT_ zzn2 *);
+extern void zzn2_div3(_MIPT_ zzn2 *);
+extern void zzn2_div5(_MIPT_ zzn2 *);
+extern void zzn2_imul(_MIPT_ zzn2 *,int,zzn2 *);
+extern BOOL zzn2_compare(zzn2 *,zzn2 *);
+extern void zzn2_txx(_MIPT_ zzn2 *);
+extern void zzn2_txd(_MIPT_ zzn2 *);
+extern BOOL zzn2_sqrt(_MIPT_ zzn2 *,zzn2 *);
+extern BOOL zzn2_qr(_MIPT_ zzn2 *);
+extern BOOL zzn2_multi_inverse(_MIPT_ int,zzn2 *,zzn2 *);
+
+
+/* zzn3 stuff */
+
+extern void zzn3_set(_MIPT_ int,big);
+extern BOOL zzn3_iszero(zzn3 *);
+extern BOOL zzn3_isunity(_MIPT_ zzn3 *);
+extern void zzn3_from_int(_MIPT_ int,zzn3 *);
+extern void zzn3_from_ints(_MIPT_ int,int,int,zzn3 *);
+extern void zzn3_copy(zzn3 *,zzn3 *);
+extern void zzn3_zero(zzn3 *);
+extern void zzn3_negate(_MIPT_ zzn3 *,zzn3 *);
+extern void zzn3_powq(_MIPT_ zzn3 *,zzn3 *);
+extern void zzn3_add(_MIPT_ zzn3 *,zzn3 *,zzn3 *);
+extern void zzn3_sub(_MIPT_ zzn3 *,zzn3 *,zzn3 *);
+extern void zzn3_smul(_MIPT_ zzn3 *,big,zzn3 *);
+extern void zzn3_mul(_MIPT_ zzn3 *,zzn3 *,zzn3 *);
+extern void zzn3_inv(_MIPT_ zzn3 *);
+extern void zzn3_timesi(_MIPT_ zzn3 *);
+extern void zzn3_timesi2(_MIPT_ zzn3 *);
+extern void zzn3_powl(_MIPT_ zzn3 *,big,zzn3 *);
+extern void zzn3_from_zzns(big,big,big,zzn3 *);
+extern void zzn3_from_bigs(_MIPT_ big,big,big,zzn3 *);
+extern void zzn3_from_zzn(big,zzn3 *);
+extern void zzn3_from_zzn_1(big,zzn3 *);
+extern void zzn3_from_zzn_2(big,zzn3 *);
+extern void zzn3_from_big(_MIPT_ big, zzn3 *);
+extern void zzn3_sadd(_MIPT_ zzn3 *,big,zzn3 *);
+extern void zzn3_ssub(_MIPT_ zzn3 *,big,zzn3 *);
+extern void zzn3_div2(_MIPT_ zzn3 *);
+extern void zzn3_imul(_MIPT_ zzn3 *,int,zzn3 *);
+extern BOOL zzn3_compare(zzn3 *,zzn3 *);
+
+/* zzn4 stuff */
+
+extern BOOL zzn4_iszero(zzn4 *);
+extern BOOL zzn4_isunity(_MIPT_ zzn4 *);
+extern void zzn4_from_int(_MIPT_ int,zzn4 *);
+extern void zzn4_copy(zzn4 *,zzn4 *);
+extern void zzn4_zero(zzn4 *);
+extern void zzn4_negate(_MIPT_ zzn4 *,zzn4 *);
+extern void zzn4_powq(_MIPT_ zzn2 *,zzn4 *);
+extern void zzn4_add(_MIPT_ zzn4 *,zzn4 *,zzn4 *);
+extern void zzn4_sub(_MIPT_ zzn4 *,zzn4 *,zzn4 *);
+extern void zzn4_smul(_MIPT_ zzn4 *,zzn2 *,zzn4 *);
+extern void zzn4_sqr(_MIPT_ zzn4 *,zzn4 *);
+extern void zzn4_mul(_MIPT_ zzn4 *,zzn4 *,zzn4 *);
+extern void zzn4_inv(_MIPT_ zzn4 *);
+extern void zzn4_timesi(_MIPT_ zzn4 *);
+extern void zzn4_tx(_MIPT_ zzn4 *);
+extern void zzn4_from_zzn2s(zzn2 *,zzn2 *,zzn4 *);
+extern void zzn4_from_zzn2(zzn2 *,zzn4 *);
+extern void zzn4_from_zzn2h(zzn2 *,zzn4 *);
+extern void zzn4_from_zzn(big,zzn4 *);
+extern void zzn4_from_big(_MIPT_ big , zzn4 *);
+extern void zzn4_sadd(_MIPT_ zzn4 *,zzn2 *,zzn4 *);
+extern void zzn4_ssub(_MIPT_ zzn4 *,zzn2 *,zzn4 *);
+extern void zzn4_div2(_MIPT_ zzn4 *);
+extern void zzn4_conj(_MIPT_ zzn4 *,zzn4 *);
+extern void zzn4_imul(_MIPT_ zzn4 *,int,zzn4 *);
+extern void zzn4_lmul(_MIPT_ zzn4 *,big,zzn4 *);
+extern BOOL zzn4_compare(zzn4 *,zzn4 *);
+
+/* ecn2 stuff */
+
+extern BOOL ecn2_iszero(ecn2 *);
+extern void ecn2_copy(ecn2 *,ecn2 *);
+extern void ecn2_zero(ecn2 *);
+extern BOOL ecn2_compare(_MIPT_ ecn2 *,ecn2 *);
+extern void ecn2_norm(_MIPT_ ecn2 *);
+extern void ecn2_get(_MIPT_ ecn2 *,zzn2 *,zzn2 *,zzn2 *);
+extern void ecn2_getxy(ecn2 *,zzn2 *,zzn2 *);
+extern void ecn2_getx(ecn2 *,zzn2 *);
+extern void ecn2_getz(_MIPT_ ecn2 *,zzn2 *);
+extern void ecn2_rhs(_MIPT_ zzn2 *,zzn2 *);
+extern BOOL ecn2_set(_MIPT_ zzn2 *,zzn2 *,ecn2 *);
+extern BOOL ecn2_setx(_MIPT_ zzn2 *,ecn2 *);
+extern void ecn2_setxyz(_MIPT_ zzn2 *,zzn2 *,zzn2 *,ecn2 *);
+extern void ecn2_negate(_MIPT_ ecn2 *,ecn2 *);
+extern BOOL ecn2_add3(_MIPT_ ecn2 *,ecn2 *,zzn2 *,zzn2 *,zzn2 *);
+extern BOOL ecn2_add2(_MIPT_ ecn2 *,ecn2 *,zzn2 *,zzn2 *);
+extern BOOL ecn2_add1(_MIPT_ ecn2 *,ecn2 *,zzn2 *);
+extern BOOL ecn2_add(_MIPT_ ecn2 *,ecn2 *);
+extern BOOL ecn2_sub(_MIPT_ ecn2 *,ecn2 *);
+extern BOOL ecn2_add_sub(_MIPT_ ecn2 *,ecn2 *,ecn2 *,ecn2 *);
+extern int ecn2_mul2_jsf(_MIPT_ big,ecn2 *,big,ecn2 *,ecn2 *);
+extern int ecn2_mul(_MIPT_ big,ecn2 *);
+extern void ecn2_psi(_MIPT_ zzn2 *,ecn2 *);
+extern BOOL ecn2_multi_norm(_MIPT_ int ,zzn2 *,ecn2 *);
+extern int ecn2_mul4_gls_v(_MIPT_ big *,int,ecn2 *,big *,ecn2 *,zzn2 *,ecn2 *);
+extern int ecn2_muln_engine(_MIPT_ int,int,int,int,big *,big *,big *,big *,ecn2 *,ecn2 *,ecn2 *);
+extern void ecn2_precomp_gls(_MIPT_ int,BOOL,ecn2 *,zzn2 *,ecn2 *);
+extern int ecn2_mul2_gls(_MIPT_ big *,ecn2 *,zzn2 *,ecn2 *);
+extern void ecn2_precomp(_MIPT_ int,BOOL,ecn2 *,ecn2 *);
+extern int ecn2_mul2(_MIPT_ big,int,ecn2 *,big,ecn2 *,ecn2 *);
+#ifndef MR_STATIC
+extern BOOL ecn2_brick_init(_MIPT_ ebrick *,zzn2 *,zzn2 *,big,big,big,int,int);
+extern void ecn2_brick_end(ebrick *);
+#else
+extern void ebrick_init(ebrick *,const mr_small *,big,big,big,int,int);
+#endif
+extern void ecn2_mul_brick_gls(_MIPT_ ebrick *B,big *,zzn2 *,zzn2 *,zzn2 *);
+extern void ecn2_multn(_MIPT_ int,big *,ecn2 *,ecn2 *);
+extern void ecn2_mult4(_MIPT_ big *,ecn2 *,ecn2 *);
+/* Group 3 - Floating-slash routines */
+
+#ifdef MR_FLASH
+extern void fpack(_MIPT_ big,big,flash);
+extern void numer(_MIPT_ flash,big);
+extern void denom(_MIPT_ flash,big);
+extern BOOL fit(big,big,int);
+extern void build(_MIPT_ flash,int (*)(_MIPT_ big,int));
+extern void mround(_MIPT_ big,big,flash);
+extern void flop(_MIPT_ flash,flash,int *,flash);
+extern void fmul(_MIPT_ flash,flash,flash);
+extern void fdiv(_MIPT_ flash,flash,flash);
+extern void fadd(_MIPT_ flash,flash,flash);
+extern void fsub(_MIPT_ flash,flash,flash);
+extern int fcomp(_MIPT_ flash,flash);
+extern void fconv(_MIPT_ int,int,flash);
+extern void frecip(_MIPT_ flash,flash);
+extern void ftrunc(_MIPT_ flash,big,flash);
+extern void fmodulo(_MIPT_ flash,flash,flash);
+extern void fpmul(_MIPT_ flash,int,int,flash);
+extern void fincr(_MIPT_ flash,int,int,flash);
+extern void dconv(_MIPT_ double,flash);
+extern double fdsize(_MIPT_ flash);
+extern void frand(_MIPT_ flash);
+
+/* Group 4 - Advanced Flash routines */
+
+extern void fpower(_MIPT_ flash,int,flash);
+extern BOOL froot(_MIPT_ flash,int,flash);
+extern void fpi(_MIPT_ flash);
+extern void fexp(_MIPT_ flash,flash);
+extern void flog(_MIPT_ flash,flash);
+extern void fpowf(_MIPT_ flash,flash,flash);
+extern void ftan(_MIPT_ flash,flash);
+extern void fatan(_MIPT_ flash,flash);
+extern void fsin(_MIPT_ flash,flash);
+extern void fasin(_MIPT_ flash,flash);
+extern void fcos(_MIPT_ flash,flash);
+extern void facos(_MIPT_ flash,flash);
+extern void ftanh(_MIPT_ flash,flash);
+extern void fatanh(_MIPT_ flash,flash);
+extern void fsinh(_MIPT_ flash,flash);
+extern void fasinh(_MIPT_ flash,flash);
+extern void fcosh(_MIPT_ flash,flash);
+extern void facosh(_MIPT_ flash,flash);
+#endif
+
+
+/* Test predefined Macros to determine compiler type, and hopefully
+ selectively use fast in-line assembler (or other compiler specific
+ optimisations. Note I am unsure of Microsoft version numbers. So I
+ suspect are Microsoft.
+
+ Note: It seems to be impossible to get the 16-bit Microsoft compiler
+ to allow inline 32-bit op-codes. So I suspect that INLINE_ASM == 2 will
+ never work with it. Pity.
+
+#define INLINE_ASM 1 -> generates 8086 inline assembly
+#define INLINE_ASM 2 -> generates mixed 8086 & 80386 inline assembly,
+ so you can get some benefit while running in a
+ 16-bit environment on 32-bit hardware (DOS, Windows
+ 3.1...)
+#define INLINE_ASM 3 -> generate true 80386 inline assembly - (Using DOS
+ extender, Windows '95/Windows NT)
+ Actually optimised for Pentium
+
+#define INLINE_ASM 4 -> 80386 code in the GNU style (for (DJGPP)
+
+Small, medium, compact and large memory models are supported for the
+first two of the above.
+
+*/
+
+/* To allow for inline assembly */
+
+#ifdef __GNUC__
+ #define ASM __asm__ __volatile__
+#endif
+
+#ifdef __TURBOC__
+ #define ASM asm
+#endif
+
+#ifdef _MSC_VER
+ #define ASM _asm
+#endif
+
+#ifndef MR_NOASM
+
+/* Win64 - inline the time critical function */
+#ifndef MR_NO_INTRINSICS
+ #ifdef MR_WIN64
+ #define muldvd(a,b,c,rp) (*(rp)=_umul128((a),(b),&(tm)),*(rp)+=(c),tm+=(*(rp)<(c)),tm)
+ #define muldvd2(a,b,c,rp) (tr=_umul128((a),(b),&(tm)),tr+=(*(c)),tm+=(tr<(*(c))),tr+=(*(rp)),tm+=(tr<(*(rp))),*(rp)=tr,*(c)=tm)
+ #endif
+
+/* Itanium - inline the time-critical functions */
+
+ #ifdef MR_ITANIUM
+ #define muldvd(a,b,c,rp) (tm=_m64_xmahu((a),(b),(c)),*(rp)=_m64_xmalu((a),(b),(c)),tm)
+ #define muldvd2(a,b,c,rp) (tm=_m64_xmalu((a),(b),(*(c))),*(c)=_m64_xmahu((a),(b),(*(c))),tm+=*(rp),*(c)+=(tm<*(rp)),*(rp)=tm)
+ #endif
+#endif
+/*
+
+SSE2 code. Works as for itanium - but in fact it is slower than the regular code so not recommended
+Would require a call to emmintrin.h or xmmintrin.h, and an __m128i variable tm to be declared in effected
+functions. But it works!
+
+ #define muldvd(a,b,c,rp) (tm=_mm_add_epi64(_mm_mul_epu32(_mm_cvtsi32_si128((a)),_mm_cvtsi32_si128((b))),_mm_cvtsi32_si128((c))),*(rp)=_mm_cvtsi128_si32(tm),_mm_cvtsi128_si32(_mm_shuffle_epi32(tm,_MM_SHUFFLE(3,2,0,1))) )
+ #define muldvd2(a,b,c,rp) (tm=_mm_add_epi64(_mm_add_epi64(_mm_mul_epu32(_mm_cvtsi32_si128((a)),_mm_cvtsi32_si128((b))),_mm_cvtsi32_si128(*(c))),_mm_cvtsi32_si128(*(rp))),*(rp)=_mm_cvtsi128_si32(tm),*(c)=_mm_cvtsi128_si32( _mm_shuffle_epi32(tm,_MM_SHUFFLE(3,2,0,1)) )
+*/
+
+/* Borland C/Turbo C */
+
+ #ifdef __TURBOC__
+ #ifndef __HUGE__
+ #if defined(__COMPACT__) || defined(__LARGE__)
+ #define MR_LMM
+ #endif
+
+ #if MIRACL==16
+ #define INLINE_ASM 1
+ #endif
+
+ #if __TURBOC__>=0x410
+ #if MIRACL==32
+#if defined(__SMALL__) || defined(__MEDIUM__) || defined(__LARGE__) || defined(__COMPACT__)
+ #define INLINE_ASM 2
+ #else
+ #define INLINE_ASM 3
+ #endif
+ #endif
+ #endif
+ #endif
+ #endif
+
+/* Microsoft C */
+
+ #ifdef _MSC_VER
+ #ifndef M_I86HM
+ #if defined(M_I86CM) || defined(M_I86LM)
+ #define MR_LMM
+ #endif
+ #if _MSC_VER>=600
+ #if _MSC_VER<1200
+ #if MIRACL==16
+ #define INLINE_ASM 1
+ #endif
+ #endif
+ #endif
+ #if _MSC_VER>=1000
+ #if MIRACL==32
+ #define INLINE_ASM 3
+ #endif
+ #endif
+ #endif
+ #endif
+
+/* DJGPP GNU C */
+
+ #ifdef __GNUC__
+ #ifdef i386
+ #if MIRACL==32
+ #define INLINE_ASM 4
+ #endif
+ #endif
+ #endif
+
+#endif
+
+
+
+/*
+ The following contribution is from Tielo Jongmans, Netherlands
+ These inline assembler routines are suitable for Watcom 10.0 and up
+
+ Added into miracl.h. Notice the override of the original declarations
+ of these routines, which should be removed.
+
+ The following pragma is optional, it is dangerous, but it saves a
+ calling sequence
+*/
+
+/*
+
+#pragma off (check_stack);
+
+extern unsigned int muldiv(unsigned int, unsigned int, unsigned int, unsigned int, unsigned int *);
+#pragma aux muldiv= \
+ "mul edx" \
+ "add eax,ebx" \
+ "adc edx,0" \
+ "div ecx" \
+ "mov [esi],edx" \
+ parm [eax] [edx] [ebx] [ecx] [esi] \
+ value [eax] \
+ modify [eax edx];
+
+extern unsigned int muldvm(unsigned int, unsigned int, unsigned int, unsigned int *);
+#pragma aux muldvm= \
+ "div ebx" \
+ "mov [ecx],edx" \
+ parm [edx] [eax] [ebx] [ecx] \
+ value [eax] \
+ modify [eax edx];
+
+extern unsigned int muldvd(unsigned int, unsigned int, unsigned int, unsigned int *);
+#pragma aux muldvd= \
+ "mul edx" \
+ "add eax,ebx" \
+ "adc edx,0" \
+ "mov [ecx],eax" \
+ "mov eax,edx" \
+ parm [eax] [edx] [ebx] [ecx] \
+ value [eax] \
+ modify [eax edx];
+
+*/
+
+
+#endif
+
+