ARCHIVE/xahaud
3
0
Fork 0
mirror of https://github.com/Xahau/xahaud.git synced 2025-12-06 17:27:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

update max supply invariant

Browse Source
This commit is contained in:
Denis Angell
2023-08-02 23:53:53 +02:00
parent 5038a42701
commit 164eb58c4f
1 changed files with 29 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
src/ripple/app/tx/impl/InvariantCheck.cpp
View File

@@ -178,6 +178,19 @@ XRPNotCreated::finalize(
<< " drops_: " << drops_
<< " dropsAdded - fee.drops(): " << dropsAdded - fee.drops();
// We should never allow more than the max supply in totalCoins.
XRPAmount const newTotal = view.info().drops + dropsAdded;
if (newTotal > INITIAL_XRP)
{
JLOG(j.fatal()) << "Invariant failed Import: total coins paid exceeds "
<< "system limit: "<< INITIAL_XRP
<< "dropsAdded: " << dropsAdded
<< " fee.drops(): " << fee.drops()
<< " info().drops: " << view.info().drops
<< " newTotal: " << newTotal;
return false;
}
return (drops_ == dropsAdded.drops() - fee.drops());
}
@@ -190,10 +203,10 @@ XRPNotCreated::finalize(
dropsAdded += dest.getFieldAmount(sfAmount).xrp();
JLOG(j.trace())
<< "Invariant XRPNotCreated GenesisMint: "
<< "Invariant XRPNotCreated GenesisMint: "
<< "dropsAdded: " << dropsAdded
<< " fee.drops(): " << fee.drops()
<< " drops_: " << drops_
<< " fee.drops(): " << fee.drops()
<< " drops_: " << drops_
<< " dropsAdded - fee.drops(): " << dropsAdded - fee.drops();
int64_t drops = dropsAdded.drops() - fee.drops();
@@ -202,10 +215,21 @@ XRPNotCreated::finalize(
if (drops > dropsAdded.drops() || drops > fee.drops())
return false;
// We should never allow more than the max supply in totalCoins.
XRPAmount const newTotal = view.info().drops + dropsAdded;
if (newTotal > INITIAL_XRP)
{
JLOG(j.fatal()) << "Invariant failed GenesisMint: total coins exceeds "
<< "system limit: "<< INITIAL_XRP
<< "dropsAdded: " << dropsAdded
<< " fee.drops(): " << fee.drops()
<< " info().drops: " << view.info().drops
<< " newTotal: " << newTotal;
return false;
}
return drops_ == drops;
}
// The net change should never be positive, as this would mean that the
// transaction created XRP out of thin air. That's not possible.