Contracts

Source code on Github: https://github.com/tinymanorg/tinyman-contracts-v1

Audit Report by Runtime Verification: https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Tinyman.pdf

Overview

The Tinyman contracts consist of a single stateful smart contract (the Validator App) and a template for a stateless smart contract for each Pool, the Pool LogicSig. The Validator app is created/deployed to the network by the Tinyman team. The Pool contract accounts are created from the Pool LogicSig template by the first Pooler who wishes to provide liquidity. Pool contract account addresses are discovered or verified by Swappers/Poolers using the Pool LogicSig template to generate a specific Pool LogicSig and retrieving the address.

Validator App

• Stateful smart contract

• Created by Tinyman core team

• Fully immutable

  • No updates allowed

  • No deletion allowed

• No global state

• Local state in Pool, Pooler, Swapper accounts (16 ints, 0 bytes)

• Contains validation and state manipulation logic for all operations

Pool Logic Signature Template

• A stateless smart contract template

• Template variables for asset 1 id, asset 2 id, and Validator App id

• Pool contract account address retrieved by hashing the completed template

• Contains logic to ensure only transactions part of expected transaction groups are signed

• Delegates most logic responsibility to the Validator app by ensuring the transaction group contains a call to the Validator App with appropriate arguments

Version 1.1

Source Code: https://github.com/tinymanorg/tinyman-contracts-v1/tree/13acadd1a619d0fcafadd6f6c489a906bf347484

Mainnet Validator App ID: 552635992

Testnet Validator App ID: 62368684

Version 1.0

Source Code: https://github.com/tinymanorg/tinyman-contracts-v1/tree/d1090f16d755b3898d2b8e03a2efa86133c30346

Mainnet Validator App ID: 350338509

Testnet Validator App ID: 21580889