FungibleToken API

This module provides the full FungibleToken module API.

For an overview of the module, read the FungibleToken guide.

Core

FungibleToken

import "./node-modules/@openzeppelin-compact/contracts/src/token/FungibleToken";

Ledger

_balances: Map<Either<ZswapCoinPublicKey, ContractAddress>, Uint<128>>

ledger

Mapping from account addresses to their token balances.

_allowances: Map<Either<ZswapCoinPublicKey, ContractAddress>, Map<Either<ZswapCoinPublicKey, ContractAddress>, Uint<128>>>

ledger

Mapping from owner accounts to spender accounts and their allowances.

_totalSupply: Uint<128>

ledger

The total token supply.

_name: Opaque<"string">

sealed ledger

The immutable token name.

_symbol: Opaque<"string">

sealed ledger

The immutable token symbol.

_decimals: Uint<8>

sealed ledger

The immutable token decimals.

Circuits

initialize(
  name_: Opaque<"string">,
  symbol_: Opaque<"string">,
  decimals_: Uint<8>
) → []

circuit

Initializes the contract by setting the name, symbol, and decimals.

This MUST be called in the implementing contract’s constructor. Failure to do so can lead to an irreparable contract.

Requirements:

Contract is not initialized.

k=10, rows=71

name() → Opaque<"string">

circuit

Returns the token name.

Requirements:

Contract is initialized.

k=10, rows=37

symbol() → Opaque<"string">

circuit

Returns the symbol of the token.

Requirements:

Contract is initialized.

k=10, rows=37

decimals() → Uint<8>

circuit

Returns the number of decimals used to get its user representation.

Requirements:

Contract is initialized.

k=10, rows=36

totalSupply() → Uint<128>

circuit

Returns the value of tokens in existence.

Requirements:

Contract is initialized.

k=10, rows=36

balanceOf(account: Either<ZswapCoinPublicKey, ContractAddress>) → Uint<128>

circuit

Returns the value of tokens owned by account.

Requirements:

Contract is initialized.

k=10, rows=310

transfer(to: Either<ZswapCoinPublicKey, ContractAddress>, value: Uint<128>) → Boolean

circuit

Moves a value amount of tokens from the caller’s account to to.

Transfers to contract addresses are currently disallowed until contract-to-contract interactions are supported in Compact. This restriction prevents assets from being inadvertently locked in contracts that cannot currently handle token receipt.

Requirements:

Contract is initialized.
to is not a ContractAddress.
to is not the zero address.
The caller has a balance of at least value.

k=11, rows=1173

_unsafeTransfer(to: Either<ZswapCoinPublicKey, ContractAddress>, value: Uint<128>) → Boolean

circuit

Unsafe variant of transfer which allows transfers to contract addresses.

Transfers to contract addresses are considered unsafe because contract-to-contract calls are not currently supported. Tokens sent to a contract address may become irretrievable. Once contract-to-contract calls are supported, this circuit may be deprecated.

Requirements:

Contract is initialized.
to is not the zero address.
The caller has a balance of at least value.

k=11, rows=1170

allowance(
  owner: Either<ZswapCoinPublicKey, ContractAddress>,
  spender: Either<ZswapCoinPublicKey, ContractAddress>
) → Uint<128>

circuit

Returns the remaining number of tokens that spender will be allowed to spend on behalf of owner through transferFrom. This value changes when approve or transferFrom are called.

Requirements:

Contract is initialized.

k=10, rows=624

approve(spender: Either<ZswapCoinPublicKey, ContractAddress>, value: Uint<128>) → Boolean

circuit

Sets a value amount of tokens as allowance of spender over the caller’s tokens.

Requirements:

Contract is initialized.
spender is not the zero address.

k=10, rows=452

transferFrom(
  from: Either<ZswapCoinPublicKey, ContractAddress>,
  to: Either<ZswapCoinPublicKey, ContractAddress>,
  value: Uint<128>
) → Boolean

circuit

