pool-read-supply-v1-1
SP2VCQJGH7PHP2DJK7Z0V48AGBHQAW3R3ZW1QF4NSource Code
(use-trait ft .ft-trait.ft-trait)
(use-trait ft-mint-trait .ft-mint-trait.ft-mint-trait)
(use-trait oracle-trait .oracle-trait.oracle-trait)
(define-read-only (is-active (asset principal))
(let (
(reserve-state (get-reserve-data asset))
)
(and (get is-active reserve-state) (not (get is-frozen reserve-state)))
)
)
(define-constant available-assets (list
'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.ststx-token
'SP3Y2ZSH8P7D50B0VBTSX11S7XSG24M1VB9YFQA4K.token-aeusdc
))
(define-read-only (get-supplieable-assets)
available-assets
)
(define-read-only (get-borroweable-assets)
(list 'SP3Y2ZSH8P7D50B0VBTSX11S7XSG24M1VB9YFQA4K.token-aeusdc)
)
(define-read-only (is-isolated-asset (asset principal))
(is-isolated-type asset)
)
(define-read-only (is-isolated-type (asset principal))
(default-to false (contract-call? .pool-reserve-data get-isolated-assets-read asset)))
(define-read-only (is-used-as-collateral (who principal) (asset principal))
(get use-as-collateral (get-user-reserve-data who asset))
)
;; Define a helper function to get reserve data
(define-read-only (get-reserve-data (asset principal))
(unwrap-panic (contract-call? .pool-reserve-data get-reserve-state-read asset))
)
(define-read-only (get-user-reserve-data (who principal) (asset principal))
(unwrap-panic (contract-call? .pool-reserve-data get-user-reserve-data-read who asset))
)
(define-read-only (get-asset-supply-apy (reserve principal))
(let (
(reserve-resp (get-reserve-data reserve))
)
(calculate-linear-interest
(get current-liquidity-rate reserve-resp)
(* u144 u365)
)
)
)
(define-read-only (get-user-assets (who principal))
(default-to
{ assets-supplied: (list), assets-borrowed: (list) }
(contract-call? .pool-reserve-data get-user-assets-read who)))
(define-read-only (get-useable-collateral-usd-ststx (who principal))
(let (
(asset-balance (unwrap-panic (contract-call? 'SP2VCQJGH7PHP2DJK7Z0V48AGBHQAW3R3ZW1QF4N.zststx-v1-0 get-principal-balance who)))
(reserve-data (get-reserve-data 'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.ststx-token))
(user-index (unwrap-panic (contract-call? .pool-reserve-data get-user-index-read who 'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.ststx-token)))
(asset-decimals (get decimals reserve-data))
(base-ltv-as-collateral (get base-ltv-as-collateral reserve-data))
(reserve-normalized-income
(get-normalized-income
(get current-liquidity-rate reserve-data)
(get last-updated-block reserve-data)
(get last-liquidity-cumulative-index reserve-data)
)
)
)
(mul
base-ltv-as-collateral
(mul
(mul-to-fixed-precision
asset-balance
asset-decimals
(div reserve-normalized-income user-index))
(get-ststx-price)
)
)
)
)
(define-read-only (get-useable-collateral-usd-aeusdc (who principal))
(let (
(asset-balance (unwrap-panic (contract-call? .zaeusdc-v1-0 get-principal-balance who)))
(reserve-data (get-reserve-data 'SP3Y2ZSH8P7D50B0VBTSX11S7XSG24M1VB9YFQA4K.token-aeusdc))
(user-index (unwrap-panic (contract-call? .pool-reserve-data get-user-index-read who 'SP3Y2ZSH8P7D50B0VBTSX11S7XSG24M1VB9YFQA4K.token-aeusdc)))
(asset-decimals (get decimals reserve-data))
(base-ltv-as-collateral (get base-ltv-as-collateral reserve-data))
(reserve-normalized-income
(get-normalized-income
(get current-liquidity-rate reserve-data)
(get last-updated-block reserve-data)
(get last-liquidity-cumulative-index reserve-data)
)
)
)
(mul
base-ltv-as-collateral
(mul
(mul-to-fixed-precision
asset-balance
asset-decimals
(div reserve-normalized-income user-index))
(contract-call? 'SP2VCQJGH7PHP2DJK7Z0V48AGBHQAW3R3ZW1QF4N.aeusdc-oracle-v1-0 get-price)
)
)
)
)
(define-read-only (get-supplied-balance-user-usd-ststx (who principal) (oracle principal))
(token-to-usd
(get-supplied-balance-user-ststx who)
u6
(get-ststx-price)
)
)
(define-read-only (get-supplied-balance-user-usd-aeusdc (who principal) (oracle principal))
(token-to-usd
(get-supplied-balance-user-aeusdc who)
u6
(contract-call? 'SP2VCQJGH7PHP2DJK7Z0V48AGBHQAW3R3ZW1QF4N.aeusdc-oracle-v1-0 get-price)
)
)
(define-read-only (get-supplied-balance-user-ststx (who principal))
(let ((principal (unwrap-panic (contract-call? 'SP2VCQJGH7PHP2DJK7Z0V48AGBHQAW3R3ZW1QF4N.zststx-v1-0 get-principal-balance who))))
(calculate-cumulated-balance who u6 'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.ststx-token principal u6)
)
)
(define-read-only (get-supplied-balance-user-aeusdc (who principal))
(let ((principal (unwrap-panic (contract-call? .zaeusdc-v1-0 get-principal-balance who))))
(calculate-cumulated-balance who u6 'SP3Y2ZSH8P7D50B0VBTSX11S7XSG24M1VB9YFQA4K.token-aeusdc principal u6)
)
)
(define-read-only (get-supplied-balance-usd-ststx)
(token-to-usd
(unwrap-panic (contract-call? 'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.ststx-token get-balance .pool-vault))
u6
(get-ststx-price)
)
)
(define-read-only (get-supplied-balance-usd-aeusdc)
(token-to-usd
(unwrap-panic (contract-call? 'SP3Y2ZSH8P7D50B0VBTSX11S7XSG24M1VB9YFQA4K.token-aeusdc get-balance .pool-vault))
u6
(contract-call? 'SP2VCQJGH7PHP2DJK7Z0V48AGBHQAW3R3ZW1QF4N.aeusdc-oracle-v1-0 get-price)
)
)
(define-read-only (get-supplied-balance-ststx)
(unwrap-panic (contract-call? 'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.ststx-token get-balance .pool-vault))
)
(define-read-only (get-supplied-balance-aeusdc)
(unwrap-panic (contract-call? 'SP3Y2ZSH8P7D50B0VBTSX11S7XSG24M1VB9YFQA4K.token-aeusdc get-balance .pool-vault))
)
;; utils functions
(define-read-only (get-ststx-price)
(let (
(stx-price (get last-price (contract-call? 'SP2C2YFP12AJZB4MABJBAJ55XECVS7E4PMMZ89YZR.arkadiko-oracle-v2-3 get-price "STX")))
(stx-amount-in-reserve (unwrap-panic (contract-call? 'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.reserve-v1 get-total-stx)))
(stx-ststx (contract-call? 'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.stacking-dao-core-v1 get-stx-per-ststx-helper stx-amount-in-reserve))
)
(/ (* stx-ststx stx-price) u10000)
)
)
(define-read-only (token-to-usd (amount uint) (decimals uint) (unit-price uint))
(contract-call? .math mul-to-fixed-precision amount decimals unit-price)
)
(define-read-only (calculate-cumulated-balance
(who principal)
(lp-decimals uint)
(asset <ft>)
(asset-balance uint)
(asset-decimals uint))
(let (
(asset-principal (contract-of asset))
(reserve-data (unwrap-panic (contract-call? .pool-reserve-data get-reserve-state-read asset-principal)))
(user-index (unwrap-panic (contract-call? .pool-reserve-data get-user-index-read who (contract-of asset))))
(reserve-normalized-income
(get-normalized-income
(get current-liquidity-rate reserve-data)
(get last-updated-block reserve-data)
(get last-liquidity-cumulative-index reserve-data)))
)
(from-fixed-to-precision
(mul-to-fixed-precision
asset-balance
asset-decimals
(div reserve-normalized-income user-index)
)
asset-decimals
)
)
)
;; MATH
(define-constant sb-by-sy u1903)
(define-constant one-8 u100000000)
(define-constant one-12 u1000000000000)
(define-constant fixed-precision u8)
(define-constant max-value u340282366920938463463374607431768211455)
(define-read-only (get-max-value) max-value)
(define-read-only (get-normalized-income
(current-liquidity-rate uint)
(last-updated-block uint)
(last-liquidity-cumulative-index uint))
(let (
(cumulated
(calculate-linear-interest
current-liquidity-rate
(- burn-block-height last-updated-block))))
(mul cumulated last-liquidity-cumulative-index)
)
)
(define-read-only (calculate-linear-interest
(current-liquidity-rate uint)
(delta uint))
(let (
(rate (get-rt-by-block current-liquidity-rate delta))
)
(+ one-8 rate)
)
)
(define-read-only (mul (x uint) (y uint))
(/ (+ (* x y) (/ one-8 u2)) one-8))
(define-read-only (div (x uint) (y uint))
(/ (+ (* x one-8) (/ y u2)) y))
(define-read-only (mul-to-fixed-precision (a uint) (decimals-a uint) (b-fixed uint))
(if (> decimals-a fixed-precision)
(mul (/ a (pow u10 (- decimals-a fixed-precision))) b-fixed)
(mul (* a (pow u10 (- fixed-precision decimals-a))) b-fixed)
)
)
(define-read-only (div-to-fixed-precision (a uint) (decimals-a uint) (b-fixed uint))
(if (> decimals-a fixed-precision)
(div (/ a (pow u10 (- decimals-a fixed-precision))) b-fixed)
(div (* a (pow u10 (- fixed-precision decimals-a))) b-fixed)
)
)
;; assumes assets used do not have more than 12 decimals
(define-read-only (div-precision-to-fixed (a uint) (b uint) (decimals uint))
(let (
(adjustment-difference (- one-12 decimals))
(result (/ (* a (pow u10 decimals)) b)))
(to-fixed result decimals)
)
)
(define-read-only (mul-precision-with-factor (a uint) (decimals-a uint) (b-fixed uint))
(from-fixed-to-precision (mul-to-fixed-precision a decimals-a b-fixed) decimals-a)
)
(define-read-only (add-precision-to-fixed (a uint) (decimals-a uint) (b-fixed uint))
(if (> decimals-a fixed-precision)
(+ (/ a (pow u10 (- decimals-a fixed-precision))) b-fixed)
(+ (* a (pow u10 (- fixed-precision decimals-a))) b-fixed)
)
)
(define-read-only (sub-precision-to-fixed (a uint) (decimals-a uint) (b-fixed uint))
(if (> decimals-a fixed-precision)
(- (/ a (pow u10 (- decimals-a fixed-precision))) b-fixed)
(- (* a (pow u10 (- fixed-precision decimals-a))) b-fixed)
)
)
(define-read-only (to-fixed (a uint) (decimals-a uint))
(if (> decimals-a fixed-precision)
(/ a (pow u10 (- decimals-a fixed-precision)))
(* a (pow u10 (- fixed-precision decimals-a)))
)
)
(define-read-only (mul-perc (a uint) (decimals-a uint) (b-fixed uint))
(if (> decimals-a fixed-precision)
(begin
(*
(mul (/ a (pow u10 (- decimals-a fixed-precision))) b-fixed)
(pow u10 (- decimals-a fixed-precision))
)
)
(begin
(/
(mul (* a (pow u10 (- fixed-precision decimals-a))) b-fixed)
(pow u10 (- fixed-precision decimals-a))
)
)
)
)
(define-read-only (fix-precision (a uint) (decimals-a uint) (b uint) (decimals-b uint))
(let (
(a-standard
(if (> decimals-a fixed-precision)
(/ a (pow u10 (- decimals-a fixed-precision)))
(* a (pow u10 (- fixed-precision decimals-a)))
))
(b-standard
(if (> decimals-b fixed-precision)
(/ b (pow u10 (- decimals-b fixed-precision)))
(* b (pow u10 (- fixed-precision decimals-b)))
))
)
{
a: a-standard,
decimals-a: decimals-a,
b: b-standard,
decimals-b: decimals-b,
}
)
)
(define-read-only (from-fixed-to-precision (a uint) (decimals-a uint))
(if (> decimals-a fixed-precision)
(* a (pow u10 (- decimals-a fixed-precision)))
(/ a (pow u10 (- fixed-precision decimals-a)))
)
)
(define-read-only (get-y-from-x
(x uint)
(x-decimals uint)
(y-decimals uint)
(x-price uint)
(y-price uint)
)
(from-fixed-to-precision
(mul-to-fixed-precision x x-decimals (div x-price y-price))
y-decimals
)
)
(define-read-only (is-odd (x uint))
(not (is-even x))
)
(define-read-only (is-even (x uint))
(is-eq (mod x u2) u0)
)
;; rate in 8-fixed
;; n-blocks
(define-read-only (get-rt-by-block (rate uint) (blocks uint))
(/ (* rate (* blocks sb-by-sy)) one-8)
)
;; block-seconds/year-seconds in fixed precision
(define-read-only (get-sb-by-sy)
sb-by-sy
)
(define-read-only (get-e) e)
(define-read-only (get-one) one-8)
(define-constant e 271828182)
(define-constant seconds-in-year u31536000
;; (* u144 u365 u10 u60)
)
(define-constant seconds-in-block u600
;; (* 10 60)
)
(define-read-only (get-seconds-in-year)
seconds-in-year
)
(define-read-only (get-seconds-in-block)
seconds-in-block
)
(define-constant fact_2 u200000000)
(define-constant fact_3 (mul u300000000 u200000000))
(define-constant fact_4 (mul u400000000 (mul u300000000 u200000000)))
(define-constant fact_5 (mul u500000000 (mul u400000000 (mul u300000000 u200000000))))
(define-constant fact_6 (mul u600000000 (mul u500000000 (mul u400000000 (mul u300000000 u200000000)))))
(define-read-only (x_2 (x uint)) (mul x x))
(define-read-only (x_3 (x uint)) (mul x (mul x x)))
(define-read-only (x_4 (x uint)) (mul x (mul x (mul x x))))
(define-read-only (x_5 (x uint)) (mul x (mul x (mul x (mul x x)))))
(define-read-only (x_6 (x uint)) (mul x (mul x (mul x (mul x (mul x x))))))
(define-read-only (taylor-6 (x uint))
(+
one-8 x
(div (x_2 x) fact_2)
(div (x_3 x) fact_3)
(div (x_4 x) fact_4)
(div (x_5 x) fact_5)
(div (x_6 x) fact_6)
)
)
Functions (52)
| Function | Access | Args |
|---|---|---|
| is-active | read-only | asset: principal |
| get-supplieable-assets | read-only | |
| get-borroweable-assets | read-only | |
| is-isolated-asset | read-only | asset: principal |
| is-isolated-type | read-only | asset: principal |
| is-used-as-collateral | read-only | who: principal, asset: principal |
| get-reserve-data | read-only | asset: principal |
| get-user-reserve-data | read-only | who: principal, asset: principal |
| get-asset-supply-apy | read-only | reserve: principal |
| get-user-assets | read-only | who: principal |
| get-useable-collateral-usd-ststx | read-only | who: principal |
| get-useable-collateral-usd-aeusdc | read-only | who: principal |
| get-supplied-balance-user-usd-ststx | read-only | who: principal, oracle: principal |
| get-supplied-balance-user-usd-aeusdc | read-only | who: principal, oracle: principal |
| get-supplied-balance-user-ststx | read-only | who: principal |
| get-supplied-balance-user-aeusdc | read-only | who: principal |
| get-supplied-balance-usd-ststx | read-only | |
| get-supplied-balance-usd-aeusdc | read-only | |
| get-supplied-balance-ststx | read-only | |
| get-supplied-balance-aeusdc | read-only | |
| get-ststx-price | read-only | |
| token-to-usd | read-only | amount: uint, decimals: uint, unit-price: uint |
| calculate-cumulated-balance | read-only | who: principal, lp-decimals: uint, asset: <ft>, asset-balance: uint, asset-decimals: uint |
| get-max-value | read-only | |
| get-normalized-income | read-only | current-liquidity-rate: uint, last-updated-block: uint, last-liquidity-cumulative-index: uint |
| calculate-linear-interest | read-only | current-liquidity-rate: uint, delta: uint |
| mul | read-only | x: uint, y: uint |
| div | read-only | x: uint, y: uint |
| mul-to-fixed-precision | read-only | a: uint, decimals-a: uint, b-fixed: uint |
| div-to-fixed-precision | read-only | a: uint, decimals-a: uint, b-fixed: uint |
| div-precision-to-fixed | read-only | a: uint, b: uint, decimals: uint |
| mul-precision-with-factor | read-only | a: uint, decimals-a: uint, b-fixed: uint |
| add-precision-to-fixed | read-only | a: uint, decimals-a: uint, b-fixed: uint |
| sub-precision-to-fixed | read-only | a: uint, decimals-a: uint, b-fixed: uint |
| to-fixed | read-only | a: uint, decimals-a: uint |
| mul-perc | read-only | a: uint, decimals-a: uint, b-fixed: uint |
| fix-precision | read-only | a: uint, decimals-a: uint, b: uint, decimals-b: uint |
| from-fixed-to-precision | read-only | a: uint, decimals-a: uint |
| is-odd | read-only | x: uint |
| is-even | read-only | x: uint |
| get-rt-by-block | read-only | rate: uint, blocks: uint |
| get-sb-by-sy | read-only | |
| get-e | read-only | |
| get-one | read-only | |
| get-seconds-in-year | read-only | |
| get-seconds-in-block | read-only | |
| x_2 | read-only | x: uint |
| x_3 | read-only | x: uint |
| x_4 | read-only | x: uint |
| x_5 | read-only | x: uint |
| x_6 | read-only | x: uint |
| taylor-6 | read-only | x: uint |