{"componentChunkName":"component---src-pages-sips-sip-markdown-remark-frontmatter-sip-tsx","path":"/sips/sip-187/","result":{"data":{"markdownRemark":{"fileAbsolutePath":"/vercel/path0/content/sips/sip-187.md","frontmatter":{"sip":187,"sccp":null,"title":"Fix Partial Synth Updates In Debt Cache","network":"Ethereum","author":"Jackson Chan (@jacko125)","type":"Governance","proposal":null,"implementor":null,"release":null,"created":"2021-09-30T00:00:00.000Z","updated":null,"status":"Implemented"},"html":"\n

Simple Summary

\n\n

Fix an issue with partial updates of synths in the debt cache which is causing the cached debt value to not update after minting and burning sUSD.

\n

Abstract

\n\n

This SIP proposes to upgrade the debt cache contract with a fix to the partial synth updates so that the cached debt is updated after minting and burning sUSD. It will remove the subtraction of the excluded debt (that is synths issued by non-SNX collateral) in the calculation of the new synth amounts as this caused them to zero out instead of updating the delta in the synth's amount and how much the cached debt has increased / decreased.

\n

Motivation

\n\n

In the first iteration of the debt cache, minting and burning sUSD would change the cached debt value by the amount of sUSD minted or burned to reflect the change in sUSD supply. It is important that the debt pool is updated immediately when sUSD is minted or burned to reflect the increase or decrease of the debt pool size before a snapshot happens. With the addition of the ETH wrapper, the debt cache was updated to exclude the non-SNX collateral synths that gets issued against the wrapper ETH and loans. The DebtCache._updateCachedSynthDebtsWithRates() function is used for updating individual synths and the cached debt when minting / burning sUSD and exchanges. But it currently isn't able to update the cached debt because the new cachedSum and currentSum is miscalculated by subtracing the excludedDebtSum from them and the new cached debt doesn't have any change.

\n
        cachedSum = cachedSum.floorsub(_cachedSynthDebt[EXCLUDED_DEBT_KEY]);\n        currentSum = currentSum.floorsub(excludedDebtSum);\n        _cachedSynthDebt[EXCLUDED_DEBT_KEY] = excludedDebtSum;\n\n        // Compute the difference and apply it to the snapshot\n        if (cachedSum != currentSum) {\n            ...\n        }\n
\n

Specification

\n\n

Overview

\n\n

The DebtCache._updateCachedSynthDebtsWithRates() will be updated to not re-calculate the excludedDebt as that is not calculated in the function and it will only update the _cachedSynthDebt[synth] for the synth to update. The delta for the debt cache update will be calculated as the difference between currentSum - cachedSum which measures the change in updated synths compared to the last cached amount.

\n

This will ignore any of the changes in the supply of those synths that has been issued by non-SNX collateral such as ETH wrapper and multi-collateral loans for partial synth updates. The excludedDebt value would be updated when the debt snapshot is taken and updates the portion of the debt cache that is excluded.

\n

Rationale

\n\n\n

Technical Specification

\n\n

Update the DebtCache contract interface and the _updateCachedSynthDebtsWithRates function which is used internally when there is an exchange of synths and partial updates of synths from the snapshot keeper.

\n

_updateCachedSynthDebtsWithRates (Before)

\n
function _updateCachedSynthDebtsWithRates(\n        bytes32[] memory currencyKeys,\n        uint[] memory currentRates,\n        bool anyRateIsInvalid,\n        bool recomputeExcludedDebt\n    ) internal {\n        uint numKeys = currencyKeys.length;\n        require(numKeys == currentRates.length, \"Input array lengths differ\");\n\n        // Update the cached values for each synth, saving the sums as we go.\n        uint cachedSum;\n        uint currentSum;\n        uint excludedDebtSum = _cachedSynthDebt[EXCLUDED_DEBT_KEY];\n        uint[] memory currentValues = _issuedSynthValues(currencyKeys, currentRates);\n\n        for (uint i = 0; i < numKeys; i++) {\n            bytes32 key = currencyKeys[i];\n            uint currentSynthDebt = currentValues[i];\n            cachedSum = cachedSum.add(_cachedSynthDebt[key]);\n            currentSum = currentSum.add(currentSynthDebt);\n            _cachedSynthDebt[key] = currentSynthDebt;\n        }\n\n        // Always update the cached value of the excluded debt -- it's computed anyway.\n        if (recomputeExcludedDebt) {\n            (uint excludedDebt, bool anyNonSnxDebtRateIsInvalid) = _totalNonSnxBackedDebt();\n            anyRateIsInvalid = anyRateIsInvalid || anyNonSnxDebtRateIsInvalid;\n            excludedDebtSum = excludedDebt;\n        }\n\n        cachedSum = cachedSum.floorsub(_cachedSynthDebt[EXCLUDED_DEBT_KEY]);\n        currentSum = currentSum.floorsub(excludedDebtSum);\n        _cachedSynthDebt[EXCLUDED_DEBT_KEY] = excludedDebtSum;\n\n        // Compute the difference and apply it to the snapshot\n        if (cachedSum != currentSum) {\n            uint debt = _cachedDebt;\n            // This requirement should never fail, as the total debt snapshot is the sum of the individual synth\n            // debt snapshots.\n            require(cachedSum <= debt, \"Cached synth sum exceeds total debt\");\n            debt = debt.sub(cachedSum).add(currentSum);\n            _cachedDebt = debt;\n            emit DebtCacheUpdated(debt);\n        }\n\n        // A partial update can invalidate the debt cache, but a full snapshot must be performed in order\n        // to re-validate it.\n        if (anyRateIsInvalid) {\n            _updateDebtCacheValidity(anyRateIsInvalid);\n        }\n    }\n
\n

_updateCachedSynthDebtsWithRates (After)

\n
    function _updateCachedSynthDebtsWithRates(\n        bytes32[] memory currencyKeys,\n        uint[] memory currentRates,\n        bool anyRateIsInvalid,\n    ) internal {\n        uint numKeys = currencyKeys.length;\n        require(numKeys == currentRates.length, \"Input array lengths differ\");\n\n        // Update the cached values for each synth, saving the sums as we go.\n        uint cachedSum;\n        uint currentSum;\n        uint[] memory currentValues = _issuedSynthValues(currencyKeys, currentRates);\n\n        for (uint i = 0; i < numKeys; i++) {\n            bytes32 key = currencyKeys[i];\n            uint currentSynthDebt = currentValues[i];\n            cachedSum = cachedSum.add(_cachedSynthDebt[key]);\n            currentSum = currentSum.add(currentSynthDebt);\n            _cachedSynthDebt[key] = currentSynthDebt;\n        }\n\n        // Compute the difference and apply it to the snapshot\n        if (cachedSum != currentSum) {\n            uint debt = _cachedDebt;\n            // This requirement should never fail, as the total debt snapshot is the sum of the individual synth\n            // debt snapshots.\n            require(cachedSum <= debt, \"Cached synth sum exceeds total debt\");\n            debt = debt.sub(cachedSum).add(currentSum);\n            _cachedDebt = debt;\n            emit DebtCacheUpdated(debt);\n        }\n\n        // A partial update can invalidate the debt cache, but a full snapshot must be performed in order\n        // to re-validate it.\n        if (anyRateIsInvalid) {\n            _updateDebtCacheValidity(anyRateIsInvalid);\n        }\n    }\n
\n

Updating debt cache for minting and burning sUSD

\n

When minting and burning sUSD, the cachedSum[sUSD] and _cachedDebt values that tracks the amount of sUSD should be updated to reflect the increase or decrease in the sUSD supply and the cached debt also updated to track the amount of sUSD that is minted / burned. It would be more accruate to update the amount of sUSD issued or burned, instead of updating the cached value of sUSD by reading the sUSD total supply as this could include non-SNX collateral issued sUSD such as Multi-collateral loans and shorts between snapshots. The excluded debts will be updated during the snapshot instead.

\n

DebtCache Contract

\n
contract DebtCache is BaseDebtCache {\n    function increaseCachedsUSDDebt(\n        uint amount\n    ) external onlyIssuer {\n        _cachedSynthDebt[sUSD] = _cachedSynthDebt[sUSD].add(amount);\n        _cachedDebt = _cachedDebt.add(amount);\n    }\n\n    function decreaseCachedsUSDDebt(\n        uint amount\n    ) external onlyIssuer {\n        _cachedSynthDebt[sUSD] = _cachedSynthDebt[sUSD].sub(amount);\n        _cachedDebt = _cachedDebt.add(amount);\n    }\n}\n
\n

Issuer Contract

\n
Contract Issuer {\n    function _issueSynths(\n        address from,\n        uint amount,\n        bool issueMax\n    ) internal {\n        (uint maxIssuable, uint existingDebt, uint totalSystemDebt, bool anyRateIsInvalid) = _remainingIssuableSynths(from);\n        _requireRatesNotInvalid(anyRateIsInvalid);\n\n        if (!issueMax) {\n            require(amount <= maxIssuable, \"Amount too large\");\n        } else {\n            amount = maxIssuable;\n        }\n\n        // Keep track of the debt they're about to create\n        _addToDebtRegister(from, amount, existingDebt, totalSystemDebt);\n\n        // record issue timestamp\n        _setLastIssueEvent(from);\n\n        // Create their synths\n        synths[sUSD].issue(from, amount);\n\n        // Account for the issued debt in the cache\n        debtCache().increaseCachedsUSDDebt(amount);\n\n        // Store their locked SNX amount to determine their fee % for the period\n        _appendAccountIssuanceRecord(from);\n    }\n\n     function _burnSynths(\n        address debtAccount,\n        address burnAccount,\n        uint amount,\n        uint existingDebt,\n        uint totalDebtIssued\n    ) internal returns (uint amountBurnt) {\n        // liquidation requires sUSD to be already settled / not in waiting period\n\n        // If they're trying to burn more debt than they actually owe, rather than fail the transaction, let's just\n        // clear their debt and leave them be.\n        amountBurnt = existingDebt < amount ? existingDebt : amount;\n\n        // Remove liquidated debt from the ledger\n        _removeFromDebtRegister(debtAccount, amountBurnt, existingDebt, totalDebtIssued);\n\n        // synth.burn does a safe subtraction on balance (so it will revert if there are not enough synths).\n        synths[sUSD].burn(burnAccount, amountBurnt);\n\n        // Account for the burnt debt in the cache.\n        debtCache().decreaseCachedsUSDDebt(amountBurnt);\n\n        // Store their debtRatio against a fee period to determine their fee/rewards % for the period\n        _appendAccountIssuanceRecord(debtAccount);\n    }\n\n}\n
\n

Test Cases

\n\n\n

Configurable Values (Via SCCP)

\n\n

Copyright

\n

Copyright and related rights waived via CC0.

"}},"pageContext":{"id":"7b7dbfec-0fcc-5311-9583-b418649881d8","frontmatter__sip":187,"__params":{"frontmatter__sip":"187"}}},"staticQueryHashes":[]}