Subversion Repositories tiny_tate_bilinear_pairing

/*

 * Copyright 2012, Homer Hsing <homer.hsing@gmail.com>

 *

 * Licensed under the Apache License, Version 2.0 (the "License");

 * you may not use this file except in compliance with the License.

 * You may obtain a copy of the License at

 *

 * http://www.apache.org/licenses/LICENSE-2.0

 *

 * Unless required by applicable law or agreed to in writing, software

 * distributed under the License is distributed on an "AS IS" BASIS,

 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.

 * See the License for the specific language governing permissions and

 * limitations under the License.

 */

/* v0(a)+v1(a)+v2(a) == a^3 in GF(3^m) */

/* c == v0(a) */

module v0(a, c);

    input [193:0] a;

    output [193:0] c;

    assign c[1:0] = a[1:0];

    assign c[3:2] = a[131:130];

    assign c[5:4] = a[67:66];

    assign c[7:6] = a[3:2];

    assign c[9:8] = a[133:132];

    assign c[11:10] = a[69:68];

    assign c[13:12] = a[5:4];

    assign c[15:14] = a[135:134];

    assign c[17:16] = a[71:70];

    assign c[19:18] = a[193:192];

    assign c[21:20] = {a[128], a[129]};

    assign c[23:22] = a[73:72];

    assign c[25:24] = {a[178], a[179]};

    assign c[27:26] = a[131:130];

    assign c[29:28] = {a[66], a[67]};

    assign c[31:30] = {a[180], a[181]};

    assign c[33:32] = a[133:132];

    assign c[35:34] = {a[68], a[69]};

    assign c[37:36] = {a[182], a[183]};

    assign c[39:38] = a[127:126];

    assign c[41:40] = {a[70], a[71]};

    assign c[43:42] = {a[184], a[185]};

    assign c[45:44] = a[145:144];

    assign c[47:46] = a[81:80];

    assign c[49:48] = a[17:16];

    assign c[51:50] = a[147:146];

    assign c[53:52] = a[83:82];

    assign c[55:54] = a[19:18];

    assign c[57:56] = a[149:148];

    assign c[59:58] = a[85:84];

    assign c[61:60] = a[21:20];

    assign c[63:62] = a[135:134];

    assign c[65:64] = a[87:86];

    assign c[67:66] = {a[192], a[193]};

    assign c[69:68] = a[145:144];

    assign c[71:70] = {a[80], a[81]};

    assign c[73:72] = a[25:24];

    assign c[75:74] = a[147:146];

    assign c[77:76] = {a[82], a[83]};

    assign c[79:78] = a[27:26];

    assign c[81:80] = a[149:148];

    assign c[83:82] = {a[84], a[85]};

    assign c[85:84] = a[29:28];

    assign c[87:86] = a[143:142];

    assign c[89:88] = {a[86], a[87]};

    assign c[91:90] = a[31:30];

    assign c[93:92] = a[161:160];

    assign c[95:94] = a[97:96];

    assign c[97:96] = a[33:32];

    assign c[99:98] = a[163:162];

    assign c[101:100] = a[99:98];

    assign c[103:102] = a[35:34];

    assign c[105:104] = a[165:164];

    assign c[107:106] = a[101:100];

    assign c[109:108] = a[37:36];

    assign c[111:110] = a[151:150];

    assign c[113:112] = a[103:102];

    assign c[115:114] = a[39:38];

    assign c[117:116] = a[161:160];

    assign c[119:118] = {a[96], a[97]};

    assign c[121:120] = a[41:40];

    assign c[123:122] = a[163:162];

    assign c[125:124] = {a[98], a[99]};

    assign c[127:126] = a[43:42];

    assign c[129:128] = a[165:164];

    assign c[131:130] = {a[100], a[101]};

    assign c[133:132] = a[45:44];

    assign c[135:134] = a[159:158];

    assign c[137:136] = {a[102], a[103]};

    assign c[139:138] = a[47:46];

    assign c[141:140] = a[177:176];

    assign c[143:142] = a[113:112];

    assign c[145:144] = a[49:48];

    assign c[147:146] = a[179:178];

    assign c[149:148] = a[115:114];

    assign c[151:150] = a[51:50];

    assign c[153:152] = a[181:180];

    assign c[155:154] = a[117:116];

    assign c[157:156] = a[53:52];

    assign c[159:158] = a[167:166];

    assign c[161:160] = a[119:118];

    assign c[163:162] = a[55:54];

    assign c[165:164] = a[177:176];

    assign c[167:166] = {a[112], a[113]};

    assign c[169:168] = a[57:56];

    assign c[171:170] = a[179:178];

    assign c[173:172] = {a[114], a[115]};

    assign c[175:174] = a[59:58];

    assign c[177:176] = a[181:180];

    assign c[179:178] = {a[116], a[117]};

    assign c[181:180] = a[61:60];

    assign c[183:182] = a[175:174];

    assign c[185:184] = {a[118], a[119]};

    assign c[187:186] = a[63:62];

    assign c[189:188] = a[193:192];

    assign c[191:190] = a[129:128];

    assign c[193:192] = a[65:64];

