]> Git Repo - VerusCoin.git/blame - src/pow.cpp
Test
[VerusCoin.git] / src / pow.cpp
CommitLineData
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 22uint32_t komodo_chainactive_timestamp();
802ea76b 23
d698ef69 24unsigned 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
50unsigned 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
84bool 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
8683bd8d 119int32_t komodo_chosennotary(int32_t *notaryidp,int32_t height,uint8_t *pubkey33,uint32_t timestamp);
dac3c30c 120int32_t komodo_is_special(uint8_t pubkeys[66][33],int32_t mids[66],uint32_t blocktimes[66],int32_t height,uint8_t pubkey33[33],uint32_t blocktime);
c75c18fc 121int32_t komodo_currentheight();
3617ec15 122CBlockIndex *komodo_chainactive(int32_t height);
37955303 123void komodo_index2pubkey33(uint8_t *pubkey33,CBlockIndex *pindex,int32_t height);
c75c18fc 124extern int32_t KOMODO_CHOSEN_ONE;
6d649e09 125extern uint64_t ASSETCHAINS_STAKED;
8683bd8d 126extern char ASSETCHAINS_SYMBOL[];
6c96293f 127#define KOMODO_ELECTION_GAP 2000
c54cb7d5 128
a30dd993 129int32_t komodo_eligiblenotary(uint8_t pubkeys[66][33],int32_t *mids,uint32_t blocktimes[66],int32_t *nonzpkeysp,int32_t height);
5f0ff2d5 130int32_t KOMODO_LOADINGBLOCKS = 1;
29e60e48 131
2a080a8a 132extern std::string NOTARY_PUBKEY;
133
a30dd993 134bool CheckProofOfWork(int32_t height,uint8_t *pubkey33,uint256 hash,unsigned int nBits,const Consensus::Params& params,uint32_t blocktime)
df852d2b 135{
d8be8b2e 136 extern int32_t KOMODO_REWIND;
b2e33f78 137 bool fNegative,fOverflow; uint8_t origpubkey33[33]; int32_t i,nonzpkeys=0,nonz=0,special=0,special2=0,notaryid=-1,flag = 0, mids[66]; uint32_t tiptime,blocktimes[66];
3bc02cff 138 arith_uint256 bnTarget; uint8_t pubkeys[66][33];
fd002038 139 memcpy(origpubkey33,pubkey33,33);
b2e33f78 140 memset(blocktimes,0,sizeof(blocktimes));
a30dd993 141 tiptime = komodo_chainactive_timestamp();
df852d2b 142 bnTarget.SetCompact(nBits, &fNegative, &fOverflow);
0d2cefb0 143 if ( height == 0 )
e2cf1dcb 144 {
c75c18fc 145 height = komodo_currentheight() + 1;
c8f73c1d 146 //fprintf(stderr,"set height to %d\n",height);
e2cf1dcb 147 }
87150126 148 if ( height > 34000 && ASSETCHAINS_SYMBOL[0] == 0 ) // 0 -> non-special notary
9997caa0 149 {
3ad8d247 150 special = komodo_chosennotary(&notaryid,height,pubkey33,tiptime);
9997caa0 151 for (i=0; i<33; i++)
681589a5 152 {
153 if ( pubkey33[i] != 0 )
154 nonz++;
681589a5 155 }
681589a5 156 if ( nonz == 0 )
87150126 157 {
dac3c30c 158 fprintf(stderr,"ht.%d null pubkey checkproof return\n",height);
f9e18307 159 return(true); // will come back via different path with pubkey set
87150126 160 }
a30dd993 161 flag = komodo_eligiblenotary(pubkeys,mids,blocktimes,&nonzpkeys,height);
dac3c30c 162 special2 = komodo_is_special(pubkeys,mids,blocktimes,height,pubkey33,blocktime);
7003739a 163 if ( notaryid >= 0 )
8c0ffb40 164 {
7003739a 165 if ( height > 10000 && height < 80000 && (special != 0 || special2 > 0) )
166 flag = 1;
167 else if ( height >= 80000 && height < 108000 && special2 > 0 )
168 flag = 1;
169 else if ( height >= 108000 && special2 > 0 )
170 flag = ((height % KOMODO_ELECTION_GAP) > 64 || (height % KOMODO_ELECTION_GAP) == 0);
2c34965a 171 else if ( height == 790833 )
47cc7f6c 172 flag = 1;
d0dc7ea8 173 else if ( special2 < 0 )
174 {
175 if ( height > 792000 )
176 flag = 0;
177 else fprintf(stderr,"ht.%d notaryid.%d special.%d flag.%d special2.%d\n",height,notaryid,special,flag,special2);
178 }
3ad8d247 179 if ( (flag != 0 || special2 > 0) && special2 != -2 )
07d48b0d 180 {
dac3c30c 181 fprintf(stderr,"EASY MINING ht.%d\n",height);
07d48b0d 182 bnTarget.SetCompact(KOMODO_MINDIFF_NBITS,&fNegative,&fOverflow);
183 }
fb9fcbf8 184 }
9997caa0 185 }
fd311996 186 if (fNegative || bnTarget == 0 || fOverflow || bnTarget > UintToArith256(params.powLimit))
5262fde0 187 return error("CheckProofOfWork(): nBits below minimum work");
df852d2b 188 // Check proof of work matches claimed amount
4a4e912b 189 if ( UintToArith256(hash) > bnTarget )
7680b77f 190 {
fcc5eb9a 191 if ( KOMODO_LOADINGBLOCKS != 0 )
e3a0c010 192 return true;
958ee90a 193 if ( ASSETCHAINS_SYMBOL[0] != 0 || height > 792000 )
9e6d49e9 194 {
3d3f275f 195 if ( 1 && height > 792000 )
5c7c4cc9 196 {
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));
203 for (i=0; i<33; i++)
204 printf("%02x",pubkey33[i]);
205 printf(" <- pubkey\n");
206 for (i=0; i<33; i++)
207 printf("%02x",origpubkey33[i]);
208 printf(" <- origpubkey\n");
209 for (i=0; i<66; i++)
210 printf("%d ",mids[i]);
958ee90a 211 printf(" minerids from ht.%d\n",height);
5c7c4cc9 212 }
54f7311d 213 return false;
958ee90a 214 }
7680b77f 215 }
973793f7 216 for (i=31; i>=0; i--)
217 fprintf(stderr,"%02x",((uint8_t *)&hash)[i]);
218 fprintf(stderr," hash vs ");
219 for (i=31; i>=0; i--)
220 fprintf(stderr,"%02x",((uint8_t *)&bnTarget)[i]);
221 fprintf(stderr," height.%d notaryid.%d PoW valid\n",height,notaryid);
df852d2b 222 return true;
223}
224
734f85c4 225arith_uint256 GetBlockProof(const CBlockIndex& block)
b343c1a1 226{
734f85c4 227 arith_uint256 bnTarget;
b343c1a1 228 bool fNegative;
229 bool fOverflow;
092b58d1 230 bnTarget.SetCompact(block.nBits, &fNegative, &fOverflow);
b343c1a1 231 if (fNegative || fOverflow || bnTarget == 0)
232 return 0;
233 // We need to compute 2**256 / (bnTarget+1), but we can't represent 2**256
734f85c4 234 // as it's too large for a arith_uint256. However, as 2**256 is at least as large
b343c1a1 235 // as bnTarget+1, it is equal to ((2**256 - bnTarget - 1) / (bnTarget+1)) + 1,
236 // or ~bnTarget / (nTarget+1) + 1.
237 return (~bnTarget / (bnTarget + 1)) + 1;
df852d2b 238}
f7303f97
PW
239
240int64_t GetBlockProofEquivalentTime(const CBlockIndex& to, const CBlockIndex& from, const CBlockIndex& tip, const Consensus::Params& params)
241{
242 arith_uint256 r;
243 int sign = 1;
244 if (to.nChainWork > from.nChainWork) {
245 r = to.nChainWork - from.nChainWork;
246 } else {
247 r = from.nChainWork - to.nChainWork;
248 sign = -1;
249 }
250 r = r * arith_uint256(params.nPowTargetSpacing) / GetBlockProof(tip);
251 if (r.bits() > 63) {
252 return sign * std::numeric_limits<int64_t>::max();
253 }
254 return sign * r.GetLow64();
255}
This page took 0.347388 seconds and 4 git commands to generate.