]>
Commit | Line | Data |
---|---|---|
df852d2b | 1 | // Copyright (c) 2009-2010 Satoshi Nakamoto |
f914f1a7 | 2 | // Copyright (c) 2009-2014 The Bitcoin Core developers |
78253fcb | 3 | // Distributed under the MIT software license, see the accompanying |
df852d2b | 4 | // file COPYING or http://www.opensource.org/licenses/mit-license.php. |
5 | ||
6 | #include "pow.h" | |
7 | ||
734f85c4 | 8 | #include "arith_uint256.h" |
22c4272b | 9 | #include "chain.h" |
fdda3c50 JG |
10 | #include "chainparams.h" |
11 | #include "crypto/equihash.h" | |
d2270111 | 12 | #include "primitives/block.h" |
fdda3c50 | 13 | #include "streams.h" |
df852d2b | 14 | #include "uint256.h" |
ad49c256 | 15 | #include "util.h" |
df852d2b | 16 | |
fdda3c50 JG |
17 | #include "sodium.h" |
18 | ||
802ea76b SB |
19 | #ifdef ENABLE_RUST |
20 | #include "librustzcash.h" | |
21 | #endif // ENABLE_RUST | |
ae0bb3d3 | 22 | uint32_t komodo_chainactive_timestamp(); |
802ea76b | 23 | |
d698ef69 | 24 | unsigned int GetNextWorkRequired(const CBlockIndex* pindexLast, const CBlockHeader *pblock, const Consensus::Params& params) |
df852d2b | 25 | { |
fd311996 | 26 | unsigned int nProofOfWorkLimit = UintToArith256(params.powLimit).GetCompact(); |
df852d2b | 27 | // Genesis block |
e583c8f8 | 28 | if (pindexLast == NULL ) |
df852d2b | 29 | return nProofOfWorkLimit; |
30 | ||
f2c48e15 JG |
31 | // Find the first block in the averaging interval |
32 | const CBlockIndex* pindexFirst = pindexLast; | |
7b173bd8 | 33 | arith_uint256 bnTot {0}; |
f2c48e15 | 34 | for (int i = 0; pindexFirst && i < params.nPowAveragingWindow; i++) { |
7b173bd8 JG |
35 | arith_uint256 bnTmp; |
36 | bnTmp.SetCompact(pindexFirst->nBits); | |
37 | bnTot += bnTmp; | |
f2c48e15 JG |
38 | pindexFirst = pindexFirst->pprev; |
39 | } | |
40 | ||
41 | // Check we have enough blocks | |
42 | if (pindexFirst == NULL) | |
43 | return nProofOfWorkLimit; | |
df852d2b | 44 | |
7b173bd8 JG |
45 | arith_uint256 bnAvg {bnTot / params.nPowAveragingWindow}; |
46 | ||
29842505 | 47 | return CalculateNextWorkRequired(bnAvg, pindexLast->GetMedianTimePast(), pindexFirst->GetMedianTimePast(), params); |
34e5015c RN |
48 | } |
49 | ||
29842505 JG |
50 | unsigned int CalculateNextWorkRequired(arith_uint256 bnAvg, |
51 | int64_t nLastBlockTime, int64_t nFirstBlockTime, | |
52 | const Consensus::Params& params) | |
34e5015c | 53 | { |
df852d2b | 54 | // Limit adjustment step |
f2c48e15 | 55 | // Use medians to prevent time-warp attacks |
e99731b4 | 56 | int64_t nActualTimespan = nLastBlockTime - nFirstBlockTime; |
f2c48e15 JG |
57 | LogPrint("pow", " nActualTimespan = %d before dampening\n", nActualTimespan); |
58 | nActualTimespan = params.AveragingWindowTimespan() + (nActualTimespan - params.AveragingWindowTimespan())/4; | |
59 | LogPrint("pow", " nActualTimespan = %d before bounds\n", nActualTimespan); | |
60 | ||
61 | if (nActualTimespan < params.MinActualTimespan()) | |
62 | nActualTimespan = params.MinActualTimespan(); | |
63 | if (nActualTimespan > params.MaxActualTimespan()) | |
64 | nActualTimespan = params.MaxActualTimespan(); | |
df852d2b | 65 | |
66 | // Retarget | |
fd311996 | 67 | const arith_uint256 bnPowLimit = UintToArith256(params.powLimit); |
29842505 | 68 | arith_uint256 bnNew {bnAvg}; |
f2c48e15 | 69 | bnNew /= params.AveragingWindowTimespan(); |
aa86873a | 70 | bnNew *= nActualTimespan; |
df852d2b | 71 | |
fd311996 CF |
72 | if (bnNew > bnPowLimit) |
73 | bnNew = bnPowLimit; | |
df852d2b | 74 | |
75 | /// debug print | |
f2c48e15 JG |
76 | LogPrint("pow", "GetNextWorkRequired RETARGET\n"); |
77 | LogPrint("pow", "params.AveragingWindowTimespan() = %d nActualTimespan = %d\n", params.AveragingWindowTimespan(), nActualTimespan); | |
29842505 | 78 | LogPrint("pow", "Current average: %08x %s\n", bnAvg.GetCompact(), bnAvg.ToString()); |
f2c48e15 | 79 | LogPrint("pow", "After: %08x %s\n", bnNew.GetCompact(), bnNew.ToString()); |
df852d2b | 80 | |
81 | return bnNew.GetCompact(); | |
82 | } | |
83 | ||
fdda3c50 JG |
84 | bool CheckEquihashSolution(const CBlockHeader *pblock, const CChainParams& params) |
85 | { | |
e9574728 JG |
86 | unsigned int n = params.EquihashN(); |
87 | unsigned int k = params.EquihashK(); | |
fdda3c50 JG |
88 | |
89 | // Hash state | |
90 | crypto_generichash_blake2b_state state; | |
e9574728 | 91 | EhInitialiseState(n, k, state); |
fdda3c50 JG |
92 | |
93 | // I = the block header minus nonce and solution. | |
94 | CEquihashInput I{*pblock}; | |
95 | // I||V | |
96 | CDataStream ss(SER_NETWORK, PROTOCOL_VERSION); | |
97 | ss << I; | |
98 | ss << pblock->nNonce; | |
99 | ||
100 | // H(I||V||... | |
101 | crypto_generichash_blake2b_update(&state, (unsigned char*)&ss[0], ss.size()); | |
102 | ||
802ea76b | 103 | #ifdef ENABLE_RUST |
6a0c7cea SB |
104 | // Ensure that our Rust interactions are working in production builds. This is |
105 | // temporary and should be removed. | |
106 | { | |
107 | assert(librustzcash_xor(0x0f0f0f0f0f0f0f0f, 0x1111111111111111) == 0x1e1e1e1e1e1e1e1e); | |
108 | } | |
802ea76b | 109 | #endif // ENABLE_RUST |
6a0c7cea | 110 | |
e9574728 JG |
111 | bool isValid; |
112 | EhIsValidSolution(n, k, state, pblock->nSolution, isValid); | |
113 | if (!isValid) | |
fdda3c50 JG |
114 | return error("CheckEquihashSolution(): invalid solution"); |
115 | ||
116 | return true; | |
117 | } | |
118 | ||
70a47bd3 | 119 | void komodo_pindex_init(CBlockIndex *pindex,int32_t height); |
8683bd8d | 120 | int32_t komodo_chosennotary(int32_t *notaryidp,int32_t height,uint8_t *pubkey33,uint32_t timestamp); |
82f82d3f | 121 | int32_t komodo_is_special(uint8_t pubkeys[66][33],int32_t mids[66],int32_t height,uint8_t pubkey33[33],uint32_t timestamp); |
c75c18fc | 122 | int32_t komodo_currentheight(); |
3617ec15 | 123 | CBlockIndex *komodo_chainactive(int32_t height); |
37955303 | 124 | void komodo_index2pubkey33(uint8_t *pubkey33,CBlockIndex *pindex,int32_t height); |
c75c18fc | 125 | extern int32_t KOMODO_CHOSEN_ONE; |
6d649e09 | 126 | extern uint64_t ASSETCHAINS_STAKED; |
8683bd8d | 127 | extern char ASSETCHAINS_SYMBOL[]; |
6c96293f | 128 | #define KOMODO_ELECTION_GAP 2000 |
32f5c6fb | 129 | |
8c654ec5 | 130 | int32_t komodo_eligiblenotary(uint8_t pubkeys[66][33],int32_t *mids,int32_t *nonzpkeysp,int32_t height); |
5f0ff2d5 | 131 | int32_t KOMODO_LOADINGBLOCKS = 1; |
29e60e48 | 132 | |
2a080a8a | 133 | extern std::string NOTARY_PUBKEY; |
134 | ||
f2dd868d | 135 | bool CheckProofOfWork(int32_t height,uint8_t *pubkey33,uint256 hash, unsigned int nBits, const Consensus::Params& params) |
df852d2b | 136 | { |
d8be8b2e | 137 | extern int32_t KOMODO_REWIND; |
d45545dc | 138 | bool fNegative,fOverflow; int32_t i,nonzpkeys=0,nonz=0,special=0,special2=0,notaryid=-1,flag = 0, mids[66]; uint32_t timestamp = 0; CBlockIndex *pindex=0; |
3bc02cff | 139 | arith_uint256 bnTarget; uint8_t pubkeys[66][33]; |
ae0bb3d3 | 140 | timestamp = komodo_chainactive_timestamp(); |
df852d2b | 141 | bnTarget.SetCompact(nBits, &fNegative, &fOverflow); |
0d2cefb0 | 142 | if ( height == 0 ) |
e2cf1dcb | 143 | { |
c75c18fc | 144 | height = komodo_currentheight() + 1; |
c8f73c1d | 145 | //fprintf(stderr,"set height to %d\n",height); |
e2cf1dcb | 146 | } |
87150126 | 147 | if ( height > 34000 && ASSETCHAINS_SYMBOL[0] == 0 ) // 0 -> non-special notary |
9997caa0 | 148 | { |
b05f9bfa | 149 | /*if ( (pindex= komodo_chainactive(height)) != 0 ) |
63745869 | 150 | { |
81323657 | 151 | komodo_pindex_init(pindex,height); |
63745869 | 152 | memcpy(pubkey33,pindex->pubkey33,33); |
b05f9bfa | 153 | }*/ |
e2cf1dcb | 154 | special = komodo_chosennotary(¬aryid,height,pubkey33,timestamp); |
9997caa0 | 155 | for (i=0; i<33; i++) |
681589a5 | 156 | { |
157 | if ( pubkey33[i] != 0 ) | |
158 | nonz++; | |
681589a5 | 159 | } |
681589a5 | 160 | if ( nonz == 0 ) |
87150126 | 161 | { |
f443a449 | 162 | //fprintf(stderr,"ht.%d null pubkey checkproof return\n",height); |
f9e18307 | 163 | return(true); // will come back via different path with pubkey set |
87150126 | 164 | } |
346d0b0d | 165 | flag = komodo_eligiblenotary(pubkeys,mids,&nonzpkeys,height); |
82f82d3f | 166 | special2 = komodo_is_special(pubkeys,mids,height,pubkey33,timestamp); |
7003739a | 167 | if ( notaryid >= 0 ) |
8c0ffb40 | 168 | { |
7003739a | 169 | if ( height > 10000 && height < 80000 && (special != 0 || special2 > 0) ) |
170 | flag = 1; | |
171 | else if ( height >= 80000 && height < 108000 && special2 > 0 ) | |
172 | flag = 1; | |
173 | else if ( height >= 108000 && special2 > 0 ) | |
174 | flag = ((height % KOMODO_ELECTION_GAP) > 64 || (height % KOMODO_ELECTION_GAP) == 0); | |
2c34965a | 175 | else if ( height == 790833 ) |
47cc7f6c | 176 | flag = 1; |
d0dc7ea8 | 177 | else if ( special2 < 0 ) |
178 | { | |
179 | if ( height > 792000 ) | |
180 | flag = 0; | |
181 | else fprintf(stderr,"ht.%d notaryid.%d special.%d flag.%d special2.%d\n",height,notaryid,special,flag,special2); | |
182 | } | |
07d48b0d | 183 | if ( flag != 0 || special2 > 0 ) |
184 | { | |
185 | //fprintf(stderr,"EASY MINING ht.%d\n",height); | |
186 | bnTarget.SetCompact(KOMODO_MINDIFF_NBITS,&fNegative,&fOverflow); | |
187 | } | |
fb9fcbf8 | 188 | } |
9997caa0 | 189 | } |
fd311996 | 190 | if (fNegative || bnTarget == 0 || fOverflow || bnTarget > UintToArith256(params.powLimit)) |
5262fde0 | 191 | return error("CheckProofOfWork(): nBits below minimum work"); |
df852d2b | 192 | // Check proof of work matches claimed amount |
4a4e912b | 193 | if ( UintToArith256(hash) > bnTarget ) |
7680b77f | 194 | { |
fcc5eb9a | 195 | if ( KOMODO_LOADINGBLOCKS != 0 ) |
e3a0c010 | 196 | return true; |
7680b77f | 197 | for (i=31; i>=0; i--) |
198 | printf("%02x",((uint8_t *)&hash)[i]); | |
199 | printf(" hash vs "); | |
200 | for (i=31; i>=0; i--) | |
201 | printf("%02x",((uint8_t *)&bnTarget)[i]); | |
202 | printf(" ht.%d special.%d notaryid.%d ht.%d mod.%d error\n",height,special,notaryid,height,(height % 35)); | |
b05f9bfa | 203 | /*if ( pindex != 0 ) |
9e6d49e9 | 204 | { |
d74896c5 | 205 | pindex->didinit = 0; |
84dbfee7 | 206 | komodo_index2pubkey33(pubkey33,pindex,height); |
b05f9bfa | 207 | }*/ |
7680b77f | 208 | for (i=0; i<33; i++) |
209 | printf("%02x",pubkey33[i]); | |
210 | printf(" <- pubkey\n"); | |
211 | for (i=0; i<66; i++) | |
212 | printf("%d ",mids[i]); | |
6a98bf06 | 213 | printf(" minerids from ht.%d pindex.%p\n",height,pindex); |
d0dc7ea8 | 214 | if ( height > 792000 ) |
215 | return false; | |
7680b77f | 216 | } |
df852d2b | 217 | return true; |
218 | } | |
219 | ||
734f85c4 | 220 | arith_uint256 GetBlockProof(const CBlockIndex& block) |
b343c1a1 | 221 | { |
734f85c4 | 222 | arith_uint256 bnTarget; |
b343c1a1 | 223 | bool fNegative; |
224 | bool fOverflow; | |
092b58d1 | 225 | bnTarget.SetCompact(block.nBits, &fNegative, &fOverflow); |
b343c1a1 | 226 | if (fNegative || fOverflow || bnTarget == 0) |
227 | return 0; | |
228 | // We need to compute 2**256 / (bnTarget+1), but we can't represent 2**256 | |
734f85c4 | 229 | // as it's too large for a arith_uint256. However, as 2**256 is at least as large |
b343c1a1 | 230 | // as bnTarget+1, it is equal to ((2**256 - bnTarget - 1) / (bnTarget+1)) + 1, |
231 | // or ~bnTarget / (nTarget+1) + 1. | |
232 | return (~bnTarget / (bnTarget + 1)) + 1; | |
df852d2b | 233 | } |
f7303f97 PW |
234 | |
235 | int64_t GetBlockProofEquivalentTime(const CBlockIndex& to, const CBlockIndex& from, const CBlockIndex& tip, const Consensus::Params& params) | |
236 | { | |
237 | arith_uint256 r; | |
238 | int sign = 1; | |
239 | if (to.nChainWork > from.nChainWork) { | |
240 | r = to.nChainWork - from.nChainWork; | |
241 | } else { | |
242 | r = from.nChainWork - to.nChainWork; | |
243 | sign = -1; | |
244 | } | |
245 | r = r * arith_uint256(params.nPowTargetSpacing) / GetBlockProof(tip); | |
246 | if (r.bits() > 63) { | |
247 | return sign * std::numeric_limits<int64_t>::max(); | |
248 | } | |
249 | return sign * r.GetLow64(); | |
250 | } |