endmodule

/* c == v1(a) */

module v1(a, c);

    input [193:0] a;

    output [193:0] c;

    assign c[1:0] = a[179:178];

    assign c[3:2] = {a[122], a[123]};

    assign c[5:4] = 0;

    assign c[7:6] = a[181:180];

    assign c[9:8] = {a[124], a[125]};

    assign c[11:10] = 0;

    assign c[13:12] = a[183:182];

    assign c[15:14] = {a[126], a[127]};

    assign c[17:16] = 0;

    assign c[19:18] = a[7:6];

    assign c[21:20] = a[137:136];

    assign c[23:22] = 0;

    assign c[25:24] = a[9:8];

    assign c[27:26] = a[139:138];

    assign c[29:28] = a[75:74];

    assign c[31:30] = a[11:10];

    assign c[33:32] = a[125:124];

    assign c[35:34] = a[77:76];

    assign c[37:36] = a[13:12];

    assign c[39:38] = a[135:134];

    assign c[41:40] = a[79:78];

    assign c[43:42] = a[15:14];

    assign c[45:44] = a[129:128];

    assign c[47:46] = {a[72], a[73]};

    assign c[49:48] = {a[186], a[187]};

    assign c[51:50] = a[139:138];

    assign c[53:52] = {a[74], a[75]};

    assign c[55:54] = {a[188], a[189]};

    assign c[57:56] = a[133:132];

    assign c[59:58] = {a[76], a[77]};

    assign c[61:60] = {a[190], a[191]};

    assign c[63:62] = a[151:150];

    assign c[65:64] = {a[78], a[79]};

    assign c[67:66] = a[23:22];

    assign c[69:68] = a[137:136];

    assign c[71:70] = a[89:88];

    assign c[73:72] = 0;

    assign c[75:74] = a[155:154];

    assign c[77:76] = a[91:90];

    assign c[79:78] = 0;

    assign c[81:80] = a[141:140];

    assign c[83:82] = a[93:92];

    assign c[85:84] = 0;

    assign c[87:86] = a[151:150];

    assign c[89:88] = a[95:94];

    assign c[91:90] = 0;

    assign c[93:92] = a[145:144];

    assign c[95:94] = {a[88], a[89]};

    assign c[97:96] = 0;

    assign c[99:98] = a[155:154];

    assign c[101:100] = {a[90], a[91]};

    assign c[103:102] = 0;

    assign c[105:104] = a[149:148];

    assign c[107:106] = {a[92], a[93]};

    assign c[109:108] = 0;

    assign c[111:110] = a[167:166];

    assign c[113:112] = {a[94], a[95]};

    assign c[115:114] = 0;

    assign c[117:116] = a[153:152];

    assign c[119:118] = a[105:104];

    assign c[121:120] = 0;

    assign c[123:122] = a[171:170];

    assign c[125:124] = a[107:106];

    assign c[127:126] = 0;

    assign c[129:128] = a[157:156];

    assign c[131:130] = a[109:108];

    assign c[133:132] = 0;

    assign c[135:134] = a[167:166];

    assign c[137:136] = a[111:110];

    assign c[139:138] = 0;

    assign c[141:140] = a[161:160];

    assign c[143:142] = {a[104], a[105]};

    assign c[145:144] = 0;

    assign c[147:146] = a[171:170];

    assign c[149:148] = {a[106], a[107]};

    assign c[151:150] = 0;

    assign c[153:152] = a[165:164];

    assign c[155:154] = {a[108], a[109]};

    assign c[157:156] = 0;

    assign c[159:158] = a[183:182];

    assign c[161:160] = {a[110], a[111]};

    assign c[163:162] = 0;

    assign c[165:164] = a[169:168];

    assign c[167:166] = a[121:120];

    assign c[169:168] = 0;

    assign c[171:170] = a[187:186];

    assign c[173:172] = a[123:122];

    assign c[175:174] = 0;

    assign c[177:176] = a[173:172];

    assign c[179:178] = a[125:124];

    assign c[181:180] = 0;

    assign c[183:182] = a[183:182];

    assign c[185:184] = a[127:126];

    assign c[187:186] = 0;

    assign c[189:188] = a[177:176];

    assign c[191:190] = {a[120], a[121]};

    assign c[193:192] = 0;

