Source Code

;; Stakied SY Token - Standardized Yield Wrapper
;; Wraps stSTX (liquid staked STX) into standardized yield-bearing token

(impl-trait .sip-010-trait.sip-010-trait)

;; Constants
(define-constant contract-owner tx-sender)
(define-constant err-owner-only (err u100))
(define-constant err-not-authorized (err u101))
(define-constant err-invalid-amount (err u102))
(define-constant err-insufficient-balance (err u103))
(define-constant err-transfer-failed (err u104))

;; Token metadata
(define-constant token-name "Stakied Standardized Yield")
(define-constant token-symbol "SY-stSTX")
(define-constant token-decimals u6)

;; Data variables
(define-data-var token-uri (optional (string-utf8 256)) none)
(define-data-var total-supply uint u0)
(define-data-var exchange-rate uint u1000000) ;; 1:1 initially (6 decimals)
(define-data-var last-yield-update uint u0)

;; Data maps
(define-map balances principal uint)
(define-map allowances {owner: principal, spender: principal} uint)

;; Read-only functions for SIP-010 compliance
(define-read-only (get-name)
  (ok token-name))

(define-read-only (get-symbol)
  (ok token-symbol))

(define-read-only (get-decimals)
  (ok token-decimals))

(define-read-only (get-balance (account principal))
  (ok (default-to u0 (map-get? balances account))))

(define-read-only (get-total-supply)
  (ok (var-get total-supply)))

(define-read-only (get-token-uri)
  (ok (var-get token-uri)))

(define-read-only (get-exchange-rate)
  (ok (var-get exchange-rate)))

(define-public (transfer (amount uint) (sender principal) (recipient principal) (memo (optional (buff 34))))
  (begin
    (asserts! (is-eq tx-sender sender) err-not-authorized)
    (asserts! (> amount u0) err-invalid-amount)
    
    (let ((sender-balance (default-to u0 (map-get? balances sender))))
      (asserts! (>= sender-balance amount) err-insufficient-balance)
      
      (map-set balances sender (- sender-balance amount))
      (map-set balances recipient (+ (default-to u0 (map-get? balances recipient)) amount))
      
      (print {action: "transfer", sender: sender, recipient: recipient, amount: amount, memo: memo})
      (ok true)
    )
  )
)

(define-public (deposit (amount uint))
  (begin
    (asserts! (> amount u0) err-invalid-amount)
    
    ;; TODO: Transfer stSTX from caller to contract
    ;; For now, we mint directly (will integrate stSTX contract later)
    
    (let ((current-balance (default-to u0 (map-get? balances tx-sender))))
      (map-set balances tx-sender (+ current-balance amount))
      (var-set total-supply (+ (var-get total-supply) amount))
      
      (print {action: "deposit", user: tx-sender, amount: amount})
      (ok amount)
    )
  )
)

(define-public (redeem (amount uint))
  (begin
    (asserts! (> amount u0) err-invalid-amount)
    
    (let ((current-balance (default-to u0 (map-get? balances tx-sender))))
      (asserts! (>= current-balance amount) err-insufficient-balance)
      
      (map-set balances tx-sender (- current-balance amount))
      (var-set total-supply (- (var-get total-supply) amount))
      
      ;; TODO: Transfer stSTX back to caller
      
      (print {action: "redeem", user: tx-sender, amount: amount})
      (ok amount)
    )
  )
)

(define-public (update-exchange-rate (new-rate uint))
  (begin
    (asserts! (is-eq tx-sender contract-owner) err-owner-only)
    (asserts! (> new-rate u0) err-invalid-amount)
    (var-set exchange-rate new-rate)
    (var-set last-yield-update stacks-block-height)
    (ok true)
  )
)

Functions (11)

FunctionAccessArgs
get-nameread-only
get-symbolread-only
get-decimalsread-only
get-balanceread-onlyaccount: principal
get-total-supplyread-only
get-token-uriread-only
get-exchange-rateread-only
transferpublicamount: uint, sender: principal, recipient: principal, memo: (optional (buff 34
depositpublicamount: uint
redeempublicamount: uint
update-exchange-ratepublicnew-rate: uint