Tinyman Docs
  • Tinyman V2 Overview
  • About Tinyman
  • Protocol Specification
    • Pool
      • Pool Creation
      • Adding Liquidity
      • Removing Liquidity
    • Swap
    • Fees
    • Flash Loan
    • Flash Swap
    • Additional Notes
  • FAQ
    • Migration FAQ
  • Fees
  • Permissioned Methods
    • Roles
    • Methods
    • Related Non-Permissioned Methods
  • Formulae
  • Disclaimer
  • Contracts
  • Audits & Security
  • Token and Governance
    • TINY Token Details
    • Governance Details
      • Overview
      • Governance Vault
      • Governance Rewards
      • Governance Process
      • TINY Farming
  • V2 Integration
    • Protocol Methods
      • Bootstrap
      • Add Initial Liquidity
      • Add Subsequent Liquidity
      • Remove Liquidity
      • Swap
      • Flash Loan
      • Flash Swap
    • State Data
    • Oracle Data
    • Calculating Quotes
    • Official SDKs
  • Swap Router
    • Transaction Specification
  • Swap Widget
    • Customization Preferences
    • How to export your Widget
  • Lending Pools
  • Liquid Staking
    • Liquid Staking
  • Tinyman V1
    • Overview
    • Tinyman AMM Basics
      • Creating Pools
      • Slippage & Excess
      • Farming
    • FAQ
    • Fees
    • Design Doc
    • Contracts
    • Tinyman Testnet
    • Disclaimer
    • Audits
    • Security
  • V1 Integration
    • Pool Lookup
    • Transaction Specifications
      • Bootstrap Pool
      • OptIn
      • Swap
      • Mint
      • Burn
      • Redeem
      • Create Validator App
      • Redeem Protocol Fees
    • Official SDKs
    • Community SDKs
  • Tinyman Presentations
  • Known Issues
    • 2021-11-12 - Pool overflow errors
Powered by GitBook
On this page
  • Transaction Group
  • Validator App State Changes

Was this helpful?

  1. V1 Integration
  2. Transaction Specifications

Redeem

Claim back 'change' due to slippage in Mint/Burn/Swap process.

Transaction Group

0. Pay - pay fees in Algo from PoolerSwapper to Pool

  • fees to cover Tx 1,2

  • Signed by Pooler

{
  "txn": {
   "type": "pay",
   "rcv": "{POOL_ADDRESS}",
   "snd": "{POOLER/SWAPPER_ADDRESS",
   "amt": 2000,
   "fee": 1000,
   ...
  },
  "sig": "{POOLER/SWAPPER_SIG}",
}
  1. App Call - NoOp call to Validator App with args ['redeem'], with Pooler/Swapper account

    • Signed by Pool LogicSig

{
  "txn": {
    "type": "appl",
    "snd": "{POOL_ADDRESS}",
    "apid": {VALIDATOR_APP_ID},
    "apan": 0, // OnComplete: NoOp
    "apaa": ['cmVkZWVt'], // ['redeem']
    "apas": [{ASSET1_ID}, {ASSET2_ID}, {LIQUIDITY_ASSET_ID}], // or just [{ASSET1_ID}, {LIQUIDITY_ASSET_ID}] if asset 2 is Algo
    "apat": [{POOLER/SWAPPER_ADDRESS}],
    "fee": 1000,
    ...
  },
  "lsig": "{POOL_LOGICSIG}",
}

2. (a) AssetTransfer - Transfer of asset from Pool to Pooler/Swapper

  • If asset is an ASA

  • Signed by Pool LogicSig

{
  "txn": {
    "type": "axfer",
    "arcv": "{POOLER/SWAPPER_ADDRESS}",
    "snd": "{POOL_ADDRESS}",
    "xaid": {ASSET_ID},
    "aamt": {ASSET_AMOUNT},
    "fee": 1000,
    ...
  },
  "lsig": "{POOL_LOGICSIG}",
}

2. (b) Pay - Transfer of Algo from Pool to Pooler/Swapper

  • If asset is Algo

  • Signed by Pool LogicSig

{
  "txn": {
    "type": "pay",
    "rcv": "{POOLER/SWAPPER_ADDRESS}",
    "snd": "{POOL_ADDRESS"},
    "amt": {ASSET_AMOUNT},
    "fee": 1000,
    ...
  },
  "lsig": "{POOL_LOGICSIG}",
}

Validator App State Changes

Global State

None

Pool Account Local State

  • o{LIQUIDITY_ASSET_ID}: {int} // total outstanding unredeemed liquidity asset amount

  • o{ASSET1_ID}: {int} // total outstanding unredeemed asset 1 amount

  • o{ASSET2_ID}: {int} // total outstanding unredeemed asset 2 amount

Pooler/Swapper Account Local State

  • {POOL_ADDRESS}e{LIQUIDITY_ASSET_ID}: {int} // excess liquidity asset amount available for redemption

  • {POOL_ADDRESS}e{ASSET1_ID}: {int} // excess asset 1 amount available for redemption

  • {POOL_ADDRESS}e{ASSET2_ID}: {int} // excess asset 2 amount available for redemption

PreviousBurnNextCreate Validator App

Last updated 2 years ago

Was this helpful?