endmodule

/* c == v2(a) */

module v2(a, c);

    input [193:0] a;

    output [193:0] c;

    assign c[1:0] = a[187:186];

    assign c[3:2] = 0;

    assign c[5:4] = 0;

    assign c[7:6] = a[189:188];

    assign c[9:8] = 0;

    assign c[11:10] = 0;

    assign c[13:12] = a[191:190];

    assign c[15:14] = 0;

    assign c[17:16] = 0;

    assign c[19:18] = a[185:184];

    assign c[21:20] = 0;

    assign c[23:22] = 0;

    assign c[25:24] = 0;

    assign c[27:26] = a[123:122];

    assign c[29:28] = 0;

    assign c[31:30] = 0;

    assign c[33:32] = a[141:140];

    assign c[35:34] = 0;

    assign c[37:36] = 0;

    assign c[39:38] = a[143:142];

    assign c[41:40] = 0;

    assign c[43:42] = 0;

    assign c[45:44] = a[137:136];

    assign c[47:46] = 0;

    assign c[49:48] = 0;

    assign c[51:50] = a[131:130];

    assign c[53:52] = 0;

    assign c[55:54] = 0;

    assign c[57:56] = a[141:140];

    assign c[59:58] = 0;

    assign c[61:60] = 0;

    assign c[63:62] = a[143:142];

    assign c[65:64] = 0;

    assign c[67:66] = 0;

    assign c[69:68] = a[153:152];

    assign c[71:70] = 0;

    assign c[73:72] = 0;

    assign c[75:74] = a[139:138];

    assign c[77:76] = 0;

    assign c[79:78] = 0;

    assign c[81:80] = a[157:156];

    assign c[83:82] = 0;

    assign c[85:84] = 0;

    assign c[87:86] = a[159:158];

    assign c[89:88] = 0;

    assign c[91:90] = 0;

    assign c[93:92] = a[153:152];

    assign c[95:94] = 0;

    assign c[97:96] = 0;

    assign c[99:98] = a[147:146];

    assign c[101:100] = 0;

    assign c[103:102] = 0;

    assign c[105:104] = a[157:156];

    assign c[107:106] = 0;

    assign c[109:108] = 0;

    assign c[111:110] = a[159:158];

    assign c[113:112] = 0;

    assign c[115:114] = 0;

    assign c[117:116] = a[169:168];

    assign c[119:118] = 0;

    assign c[121:120] = 0;

    assign c[123:122] = a[155:154];

    assign c[125:124] = 0;

    assign c[127:126] = 0;

    assign c[129:128] = a[173:172];

    assign c[131:130] = 0;

    assign c[133:132] = 0;

    assign c[135:134] = a[175:174];

    assign c[137:136] = 0;

    assign c[139:138] = 0;

    assign c[141:140] = a[169:168];

    assign c[143:142] = 0;

    assign c[145:144] = 0;

    assign c[147:146] = a[163:162];

    assign c[149:148] = 0;

    assign c[151:150] = 0;

    assign c[153:152] = a[173:172];

    assign c[155:154] = 0;

    assign c[157:156] = 0;

    assign c[159:158] = a[175:174];

    assign c[161:160] = 0;

    assign c[163:162] = 0;

    assign c[165:164] = a[185:184];

    assign c[167:166] = 0;

    assign c[169:168] = 0;

    assign c[171:170] = a[171:170];

    assign c[173:172] = 0;

    assign c[175:174] = 0;

    assign c[177:176] = a[189:188];

    assign c[179:178] = 0;

    assign c[181:180] = 0;

    assign c[183:182] = a[191:190];

    assign c[185:184] = 0;

    assign c[187:186] = 0;

    assign c[189:188] = a[185:184];

    assign c[191:190] = 0;

    assign c[193:192] = 0;

endmodule