s3py
This is the gasWrapper function that's in the DBXEN contract:
You're correct that this is looks different from what we see in the litepaper, but it's really the same. The 5 in the equation corresponds to the 0.00005 from the whitepaper formula because MAX_BPS = 100,000, which comes also from the smart contract:
uint256 public constant MAX_BPS = 100_000;
So the calculation is:
discount=batchNumber×(100,000−5×batchNumber)
Both formulas are essentially the same, the only difference is that the representation in the contract has accounted for finer granularity (with MAX_BPS = 100,000).
Now, the part that isn't in the litepaper is the addon of 39400 gwei and @razvancostin14 can comment on why that was added as a constant overhead into the gasWrapper function, but it's likely a gas buffer to account for a gas consumption related to executing the rest of the code (something Raz hinted about).
I guess the main reason this wasn't captured in the original litepaper was to give a high-level overview instead of the technical details that would complicate the narrative for a general non technical audience. If this is the cost to complete the execution, 39400 gwei overhead would not be a central part of the project's value proposition and I guess it shouldn't be featured in the mathematical formula either (albeit it could be a note somewhere in the appendix for the technical audience).
