| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157 |
- #if !BESTHTTP_DISABLE_ALTERNATE_SSL && (!UNITY_WEBGL || UNITY_EDITOR)
- #pragma warning disable
- using System;
- using System.Diagnostics;
- using BestHTTP.SecureProtocol.Org.BouncyCastle.Crypto.Utilities;
- namespace BestHTTP.SecureProtocol.Org.BouncyCastle.Math.Raw
- {
- internal abstract class Nat
- {
- private const ulong M = 0xFFFFFFFFUL;
- public static uint Add(int len, uint[] x, uint[] y, uint[] z)
- {
- ulong c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (ulong)x[i] + y[i];
- z[i] = (uint)c;
- c >>= 32;
- }
- return (uint)c;
- }
- public static uint Add33At(int len, uint x, uint[] z, int zPos)
- {
- Debug.Assert(zPos <= (len - 2));
- ulong c = (ulong)z[zPos + 0] + x;
- z[zPos + 0] = (uint)c;
- c >>= 32;
- c += (ulong)z[zPos + 1] + 1;
- z[zPos + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, zPos + 2);
- }
- public static uint Add33At(int len, uint x, uint[] z, int zOff, int zPos)
- {
- Debug.Assert(zPos <= (len - 2));
- ulong c = (ulong)z[zOff + zPos] + x;
- z[zOff + zPos] = (uint)c;
- c >>= 32;
- c += (ulong)z[zOff + zPos + 1] + 1;
- z[zOff + zPos + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, zOff, zPos + 2);
- }
- public static uint Add33To(int len, uint x, uint[] z)
- {
- ulong c = (ulong)z[0] + x;
- z[0] = (uint)c;
- c >>= 32;
- c += (ulong)z[1] + 1;
- z[1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, 2);
- }
- public static uint Add33To(int len, uint x, uint[] z, int zOff)
- {
- ulong c = (ulong)z[zOff + 0] + x;
- z[zOff + 0] = (uint)c;
- c >>= 32;
- c += (ulong)z[zOff + 1] + 1;
- z[zOff + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, zOff, 2);
- }
- public static uint AddBothTo(int len, uint[] x, uint[] y, uint[] z)
- {
- ulong c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (ulong)x[i] + y[i] + z[i];
- z[i] = (uint)c;
- c >>= 32;
- }
- return (uint)c;
- }
- public static uint AddBothTo(int len, uint[] x, int xOff, uint[] y, int yOff, uint[] z, int zOff)
- {
- ulong c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (ulong)x[xOff + i] + y[yOff + i] + z[zOff + i];
- z[zOff + i] = (uint)c;
- c >>= 32;
- }
- return (uint)c;
- }
- public static uint AddDWordAt(int len, ulong x, uint[] z, int zPos)
- {
- Debug.Assert(zPos <= (len - 2));
- ulong c = (ulong)z[zPos + 0] + (x & M);
- z[zPos + 0] = (uint)c;
- c >>= 32;
- c += (ulong)z[zPos + 1] + (x >> 32);
- z[zPos + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, zPos + 2);
- }
- public static uint AddDWordAt(int len, ulong x, uint[] z, int zOff, int zPos)
- {
- Debug.Assert(zPos <= (len - 2));
- ulong c = (ulong)z[zOff + zPos] + (x & M);
- z[zOff + zPos] = (uint)c;
- c >>= 32;
- c += (ulong)z[zOff + zPos + 1] + (x >> 32);
- z[zOff + zPos + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, zOff, zPos + 2);
- }
- public static uint AddDWordTo(int len, ulong x, uint[] z)
- {
- ulong c = (ulong)z[0] + (x & M);
- z[0] = (uint)c;
- c >>= 32;
- c += (ulong)z[1] + (x >> 32);
- z[1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, 2);
- }
- public static uint AddDWordTo(int len, ulong x, uint[] z, int zOff)
- {
- ulong c = (ulong)z[zOff + 0] + (x & M);
- z[zOff + 0] = (uint)c;
- c >>= 32;
- c += (ulong)z[zOff + 1] + (x >> 32);
- z[zOff + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, zOff, 2);
- }
- public static uint AddTo(int len, uint[] x, uint[] z)
- {
- ulong c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (ulong)x[i] + z[i];
- z[i] = (uint)c;
- c >>= 32;
- }
- return (uint)c;
- }
- public static uint AddTo(int len, uint[] x, int xOff, uint[] z, int zOff)
- {
- ulong c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (ulong)x[xOff + i] + z[zOff + i];
- z[zOff + i] = (uint)c;
- c >>= 32;
- }
- return (uint)c;
- }
- public static uint AddWordAt(int len, uint x, uint[] z, int zPos)
- {
- Debug.Assert(zPos <= (len - 1));
- ulong c = (ulong)x + z[zPos];
- z[zPos] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, zPos + 1);
- }
- public static uint AddWordAt(int len, uint x, uint[] z, int zOff, int zPos)
- {
- Debug.Assert(zPos <= (len - 1));
- ulong c = (ulong)x + z[zOff + zPos];
- z[zOff + zPos] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, zOff, zPos + 1);
- }
- public static uint AddWordTo(int len, uint x, uint[] z)
- {
- ulong c = (ulong)x + z[0];
- z[0] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, 1);
- }
- public static uint AddWordTo(int len, uint x, uint[] z, int zOff)
- {
- ulong c = (ulong)x + z[zOff];
- z[zOff] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, zOff, 1);
- }
- public static uint CAdd(int len, int mask, uint[] x, uint[] y, uint[] z)
- {
- uint MASK = (uint)-(mask & 1);
- ulong c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (ulong)x[i] + (y[i] & MASK);
- z[i] = (uint)c;
- c >>= 32;
- }
- return (uint)c;
- }
- public static void CMov(int len, int mask, uint[] x, int xOff, uint[] z, int zOff)
- {
- uint MASK = (uint)-(mask & 1);
- for (int i = 0; i < len; ++i)
- {
- uint z_i = z[zOff + i], diff = z_i ^ x[xOff + i];
- z_i ^= (diff & MASK);
- z[zOff + i] = z_i;
- }
- //uint half = 0x55555555U, rest = half << (-(int)MASK);
- //for (int i = 0; i < len; ++i)
- //{
- // uint z_i = z[zOff + i], diff = z_i ^ x[xOff + i];
- // z_i ^= (diff & half);
- // z_i ^= (diff & rest);
- // z[zOff + i] = z_i;
- //}
- }
- public static void CMov(int len, int mask, int[] x, int xOff, int[] z, int zOff)
- {
- mask = -(mask & 1);
- for (int i = 0; i < len; ++i)
- {
- int z_i = z[zOff + i], diff = z_i ^ x[xOff + i];
- z_i ^= (diff & mask);
- z[zOff + i] = z_i;
- }
- //int half = 0x55555555, rest = half << (-mask);
- //for (int i = 0; i < len; ++i)
- //{
- // int z_i = z[zOff + i], diff = z_i ^ x[xOff + i];
- // z_i ^= (diff & half);
- // z_i ^= (diff & rest);
- // z[zOff + i] = z_i;
- //}
- }
- public static void Copy(int len, uint[] x, uint[] z)
- {
- Array.Copy(x, 0, z, 0, len);
- }
- public static uint[] Copy(int len, uint[] x)
- {
- uint[] z = new uint[len];
- Array.Copy(x, 0, z, 0, len);
- return z;
- }
- public static void Copy(int len, uint[] x, int xOff, uint[] z, int zOff)
- {
- Array.Copy(x, xOff, z, zOff, len);
- }
- public static uint[] Create(int len)
- {
- return new uint[len];
- }
- public static ulong[] Create64(int len)
- {
- return new ulong[len];
- }
- public static int Dec(int len, uint[] z)
- {
- for (int i = 0; i < len; ++i)
- {
- if (--z[i] != uint.MaxValue)
- {
- return 0;
- }
- }
- return -1;
- }
- public static int Dec(int len, uint[] x, uint[] z)
- {
- int i = 0;
- while (i < len)
- {
- uint c = x[i] - 1;
- z[i] = c;
- ++i;
- if (c != uint.MaxValue)
- {
- while (i < len)
- {
- z[i] = x[i];
- ++i;
- }
- return 0;
- }
- }
- return -1;
- }
- public static int DecAt(int len, uint[] z, int zPos)
- {
- Debug.Assert(zPos <= len);
- for (int i = zPos; i < len; ++i)
- {
- if (--z[i] != uint.MaxValue)
- {
- return 0;
- }
- }
- return -1;
- }
- public static int DecAt(int len, uint[] z, int zOff, int zPos)
- {
- Debug.Assert(zPos <= len);
- for (int i = zPos; i < len; ++i)
- {
- if (--z[zOff + i] != uint.MaxValue)
- {
- return 0;
- }
- }
- return -1;
- }
- public static bool Eq(int len, uint[] x, uint[] y)
- {
- for (int i = len - 1; i >= 0; --i)
- {
- if (x[i] != y[i])
- {
- return false;
- }
- }
- return true;
- }
- public static uint[] FromBigInteger(int bits, BigInteger x)
- {
- if (x.SignValue < 0 || x.BitLength > bits)
- throw new ArgumentException();
- int len = (bits + 31) >> 5;
- uint[] z = Create(len);
- int i = 0;
- while (x.SignValue != 0)
- {
- z[i++] = (uint)x.IntValue;
- x = x.ShiftRight(32);
- }
- return z;
- }
- public static uint GetBit(uint[] x, int bit)
- {
- if (bit == 0)
- {
- return x[0] & 1;
- }
- int w = bit >> 5;
- if (w < 0 || w >= x.Length)
- {
- return 0;
- }
- int b = bit & 31;
- return (x[w] >> b) & 1;
- }
- public static bool Gte(int len, uint[] x, uint[] y)
- {
- for (int i = len - 1; i >= 0; --i)
- {
- uint x_i = x[i], y_i = y[i];
- if (x_i < y_i)
- return false;
- if (x_i > y_i)
- return true;
- }
- return true;
- }
- public static uint Inc(int len, uint[] z)
- {
- for (int i = 0; i < len; ++i)
- {
- if (++z[i] != uint.MinValue)
- {
- return 0;
- }
- }
- return 1;
- }
- public static uint Inc(int len, uint[] x, uint[] z)
- {
- int i = 0;
- while (i < len)
- {
- uint c = x[i] + 1;
- z[i] = c;
- ++i;
- if (c != 0)
- {
- while (i < len)
- {
- z[i] = x[i];
- ++i;
- }
- return 0;
- }
- }
- return 1;
- }
- public static uint IncAt(int len, uint[] z, int zPos)
- {
- Debug.Assert(zPos <= len);
- for (int i = zPos; i < len; ++i)
- {
- if (++z[i] != uint.MinValue)
- {
- return 0;
- }
- }
- return 1;
- }
- public static uint IncAt(int len, uint[] z, int zOff, int zPos)
- {
- Debug.Assert(zPos <= len);
- for (int i = zPos; i < len; ++i)
- {
- if (++z[zOff + i] != uint.MinValue)
- {
- return 0;
- }
- }
- return 1;
- }
- public static bool IsOne(int len, uint[] x)
- {
- if (x[0] != 1)
- {
- return false;
- }
- for (int i = 1; i < len; ++i)
- {
- if (x[i] != 0)
- {
- return false;
- }
- }
- return true;
- }
- public static bool IsZero(int len, uint[] x)
- {
- if (x[0] != 0)
- {
- return false;
- }
- for (int i = 1; i < len; ++i)
- {
- if (x[i] != 0)
- {
- return false;
- }
- }
- return true;
- }
- public static void Mul(int len, uint[] x, uint[] y, uint[] zz)
- {
- zz[len] = MulWord(len, x[0], y, zz);
- for (int i = 1; i < len; ++i)
- {
- zz[i + len] = MulWordAddTo(len, x[i], y, 0, zz, i);
- }
- }
- public static void Mul(int len, uint[] x, int xOff, uint[] y, int yOff, uint[] zz, int zzOff)
- {
- zz[zzOff + len] = MulWord(len, x[xOff], y, yOff, zz, zzOff);
- for (int i = 1; i < len; ++i)
- {
- zz[zzOff + i + len] = MulWordAddTo(len, x[xOff + i], y, yOff, zz, zzOff + i);
- }
- }
- public static void Mul(uint[] x, int xOff, int xLen, uint[] y, int yOff, int yLen, uint[] zz, int zzOff)
- {
- zz[zzOff + yLen] = MulWord(yLen, x[xOff], y, yOff, zz, zzOff);
- for (int i = 1; i < xLen; ++i)
- {
- zz[zzOff + i + yLen] = MulWordAddTo(yLen, x[xOff + i], y, yOff, zz, zzOff + i);
- }
- }
- public static uint MulAddTo(int len, uint[] x, uint[] y, uint[] zz)
- {
- ulong zc = 0;
- for (int i = 0; i < len; ++i)
- {
- ulong c = MulWordAddTo(len, x[i], y, 0, zz, i) & M;
- c += zc + (zz[i + len] & M);
- zz[i + len] = (uint)c;
- zc = c >> 32;
- }
- return (uint)zc;
- }
- public static uint MulAddTo(int len, uint[] x, int xOff, uint[] y, int yOff, uint[] zz, int zzOff)
- {
- ulong zc = 0;
- for (int i = 0; i < len; ++i)
- {
- ulong c = MulWordAddTo(len, x[xOff + i], y, yOff, zz, zzOff) & M;
- c += zc + (zz[zzOff + len] & M);
- zz[zzOff + len] = (uint)c;
- zc = c >> 32;
- ++zzOff;
- }
- return (uint)zc;
- }
- public static uint Mul31BothAdd(int len, uint a, uint[] x, uint b, uint[] y, uint[] z, int zOff)
- {
- ulong c = 0, aVal = (ulong)a, bVal = (ulong)b;
- int i = 0;
- do
- {
- c += aVal * x[i] + bVal * y[i] + z[zOff + i];
- z[zOff + i] = (uint)c;
- c >>= 32;
- }
- while (++i < len);
- return (uint)c;
- }
- public static uint MulWord(int len, uint x, uint[] y, uint[] z)
- {
- ulong c = 0, xVal = (ulong)x;
- int i = 0;
- do
- {
- c += xVal * y[i];
- z[i] = (uint)c;
- c >>= 32;
- }
- while (++i < len);
- return (uint)c;
- }
- public static uint MulWord(int len, uint x, uint[] y, int yOff, uint[] z, int zOff)
- {
- ulong c = 0, xVal = (ulong)x;
- int i = 0;
- do
- {
- c += xVal * y[yOff + i];
- z[zOff + i] = (uint)c;
- c >>= 32;
- }
- while (++i < len);
- return (uint)c;
- }
- public static uint MulWordAddTo(int len, uint x, uint[] y, int yOff, uint[] z, int zOff)
- {
- ulong c = 0, xVal = (ulong)x;
- int i = 0;
- do
- {
- c += xVal * y[yOff + i] + z[zOff + i];
- z[zOff + i] = (uint)c;
- c >>= 32;
- }
- while (++i < len);
- return (uint)c;
- }
- public static uint MulWordDwordAddAt(int len, uint x, ulong y, uint[] z, int zPos)
- {
- Debug.Assert(zPos <= (len - 3));
- ulong c = 0, xVal = (ulong)x;
- c += xVal * (uint)y + z[zPos + 0];
- z[zPos + 0] = (uint)c;
- c >>= 32;
- c += xVal * (y >> 32) + z[zPos + 1];
- z[zPos + 1] = (uint)c;
- c >>= 32;
- c += (ulong)z[zPos + 2];
- z[zPos + 2] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : IncAt(len, z, zPos + 3);
- }
- public static uint ShiftDownBit(int len, uint[] z, uint c)
- {
- int i = len;
- while (--i >= 0)
- {
- uint next = z[i];
- z[i] = (next >> 1) | (c << 31);
- c = next;
- }
- return c << 31;
- }
- public static uint ShiftDownBit(int len, uint[] z, int zOff, uint c)
- {
- int i = len;
- while (--i >= 0)
- {
- uint next = z[zOff + i];
- z[zOff + i] = (next >> 1) | (c << 31);
- c = next;
- }
- return c << 31;
- }
- public static uint ShiftDownBit(int len, uint[] x, uint c, uint[] z)
- {
- int i = len;
- while (--i >= 0)
- {
- uint next = x[i];
- z[i] = (next >> 1) | (c << 31);
- c = next;
- }
- return c << 31;
- }
- public static uint ShiftDownBit(int len, uint[] x, int xOff, uint c, uint[] z, int zOff)
- {
- int i = len;
- while (--i >= 0)
- {
- uint next = x[xOff + i];
- z[zOff + i] = (next >> 1) | (c << 31);
- c = next;
- }
- return c << 31;
- }
- public static uint ShiftDownBits(int len, uint[] z, int bits, uint c)
- {
- Debug.Assert(bits > 0 && bits < 32);
- int i = len;
- while (--i >= 0)
- {
- uint next = z[i];
- z[i] = (next >> bits) | (c << -bits);
- c = next;
- }
- return c << -bits;
- }
- public static uint ShiftDownBits(int len, uint[] z, int zOff, int bits, uint c)
- {
- Debug.Assert(bits > 0 && bits < 32);
- int i = len;
- while (--i >= 0)
- {
- uint next = z[zOff + i];
- z[zOff + i] = (next >> bits) | (c << -bits);
- c = next;
- }
- return c << -bits;
- }
- public static uint ShiftDownBits(int len, uint[] x, int bits, uint c, uint[] z)
- {
- Debug.Assert(bits > 0 && bits < 32);
- int i = len;
- while (--i >= 0)
- {
- uint next = x[i];
- z[i] = (next >> bits) | (c << -bits);
- c = next;
- }
- return c << -bits;
- }
- public static uint ShiftDownBits(int len, uint[] x, int xOff, int bits, uint c, uint[] z, int zOff)
- {
- Debug.Assert(bits > 0 && bits < 32);
- int i = len;
- while (--i >= 0)
- {
- uint next = x[xOff + i];
- z[zOff + i] = (next >> bits) | (c << -bits);
- c = next;
- }
- return c << -bits;
- }
- public static uint ShiftDownWord(int len, uint[] z, uint c)
- {
- int i = len;
- while (--i >= 0)
- {
- uint next = z[i];
- z[i] = c;
- c = next;
- }
- return c;
- }
- public static uint ShiftUpBit(int len, uint[] z, uint c)
- {
- for (int i = 0; i < len; ++i)
- {
- uint next = z[i];
- z[i] = (next << 1) | (c >> 31);
- c = next;
- }
- return c >> 31;
- }
- public static uint ShiftUpBit(int len, uint[] z, int zOff, uint c)
- {
- for (int i = 0; i < len; ++i)
- {
- uint next = z[zOff + i];
- z[zOff + i] = (next << 1) | (c >> 31);
- c = next;
- }
- return c >> 31;
- }
- public static uint ShiftUpBit(int len, uint[] x, uint c, uint[] z)
- {
- for (int i = 0; i < len; ++i)
- {
- uint next = x[i];
- z[i] = (next << 1) | (c >> 31);
- c = next;
- }
- return c >> 31;
- }
- public static uint ShiftUpBit(int len, uint[] x, int xOff, uint c, uint[] z, int zOff)
- {
- for (int i = 0; i < len; ++i)
- {
- uint next = x[xOff + i];
- z[zOff + i] = (next << 1) | (c >> 31);
- c = next;
- }
- return c >> 31;
- }
- public static ulong ShiftUpBit64(int len, ulong[] x, int xOff, ulong c, ulong[] z, int zOff)
- {
- for (int i = 0; i < len; ++i)
- {
- ulong next = x[xOff + i];
- z[zOff + i] = (next << 1) | (c >> 63);
- c = next;
- }
- return c >> 63;
- }
- public static uint ShiftUpBits(int len, uint[] z, int bits, uint c)
- {
- Debug.Assert(bits > 0 && bits < 32);
- for (int i = 0; i < len; ++i)
- {
- uint next = z[i];
- z[i] = (next << bits) | (c >> -bits);
- c = next;
- }
- return c >> -bits;
- }
- public static uint ShiftUpBits(int len, uint[] z, int zOff, int bits, uint c)
- {
- Debug.Assert(bits > 0 && bits < 32);
- for (int i = 0; i < len; ++i)
- {
- uint next = z[zOff + i];
- z[zOff + i] = (next << bits) | (c >> -bits);
- c = next;
- }
- return c >> -bits;
- }
- public static ulong ShiftUpBits64(int len, ulong[] z, int zOff, int bits, ulong c)
- {
- Debug.Assert(bits > 0 && bits < 64);
- for (int i = 0; i < len; ++i)
- {
- ulong next = z[zOff + i];
- z[zOff + i] = (next << bits) | (c >> -bits);
- c = next;
- }
- return c >> -bits;
- }
- public static uint ShiftUpBits(int len, uint[] x, int bits, uint c, uint[] z)
- {
- Debug.Assert(bits > 0 && bits < 32);
- for (int i = 0; i < len; ++i)
- {
- uint next = x[i];
- z[i] = (next << bits) | (c >> -bits);
- c = next;
- }
- return c >> -bits;
- }
- public static uint ShiftUpBits(int len, uint[] x, int xOff, int bits, uint c, uint[] z, int zOff)
- {
- Debug.Assert(bits > 0 && bits < 32);
- for (int i = 0; i < len; ++i)
- {
- uint next = x[xOff + i];
- z[zOff + i] = (next << bits) | (c >> -bits);
- c = next;
- }
- return c >> -bits;
- }
- public static ulong ShiftUpBits64(int len, ulong[] x, int xOff, int bits, ulong c, ulong[] z, int zOff)
- {
- Debug.Assert(bits > 0 && bits < 64);
- for (int i = 0; i < len; ++i)
- {
- ulong next = x[xOff + i];
- z[zOff + i] = (next << bits) | (c >> -bits);
- c = next;
- }
- return c >> -bits;
- }
- public static void Square(int len, uint[] x, uint[] zz)
- {
- int extLen = len << 1;
- uint c = 0;
- int j = len, k = extLen;
- do
- {
- ulong xVal = (ulong)x[--j];
- ulong p = xVal * xVal;
- zz[--k] = (c << 31) | (uint)(p >> 33);
- zz[--k] = (uint)(p >> 1);
- c = (uint)p;
- }
- while (j > 0);
- for (int i = 1; i < len; ++i)
- {
- c = SquareWordAdd(x, i, zz);
- AddWordAt(extLen, c, zz, i << 1);
- }
- ShiftUpBit(extLen, zz, x[0] << 31);
- }
- public static void Square(int len, uint[] x, int xOff, uint[] zz, int zzOff)
- {
- int extLen = len << 1;
- uint c = 0;
- int j = len, k = extLen;
- do
- {
- ulong xVal = (ulong)x[xOff + --j];
- ulong p = xVal * xVal;
- zz[zzOff + --k] = (c << 31) | (uint)(p >> 33);
- zz[zzOff + --k] = (uint)(p >> 1);
- c = (uint)p;
- }
- while (j > 0);
- for (int i = 1; i < len; ++i)
- {
- c = SquareWordAdd(x, xOff, i, zz, zzOff);
- AddWordAt(extLen, c, zz, zzOff, i << 1);
- }
- ShiftUpBit(extLen, zz, zzOff, x[xOff] << 31);
- }
- public static uint SquareWordAdd(uint[] x, int xPos, uint[] z)
- {
- ulong c = 0, xVal = (ulong)x[xPos];
- int i = 0;
- do
- {
- c += xVal * x[i] + z[xPos + i];
- z[xPos + i] = (uint)c;
- c >>= 32;
- }
- while (++i < xPos);
- return (uint)c;
- }
- public static uint SquareWordAdd(uint[] x, int xOff, int xPos, uint[] z, int zOff)
- {
- ulong c = 0, xVal = (ulong)x[xOff + xPos];
- int i = 0;
- do
- {
- c += xVal * (x[xOff + i] & M) + (z[xPos + zOff] & M);
- z[xPos + zOff] = (uint)c;
- c >>= 32;
- ++zOff;
- }
- while (++i < xPos);
- return (uint)c;
- }
- public static int Sub(int len, uint[] x, uint[] y, uint[] z)
- {
- long c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (long)x[i] - y[i];
- z[i] = (uint)c;
- c >>= 32;
- }
- return (int)c;
- }
- public static int Sub(int len, uint[] x, int xOff, uint[] y, int yOff, uint[] z, int zOff)
- {
- long c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (long)x[xOff + i] - y[yOff + i];
- z[zOff + i] = (uint)c;
- c >>= 32;
- }
- return (int)c;
- }
- public static int Sub33At(int len, uint x, uint[] z, int zPos)
- {
- Debug.Assert(zPos <= (len - 2));
- long c = (long)z[zPos + 0] - x;
- z[zPos + 0] = (uint)c;
- c >>= 32;
- c += (long)z[zPos + 1] - 1;
- z[zPos + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, zPos + 2);
- }
- public static int Sub33At(int len, uint x, uint[] z, int zOff, int zPos)
- {
- Debug.Assert(zPos <= (len - 2));
- long c = (long)z[zOff + zPos] - x;
- z[zOff + zPos] = (uint)c;
- c >>= 32;
- c += (long)z[zOff + zPos + 1] - 1;
- z[zOff + zPos + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, zOff, zPos + 2);
- }
- public static int Sub33From(int len, uint x, uint[] z)
- {
- long c = (long)z[0] - x;
- z[0] = (uint)c;
- c >>= 32;
- c += (long)z[1] - 1;
- z[1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, 2);
- }
- public static int Sub33From(int len, uint x, uint[] z, int zOff)
- {
- long c = (long)z[zOff + 0] - x;
- z[zOff + 0] = (uint)c;
- c >>= 32;
- c += (long)z[zOff + 1] - 1;
- z[zOff + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, zOff, 2);
- }
- public static int SubBothFrom(int len, uint[] x, uint[] y, uint[] z)
- {
- long c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (long)z[i] - x[i] - y[i];
- z[i] = (uint)c;
- c >>= 32;
- }
- return (int)c;
- }
- public static int SubBothFrom(int len, uint[] x, int xOff, uint[] y, int yOff, uint[] z, int zOff)
- {
- long c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (long)z[zOff + i] - x[xOff + i] - y[yOff + i];
- z[zOff + i] = (uint)c;
- c >>= 32;
- }
- return (int)c;
- }
- public static int SubDWordAt(int len, ulong x, uint[] z, int zPos)
- {
- Debug.Assert(zPos <= (len - 2));
- long c = (long)z[zPos + 0] - (long)(x & M);
- z[zPos + 0] = (uint)c;
- c >>= 32;
- c += (long)z[zPos + 1] - (long)(x >> 32);
- z[zPos + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, zPos + 2);
- }
- public static int SubDWordAt(int len, ulong x, uint[] z, int zOff, int zPos)
- {
- Debug.Assert(zPos <= (len - 2));
- long c = (long)z[zOff + zPos] - (long)(x & M);
- z[zOff + zPos] = (uint)c;
- c >>= 32;
- c += (long)z[zOff + zPos + 1] - (long)(x >> 32);
- z[zOff + zPos + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, zOff, zPos + 2);
- }
- public static int SubDWordFrom(int len, ulong x, uint[] z)
- {
- long c = (long)z[0] - (long)(x & M);
- z[0] = (uint)c;
- c >>= 32;
- c += (long)z[1] - (long)(x >> 32);
- z[1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, 2);
- }
- public static int SubDWordFrom(int len, ulong x, uint[] z, int zOff)
- {
- long c = (long)z[zOff + 0] - (long)(x & M);
- z[zOff + 0] = (uint)c;
- c >>= 32;
- c += (long)z[zOff + 1] - (long)(x >> 32);
- z[zOff + 1] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, zOff, 2);
- }
- public static int SubFrom(int len, uint[] x, uint[] z)
- {
- long c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (long)z[i] - x[i];
- z[i] = (uint)c;
- c >>= 32;
- }
- return (int)c;
- }
- public static int SubFrom(int len, uint[] x, int xOff, uint[] z, int zOff)
- {
- long c = 0;
- for (int i = 0; i < len; ++i)
- {
- c += (long)z[zOff + i] - x[xOff + i];
- z[zOff + i] = (uint)c;
- c >>= 32;
- }
- return (int)c;
- }
- public static int SubWordAt(int len, uint x, uint[] z, int zPos)
- {
- Debug.Assert(zPos <= (len - 1));
- long c = (long)z[zPos] - x;
- z[zPos] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, zPos + 1);
- }
- public static int SubWordAt(int len, uint x, uint[] z, int zOff, int zPos)
- {
- Debug.Assert(zPos <= (len - 1));
- long c = (long)z[zOff + zPos] - x;
- z[zOff + zPos] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, zOff, zPos + 1);
- }
- public static int SubWordFrom(int len, uint x, uint[] z)
- {
- long c = (long)z[0] - x;
- z[0] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, 1);
- }
- public static int SubWordFrom(int len, uint x, uint[] z, int zOff)
- {
- long c = (long)z[zOff + 0] - x;
- z[zOff + 0] = (uint)c;
- c >>= 32;
- return c == 0 ? 0 : DecAt(len, z, zOff, 1);
- }
- public static BigInteger ToBigInteger(int len, uint[] x)
- {
- byte[] bs = new byte[len << 2];
- for (int i = 0; i < len; ++i)
- {
- uint x_i = x[i];
- if (x_i != 0)
- {
- Pack.UInt32_To_BE(x_i, bs, (len - 1 - i) << 2);
- }
- }
- return new BigInteger(1, bs);
- }
- public static void Zero(int len, uint[] z)
- {
- for (int i = 0; i < len; ++i)
- {
- z[i] = 0;
- }
- }
- }
- }
- #pragma warning restore
- #endif
|