Instadapp/Gelato-automations
1
0
Fork 0
mirror of https://github.com/Instadapp/Gelato-automations.git synced 2024-07-29 22:28:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
15 Commits 1 Branch 0 Tags 1.4 MiB
Solidity 50.1%
JavaScript 49.9%
bb42fd15cf
Go to file
gitpusha bb42fd15cf chore: configure prettier-solidity-plugin
2020-10-15 22:41:09 +02:00
.circleci chore: config linting, formatting and git hooks 2020-10-08 11:36:22 +02:00
.vscode chore: configure prettier-solidity-plugin 2020-10-15 22:41:09 +02:00
assets automatic DSR - CDAI rebalance prototype tested 2020-08-24 16:36:07 +02:00
contracts chore: configure prettier-solidity-plugin 2020-10-15 22:41:09 +02:00
pre-compiles chore: configure prettier-solidity-plugin 2020-10-15 22:41:09 +02:00
test chore: configure prettier-solidity-plugin 2020-10-15 22:41:09 +02:00
.eslintrc.json chore: config linting, formatting and git hooks 2020-10-08 11:36:22 +02:00
.gitattributes Gelato DSA setup tests complete 2020-08-22 15:40:51 +02:00
.gitignore chore: config linting, formatting and git hooks 2020-10-08 11:36:22 +02:00
.prettierignore chore: configure prettier-solidity-plugin 2020-10-15 22:41:09 +02:00
.prettierrc.json chore: config linting, formatting and git hooks 2020-10-08 11:36:22 +02:00
buidler.config.js chore: configure prettier-solidity-plugin 2020-10-15 22:41:09 +02:00
package.json chore: configure prettier-solidity-plugin 2020-10-15 22:41:09 +02:00
README.md added circleci pipeline 2020-08-24 16:43:39 +02:00
yarn.lock chore: configure prettier-solidity-plugin 2020-10-15 22:41:09 +02:00

README.md

gelato-instadapp

gelatodigital

This repo contains smart contract prototypes and mocks and a test suite showcasing how the InstaDapp DSA could use Gelato to automate the execution (or casting) of its Spells (connectors) based on arbitrary Conditions.

For the first iteration, we started with a simple spell: Move DAI lending from DSR to Compound. This reused two existing deployed InstaDapp Connectors: ConnectMaker.withdrawDai and ConnectCompound.deposit.

Furtheremore the following contracts were added to showcase the automation of the Spell:

  • MockCDAI.sol and MockDSR.sol: to normalize CDAI.supplyRatePerBlock and dsr values to a per second rate in 10**27 precision

  • ConditionCompareUintsFromTwoSource: a generic Gelato Condition that allows you to read and compare data from 2 arbitrary on-chain sources (returndata expected to be uint256 and normalized => hence MockDSR and MockCDAI). This Condition was used to compare DSR to CDAI rates and in the test suite we showcase how a change in the CDAI rate (it going above the DSR) can trigger an automatic rebalancing from DSR to CDAI via DSA Connectors.

  • ProviderModuleDSA: this is needed for any Gelato integration. It tells Gelato how the execution payload should be formatted. In this prototype, it formats the payload for the DSA.cast function.

  • ConnectGelato: this is a Connector needed for the DSA to be able to submit Tasks to Gelato. In the test suite we unlock the DSA MultiSig Master account at 0xfCD22438AD6eD564a1C26151Df73F6B33B817B56, in order to be able to enable this Connector in our mainnet fork running on the local ganache instance.

To see for yourself check out the contracts folder and make sure to check out test/mv-DAI-DSR-Compound.test.js, to see an end-to-end test showcasing the prototype. To do so follow the steps below:

  1. Clone this repo
  2. Put your Infura ID in .env
  3. yarn install
  4. npx buidler test