Elysia Tranche Pool

Spec

• TranchePool

  • Users cannot withdraw & redeem in the live status.

• Roles

  • Protocol Admin has a DEFAULT_ADMIN_ROLE of contracts
  • Each contract has a manager

• Pausable

  • These functions are possible when portfolio is not paused
    • Portfolio: start, closeSenior, closeEquity, addLoan, fundLoan, repayLoan, repayDefaultedLoan, markLoanAsDefaulted.
    • TranchePool: deposit, mint, withdraw, redeem

Dev Notes

• It is only periphery contracts where users interact that inherit Context.
• An equity tranche always lies in tranches[0] to find the equity tranche easily regardless of the number of tranches.

Test

forge test

# coverage report
forge coverage

Naming conventions

To distinguish between the function name in the test name and the actual use of the function, we uses Pascal case for the function name in the test name.

function test_Foo() public {
  foo();
}

Deploy

# 1. create .env
cp .env.example .env

# 2. Fill out .env

# 3. Deploy
source .env
yarn hardhat deploy --network bsc_testnet
yarn hardhat etherscan-verify --network bsc_testnet --api-key $BSCSCAN_API_KEY

Openzeppelin defender

BSC Testnet https://defender.openzeppelin.com/#/autotask/6f72f14e-83d6-4716-a4aa-0204f9d2c613

yarn defender-autotask update-code 6f72f14e-83d6-4716-a4aa-0204f9d2c613 ./autotask/update-exchange-rate

BSC

yarn defender-autotask update-code 70413fb3-d05d-46f3-8730-9dae58e86639 ./autotask/update-exchange-rate

Upgrade Portfolio contract

# 1. Validate upgrade
yarn hardhat run scripts/validate-upgrade-startPortfolio.ts --network bsc_testnet
# 2. Comment out skip option in `deploy/07-UpgradeablePortfolio.ts`
# 3. Execute upgrade
yarn hardhat deploy --network bsc_testnet --tags Portfolio

Static analysis

mythx

pip install mythx-cli
export MYTHX_API_KEY=
mythx analyze

Solither

pip3 install slither-analyzer

slither .
# or
slither . > output.txt 2>&1

Docs

forge doc

Manuals

Deposit

yarn hardhat deposit --network bsc_testnet --amount 70000000000000000000000 --tranche senior

Start portfolio

yarn hardhat portfolio:start --network bsc_testnet

Repay a loan

1. uint256 debtAmountInUSD = fixedInterestBulletLoans.expectedRepayAmount(loanId)
2. usdt.approve(address(portfolio), debtAmountInUSD)
3. portfolio.repayLoan(loanId)

Addresses

BSC Mainnet

• Exchange rate Autotask: https://defender.openzeppelin.com/#/autotask/70413fb3-d05d-46f3-8730-9dae58e86639

BSC Testnet

• Exchange rate autotask: https://defender.openzeppelin.com/#/autotask/6f72f14e-83d6-4716-a4aa-0204f9d2c613/edit-settings

Status Live