Branch data Line data Source code
1 : : // Copyright (c) 2011-2021 The Bitcoin Core developers
2 : : // Distributed under the MIT software license, see the accompanying
3 : : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
4 : :
5 : : #include <arith_uint256.h>
6 : : #include <streams.h>
7 : : #include <test/util/setup_common.h>
8 : : #include <uint256.h>
9 : : #include <version.h>
10 : :
11 : : #include <boost/test/unit_test.hpp>
12 : :
13 : : #include <iomanip>
14 : : #include <sstream>
15 : : #include <string>
16 : : #include <vector>
17 : :
18 : 0 : BOOST_AUTO_TEST_SUITE(uint256_tests)
19 : :
20 : : const unsigned char R1Array[] =
21 : : "\x9c\x52\x4a\xdb\xcf\x56\x11\x12\x2b\x29\x12\x5e\x5d\x35\xd2\xd2"
22 : : "\x22\x81\xaa\xb5\x33\xf0\x08\x32\xd5\x56\xb1\xf9\xea\xe5\x1d\x7d";
23 : : const char R1ArrayHex[] = "7D1DE5EAF9B156D53208F033B5AA8122D2d2355d5e12292b121156cfdb4a529c";
24 : 0 : const uint256 R1L = uint256(std::vector<unsigned char>(R1Array,R1Array+32));
25 : 0 : const uint160 R1S = uint160(std::vector<unsigned char>(R1Array,R1Array+20));
26 : :
27 : : const unsigned char R2Array[] =
28 : : "\x70\x32\x1d\x7c\x47\xa5\x6b\x40\x26\x7e\x0a\xc3\xa6\x9c\xb6\xbf"
29 : : "\x13\x30\x47\xa3\x19\x2d\xda\x71\x49\x13\x72\xf0\xb4\xca\x81\xd7";
30 : 0 : const uint256 R2L = uint256(std::vector<unsigned char>(R2Array,R2Array+32));
31 : 0 : const uint160 R2S = uint160(std::vector<unsigned char>(R2Array,R2Array+20));
32 : :
33 : : const unsigned char ZeroArray[] =
34 : : "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
35 : : "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00";
36 : 0 : const uint256 ZeroL = uint256(std::vector<unsigned char>(ZeroArray,ZeroArray+32));
37 : 0 : const uint160 ZeroS = uint160(std::vector<unsigned char>(ZeroArray,ZeroArray+20));
38 : :
39 : : const unsigned char OneArray[] =
40 : : "\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
41 : : "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00";
42 : 0 : const uint256 OneL = uint256(std::vector<unsigned char>(OneArray,OneArray+32));
43 : 0 : const uint160 OneS = uint160(std::vector<unsigned char>(OneArray,OneArray+20));
44 : :
45 : : const unsigned char MaxArray[] =
46 : : "\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
47 : : "\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff";
48 : 0 : const uint256 MaxL = uint256(std::vector<unsigned char>(MaxArray,MaxArray+32));
49 : 0 : const uint160 MaxS = uint160(std::vector<unsigned char>(MaxArray,MaxArray+20));
50 : :
51 : 0 : static std::string ArrayToString(const unsigned char A[], unsigned int width)
52 : : {
53 : 0 : std::stringstream Stream;
54 : 0 : Stream << std::hex;
55 : 0 : for (unsigned int i = 0; i < width; ++i)
56 : : {
57 : 0 : Stream<<std::setw(2)<<std::setfill('0')<<(unsigned int)A[width-i-1];
58 : 0 : }
59 : 0 : return Stream.str();
60 : 0 : }
61 : :
62 : 0 : inline uint160 uint160S(const char *str)
63 : : {
64 : 0 : uint160 rv;
65 : 0 : rv.SetHex(str);
66 : 0 : return rv;
67 : : }
68 : 0 : inline uint160 uint160S(const std::string& str)
69 : : {
70 : 0 : uint160 rv;
71 : 0 : rv.SetHex(str);
72 : 0 : return rv;
73 : : }
74 : 0 :
75 : 0 : BOOST_AUTO_TEST_CASE( basics ) // constructors, equality, inequality
76 : : {
77 : 0 : BOOST_CHECK(1 == 0+1);
78 : : // constructor uint256(vector<char>):
79 : 0 : BOOST_CHECK(R1L.ToString() == ArrayToString(R1Array,32));
80 : 0 : BOOST_CHECK(R1S.ToString() == ArrayToString(R1Array,20));
81 : 0 : BOOST_CHECK(R2L.ToString() == ArrayToString(R2Array,32));
82 : 0 : BOOST_CHECK(R2S.ToString() == ArrayToString(R2Array,20));
83 : 0 : BOOST_CHECK(ZeroL.ToString() == ArrayToString(ZeroArray,32));
84 : 0 : BOOST_CHECK(ZeroS.ToString() == ArrayToString(ZeroArray,20));
85 : 0 : BOOST_CHECK(OneL.ToString() == ArrayToString(OneArray,32));
86 : 0 : BOOST_CHECK(OneS.ToString() == ArrayToString(OneArray,20));
87 : 0 : BOOST_CHECK(MaxL.ToString() == ArrayToString(MaxArray,32));
88 : 0 : BOOST_CHECK(MaxS.ToString() == ArrayToString(MaxArray,20));
89 : 0 : BOOST_CHECK(OneL.ToString() != ArrayToString(ZeroArray,32));
90 : 0 : BOOST_CHECK(OneS.ToString() != ArrayToString(ZeroArray,20));
91 : :
92 : : // == and !=
93 : 0 : BOOST_CHECK(R1L != R2L && R1S != R2S);
94 : 0 : BOOST_CHECK(ZeroL != OneL && ZeroS != OneS);
95 : 0 : BOOST_CHECK(OneL != ZeroL && OneS != ZeroS);
96 : 0 : BOOST_CHECK(MaxL != ZeroL && MaxS != ZeroS);
97 : :
98 : : // String Constructor and Copy Constructor
99 : 0 : BOOST_CHECK(uint256S("0x"+R1L.ToString()) == R1L);
100 : 0 : BOOST_CHECK(uint256S("0x"+R2L.ToString()) == R2L);
101 : 0 : BOOST_CHECK(uint256S("0x"+ZeroL.ToString()) == ZeroL);
102 : 0 : BOOST_CHECK(uint256S("0x"+OneL.ToString()) == OneL);
103 : 0 : BOOST_CHECK(uint256S("0x"+MaxL.ToString()) == MaxL);
104 : 0 : BOOST_CHECK(uint256S(R1L.ToString()) == R1L);
105 : 0 : BOOST_CHECK(uint256S(" 0x"+R1L.ToString()+" ") == R1L);
106 : 0 : BOOST_CHECK(uint256S("") == ZeroL);
107 : 0 : BOOST_CHECK(R1L == uint256S(R1ArrayHex));
108 : 0 : BOOST_CHECK(uint256(R1L) == R1L);
109 : 0 : BOOST_CHECK(uint256(ZeroL) == ZeroL);
110 : 0 : BOOST_CHECK(uint256(OneL) == OneL);
111 : :
112 : 0 : BOOST_CHECK(uint160S("0x"+R1S.ToString()) == R1S);
113 : 0 : BOOST_CHECK(uint160S("0x"+R2S.ToString()) == R2S);
114 : 0 : BOOST_CHECK(uint160S("0x"+ZeroS.ToString()) == ZeroS);
115 : 0 : BOOST_CHECK(uint160S("0x"+OneS.ToString()) == OneS);
116 : 0 : BOOST_CHECK(uint160S("0x"+MaxS.ToString()) == MaxS);
117 : 0 : BOOST_CHECK(uint160S(R1S.ToString()) == R1S);
118 : 0 : BOOST_CHECK(uint160S(" 0x"+R1S.ToString()+" ") == R1S);
119 : 0 : BOOST_CHECK(uint160S("") == ZeroS);
120 : 0 : BOOST_CHECK(R1S == uint160S(R1ArrayHex));
121 : :
122 : 0 : BOOST_CHECK(uint160(R1S) == R1S);
123 : 0 : BOOST_CHECK(uint160(ZeroS) == ZeroS);
124 : 0 : BOOST_CHECK(uint160(OneS) == OneS);
125 : 0 : }
126 : :
127 : 0 : BOOST_AUTO_TEST_CASE( comparison ) // <= >= < >
128 : : {
129 : 0 : uint256 LastL;
130 : 0 : for (int i = 255; i >= 0; --i) {
131 : 0 : uint256 TmpL;
132 : 0 : *(TmpL.begin() + (i>>3)) |= 1<<(7-(i&7));
133 : 0 : BOOST_CHECK( LastL < TmpL );
134 : 0 : LastL = TmpL;
135 : 0 : }
136 : :
137 : 0 : BOOST_CHECK( ZeroL < R1L );
138 : 0 : BOOST_CHECK( R2L < R1L );
139 : 0 : BOOST_CHECK( ZeroL < OneL );
140 : 0 : BOOST_CHECK( OneL < MaxL );
141 : 0 : BOOST_CHECK( R1L < MaxL );
142 : 0 : BOOST_CHECK( R2L < MaxL );
143 : :
144 : 0 : uint160 LastS;
145 : 0 : for (int i = 159; i >= 0; --i) {
146 : 0 : uint160 TmpS;
147 : 0 : *(TmpS.begin() + (i>>3)) |= 1<<(7-(i&7));
148 : 0 : BOOST_CHECK( LastS < TmpS );
149 : 0 : LastS = TmpS;
150 : 0 : }
151 : 0 : BOOST_CHECK( ZeroS < R1S );
152 : 0 : BOOST_CHECK( R2S < R1S );
153 : 0 : BOOST_CHECK( ZeroS < OneS );
154 : 0 : BOOST_CHECK( OneS < MaxS );
155 : 0 : BOOST_CHECK( R1S < MaxS );
156 : 0 : BOOST_CHECK( R2S < MaxS );
157 : 0 : }
158 : :
159 : 0 : BOOST_AUTO_TEST_CASE( methods ) // GetHex SetHex begin() end() size() GetLow64 GetSerializeSize, Serialize, Unserialize
160 : : {
161 : 0 : BOOST_CHECK(R1L.GetHex() == R1L.ToString());
162 : 0 : BOOST_CHECK(R2L.GetHex() == R2L.ToString());
163 : 0 : BOOST_CHECK(OneL.GetHex() == OneL.ToString());
164 : 0 : BOOST_CHECK(MaxL.GetHex() == MaxL.ToString());
165 : 0 : uint256 TmpL(R1L);
166 : 0 : BOOST_CHECK(TmpL == R1L);
167 : 0 : TmpL.SetHex(R2L.ToString()); BOOST_CHECK(TmpL == R2L);
168 : 0 : TmpL.SetHex(ZeroL.ToString()); BOOST_CHECK(TmpL == uint256());
169 : :
170 : 0 : TmpL.SetHex(R1L.ToString());
171 : 0 : BOOST_CHECK(memcmp(R1L.begin(), R1Array, 32)==0);
172 : 0 : BOOST_CHECK(memcmp(TmpL.begin(), R1Array, 32)==0);
173 : 0 : BOOST_CHECK(memcmp(R2L.begin(), R2Array, 32)==0);
174 : 0 : BOOST_CHECK(memcmp(ZeroL.begin(), ZeroArray, 32)==0);
175 : 0 : BOOST_CHECK(memcmp(OneL.begin(), OneArray, 32)==0);
176 : 0 : BOOST_CHECK(R1L.size() == sizeof(R1L));
177 : 0 : BOOST_CHECK(sizeof(R1L) == 32);
178 : 0 : BOOST_CHECK(R1L.size() == 32);
179 : 0 : BOOST_CHECK(R2L.size() == 32);
180 : 0 : BOOST_CHECK(ZeroL.size() == 32);
181 : 0 : BOOST_CHECK(MaxL.size() == 32);
182 : 0 : BOOST_CHECK(R1L.begin() + 32 == R1L.end());
183 : 0 : BOOST_CHECK(R2L.begin() + 32 == R2L.end());
184 : 0 : BOOST_CHECK(OneL.begin() + 32 == OneL.end());
185 : 0 : BOOST_CHECK(MaxL.begin() + 32 == MaxL.end());
186 : 0 : BOOST_CHECK(TmpL.begin() + 32 == TmpL.end());
187 : 0 : BOOST_CHECK(GetSerializeSize(R1L, PROTOCOL_VERSION) == 32);
188 : 0 : BOOST_CHECK(GetSerializeSize(ZeroL, PROTOCOL_VERSION) == 32);
189 : :
190 : 0 : DataStream ss{};
191 : 0 : ss << R1L;
192 : 0 : BOOST_CHECK(ss.str() == std::string(R1Array,R1Array+32));
193 : 0 : ss >> TmpL;
194 : 0 : BOOST_CHECK(R1L == TmpL);
195 : 0 : ss.clear();
196 : 0 : ss << ZeroL;
197 : 0 : BOOST_CHECK(ss.str() == std::string(ZeroArray,ZeroArray+32));
198 : 0 : ss >> TmpL;
199 : 0 : BOOST_CHECK(ZeroL == TmpL);
200 : 0 : ss.clear();
201 : 0 : ss << MaxL;
202 : 0 : BOOST_CHECK(ss.str() == std::string(MaxArray,MaxArray+32));
203 : 0 : ss >> TmpL;
204 : 0 : BOOST_CHECK(MaxL == TmpL);
205 : 0 : ss.clear();
206 : :
207 : 0 : BOOST_CHECK(R1S.GetHex() == R1S.ToString());
208 : 0 : BOOST_CHECK(R2S.GetHex() == R2S.ToString());
209 : 0 : BOOST_CHECK(OneS.GetHex() == OneS.ToString());
210 : 0 : BOOST_CHECK(MaxS.GetHex() == MaxS.ToString());
211 : 0 : uint160 TmpS(R1S);
212 : 0 : BOOST_CHECK(TmpS == R1S);
213 : 0 : TmpS.SetHex(R2S.ToString()); BOOST_CHECK(TmpS == R2S);
214 : 0 : TmpS.SetHex(ZeroS.ToString()); BOOST_CHECK(TmpS == uint160());
215 : :
216 : 0 : TmpS.SetHex(R1S.ToString());
217 : 0 : BOOST_CHECK(memcmp(R1S.begin(), R1Array, 20)==0);
218 : 0 : BOOST_CHECK(memcmp(TmpS.begin(), R1Array, 20)==0);
219 : 0 : BOOST_CHECK(memcmp(R2S.begin(), R2Array, 20)==0);
220 : 0 : BOOST_CHECK(memcmp(ZeroS.begin(), ZeroArray, 20)==0);
221 : 0 : BOOST_CHECK(memcmp(OneS.begin(), OneArray, 20)==0);
222 : 0 : BOOST_CHECK(R1S.size() == sizeof(R1S));
223 : 0 : BOOST_CHECK(sizeof(R1S) == 20);
224 : 0 : BOOST_CHECK(R1S.size() == 20);
225 : 0 : BOOST_CHECK(R2S.size() == 20);
226 : 0 : BOOST_CHECK(ZeroS.size() == 20);
227 : 0 : BOOST_CHECK(MaxS.size() == 20);
228 : 0 : BOOST_CHECK(R1S.begin() + 20 == R1S.end());
229 : 0 : BOOST_CHECK(R2S.begin() + 20 == R2S.end());
230 : 0 : BOOST_CHECK(OneS.begin() + 20 == OneS.end());
231 : 0 : BOOST_CHECK(MaxS.begin() + 20 == MaxS.end());
232 : 0 : BOOST_CHECK(TmpS.begin() + 20 == TmpS.end());
233 : 0 : BOOST_CHECK(GetSerializeSize(R1S, PROTOCOL_VERSION) == 20);
234 : 0 : BOOST_CHECK(GetSerializeSize(ZeroS, PROTOCOL_VERSION) == 20);
235 : :
236 : 0 : ss << R1S;
237 : 0 : BOOST_CHECK(ss.str() == std::string(R1Array,R1Array+20));
238 : 0 : ss >> TmpS;
239 : 0 : BOOST_CHECK(R1S == TmpS);
240 : 0 : ss.clear();
241 : 0 : ss << ZeroS;
242 : 0 : BOOST_CHECK(ss.str() == std::string(ZeroArray,ZeroArray+20));
243 : 0 : ss >> TmpS;
244 : 0 : BOOST_CHECK(ZeroS == TmpS);
245 : 0 : ss.clear();
246 : 0 : ss << MaxS;
247 : 0 : BOOST_CHECK(ss.str() == std::string(MaxArray,MaxArray+20));
248 : 0 : ss >> TmpS;
249 : 0 : BOOST_CHECK(MaxS == TmpS);
250 : 0 : ss.clear();
251 : 0 : }
252 : :
253 : 0 : BOOST_AUTO_TEST_CASE( conversion )
254 : : {
255 : 0 : BOOST_CHECK(ArithToUint256(UintToArith256(ZeroL)) == ZeroL);
256 : 0 : BOOST_CHECK(ArithToUint256(UintToArith256(OneL)) == OneL);
257 : 0 : BOOST_CHECK(ArithToUint256(UintToArith256(R1L)) == R1L);
258 : 0 : BOOST_CHECK(ArithToUint256(UintToArith256(R2L)) == R2L);
259 : 0 : BOOST_CHECK(UintToArith256(ZeroL) == 0);
260 : 0 : BOOST_CHECK(UintToArith256(OneL) == 1);
261 : 0 : BOOST_CHECK(ArithToUint256(0) == ZeroL);
262 : 0 : BOOST_CHECK(ArithToUint256(1) == OneL);
263 : 0 : BOOST_CHECK(arith_uint256(R1L.GetHex()) == UintToArith256(R1L));
264 : 0 : BOOST_CHECK(arith_uint256(R2L.GetHex()) == UintToArith256(R2L));
265 : 0 : BOOST_CHECK(R1L.GetHex() == UintToArith256(R1L).GetHex());
266 : 0 : BOOST_CHECK(R2L.GetHex() == UintToArith256(R2L).GetHex());
267 : 0 : }
268 : :
269 : 0 : BOOST_AUTO_TEST_CASE( operator_with_self )
270 : : {
271 : 0 : arith_uint256 v = UintToArith256(uint256S("02"));
272 : 0 : v *= v;
273 : 0 : BOOST_CHECK(v == UintToArith256(uint256S("04")));
274 : 0 : v /= v;
275 : 0 : BOOST_CHECK(v == UintToArith256(uint256S("01")));
276 : 0 : v += v;
277 : 0 : BOOST_CHECK(v == UintToArith256(uint256S("02")));
278 : 0 : v -= v;
279 : 0 : BOOST_CHECK(v == UintToArith256(uint256S("0")));
280 : 0 : }
281 : :
282 : 0 : BOOST_AUTO_TEST_CASE( check_ONE )
283 : : {
284 : 0 : uint256 one = uint256S("0000000000000000000000000000000000000000000000000000000000000001");
285 : 0 : BOOST_CHECK_EQUAL(one, uint256::ONE);
286 : 0 : }
287 : :
288 : 0 : BOOST_AUTO_TEST_SUITE_END()
|
