listed-book README

The project's README from github.com/kinexbtdev/listed-book. As one markdown file: README.md.

morpho-stock-vault — Morpho Blue USDG Loans Against Robinhood Stock Tokens

Foundry (Solidity) helper for Morpho Blue on Robinhood Chain (chain ID 4663). It computes health factor and liquidation math for borrowing USDG against Robinhood Stock Token collateral (for example NVDA, AAPL, SPY).

What this repo does

Robinhood Earn is built around Morpho and USDG. This repository is the protocol-level view of that stack:

  1. HealthMath.sol implements Morpho Blue’s collateral value, max borrow, health factor, and liquidation incentive factor (LIF) in WAD math.
  2. StockMarketHelper.sol is a read-only wrapper: it inspects a user’s Morpho position (collateral, borrow shares, oracle price) and previews how much collateral a USDG repay would seize.
  3. The helper reverts unless block.chainid == 4663 and the market’s loanToken is USDG. It does not custody tokens or originate a new lending market.

Use it to understand USDG borrowing against tokenized equities, test liquidation numbers, or fork-read live Morpho markets on 4663.

Stock Tokens are not DTCC shares. See Stock Token documentation.

Keywords

Morpho Blue Robinhood Chain, USDG lending, Stock Token collateral, health factor, liquidation incentive, Foundry fork 4663, Robinhood Earn, Paxos USDG.

Contracts

Contract Address Source
Morpho Blue 0x9D53d5E3bd5E8d4Cbfa6DB1ca238AEA02E651010 Morpho addresses
Adaptive Curve IRM 0x2BD3d5965B26B51814AC95127B2b80dD6CcC0fa1 Morpho registry; live irm_address on API markets
USDG 0x5fc5360D0400a0Fd4f2af552ADD042D716F1d168 Token contracts

Do not use Ethereum mainnet Morpho (0xBBBB…FFCb) on 4663. Listed Blue markets here lend USDG, typically at 91.5% LLTV. Curated vaults are Morpho Vault V2 (MetaMorpho V1 lists are empty).

collateralValue = collateral * oraclePrice / 1e36
maxBorrow       = collateralValue * lltv / 1e18
healthFactor    = maxBorrow / borrowAssets          // WAD; < 1e18 is liquidatable
LIF             = min(1.15e18, 1e18 / (1e18 - 0.3e18 * (1e18 - lltv)))
seized          = repaidUSDG * LIF * 1e36 / oraclePrice

Quick start

forge install foundry-rs/forge-std --no-commit
forge test -vv
forge test --fork-url $RH_RPC_URL --fork-chain-id 4663

Local unit tests cover HealthMath. Use a 4663 fork to exercise inspect.

References

Contact

Telegram: kinexbtdev

listed-book (kinexbtdev/listed-book)

Searching Database…

Что это такое?Это помощник на Foundry (Solidity) для Morpho Blue на Robinhood Chain (chain ID 4663): он считает фактор здоровья и математику ликвидации при займе USDG под залог Robinhood Stock Token — токенизированных акций вроде NVDA, AAPL или SPY.
Это приложение для кредитования, куда можно вносить деньги, или набор контрактов для моего проекта?Это два контракта на Solidity для вашей собственной работы с Foundry: HealthMath.sol покрывает стоимость залога, максимальный заём, фактор здоровья и математику LIF, а StockMarketHelper.sol — read-only обёртка для просмотра позиций. Средства он не хранит и рынков не создаёт.
Как запустить это на реальном рынке?Запустите локальные юнит-тесты, чтобы проверить HealthMath, затем вызовите StockMarketHelper.inspect на форке Robinhood Chain (chain 4663), чтобы прочитать живую позицию и прикинуть частичное или полное погашение долга в USDG.
Мне нужно установить Foundry, чтобы этим пользоваться?Да, репозиторий собран как проект на Foundry (Solidity), поэтому нужен набор инструментов forge, а код работает только с Robinhood Chain (chain ID 4663), где токен займа — USDG.
Что будет, если я укажу не ту сеть или не тот рынок?Контракт откатится (revert), если block.chainid не равен 4663 или токен займа рынка не USDG, и он всегда read-only — без хранения средств и без создания новых рынков. Учтите: Stock Tokens — это не акции в DTCC, а токенизированные обёртки.
Для кого это — для пользователей Robinhood или для Solidity-разработчиков?Для разработчиков: проект создан, чтобы помочь разобраться в займах USDG под токенизированные акции, протестировать числа ликвидации и через форк читать живые рынки Morpho в сети 4663, а не работать как приложение для розничных инвестиций.
Какие токены и адреса контрактов здесь задействованы?Залог — это Robinhood Stock Tokens вроде NVDA, AAPL или SPY, а актив займа — Paxos USDG. В README указан Morpho Blue по адресу 0x9D53d5E3bd5E8d4Cbfa6DB1ca238AEA02E651010 с Adaptive Curve IRM; рынки обычно выдают USDG при LLTV 91,5%.
Что именно я могу посмотреть в живой позиции?StockMarketHelper читает позицию пользователя в Morpho — залог, shares долга и цену оракула — и показывает, сколько залога будет изъято при погашении долга в USDG. Он только читает данные и никогда не двигает средства.
На какие адреса не стоит его направлять?Не используйте адрес Morpho из основной сети Ethereum (0xBBBB...FFCb) в сети 4663. Также учтите: курируемые vaults там — это Morpho Vault V2, а списки MetaMorpho V1 пусты.
Creator
kinexbtdev
Size
<0.1 MB
Stars
151
Updated
CommitSep 15
Age
1mo
Commits · 90 Days