有限体の実装1（加算）

初めに 前回まで多倍長整数の実装1（C/C++）からの一連の記事で多倍長整数演算の実装の紹介をしました。今回から有限体の実装の紹介をします。有限体で利用する素数は256bit～512bitを想定しています。 有限体の実装一覧 有限体の実装1（加算）（この記事） 有限体の実装2（減算） 有限体の実装3（Montgomery乗算の紹介） 有限体の実装4（Montgomery乗算の利用） 有限体の実装5（PythonによるLLVM DSLの紹介） 有限体の実装6（LLVM DSLによるMontgomery乗算の実装） 有限体の復習 有限体についてはまず、楕円曲線暗号のPythonによる実装その1（有限体とECDH鍵共有）をごらんください。 ごく簡単に復習するとpを素数としたとき、0以上p未満の整数の集合をF_pと書き、有限体と呼びます。 F_p := \{0, 1, 2, ..., p-1\}.