A DeFi Stablecoin project using

1. Foundry
2. Chainlink Feeds
3. Formal Verification with Branching Tree Technique (BTT): See Testing Overview for more details on Testing.

• DeFi: Indian Rupee Stablecoin
• Tasklist
• Getting Started
  • Characteristics
  • Process Overview
  • Testing Overview
    • Methodology
    • Coverage
    • Forked Testnet Testing
• Development
  • Requirements
  • Quickstart
  • Formatting
• Usage
  • Start a local node
  • Library
  • Deploy
  • Deploy - Other Network
  • Testing
• Deployment to a testnet or mainnet
  • Process
  • Estimate gas

• Foundry Project Dockerized Setup
• INRC ERC20 Contract
• INRCEngine
  • Deposit & Minting
  • Redeem Collateral
  • Burn INRC
  • Liquidate
  • Helper Functions
• Scripts
  • BaseScript
  • INRC (Not really needed)
  • INRCEngine
  • Interactions (if needed)
• Testing: Formal Verification with BTT
  • BaseScript
    • Broadcast (Requires rewriting to accomodate function params instead of environment variables update)
  • INRCEngine
    • Constructor
    • Deposit Collateral
    • Mint INRC
    • Redeem Collateral
    • Burn INRC
    • Liquidate
    • Helper Functions
      • getINRValueOf
      • getINRValueOfCollateralFor
      • getTknCxEquivalentOfINRC
      • Getters
        • getCollateralDepositedBy
        • getINRCMintedBy
        • getHealthFactor
  • INRC
• Makefile
• README
• Generalize to make it Any Currency stablecoin (Requires nomenclature update. Already works perfectly as JPY coin in Sepolia tests)

1. Relative Stability: Pegged or Floating?
   • Pegged to ₹ (INR) => 1.00 INRC = ₹ 1.00
2. Stability Method: Governed or Algorithmic?
   • Algorithmic (Decentralized)
3. Collateral Type: Endogenous or Exogenous?
   • Exogenous (Crypto)
     • wETH
     • wBTC

• Chainlink Price Feeds are used to get us ETH & BTC equivalent of USD($) and subsequently INR(₹).
• Users with enough collateral can mint stablecoin.
• Users are incentivized to liquidate under-collateralized users.

In this project, we use Formal Verification using Branching Tree Technique (BTT)

The focus is on the following Foundry test categories:

1. Unit Testing: Functions involving a single contract
2. Integration Testing: Functions involving a multiple contracts
3. Invariant Testing: Expressions that always hold true
4. Fork Testing: Tests running against a production chain

using Foundry's test-subcategories:

1. Concrete Testing: Standard deterministic tests the takes no inputs
2. Fuzz Testing: Non-deterministic tests that takes fuzzed inputs

The test suites use JPY price feed on Sepolia Testnet as Chainlink doesn't offer INR Price Feeds on Sepolia.

Update the current currency rates (WETH_JPY_PRICE, etc.) in INRCEngine.t.sol at the time of running forked tests. An update is likely to be good for a couple of hours. Tests have a built-in tolerance of handling upto 1% change in price and still pass.

• git
  • You'll know you did it right if you can run git --version and you see a response like git version x.x.x
• foundry
  • You'll know you did it right if you can run forge --version and you see a response like forge 0.2.0 (816e00b 2023-03-16T00:05:26.396218Z)

git clone https://github.com/shobhit-gupta/IndianRupeeStablecoin
cd IndianRupeeStablecoin
make build

To run code formatting:

make fmt

make anvil

If you're having a hard time installing the libraries, you can optionally run this command.

make install

This will default to your local node. You need to have it running in another terminal in order for it to deploy.

make deploy

See below

Generally you'll want to set private keys for test users (ADMIN, ALICE, BOB & EVE) as environment variables. You can add them to a .env file, similar to what you see in .env.example. All of these users might not be used. For instance, this project doesn't make use of EVE so far. NOTE: FOR DEVELOPMENT, PLEASE USE KEYS THAT DON'T HAVE ANY REAL FUNDS ASSOCIATED WITH THEM.

forge test -vvv

or

source .env
forge test -vvv --fork-url $SEPOLIA_RPC_URL

make coverage

1. Setup environment variables

You'll want to set your SEPOLIA_RPC_URL & MAINNET_RPC_URL as environment variables. You can add them to a .env file, similar to what you see in .env.example.

• SEPOLIA_RPC_URL: This is url of the sepolia testnet node you're working with.
• MAINNET_RPC_URL: This is url of the mainnet node you're working with.

You can get setup with these for free from Alchemy

Optionally, add your ETHERSCAN_API_KEY if you want to verify your contract on Etherscan.

2. Get testnet ETH Head over to faucets.chain.link or sepoliafaucet.com and get some testnet ETH. You should see the ETH show up in your metamask.

3. Deploy

make deploy ARGS="--network sepolia"

You can estimate how much gas things cost by running:

make snapshot

And you'll see an output file called .gas-snapshot