Moves value tokens from from to to using the allowance mechanism. value is then deducted from the caller’s allowance.

Requirements:

Contract is initialized.
from is not the zero address.
from must have a balance of at least value.
to is not the zero address.
to is not a ContractAddress.
The caller has an allowance of from’s tokens of at least value.

k=11, rows=1821

_unsafeTransferFrom(
  from: Either<ZswapCoinPublicKey, ContractAddress>,
  to: Either<ZswapCoinPublicKey, ContractAddress>,
  value: Uint<128>
) → Boolean

circuit

Unsafe variant of transferFrom which allows transfers to contract addresses.

Requirements:

Contract is initialized.
from is not the zero address.
from must have a balance of at least value.
to is not the zero address.
The caller has an allowance of from’s tokens of at least value.

k=11, rows=1818

_transfer(
  from: Either<ZswapCoinPublicKey, ContractAddress>,
  to: Either<ZswapCoinPublicKey, ContractAddress>,
  value: Uint<128>
) → []

circuit

Moves a value amount of tokens from from to to. This circuit is equivalent to transfer, and can be used to e.g. implement automatic token fees, slashing mechanisms, etc.

Requirements:

Contract is initialized.
from is not the zero address.
from must have at least a balance of value.
to must not be the zero address.
to must not be a ContractAddress.

k=11, rows=1312

_unsafeUncheckedTransfer(
  from: Either<ZswapCoinPublicKey, ContractAddress>,
  to: Either<ZswapCoinPublicKey, ContractAddress>,
  value: Uint<128>
) → []

circuit

Unsafe variant of _transfer which allows transfers to contract addresses.

Requirements:

Contract is initialized.
from is not the zero address.
to is not the zero address.

k=11, rows=1309

_update(
  from: Either<ZswapCoinPublicKey, ContractAddress>,
  to: Either<ZswapCoinPublicKey, ContractAddress>,
  value: Uint<128>
) → []

internal

Transfers a value amount of tokens from from to to, or alternatively mints (or burns) if from (or to) is the zero address.

Requirements:

Contract is initialized.

k=11, rows=1305

_mint(account: Either<ZswapCoinPublicKey, ContractAddress>, value: Uint<128>) → []

circuit

Creates a value amount of tokens and assigns them to account, by transferring it from the zero address. Relies on the update mechanism.

Requirements:

Contract is initialized.
to is not a ContractAddress.
account is not the zero address.

k=10, rows=752

_unsafeMint(account: Either<ZswapCoinPublicKey, ContractAddress>, value: Uint<128>) → []

circuit

Unsafe variant of _mint which allows transfers to contract addresses.

Requirements:

Contract is initialized.
account is not the zero address.

k=10, rows=749

_burn(account: Either<ZswapCoinPublicKey, ContractAddress>, value: Uint<128>) → []

circuit

Destroys a value amount of tokens from account, lowering the total supply. Relies on the _update mechanism.

Requirements:

Contract is initialized.
account is not the zero address.
account must have at least a balance of value.

k=10, rows=773

_approve(
  owner: Either<ZswapCoinPublicKey, ContractAddress>,
  spender: Either<ZswapCoinPublicKey, ContractAddress>,
  value: Uint<128>
) → []

circuit

Sets value as the allowance of spender over the owner’s tokens. This circuit is equivalent to approve, and can be used to e.g. set automatic allowances for certain subsystems, etc.

Requirements:

Contract is initialized.
owner is not the zero address.
spender is not the zero address.

k=10, rows=583

_spendAllowance(
  owner: Either<ZswapCoinPublicKey, ContractAddress>,
  spender: Either<ZswapCoinPublicKey, ContractAddress>,
  value: Uint<128>
) → []

circuit

Updates owner’s allowance for spender based on spent value. Does not update the allowance value in case of infinite allowance.

Requirements:

Contract is initialized.
spender must have at least an allowance of value from owner.

k=10, rows=931

FungibleToken API

Core

FungibleToken

Ledger

Witnesses

Circuits

On this page