Diffstat (limited to 'frontend/gamma/tests/tests/Clipperz/Crypto/ECC.BinaryField.FiniteField.B283.html') (more/less context) (ignore whitespace changes)
-rw-r--r-- | frontend/gamma/tests/tests/Clipperz/Crypto/ECC.BinaryField.FiniteField.B283.html | 209 |
1 files changed, 209 insertions, 0 deletions
diff --git a/frontend/gamma/tests/tests/Clipperz/Crypto/ECC.BinaryField.FiniteField.B283.html b/frontend/gamma/tests/tests/Clipperz/Crypto/ECC.BinaryField.FiniteField.B283.html new file mode 100644 index 0000000..3d7efaa --- a/dev/null +++ b/frontend/gamma/tests/tests/Clipperz/Crypto/ECC.BinaryField.FiniteField.B283.html | |||
@@ -0,0 +1,209 @@ | |||
1 | <!-- | ||
2 | |||
3 | Copyright 2008-2011 Clipperz Srl | ||
4 | |||
5 | This file is part of Clipperz's Javascript Crypto Library. | ||
6 | Javascript Crypto Library provides web developers with an extensive | ||
7 | and efficient set of cryptographic functions. The library aims to | ||
8 | obtain maximum execution speed while preserving modularity and | ||
9 | reusability. | ||
10 | For further information about its features and functionalities please | ||
11 | refer to http://www.clipperz.com | ||
12 | |||
13 | * Javascript Crypto Library is free software: you can redistribute | ||
14 | it and/or modify it under the terms of the GNU Affero General Public | ||
15 | License as published by the Free Software Foundation, either version | ||
16 | 3 of the License, or (at your option) any later version. | ||
17 | |||
18 | * Javascript Crypto Library is distributed in the hope that it will | ||
19 | be useful, but WITHOUT ANY WARRANTY; without even the implied | ||
20 | warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. | ||
21 | See the GNU Affero General Public License for more details. | ||
22 | |||
23 | * You should have received a copy of the GNU Affero General Public | ||
24 | License along with Javascript Crypto Library. If not, see | ||
25 | <http://www.gnu.org/licenses/>. | ||
26 | |||
27 | --> | ||
28 | |||
29 | <html> | ||
30 | <head> | ||
31 | <script type="text/javascript" src="../../../../js/MochiKit/MochiKit.js"></script> | ||
32 | <script type="text/javascript" src="../../../../js/JSLog/jslog.js"></script> | ||
33 | <script type="text/javascript" src="../../../SimpleTest/SimpleTest.js"></script> | ||
34 | <link rel="stylesheet" type="text/css" href="../../../SimpleTest/test.css"> | ||
35 | |||
36 | <script type='text/javascript' src='../../../../js/Clipperz/Base.js'></script> | ||
37 | <script type='text/javascript' src='../../../../js/Clipperz/ByteArray.js'></script> | ||
38 | |||
39 | <script type='text/javascript' src='../../../../js/Clipperz/Crypto/BigInt.js'></script> | ||
40 | <script type='text/javascript' src='../../../../js/Clipperz/Crypto/Base.js'></script> | ||
41 | <!--<script type='text/javascript' src='../../../../js/Clipperz/Crypto/ECC.js'></script>--> | ||
42 | <script type='text/javascript' src='../../../../js/Clipperz/Crypto/ECC/BinaryField/Value.js'></script> | ||
43 | <script type='text/javascript' src='../../../../js/Clipperz/Crypto/ECC/BinaryField/Point.js'></script> | ||
44 | <script type='text/javascript' src='../../../../js/Clipperz/Crypto/ECC/BinaryField/FiniteField.js'></script> | ||
45 | <script type='text/javascript' src='../../../../js/Clipperz/Crypto/ECC/BinaryField/Curve.js'></script> | ||
46 | <script type='text/javascript' src='../../../../js/Clipperz/Crypto/Functions.js'></script> | ||
47 | </head> | ||
48 | <body> | ||
49 | <pre id="test"> | ||
50 | <script type="text/javascript"> | ||
51 | try { | ||
52 | // | ||
53 | //ECC.BinaryFiniteField | ||
54 | // | ||
55 | varf2m; | ||
56 | varf2m_improved; | ||
57 | var a, a1, b; | ||
58 | var result; | ||
59 | var result_improved; | ||
60 | var expectedResul; | ||
61 | |||
62 | f2m = new Clipperz.Crypto.ECC.BinaryField.FiniteField({modulus:new Clipperz.Crypto.ECC.BinaryField.Value('08000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 000010a1', 16)}) | ||
63 | f2m_improved = Clipperz.Crypto.ECC.StandardCurves.B283().finiteField(); | ||
64 | a = new Clipperz.Crypto.ECC.BinaryField.Value("05c91e41 d9ca17ef 9d8a33c1 a44eba6d 368fde02 1c492077 1a46eb01 a481e5f7 f430749d", 16); | ||
65 | b = new Clipperz.Crypto.ECC.BinaryField.Value("07377071 2de7d57b a803f65f 45786c06 876b8066 db75ec47 81c053b0 a0f78e2c a6ab5187", 16); | ||
66 | |||
67 | // | ||
68 | //addition | ||
69 | // | ||
70 | result = f2m.add(a, b); | ||
71 | expectedResult = new Clipperz.Crypto.ECC.BinaryField.Value("2fe6e30f42dc2943589c59ee136d66bb1e45e64c73ccc309b86b8b104766bdb529b251a", 16); | ||
72 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFinetField.add"); | ||
73 | |||
74 | |||
75 | // | ||
76 | //negation | ||
77 | // | ||
78 | result = f2m.negate(a); | ||
79 | expectedResult = new Clipperz.Crypto.ECC.BinaryField.Value("5c91e41d9ca17ef9d8a33c1a44eba6d368fde021c4920771a46eb01a481e5f7f430749d", 16); | ||
80 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFinetField.negate"); | ||
81 | |||
82 | |||
83 | // | ||
84 | //multiplication | ||
85 | // | ||
86 | result = f2m.multiply(a, b); | ||
87 | expectedResult = new Clipperz.Crypto.ECC.BinaryField.Value("2bacb89668741f6d1f7fd7d3df2f045814086adba11d8bb5f12f3f9851e3b66fbe283cb", 16); | ||
88 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFinetField.multiply"); | ||
89 | |||
90 | |||
91 | // | ||
92 | //fast multiplication | ||
93 | // | ||
94 | result = f2m.fastMultiply(a, b); | ||
95 | expectedResult = f2m.multiply(a, b); | ||
96 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFinetField.fastMultiply"); | ||
97 | |||
98 | a = new Clipperz.Crypto.ECC.BinaryField.Value("2fe6e30f42dc2943589c59ee136d66bb1e45e64c73ccc309b86b8b104766bdb529b251a", 16); | ||
99 | b = new Clipperz.Crypto.ECC.BinaryField.Value("5c91e41d9ca17ef9d8a33c1a44eba6d368fde021c4920771a46eb01a481e5f7f430749d", 16); | ||
100 | result = f2m.fastMultiply(a, b); | ||
101 | expectedResult = f2m.multiply(a, b); | ||
102 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFinetField.B283.fastMultiply"); | ||
103 | |||
104 | // | ||
105 | //square | ||
106 | // | ||
107 | a = new Clipperz.Crypto.ECC.BinaryField.Value("1111", 16); | ||
108 | result = f2m.square(a); | ||
109 | expectedResult = f2m.multiply(a, a); | ||
110 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFinetField.square"); | ||
111 | |||
112 | a = new Clipperz.Crypto.ECC.BinaryField.Value("11111111", 16); | ||
113 | result = f2m.square(a); | ||
114 | expectedResult = f2m.multiply(a, a); | ||
115 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFinetField.square"); | ||
116 | |||
117 | a = new Clipperz.Crypto.ECC.BinaryField.Value("5c91e41d9ca17ef9d8a33c1a44eba6d368fde021c4920771a46eb01a481e5f7f430749d", 16); | ||
118 | result = f2m.square(a); | ||
119 | expectedResult = f2m.multiply(a, a); | ||
120 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFinetField.square"); | ||
121 | |||
122 | |||
123 | // | ||
124 | //inverse | ||
125 | // | ||
126 | a = new Clipperz.Crypto.ECC.BinaryField.Value("2fe6e30f42dc2943589c59ee136d66bb1e45e64c73ccc309b86b8b104766bdb529b251a", 16); | ||
127 | result = f2m.inverse(a); | ||
128 | expectedResult = new Clipperz.Crypto.ECC.BinaryField.Value("3812fc574f3728c60384e141c0e2a808e21adec22dcd407b9e25dd13c6d1bf22defd84a", 16); | ||
129 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFinetField.inverse"); | ||
130 | |||
131 | |||
132 | // | ||
133 | //module | ||
134 | // | ||
135 | |||
136 | a = new Clipperz.Crypto.ECC.BinaryField.Value("015655ebcb09fac51945162a0775f42df6151169826efdc55dea5d17c22adb92e6b1a6ae8311545ad7e0f46f09a5b960855e673db1e803a5b94562161213204ca1f24792e81f060a0aa6c29a492f106cc6d0b0ff4617b736dab590590a8cff9f807a15282544404e6b35841703c9fb00a9cad1d6878d601efc25368bdc51d5ff14a81610f4fe62cb2f452aee520a16", 16); | ||
137 | a1 = new Clipperz.Crypto.ECC.BinaryField.Value("015655ebcb09fac51945162a0775f42df6151169826efdc55dea5d17c22adb92e6b1a6ae8311545ad7e0f46f09a5b960855e673db1e803a5b94562161213204ca1f24792e81f060a0aa6c29a492f106cc6d0b0ff4617b736dab590590a8cff9f807a15282544404e6b35841703c9fb00a9cad1d6878d601efc25368bdc51d5ff14a81610f4fe62cb2f452aee520a16", 16); | ||
138 | result = f2m.module(a); | ||
139 | result_improved = f2m_improved.module(a1); | ||
140 | expectedResult = new Clipperz.Crypto.ECC.BinaryField.Value("2bacb89668741f6d1f7fd7d3df2f045814086adba11d8bb5f12f3f9851e3b66fbe283cb", 16); | ||
141 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFiniteField.module"); | ||
142 | is(result_improved.asString(16), expectedResult.asString(16), "ECC.BinaryFiniteField.module (improved)"); | ||
143 | is(result.asString(16), result_improved.asString(16), "standard vs improved 'module' methods"); | ||
144 | |||
145 | |||
146 | a = new Clipperz.Crypto.ECC.BinaryField.Value("1401ca87b8f144684a2c58ae9308c237789e4bf1f36dd117c150b7d6076dd1da6197fe4c5225a064db0e4222589d5ca50eb6bb6b7147a03f61528438a8767c6a6c4a6883fd6f067112f5c97e74737b38925fafe22cea3e12b868d4ddea5b3341db8fc2e788cab74f0a7a3cc27087a89365945369938650a99217d566e13f80dc87f08273f7411b6b01ef1d399c772a", 16); | ||
147 | a1 = new Clipperz.Crypto.ECC.BinaryField.Value("1401ca87b8f144684a2c58ae9308c237789e4bf1f36dd117c150b7d6076dd1da6197fe4c5225a064db0e4222589d5ca50eb6bb6b7147a03f61528438a8767c6a6c4a6883fd6f067112f5c97e74737b38925fafe22cea3e12b868d4ddea5b3341db8fc2e788cab74f0a7a3cc27087a89365945369938650a99217d566e13f80dc87f08273f7411b6b01ef1d399c772a", 16); | ||
148 | result = f2m.module(a); | ||
149 | result_improved = f2m_improved.module(a1); | ||
150 | expectedResult = new Clipperz.Crypto.ECC.BinaryField.Value("15e2097d116e745ac47480807cb5eb99dad902728aaf5692241063bc70a5b372dbce798", 16); | ||
151 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFiniteField.module (2)"); | ||
152 | is(result_improved.asString(16), expectedResult.asString(16), "ECC.BinaryFiniteField.module (improved) (2)"); | ||
153 | is(result.asString(16), result_improved.asString(16), "standard vs improved 'module' methods (2)"); | ||
154 | |||
155 | |||
156 | a = new Clipperz.Crypto.ECC.BinaryField.Value("112f5c97e74737b38925fafe22cea3e12b868d4ddea5b3341db8fc2e788cab74f0a7a3cc27087a89365945369938650a99217d566e13f80dc87f08273f7411b6b01ef1d399c772a1401ca87b8f144684a2c58ae9308c237789e4bf1f36dd117c150b7d6076dd1da6197fe4c5225a064db0e4222589d5ca50eb6bb6b7147a03f61528438a8767c6a6c4a6883fd6f067", 16); | ||
157 | a1 = new Clipperz.Crypto.ECC.BinaryField.Value("112f5c97e74737b38925fafe22cea3e12b868d4ddea5b3341db8fc2e788cab74f0a7a3cc27087a89365945369938650a99217d566e13f80dc87f08273f7411b6b01ef1d399c772a1401ca87b8f144684a2c58ae9308c237789e4bf1f36dd117c150b7d6076dd1da6197fe4c5225a064db0e4222589d5ca50eb6bb6b7147a03f61528438a8767c6a6c4a6883fd6f067", 16); | ||
158 | result = f2m.module(a); | ||
159 | result_improved = f2m_improved.module(a1); | ||
160 | expectedResult = new Clipperz.Crypto.ECC.BinaryField.Value("40f04cec8fe9caedf82adeff7e1aa06dcb9d08e097db8be2ad54b2ddc2e752152395623", 16); | ||
161 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFiniteField.module (3)"); | ||
162 | is(result_improved.asString(16), expectedResult.asString(16), "ECC.BinaryFiniteField.module (improved) (3)"); | ||
163 | is(result.asString(16), result_improved.asString(16), "standard vs improved 'module' methods (3)"); | ||
164 | |||
165 | |||
166 | a = new Clipperz.Crypto.ECC.BinaryField.Value("02f4bf57710a7e0826a80a339e59e34476c343e75452e4bf4355847e6b41e655ecb08f4c418b172d7963c525c26fdc84ac294a348d3907652f0fcbff3e4c8e2238a478e4277489ce", 16); | ||
167 | is(a.asString(16), "02f4bf57710a7e0826a80a339e59e34476c343e75452e4bf4355847e6b41e655ecb08f4c418b172d7963c525c26fdc84ac294a348d3907652f0fcbff3e4c8e2238a478e4277489ce", "ECC.BinaryFiniteField - original value as expected (4)") | ||
168 | a1 = new Clipperz.Crypto.ECC.BinaryField.Value("02f4bf57710a7e0826a80a339e59e34476c343e75452e4bf4355847e6b41e655ecb08f4c418b172d7963c525c26fdc84ac294a348d3907652f0fcbff3e4c8e2238a478e4277489ce", 16); | ||
169 | result = f2m.module(a); | ||
170 | result_improved = f2m_improved.module(a1); | ||
171 | expectedResult = new Clipperz.Crypto.ECC.BinaryField.Value("ba35032a24eb81238251d85824998bebae3b3e09f4d3845256c87585cf62416ee43191", 16); | ||
172 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFiniteField.module (4)"); | ||
173 | is(result_improved.asString(16), expectedResult.asString(16), "ECC.BinaryFiniteField.module (improved) (4)"); | ||
174 | is(result_improved.asString(16), "ba35032a24eb81238251d85824998bebae3b3e09f4d3845256c87585cf62416ee43191", "ECC.BinaryFinetField.module (static check) (4)"); | ||
175 | is(result.asString(16), result_improved.asString(16), "standard vs improved 'module' methods (4)"); | ||
176 | |||
177 | is(a.asString(16), "02f4bf57710a7e0826a80a339e59e34476c343e75452e4bf4355847e6b41e655ecb08f4c418b172d7963c525c26fdc84ac294a348d3907652f0fcbff3e4c8e2238a478e4277489ce", "ECC.BinaryFiniteField - original value preserved by standard method (4)") | ||
178 | is(a1.asString(16), "02f4bf57710a7e0826a80a339e59e34476c343e75452e4bf4355847e6b41e655ecb08f4c418b172d7963c525c26fdc84ac294a348d3907652f0fcbff3e4c8e2238a478e4277489ce", "ECC.BinaryFiniteField - original value preserved by improved method (4)") | ||
179 | |||
180 | |||
181 | a = new Clipperz.Crypto.ECC.BinaryField.Value("2f4bf57710a7e0826a80a339e59e34476c343e75452e4bf4355847e6b41e655ecb08f4c418b172d7963c525c26fdc84ac294a348d3907652f0fcbff3e4c8e2238a478e4277489ce", 16); | ||
182 | result_improved = f2m_improved.module(a); | ||
183 | result = f2m.module(a); | ||
184 | expectedResult = new Clipperz.Crypto.ECC.BinaryField.Value("ba35032a24eb81238251d85824998bebae3b3e09f4d3845256c87585cf62416ee43191", 16); | ||
185 | is(result.asString(16), expectedResult.asString(16), "ECC.BinaryFiniteField.module (5)"); | ||
186 | is(result_improved.asString(16), expectedResult.asString(16), "ECC.BinaryFiniteField.module (improved) (5)"); | ||
187 | is(result_improved.asString(16), "ba35032a24eb81238251d85824998bebae3b3e09f4d3845256c87585cf62416ee43191", "ECC.BinaryFinetField.module (static check) (5)"); | ||
188 | is(result.asString(16), result_improved.asString(16), "standard vs improved 'module' methods (5)"); | ||
189 | |||
190 | //------------------------------------------------------------------------- | ||
191 | } catch (err) { | ||
192 | |||
193 | var s = "test suite failure!\n"; | ||
194 | var o = {}; | ||
195 | var k = null; | ||
196 | for (k in err) { | ||
197 | // ensure unique keys?! | ||
198 | if (!o[k]) { | ||
199 | s += k + ": " + err[k] + "\n"; | ||
200 | o[k] = err[k]; | ||
201 | } | ||
202 | } | ||
203 | ok ( false, s ); | ||
204 | } | ||
205 | |||
206 | </script> | ||
207 | </pre> | ||
208 | </body> | ||
209 | </html> | ||