Adrastia Core

Adrastia Core is a set of Solidity smart contracts for building EVM oracle solutions.

Table of contents

• Adrastia Core
  • Table of contents
  • Background
  • Install
    • Requirements
    • Recommendations
    • Procedure
  • Usage
    • Using Solidity interfaces
      • Install
      • Importing
    • Consuming oracle data
    • Maintaining an oracle
  • Security
  • Overview
    • High-level flow chart
    • Accumulators
    • Oracles
  • Limitations
    • Accumulators
      • Cumulative value overflows and underflows
  • Assumptions
  • Contributing
  • License
    • Exceptions

Background

To build reliable decentralized financial applications, reliable price feeds are often needed. Since most, if not all, DeFi applications are fully automatic with large amounts of capital at stake, these price feeds must also have the highest degree of security and accuracy.

The current standard in DeFi is to use trusted and centralized price oracle solutions that push off-chain data on-chain, which has its risks. These risks relate to:

• Centralized exchanges risks
  • Downtimes
  • User lockouts
  • Bugs
  • Accuracy and integrity of the closed source systems
• Data source reliability, accuracy, and availability
• Bug-free code to read from these sources and post on-chain with all intermediate calculations for each price reporter (of which may be closed source)
• Price reporters must not collude to report inaccurate prices
• Price reporters must maintain the highest level of physical and digital security to protect their code and keys from attacks

Adrastia is designed to mitigate these risks by keeping everything on-chain - prices are only ever read from decentralized exchanges that have the highest levels of availability, transparency, and censorship-resistance. While Adrastia may still be susceptible to bugs and errors, the likeliness of them happening is minimized by:

• Clean code
• Keeping everything open-source
• Having the code professionally audited
• Minimizing (or even eliminating) the need for trust
• Ensuring high immutability in the contracts
• Rigorous and thorough testing with 100% test coverage
• And more

Furthermore, while it's still possible to manipulate on-chain prices, the presence of arbitrageurs, MEV, and regular users make doing so incredibly costly. The further use of TWAPs (time-weighted average prices) increases the cost exponentially by allowing arbitrageurs time to move funds between exchanges and profit greatly from trading. Please read this related paper on the topic.

Assuming the presence of arbitrageurs, MEV, on/off ramps and bridges, and someone (anyone) to call Adrastia's simple update functions, Adrastia, therefore, delivers the highest level of secure, accurate, and reliable price feeds.

Install

Requirements

• node: v16 or later
• yarn
• git

Recommendations

• Operating system: Linux (Fedora is used for development and testing)
• RAM: 16GB or more (running the full test suite can consume up to 8GB of RAM)

Procedure

1. Clone the repository

git clone [email protected]:adrastia-oracle/adrastia-core.git

2. Enter the project folder

cd adrastia-core

3. Install using yarn (npm should work too)

yarn install --lock-file

4. Configure the environment variables

cp .env.example .env

Remember to fill out the .env file with the correct values.

5. (Optional) Configure Node.js to use up to 16GB of RAM for the test suite

export NODE_OPTIONS="--max-old-space-size=16384"

Note: This command must be run with every new terminal instance. It's only needed for running the full test suite.

Usage

Using Solidity interfaces

The Adrastia Core interfaces are available for import into Solidity smart contracts via the npm artifact @adrastia-oracle/adrastia-core.

Install

yarn add @adrastia-oracle/adrastia-core

or

npm install @adrastia-oracle/adrastia-core

Importing

import '@adrastia-oracle/adrastia-core/contracts/interfaces/IOracle.sol';

contract PriceConsumer {
  IOracle oracle = IOracle(...);

  function doSomethingWithPriceOf(address token) external {
    uint112 price;

    // Gets the price of `token` with the requirement that the price is 2 hours old or less
    try oracle.consultPrice(token, 2 hours) returns (uint112 adrastiaPrice) {
      price = adrastiaPrice;
    } catch Error(string memory) {
      // High-level error - maybe the price is older than 2 hours... use fallback oracle
      ...
    } catch (bytes memory) {
      // Low-level error... use fallback oracle
      ...
    }

    require(price != 0, "MISSING_PRICE");
    // We have our price, now let's use it
    ...
  }
}

Consuming oracle data

To consume data from deployed oracles, import one of the interfaces that the oracle contract implements, then call one of the consult functions.

Maintaining an oracle

Oracles need maintenance - they need someone to call the update functions of the oracle and all underlying components. Please refer to one of the scripts found in scripts/ for example code.

Security

If any security vulnerabilities are found, please contact us via Discord (TylerEther#8944) or email ([email protected]).

Overview

High-level flow chart

Accumulators

Accumulators (contracts/accumulators/) are designed to track changing values such as prices and liquidities, allowing for time-weighted averages to be calculated from two unique accumulations. They also have a dual function of being spot oracles - that is, oracles that provide current values for whatever is being consulted.

Oracles

Oracles (contracts/oracles/) are designed to record observations to later provide consultations against these observations with a focus on gas efficiency when consulting. They typically update periodically and utilize time-weighted averages derived from accumulators to provide higher levels of manipulation resistance.

Limitations

Accumulators

Cumulative value overflows and underflows

While overflows and underflows in the math relating to cumulative values [usually] result in correct calculations, there's a scenario where it does not.

Say the math is performed using 224-bit numbers. If the difference between two cumulative values is greater than or equal to 2^112, we run into a problem. Since we're using 112-bit numbers, the difference will overflow/underflow. It's okay for the cumulative values to overflow/underflow, but not the difference.

Let's say we're using cumulative prices, and the first cumulative price is equal to 2^56. Then say the second cumulative value overflows, going back to zero, then eventually going to 2^56 again and this value is used in calculations. The difference between these two cumulative prices is 0, and the TWAP calculated will be equal to 0/deltaTime = 0. This is incorrect, and the correct TWAP is actually 2^112/deltaTime. Since the difference overflowed, the result is incorrect.

When using accumulators, make sure to calculate the maximum period (deltaTime) that can be used with the maximum level of price/liquidity/value that can be reasonably expected. Also, take note that the period (deltaTime) is optimistic and could become larger than expected if the accumulator is not updated frequently enough.

Here's an example using a liquidity accumulator for COMP with a fixed total supply of 10,000,000 and 18 decimal places. Let's say that the maximum amount of COMP we can reasonably expect in a DEX pool is 10% of the total supply. Then the maximum deltaTime before we run into problems is equal to deltaTime = 2^112/(1,000,000*10^18) = 5192296858 seconds, or about 164 years.

Assumptions

• liquidity <= 1,000,000,000*10^18 (w/ 18 decimal places)
  • Liquidities can be stored in 112-bit numbers
• deltaTime < 5192296 (60 days)
  • Maximum time between two accumulations
• block.timestamp < 4294967296 (Feb 2106)
  • Timestamps can be stored in 32-bit numbers

Contributing

Please refer to the contributing guide.

License

Adrastia Core is licensed under the Business Source License 1.1 (BUSL-1.1).

Exceptions

• Interfaces located at contracts/interfaces/ and other interfaces located under contracts and its subdirectories are licensed under the MIT License.
• Libraries located at contracts/libraries/ are licensed under the MIT License.
• The file located at contracts/libraries/uniswap-lib/FullMath.sol is licensed under the MIT License.
• The files located at contracts/libraries/balancer-v2 are licensed under various licenses as specified in the files.
• The files located at contracts/test/vendor and its subdirectories are licensed under various licenses as specified in the files.