{"componentChunkName":"component---src-pages-sips-sip-markdown-remark-frontmatter-sip-tsx","path":"/sips/sip-156/","result":{"data":{"markdownRemark":{"fileAbsolutePath":"/vercel/path0/content/sips/sip-156.md","frontmatter":{"sip":156,"sccp":null,"title":"Debt Pool Oracle","network":"Ethereum & Optimism","author":"Kain Warwick (@Kaiynne), Anton Jurisevic (@zyzek)","type":"Governance","proposal":null,"implementor":null,"release":null,"created":"2021-07-05T00:00:00.000Z","updated":null,"status":"Rejected"},"html":"

Simple Summary

\n\n

This SIP proposes to replace the existing debt cache mechanism with a debt pool oracle operated by Chainlink.

\n

Abstract

\n

This SIP will deprecate the existing debt cache mechanism described in SIPs 83\nand 91 in favour of an oracle that reads the\ncomposition of the debt pool, then calculates the total debt size\noff-chain and pushes it on-chain via a Chainlink aggregation contract.

\n

The current debt cache mechanism has the benefit of being entirely on-chain, however, it introduces some\ncomplexity to the protocol. By replacing it with a Chainlink oracle we will simplify several functions and reduce gas costs,\nas well as introducing more scalability to the number of Synths the protocol can support, and unifying the\ndebt pool between chains, which is addressed in SIP 165.

\n

Motivation

\n\n

The current debt cache, while an extremely elegant solution to the problem of calculating the size of the debt pool for use by the minting and burning functions has a number of limitations. The primary limitation driving this proposed change is the upcoming need to unify the debt pools across L1 and L2. This requirement would mean that cross chain messaging would need to be enabled and would introduce further complexity to the implementation.\nMoving this functionality off-chain will allow for a more scalable network as the number of Synths that can comprise the debt pool will no longer be limited by on-chain computational resources.

\n

Specification

\n\n

Overview

\n\n
    \n
  1. Implement a new debt pool contract interface to allow the oracle to read and calculate the skew of each Synth.
    2. \n
  2. Replace the function to read the debt cache with a new function to read the latest debt oracle value.
    3. \n
  3. Add a function to minting and burning that tracks the incremental debt since the last debt oracle update.
    4. \n
\n

Rationale

\n\n

The existing debt system requires snapshots to be performed by an off-chain keeper.\nAlthough this is trustless, in that all the logic required for keeping the debt cache number exists\non chain, it is also relatively expensive. This calculation is\nonly becoming moreso as new synths and debt-relevant mechanisms such as loans,\nthe ether wrapper, and futures are added. A debt oracle would need to perform only a single\nstate update and no extra calculations on-chain, and should therefore be substantially more\nefficient to operate. The upshot of the move from an \\(O(n)\\) to an \\(O(1)\\) on-chain component\nmeans that the number of synths the system can support is no longer bottlenecked by the debt snapshot,\nbut by oracle computations, and so this limit should become substantially higher,\nif it is not effectively removed.

\n

At the same time, we were contemplating extending the current debt cache mechanism to support cross network\nmessaging as well as making a number of other iterative improvements to the calculations.\nHowever, after reviewing the implementation effort compared to performing these calculations\noff-chain we concluded that an oracle was the superior solution.

\n

While an oracle increases the reliance on off-chain data aggregation,\nthe system this SIP proposes is designed to ensure this procedure is as simple as possible,\nand processes only easily-accessible on-chain data. We believe this solution has\nrelatively few failure modes, and therefore a poses a relatively low risk to the system as a whole.

\n

The modularity of this design means that it is easily possible to modify the contract-level\nstructure of the debt pool calculation that feeds up to the oracle,\nso that new protocol functionality can be supported without any modifications to the oracle logic.

\n

Technical Specification

\n

As the interface between L1 and L2 is to be unified, DebtCache and BaseDebtCache\nshould be merged back into a single contract with a substantially modified interface:

\n
contract DebtCache {\n    function availableDebtComponents() external view returns (bytes32[] memory components);\n    function debtComponent(bytes32 key) external view returns (int component, bool invalid);\n    function totalDebt() external view returns (int debt, bool invalid, bool stale);\n    function totalDebtOnL1() external view returns (int debt, bool invalid, bool stale);\n    function totalDebtOnL2() external view returns (int debt, bool invalid, bool stale);\n    function issuanceCorrection() external view returns (int correction);\n    function updateIssuanceCorrection(int amount, bytes32 synth) external;\n    function isInvalidOrStale() external view returns (bool invalid, bool stale);\n    function debtOracleStaleTime() external view returns (uint staleTime);\n    event DebtUpdated(uint debt);\n}\n
\n

The debtOracleStaleTime function and DebtUpdated event should be preserved from the respective\ndebtCacheStaleTime and DebtCacheUpdated members from the previous implementation.\nThe isInvalidOrStale is simply the merger of the previous isInvalid and isStale functions.\nThe other contract functions are described below.

\n

Debt Components

\n

Currently, the maximum number of components possible in the system is constrained by\nthe execution budget of the currentDebt function. To alleviate this, the\ndebt system should be able to break down the debt cache into each of its component parts, representing the\nnet skew for each synth, including both circulating synths (long) and outstanding non-SNX collateral debt (short).\nThe overall debt pool value will simply be the sum of all these components.

\n

In this way, Chainlink oracle nodes will just need to perform an off-chain sum over all available synth\ndebt components. The debt pool contract will require new functions to support this:

\n\n

Each synth's debt component will be calculated as follows:

\n
function debtComponent(bytes32 key) external view returns (int component, bool invalid) {\n    (uint rate, bool invalid) = ExchangeRates.getRateAndInvalid(key);\n\n    // The circulating supply is the long part of the debt component\n    uint component = synth(key).totalSupply();\n\n    // Any non-SNX backed debt is the short part of the debt component\n    // Multi-collateral loans\n    component -= collateralManager.long(key) + collateralManager.long(short);\n    // wrapper debt\n    component -= wrapper(key);\n\n    return (component * rate, invalid);\n}\n
\n

Note that we have omitted the EtherCollateral and EtherCollateralsUSD contributions present in the current\nimplementation, as these are shortly to be deprecated.

\n

Oracle Logic

\n

The Chainlink oracle should report the sum of the debt components in a manner equivalent to the following\nfunction:

\n
// Implemented off-chain\nfunction currentDebt() {\n  debt = 0\n  invalid = false\n\n  for (key of DebtPool.availableDebtComponents()) {\n    component, (componentInvalid = DebtPool.debtComponent(key))\n    debt += component\n    invalid |= componentInvalid\n  }\n\n  return debt, invalid\n}\n
\n

In this way, Synthetix will be able to update the composition of its debt pool calculation by altering the available\ndebt components and the behaviour of the debtComponent function, without Chainlink nodes\nneeding to update their internal logic. Each debt component will at first correspond to a particular synth,\nbut in the future may be extended to different objects.

\n

The oracle should simply report the current value returned by this currentDebt() function.\nWhenever there is a deviation of 1% or more (SCCP configurable) between this result,\nand the result returned by DebtCache.totalDebt()< then a new update should be pushed on chain.\nThe oracle should also operate at a regular heartbeat.

\n

Total Debt and Issuance Corrections

\n

The updated debt cache contract's interface includes a single new function,\nwhich will report the debt as received from the oracle.

\n\n

This function will replace Issuer._totalIssuedSynths, which currently contains a call to\nDebtCache.cacheInfo. As its name implies, totalDebt should report the latest result from the oracle,\nand its validity. There is a caveat here, which is that in between oracle updates, it must still accurately\nreflect the fluctuations in the debt pool induced by the minting and burning of synths.\nit must reflect the resulting fluctuations in the debt pool.\nWithout this, the issue identified in SIP-150 will remain in place.\nTo accomplish the desired result, the debt pool contract must track two additional variables:

\n\n

With this in mind, the totalDebt function should approximately implement the following pseudo-code:

\n
function totalDebt() external view returns (uint, bool) {\n    // Fetch the latest debt numbers\n    (debt, timestamp, isInvalid) = ExchangeRates.debtAndTimestampAndInvalid();\n\n    // An update has occurred, but the new timestamp has not yet been recorded.\n    // Do not apply the issuance correction in this case.\n    if (lastTimestamp < timestamp) {\n        return (debt, isInvalid);\n    }\n\n    // Otherwise, account for all mint/burn events\n    return (debt + issuanceCorrection, isInvalid, _isStale(timestamp));\n}\n
\n

In addition, whenever new synths are minted or burnt, whether against SNX or otherwise, the\nsUSD value of those synths should be recorded against the issuanceCorrection variable:

\n
function updateIssuanceCorrection(int amount, bytes32 synth) external onlyIssuers {\n    // Fail if the oracle's debt value is invalid or stale.\n    (, timestamp, isInvalid) = ExchangeRates.debtAndTimestampAndInvalid();\n    require(!(isInvalid || _isStale(timestamp));\n\n    // If a new update has come through from the oracle, reset the issuance correction\n    if (lastTimestamp < timestamp) {\n        lastTimestamp = timestamp;\n        issuanceCorrection = 0;\n    }\n\n    issuanceCorrection += amount * ExchangeRates.getRateAndEnsureValid(synth);\n    emit DebtUpdated(totalDebt());\n}\n
\n

This function should be invoked whenever synths are created or destroyed, but not when exchanged or transformed into\nanother form, such as by a deposit into a futures margin account. It must be callable only by synth-issuing contracts\nincluding the issuer, wrapper, and multi-collateral contracts. It must fail if any relevant oracle feeds are invalid.

\n

Phase 2 - Total Debt on L1 and L2

\n

The updated debt cache contract's interface includes a two new functions, reporting the totalDebtOnL1 and totalDebtOnL2. based on the total debt on mainnet and L2.

\n

The total debt would be aggregated by Chainlink oracles and reported for both L1 and L2, which will be accessible from the ExchangeRates contract on both layers.

\n\n

These functions will allow the total combined debt of L1 and L2 debt pools to be calculated within the debt cache contract when debt is issued or burned on both chains.

\n

Test Cases

\n\n

TBD

\n

Configurable Values (Via SCCP)

\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
ParameterDescriptionInitial Value
Max Debt Oracle DeviationIf the difference between the true system debt and the number reported by the oracle exceeds this value, the oracle should push an updated value on-chain.1%
\n

Copyright

\n

Copyright and related rights waived via CC0.

"}},"pageContext":{"id":"6d88fd6a-8132-592b-9a7b-b2f252042487","frontmatter__sip":156,"__params":{"frontmatter__sip":"156"}}},"staticQueryHashes":[]}