Top Page/
多倍長整数クラス for Microsoft Visual C++ (32bit)
概要
多倍長整数を扱う為のC++用クラスです。
アーカイブ中には、C++言語及び、アセンブリ言語(Microsoft Macro Assembler)のソースが含まれます。
C++言語の標準関数にて開発しているため、x86系32bitCPUであればコンパイルできるはずです。
尚、アーカイブ中のプロジェクトファイルは、 "Microsoft Visual C++.net 2008 Express Edition" となっております。
アセンブリ言語ソースは、Visual C++付属のアセンブラー"ML.EXE"でアセンブル可能です。
※研究中のものです。今後、色々、Version Upするかもしれません。
特徴
-
オペレータ演算子をオーバーライド(定義)。
ソースコード中で、char型やint型のように、演算子を記述できます。
-
2の補数による負の数に符号に対応。
(従って、いかなる場合も、符号付きとして処理します。)
多倍長整数のバイナリをビッグエンディアンに並べ替えた場合に、
ASN.1(*1)の"INTEGER"をBER(*2)で符号化した時の値フィールドのバイナリと
同一構造になるため、セキュリティー関係のアプリケーションに組み込みやすい
と思います。
-
基本的な関数は、アセンブリ言語(MASM)にて記述。
ストリングス命令(movs, lods, stos等)を用いる事で、高速に計算処理します。
-
シフト演算の高速化
8回よりも大きい数でシフトする場合は、ビットシフトは0〜7回だけとし、
その後、rep命令を伴ったmovs命令で高速メモリ転送で処理します。
-
算術右シフト
算術右シフトでは、最上位ビットを保つため(x86系のSAR命令と同等です)、符号を保ちます。
また、専用の関数"BigInt_Shr()"関数を使用した場合、
シフトで溢れたビットを、32bitだけ、戻り値に返します
(x86系のSAR命令における、実行後のキャリーフラグみたいなものです)。
1bitずつ左シフトしながら、最下位ビットをチェックするような
コードを記述する時に、便利です(実際、乗算・除算の処理に使用しています)。
-
"Radix-16 Booth's multiplication(根=24の改良型ブースの乗算)による乗算演算、
"Restore divider(回復型除算)"による除算・剰余演算に対応。
これらのアルゴリズムはシフト演算と加減算で処理可能であり、16bit/32bit毎の筆算よりは高速に計算します。
※FFT乗算には未対応です(研究中)。
- (*1) ASN.1
- 抽象構文記法1(Abstract Syntax Notation One)
… (参考 : ITU-T Rec. X.680 & ISO/IEC 8824-1 & JIS X 5603:1990)
- (*2) BER
- 基本符号化規則(Basic Encoding Rule)
… (参考 : ITU-T Rec. X.690 & ISO/IEC 8825-1 & JIS X 5604:1990)
ダウンロード(Download)
全て、アセンブリ言語(Microsoft Macro Assembler)及び、C++言語(Microsoft Visual C++.net 2008)のソースつきです。
注意
基本的に、ソースコードは全て公開していますが、
本サイトにて公開されるクラスや、ソースコードの流用をする際は、ご一報ください。
又、本クラスや、ソースコードの利用により発生したいかなる損害につきましては
法律が許容する最大限において責任を負いませんので、使用者の責任の元、ご利用頂ければ幸いです。
クラス"BigInt"の使い方
設定
C/C++ソース側の設定
`BigInt.h'をインクルード宣言して下さい。
Visual C++(IDE)の設定
リンカーで、入力するライブラリに、本ライブラリ`BigInt.lib'を追加して下さい。
構成を`Release'にし、ランタイムライブラリは『マルチスレッド(/MT)』に設定して下さい。
異なる構成とする場合(例えば、`Debug'等)は、使用する構成に合わせてライブラリをビルドし直して下さい。
(もしくは、`BigInt'フォルダー中のライブラリのソースを、そのままプロジェクトにインポートしてご利用ください。)
型(クラス名)
BigIntとなります。
char型や、int型の様に、扱う事が可能です。
#include "BigInt.h"
BigInt n1 = 1000; //※左辺を数値にする場合は、符号付き32bitで示せる範囲まで。
補足
整数値の実体(バイト列)は、ヒープ領域に格納され、クラスのメンバーには含まれません。
BigInt型は、メンバー変数として、その整数の実体(バイト列)のポインタを保有しています。
そのため、ローカル変数として定義した場合でも、スタックフレームは圧迫しません。
従って、必ずしもBigIntのクラスオブジェクトをnew演算子で生成する必要性は無く、必要に応じて使い分けてください。
(new演算子でクラスオブジェクトを生成する方が、処理速度は遅くなると思います。)
対応演算子
オペレータ演算子をオーバーライドしていることより、演算子が利用可能です。
対応演算子
演算子 | 機能 | 詳細 |
= | 代入 | 左辺の変数に、右辺の値、若しくは式の結果を代入します。 |
+= | 加算 | 左辺と右辺を加算した値を左辺に代入します。 |
-= | 減算 | 左辺を右辺で減算した値を左辺に代入します。 |
*= | 乗算 | 左辺と右辺を乗算した積を左辺に代入します。 |
/= | 除算 | 左辺を右辺で除算した商を左辺に代入します。 |
%= | 剰余 | 左辺を右辺で除算した剰余を左辺に代入します。 |
|= | 論理和 | 左辺と右辺の論理和(OR)をを左辺に代入します。 |
&= | 論理積 | 左辺と右辺の論理積(AND)をを左辺に代入します。 |
^= | 排他的論理和 | 左辺と右辺の排他的論理和(XOR)をを左辺に代入します。 |
<<= | 算術左シフト | 右辺を左辺(unsigned int型のみ対応)で指定した回数、算術左シフトした値を左辺に代入します。 |
>>= | 算術右シフト | 右辺を左辺(unsigned int型のみ対応)で指定した回数、算術右シフトした値を左辺に代入します。 |
++ | インクリメント | 値を+1します。前置き、後置き共に対応。 |
-- | デクリメント | 値を−1します。前置き、後置き共に対応。 |
+ | 加算 | 左辺と右辺を加算した値を求めます。 |
- | 減算 | 左辺を右辺で減算した値を求めます。(左辺がある場合) |
* | 乗算 | 左辺と右辺を乗算した積を求めます。 |
/ | 除算 | 左辺を右辺で除算した商を求めます。 |
% | 剰余 | 左辺を右辺で除算した剰余を求めます。 |
| | 論理和 | 左辺と右辺の論理和(OR)を求めます。 |
& | 論理積 | 左辺と右辺の論理積(AND)を求めます。 |
^ | 排他的論理和 | 左辺と右辺の排他的論理和(XOR)を求めます。 |
~ | 反転 | 右辺の1の補数(ビット反転(NOT)した値)を求めます。 |
- | マイナス | 右辺の2の補数(符合反転(NEG)した値)を求めます。(左辺が無い場合) |
<< | 算術左シフト | 右辺を左辺(unsigned int型のみ対応)で指定した回数、算術左シフトした値を求めます。 |
>> | 算術右シフト | 右辺を左辺(unsigned int型のみ対応)で指定した回数、算術右シフトした値を求めます。 |
== | 等しい | 左辺と右辺が等しい時にtrue、それ以外の時にfalseを返します。 |
!= | 等しくない | 左辺と右辺が等しくない時にtrue、それ以外の時にfalseを返します。 |
> | 大なり | 左辺が右辺を超過する時にtrue、それ以外の時にfalseを返します。 |
>= | 大なりイコール | 左辺が右辺以上の時にtrue、それ以外の時にfalseを返します。 |
< | 小なり | 左辺が右辺未満の時にtrue、それ以外の時にfalseを返します。 |
<= | 小なりイコール | 左辺が右辺以下の時にtrue、それ以外の時にfalseを返します。 |
注意
代入演算子及び単項演算子において、右辺にBigInt型を含む場合は、左辺はBigInt型である必要があります。
補足
演算子!, &&, ||については定義していませんが、
比較演算子はbool型を返すため、左辺、右辺共に比較演算子もしくはbool型であれば、使用可能です。
(左辺、右辺がBigIntである場合が、未定義です。)
基本的に、二項演算子(代入を含まない演算子)は、単項演算子(代入を含む演算子)よりも遅くなります。
コンパイル後の機械語レベルでは、二項演算子は計算結果のオブジェクトを生成し、
その後、変数に代入した後にその生成したオブジェクトを開放するコードとなるためです。
また、インクリメント/デクリメントにおける後置き(n++;)は、前置き(++n;)よりも遅くなります。
コンパイル後の機械語レベルでは、新たに多倍長整数オブジェクトを生成し、
+1、もしくは−1の演算をする前の整数値を代入し、戻り値としてその値を返すためです。
従って、処理速度の最適化のためには、できる範囲で、(1) 単項演算子で計算式を記述する、(2) 前置き(++n;)を使用すると、処理が早くなる場合があります。
メンバー関数
クラスBigIntのメンバー関数です。
(オペレータ演算子は除きます。)
低レベル関数
オーバーライドされたオペレータ演算子の処理ルーチンから呼ばれる低レベルのグローバル関数です。
癖がある関数なので、通常は演算子を用いてください。
主に、アセンブリ言語で記述されています。
戻り値の型 | 関数名 | 機能 |
void | BigInt_Copy(BigInt* _dst, BigInt* _src); | 転送 |
void | BigInt_Add(BigInt* _dst, BigInt* _src); | 加算 |
void | BigInt_Sub(BigInt* _dst, BigInt* _src); | 減算 |
void | BigInt_Not(BigInt* _dst, BigInt* _src); | ビット反転 |
void | BigInt_And(BigInt* _dst, BigInt* _src); | 論理積 |
void | BigInt_Or( BigInt* _dst, BigInt* _src); | 論理和 |
void | BigInt_Xor(BigInt* _dst, BigInt* _src); | 排他的論理和 |
void | BigInt_Shl(BigInt* _src, unsigned int _Cnt); | 算術左シフト |
void | BigInt_Shl1(BigInt* _src); | 1bit算術左シフト |
unsigned int | BigInt_Shr(BigInt* _src, unsigned int _Cnt); | 算術右シフト ※戻り値に、32bit分の桁あふれを返します。 |
unsigned int | BigInt_Shr1(BigInt* _src); | 1bit算術右シフト ※戻り値の最上位ビットに、桁あふれを返します。 |
void | BigInt_Mul(BigInt* _Dst, BigInt _Src1, BigInt _Src2); | 乗算(Radix-16 Booth's multiplication) |
void | BigInt_Mul(BigInt* _Dst, BigInt _Src1, int _Src2); | 乗算(Radix-16 Booth's multiplication) |
bool | BigInt_Div(BigInt* _Result, BigInt* _Mod, BigInt _Dst, BigInt _Src); | 除算(回復法) ※商と余を同時に求めます。 0で除算した場合は、flaseを返すか、0除算割り込み(例外)を発生させます。 |
クラス"montgomery"の使い方
モンゴメリ法とは
N>0を法とした合同算術を高速に行う計算アルゴリズムです。
例えば暗号理論で重要な計算式である塁余剰演算、
超巨大整数Nを法として、超巨大整数Pの超巨大整数eの塁余剰を求める時などに効果を発揮します。
予め、Set_Modulo(BigInt* N)関数にて法をNに設定する時に、処理速度が必要な除算をこの段階で行ってしまいます。
実際のNを法とした合同演算を行う時は除算を用いないため、
Nを法とした合同演算を複数回行う場合に計算速度の高速化が見込めます。
設定
C/C++ソース側の設定
`BigInt.h'及び`montgomery.h'をインクルード宣言して下さい。
リンカーの設定
`BigInt.lib'をリンクして下さい。
型(クラス名)
montgomeryとなります。
#include "BigInt\montgomery.h"
メンバー関数
クラスBigIntのメンバー関数です。
(オペレータ演算子は除きます。)
戻り値の型 | 関数名 | 機能 |
─ | montgomery(); ~montgomery(); | コンストラクタ/デストラクタ |
void | Set_Modulo(BigInt* N); | 法(module)をNに設定します。 |
void | MR(BigInt* result, BigInt T); | Tをモンゴメリ・リダクションして、resultに返します。 |
void | Mul(BigInt* dst, BigInt& src1, BigInt& src2); | モンゴメリ乗算を用いて、以下の計算式を実行します。 dst = (src1 × src2) Mod N |
void | Power(BigInt* _Result, BigInt& _Src1, BigInt& _Src2); | モンゴメリ乗算を用いて、以下の計算式を実行します。 resilt = src1(src2) Mod N |
仕様
多倍長整数の実体
BigIntクラスのオブジェクトは、整数の実体のバイト列があるポインターとそのサイズを有し、整数の実体はメンバーに持ちません。
クラスオブジェクトを生成する時に、コンストラクタにてC++言語のnew演算子によりヒープメモリを確保し、整数の実体が格納されます。
また、BigIntクラスのオブジェクトを解放する時に、デストラクターでdelete演算子により開放します。
計算の結果において、元のサイズよりバイト長が大きくなる場合は、新たにヒープメモリを確保し直し、格納されます。
元より小さくなる場合は、ヒープメモリの確保し直しは実施しません(new, delete演算子による処理速度低下を防止するため)。
ただし、別途に整数の実際のバイト長をメンバー変数に持っており、余分な桁の演算は省略する構造になっています。
多倍長整数の構造
整数のバイト列は、リトルエンディアンで格納されます。
負数は2の補数で表現され、最上位ビットが符号を示します。
例を、以下に示します。
10進数値 | バイト列 |
1 | 0x01 |
127 | 0x7F |
128 | 0x80 0x00 |
255 | 0xFF 0x00 |
32768 | 0x00 0x80 0x00 |
-1 | 0xFF |
-127 | 0x81 |
-128 | 0x80 |
-129 | 0x7F 0xFF |
-255 | 0x01 0xFF |
-32768 | 0x00 0x80 |
著作権