;; router-xyk-velar-v-1-4
;; Use all required traits
(use-trait ft-trait 'SP2AKWJYC7BNY18W1XXKPGP0YVEK63QJG4793Z2D4.sip-010-trait-ft-standard.sip-010-trait)
(use-trait xyk-ft-trait 'SP2AKWJYC7BNY18W1XXKPGP0YVEK63QJG4793Z2D4.sip-010-trait-ft-standard.sip-010-trait)
(use-trait xyk-pool-trait 'SM1793C4R5PZ4NS4VQ4WMP7SKKYVH8JZEWSZ9HCCR.xyk-pool-trait-v-1-2.xyk-pool-trait)
(use-trait velar-ft-trait 'SP2AKWJYC7BNY18W1XXKPGP0YVEK63QJG4793Z2D4.sip-010-trait-ft-standard.sip-010-trait)
(use-trait velar-share-fee-to-trait 'SP1Y5YSTAHZ88XYK1VPDH24GY0HPX5J4JECTMY4A1.univ2-share-fee-to-trait.share-fee-to-trait)
;; Error constants
(define-constant ERR_INVALID_AMOUNT (err u6002))
(define-constant ERR_MINIMUM_RECEIVED (err u6009))
;; Get quote for swap-helper-a
(define-public (get-quote-a
(amount uint) (provider (optional principal))
(swaps-reversed bool)
(xyk-tokens (tuple (a <xyk-ft-trait>) (b <xyk-ft-trait>)))
(xyk-pools (tuple (a <xyk-pool-trait>)))
(velar-tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>)))
)
(let (
;; Get aggregator fees
(amount-after-aggregator-fees (try! (get-aggregator-fees provider amount)))
;; Assert that amount-after-aggregator-fees is greater than 0
(amount-check (asserts! (> amount-after-aggregator-fees u0) ERR_INVALID_AMOUNT))
;; Get quotes for each swap
(quote-a (try! (if (is-eq swaps-reversed false)
(xyk-quote-a amount-after-aggregator-fees xyk-tokens xyk-pools)
(velar-quote-a amount-after-aggregator-fees velar-tokens))))
(quote-b (try! (if (is-eq swaps-reversed false)
(velar-quote-a quote-a velar-tokens)
(xyk-quote-a quote-a xyk-tokens xyk-pools))))
)
;; Return number of tokens the caller would receive
(ok quote-b)
)
)
;; Get quote for swap-helper-b
(define-public (get-quote-b
(amount uint) (provider (optional principal))
(swaps-reversed bool)
(xyk-tokens (tuple (a <xyk-ft-trait>) (b <xyk-ft-trait>)))
(xyk-pools (tuple (a <xyk-pool-trait>)))
(velar-tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>)))
)
(let (
;; Get aggregator fees
(amount-after-aggregator-fees (try! (get-aggregator-fees provider amount)))
;; Assert that amount-after-aggregator-fees is greater than 0
(amount-check (asserts! (> amount-after-aggregator-fees u0) ERR_INVALID_AMOUNT))
;; Get quotes for each swap
(quote-a (try! (if (is-eq swaps-reversed false)
(xyk-quote-a amount-after-aggregator-fees xyk-tokens xyk-pools)
(velar-quote-b amount-after-aggregator-fees velar-tokens))))
(quote-b (try! (if (is-eq swaps-reversed false)
(velar-quote-b quote-a velar-tokens)
(xyk-quote-a quote-a xyk-tokens xyk-pools))))
)
;; Return number of tokens the caller would receive
(ok quote-b)
)
)
;; Get quote for swap-helper-c
(define-public (get-quote-c
(amount uint) (provider (optional principal))
(swaps-reversed bool)
(xyk-tokens (tuple (a <xyk-ft-trait>) (b <xyk-ft-trait>)))
(xyk-pools (tuple (a <xyk-pool-trait>)))
(velar-tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>) (d <velar-ft-trait>)))
)
(let (
;; Get aggregator fees
(amount-after-aggregator-fees (try! (get-aggregator-fees provider amount)))
;; Assert that amount-after-aggregator-fees is greater than 0
(amount-check (asserts! (> amount-after-aggregator-fees u0) ERR_INVALID_AMOUNT))
;; Get quotes for each swap
(quote-a (try! (if (is-eq swaps-reversed false)
(xyk-quote-a amount-after-aggregator-fees xyk-tokens xyk-pools)
(velar-quote-c amount-after-aggregator-fees velar-tokens))))
(quote-b (try! (if (is-eq swaps-reversed false)
(velar-quote-c quote-a velar-tokens)
(xyk-quote-a quote-a xyk-tokens xyk-pools))))
)
;; Return number of tokens the caller would receive
(ok quote-b)
)
)
;; Get quote for swap-helper-d
(define-public (get-quote-d
(amount uint) (provider (optional principal))
(swaps-reversed bool)
(xyk-tokens (tuple (a <xyk-ft-trait>) (b <xyk-ft-trait>)))
(xyk-pools (tuple (a <xyk-pool-trait>)))
(velar-tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>) (d <velar-ft-trait>) (e <velar-ft-trait>)))
)
(let (
;; Get aggregator fees
(amount-after-aggregator-fees (try! (get-aggregator-fees provider amount)))
;; Assert that amount-after-aggregator-fees is greater than 0
(amount-check (asserts! (> amount-after-aggregator-fees u0) ERR_INVALID_AMOUNT))
;; Get quotes for each swap
(quote-a (try! (if (is-eq swaps-reversed false)
(xyk-quote-a amount-after-aggregator-fees xyk-tokens xyk-pools)
(velar-quote-d amount-after-aggregator-fees velar-tokens))))
(quote-b (try! (if (is-eq swaps-reversed false)
(velar-quote-d quote-a velar-tokens)
(xyk-quote-a quote-a xyk-tokens xyk-pools))))
)
;; Return number of tokens the caller would receive
(ok quote-b)
)
)
;; Perform swap via XYK Core and Velar
(define-public (swap-helper-a
(amount uint) (min-received uint) (provider (optional principal))
(swaps-reversed bool)
(xyk-tokens (tuple (a <xyk-ft-trait>) (b <xyk-ft-trait>)))
(xyk-pools (tuple (a <xyk-pool-trait>)))
(velar-tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>)))
(velar-share-fee-to <velar-share-fee-to-trait>)
)
(let (
;; Transfer aggregator fees
(aggregator-fee-token (if (is-eq swaps-reversed false) (get a xyk-tokens) (get a velar-tokens)))
(amount-after-aggregator-fees (try! (transfer-aggregator-fees aggregator-fee-token provider amount)))
;; Assert that amount-after-aggregator-fees is greater than 0
(amount-check (asserts! (> amount-after-aggregator-fees u0) ERR_INVALID_AMOUNT))
;; Perform each swap
(swap-a (if (is-eq swaps-reversed false)
(try! (xyk-swap-a amount-after-aggregator-fees xyk-tokens xyk-pools))
(try! (velar-swap-a amount-after-aggregator-fees velar-tokens velar-share-fee-to))))
(swap-b (if (is-eq swaps-reversed false)
(try! (velar-swap-a swap-a velar-tokens velar-share-fee-to))
(try! (xyk-swap-a swap-a xyk-tokens xyk-pools))))
)
(begin
;; Assert that swap-b is greater than or equal to min-received
(asserts! (>= swap-b min-received) ERR_MINIMUM_RECEIVED)
;; Print swap data and return number of tokens the caller received
(print {
action: "swap-helper-a",
caller: tx-sender,
data: {
amount: amount,
amount-after-aggregator-fees: amount-after-aggregator-fees,
min-received: min-received,
received: swap-b,
provider: provider,
swaps-reversed: swaps-reversed,
xyk-data: {
xyk-tokens: xyk-tokens,
xyk-pools: xyk-pools,
xyk-swaps: {
a: (if (is-eq swaps-reversed false) swap-a swap-b)
}
},
velar-data: {
velar-tokens: velar-tokens,
velar-share-fee-to: velar-share-fee-to,
velar-swaps: {
a: (if (is-eq swaps-reversed false) swap-b swap-a)
}
}
}
})
(ok swap-b)
)
)
)
;; Perform swap via XYK Core and Velar
(define-public (swap-helper-b
(amount uint) (min-received uint) (provider (optional principal))
(swaps-reversed bool)
(xyk-tokens (tuple (a <xyk-ft-trait>) (b <xyk-ft-trait>)))
(xyk-pools (tuple (a <xyk-pool-trait>)))
(velar-tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>)))
(velar-share-fee-to <velar-share-fee-to-trait>)
)
(let (
;; Transfer aggregator fees
(aggregator-fee-token (if (is-eq swaps-reversed false) (get a xyk-tokens) (get a velar-tokens)))
(amount-after-aggregator-fees (try! (transfer-aggregator-fees aggregator-fee-token provider amount)))
;; Assert that amount-after-aggregator-fees is greater than 0
(amount-check (asserts! (> amount-after-aggregator-fees u0) ERR_INVALID_AMOUNT))
;; Perform each swap
(swap-a (if (is-eq swaps-reversed false)
(try! (xyk-swap-a amount-after-aggregator-fees xyk-tokens xyk-pools))
(try! (velar-swap-b amount-after-aggregator-fees velar-tokens velar-share-fee-to))))
(swap-b (if (is-eq swaps-reversed false)
(try! (velar-swap-b swap-a velar-tokens velar-share-fee-to))
(try! (xyk-swap-a swap-a xyk-tokens xyk-pools))))
)
(begin
;; Assert that swap-b is greater than or equal to min-received
(asserts! (>= swap-b min-received) ERR_MINIMUM_RECEIVED)
;; Print swap data and return number of tokens the caller received
(print {
action: "swap-helper-b",
caller: tx-sender,
data: {
amount: amount,
amount-after-aggregator-fees: amount-after-aggregator-fees,
min-received: min-received,
received: swap-b,
provider: provider,
swaps-reversed: swaps-reversed,
xyk-data: {
xyk-tokens: xyk-tokens,
xyk-pools: xyk-pools,
xyk-swaps: {
a: (if (is-eq swaps-reversed false) swap-a swap-b)
}
},
velar-data: {
velar-tokens: velar-tokens,
velar-share-fee-to: velar-share-fee-to,
velar-swaps: {
a: (if (is-eq swaps-reversed false) swap-b swap-a)
}
}
}
})
(ok swap-b)
)
)
)
;; Perform swap via XYK Core and Velar
(define-public (swap-helper-c
(amount uint) (min-received uint) (provider (optional principal))
(swaps-reversed bool)
(xyk-tokens (tuple (a <xyk-ft-trait>) (b <xyk-ft-trait>)))
(xyk-pools (tuple (a <xyk-pool-trait>)))
(velar-tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>) (d <velar-ft-trait>)))
(velar-share-fee-to <velar-share-fee-to-trait>)
)
(let (
;; Transfer aggregator fees
(aggregator-fee-token (if (is-eq swaps-reversed false) (get a xyk-tokens) (get a velar-tokens)))
(amount-after-aggregator-fees (try! (transfer-aggregator-fees aggregator-fee-token provider amount)))
;; Assert that amount-after-aggregator-fees is greater than 0
(amount-check (asserts! (> amount-after-aggregator-fees u0) ERR_INVALID_AMOUNT))
;; Perform each swap
(swap-a (if (is-eq swaps-reversed false)
(try! (xyk-swap-a amount-after-aggregator-fees xyk-tokens xyk-pools))
(try! (velar-swap-c amount-after-aggregator-fees velar-tokens velar-share-fee-to))))
(swap-b (if (is-eq swaps-reversed false)
(try! (velar-swap-c swap-a velar-tokens velar-share-fee-to))
(try! (xyk-swap-a swap-a xyk-tokens xyk-pools))))
)
(begin
;; Assert that swap-b is greater than or equal to min-received
(asserts! (>= swap-b min-received) ERR_MINIMUM_RECEIVED)
;; Print swap data and return number of tokens the caller received
(print {
action: "swap-helper-c",
caller: tx-sender,
data: {
amount: amount,
amount-after-aggregator-fees: amount-after-aggregator-fees,
min-received: min-received,
received: swap-b,
provider: provider,
swaps-reversed: swaps-reversed,
xyk-data: {
xyk-tokens: xyk-tokens,
xyk-pools: xyk-pools,
xyk-swaps: {
a: (if (is-eq swaps-reversed false) swap-a swap-b)
}
},
velar-data: {
velar-tokens: velar-tokens,
velar-share-fee-to: velar-share-fee-to,
velar-swaps: {
a: (if (is-eq swaps-reversed false) swap-b swap-a)
}
}
}
})
(ok swap-b)
)
)
)
;; Perform swap via XYK Core and Velar
(define-public (swap-helper-d
(amount uint) (min-received uint) (provider (optional principal))
(swaps-reversed bool)
(xyk-tokens (tuple (a <xyk-ft-trait>) (b <xyk-ft-trait>)))
(xyk-pools (tuple (a <xyk-pool-trait>)))
(velar-tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>) (d <velar-ft-trait>) (e <velar-ft-trait>)))
(velar-share-fee-to <velar-share-fee-to-trait>)
)
(let (
;; Transfer aggregator fees
(aggregator-fee-token (if (is-eq swaps-reversed false) (get a xyk-tokens) (get a velar-tokens)))
(amount-after-aggregator-fees (try! (transfer-aggregator-fees aggregator-fee-token provider amount)))
;; Assert that amount-after-aggregator-fees is greater than 0
(amount-check (asserts! (> amount-after-aggregator-fees u0) ERR_INVALID_AMOUNT))
;; Perform each swap
(swap-a (if (is-eq swaps-reversed false)
(try! (xyk-swap-a amount-after-aggregator-fees xyk-tokens xyk-pools))
(try! (velar-swap-d amount-after-aggregator-fees velar-tokens velar-share-fee-to))))
(swap-b (if (is-eq swaps-reversed false)
(try! (velar-swap-d swap-a velar-tokens velar-share-fee-to))
(try! (xyk-swap-a swap-a xyk-tokens xyk-pools))))
)
(begin
;; Assert that swap-b is greater than or equal to min-received
(asserts! (>= swap-b min-received) ERR_MINIMUM_RECEIVED)
;; Print swap data and return number of tokens the caller received
(print {
action: "swap-helper-d",
caller: tx-sender,
data: {
amount: amount,
amount-after-aggregator-fees: amount-after-aggregator-fees,
min-received: min-received,
received: swap-b,
provider: provider,
swaps-reversed: swaps-reversed,
xyk-data: {
xyk-tokens: xyk-tokens,
xyk-pools: xyk-pools,
xyk-swaps: {
a: (if (is-eq swaps-reversed false) swap-a swap-b)
}
},
velar-data: {
velar-tokens: velar-tokens,
velar-share-fee-to: velar-share-fee-to,
velar-swaps: {
a: (if (is-eq swaps-reversed false) swap-b swap-a)
}
}
}
})
(ok swap-b)
)
)
)
;; Check if token path for swap via XYK Core is reversed relative to the pool's tokens
(define-private (is-xyk-path-reversed
(token-in <xyk-ft-trait>) (token-out <xyk-ft-trait>)
(pool-contract <xyk-pool-trait>)
)
(let (
(pool-data (unwrap-panic (contract-call? pool-contract get-pool)))
)
(not
(and
(is-eq (contract-of token-in) (get x-token pool-data))
(is-eq (contract-of token-out) (get y-token pool-data))
)
)
)
)
;; Get swap quote via XYK Core using two tokens
(define-private (xyk-quote-a
(amount uint)
(tokens (tuple (a <xyk-ft-trait>) (b <xyk-ft-trait>)))
(pools (tuple (a <xyk-pool-trait>)))
)
(let (
;; Determine if token path is reversed
(is-reversed (is-xyk-path-reversed (get a tokens) (get b tokens) (get a pools)))
;; Get quote based on path direction
(quote-result (if (is-eq is-reversed false)
(try! (contract-call?
'SM1793C4R5PZ4NS4VQ4WMP7SKKYVH8JZEWSZ9HCCR.xyk-core-v-1-2 get-dy
(get a pools)
(get a tokens) (get b tokens)
amount))
(try! (contract-call?
'SM1793C4R5PZ4NS4VQ4WMP7SKKYVH8JZEWSZ9HCCR.xyk-core-v-1-2 get-dx
(get a pools)
(get b tokens) (get a tokens)
amount))))
)
(ok quote-result)
)
)
;; Get swap quote via Velar using two tokens
(define-private (velar-quote-a
(amount uint)
(tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>)))
)
(let (
(quote-result (contract-call?
'SP1Y5YSTAHZ88XYK1VPDH24GY0HPX5J4JECTMY4A1.univ2-path2 amount-out
amount
(get a tokens) (get b tokens)))
)
(ok quote-result)
)
)
;; Get swap quote via Velar using three tokens
(define-private (velar-quote-b
(amount uint)
(tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>)))
)
(let (
(quote-result (contract-call?
'SP1Y5YSTAHZ88XYK1VPDH24GY0HPX5J4JECTMY4A1.univ2-path2 get-amount-out-3
amount
(get a tokens) (get b tokens) (get c tokens)))
)
(ok (get c quote-result))
)
)
;; Get swap quote via Velar using four tokens
(define-private (velar-quote-c
(amount uint)
(tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>) (d <velar-ft-trait>)))
)
(let (
(quote-result (contract-call?
'SP1Y5YSTAHZ88XYK1VPDH24GY0HPX5J4JECTMY4A1.univ2-path2 get-amount-out-4
amount
(get a tokens) (get b tokens) (get c tokens) (get d tokens)
(list u1 u2 u3 u4)))
)
(ok (get d quote-result))
)
)
;; Get swap quote via Velar using five tokens
(define-private (velar-quote-d
(amount uint)
(tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>) (d <velar-ft-trait>) (e <velar-ft-trait>)))
)
(let (
(quote-result (contract-call?
'SP1Y5YSTAHZ88XYK1VPDH24GY0HPX5J4JECTMY4A1.univ2-path2 get-amount-out-5
amount
(get a tokens) (get b tokens) (get c tokens)
(get d tokens) (get e tokens)))
)
(ok (get e quote-result))
)
)
;; Perform swap via XYK Core using two tokens
(define-private (xyk-swap-a
(amount uint)
(tokens (tuple (a <xyk-ft-trait>) (b <xyk-ft-trait>)))
(pools (tuple (a <xyk-pool-trait>)))
)
(let (
;; Determine if token path is reversed
(is-reversed (is-xyk-path-reversed (get a tokens) (get b tokens) (get a pools)))
;; Perform swap based on path direction
(swap-result (if (is-eq is-reversed false)
(try! (contract-call?
'SM1793C4R5PZ4NS4VQ4WMP7SKKYVH8JZEWSZ9HCCR.xyk-core-v-1-2 swap-x-for-y
(get a pools)
(get a tokens) (get b tokens)
amount u1))
(try! (contract-call?
'SM1793C4R5PZ4NS4VQ4WMP7SKKYVH8JZEWSZ9HCCR.xyk-core-v-1-2 swap-y-for-x
(get a pools)
(get b tokens) (get a tokens)
amount u1))))
)
(ok swap-result)
)
)
;; Perform swap via Velar using two tokens
(define-private (velar-swap-a
(amount uint)
(tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>)))
(share-fee-to <velar-share-fee-to-trait>)
)
(let (
(swap-result (try! (contract-call?
'SP1Y5YSTAHZ88XYK1VPDH24GY0HPX5J4JECTMY4A1.univ2-path2 do-swap
amount
(get a tokens) (get b tokens)
share-fee-to)))
)
(ok (get amt-out swap-result))
)
)
;; Perform swap via Velar using three tokens
(define-private (velar-swap-b
(amount uint)
(tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>)))
(share-fee-to <velar-share-fee-to-trait>)
)
(let (
(swap-result (try! (contract-call?
'SP1Y5YSTAHZ88XYK1VPDH24GY0HPX5J4JECTMY4A1.univ2-path2 swap-3
amount u1
(get a tokens) (get b tokens) (get c tokens)
share-fee-to)))
)
(ok (get amt-out (get c swap-result)))
)
)
;; Perform swap via Velar using four tokens
(define-private (velar-swap-c
(amount uint)
(tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>) (d <velar-ft-trait>)))
(share-fee-to <velar-share-fee-to-trait>)
)
(let (
(swap-result (try! (contract-call?
'SP1Y5YSTAHZ88XYK1VPDH24GY0HPX5J4JECTMY4A1.univ2-path2 swap-4
amount u1
(get a tokens) (get b tokens) (get c tokens) (get d tokens)
share-fee-to)))
)
(ok (get amt-out (get d swap-result)))
)
)
;; Perform swap via Velar using five tokens
(define-private (velar-swap-d
(amount uint)
(tokens (tuple (a <velar-ft-trait>) (b <velar-ft-trait>) (c <velar-ft-trait>) (d <velar-ft-trait>) (e <velar-ft-trait>)))
(share-fee-to <velar-share-fee-to-trait>)
)
(let (
(swap-result (try! (contract-call?
'SP1Y5YSTAHZ88XYK1VPDH24GY0HPX5J4JECTMY4A1.univ2-path2 swap-5
amount u1
(get a tokens) (get b tokens) (get c tokens) (get d tokens) (get e tokens)
share-fee-to)))
)
(ok (get amt-out (get e swap-result)))
)
)
;; Get aggregator fees
(define-private (get-aggregator-fees (provider (optional principal)) (amount uint))
(let (
(call-a (try! (contract-call?
'SM1793C4R5PZ4NS4VQ4WMP7SKKYVH8JZEWSZ9HCCR.aggregator-core-v-1-1 get-aggregator-fees
(as-contract tx-sender) provider amount)))
(amount-after-fees (- amount (get amount-fees-total call-a)))
)
(ok amount-after-fees)
)
)
;; Transfer aggregator fees
(define-private (transfer-aggregator-fees (token <ft-trait>) (provider (optional principal)) (amount uint))
(let (
(call-a (try! (contract-call?
'SM1793C4R5PZ4NS4VQ4WMP7SKKYVH8JZEWSZ9HCCR.aggregator-core-v-1-1 transfer-aggregator-fees
token (as-contract tx-sender) provider amount)))
(amount-after-fees (- amount (get amount-fees-total call-a)))
)
(ok amount-after-fees)
)
)