Technical Reference

WORLD

Source updated:: 2024-10-28 16:35:38 UTC
Last updated:: 2026-09-29 00:09:14 UTC

Source Revision 0x352f6bbc…011c7f

Property	Value
Source Revision	`0x352f6bbc5542e916d30bd52a890f251241111389a034d177fe6a51d4c6011c7f`
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/69d56437dd9a104f3aec403e367ec64f84dceaac/solidity/dysnomia/domain/world.sol
Source commit	`69d56437dd9a104f3aec403e367ec64f84dceaac`
Source Status	Source snapshot; source hashes do not establish deployed bytecode equivalence.
Compiler	solc 0.8.21; optimizer enabled with 200 runs
Compiler Configuration	`{"evmVersion":"compiler-default","optimizer":{"enabled":true,"runs":200},"version":"0.8.21+commit.d9974bed.Linux.g++"}`
Compilation Closure Hash	`0xafacb2771d0b8ee5016f242b06000a4a51e59ef8ef1502d4c591caf97b2da31d`
Compilation Closure Files	43
Hash Generated	2026-04-20T02:38:22Z

Overview

WORLD is the world simulation contract that manages territory, creation tracking, and reward distribution. It coordinates between players, geographic locations, and the economic system.

Kind: Contract
License: Sharia
Solidity: ^0.8.21
Source: domain/world.sol

Contract addressNot currently resolved

Inheritance Chain (C3 Linearized)

Immediate Parents

DYSNOMIA

What This Means For Players

Code conditionally updates numeric venue/creator accounting and requests VITUS minting to the YUE. It does not transfer an exclusive land title or guarantee a positive reward. Distribute uses approved tokens from msg.sender and subtracts paid amounts from creator credits.

The pinned source has no write populating _cauda. Tail and Distribute therefore have an empty iteration index on a fresh deployment of this source. Existing deployed bytecode and storage need separate evidence.

State Variables

Variable	Type	Visibility	Mutability	Initial Value
`Type`	`string`	public	constant	`WORLD`
`Cheon`	`CHEON`	public	mutable	``
`Meta`	`META`	public	mutable	``
`Vitus`	`VITUS`	public	mutable	``
`Map`	`MAPINTERFACE`	public	mutable	``
`_world`	`mapping(int256 => mapping(int256 => mapping(address => uint256)))`	private	mutable	``
`_cauda`	`mapping(address => int256[])`	private	mutable	``
`_creation`	`mapping(int256 => address[])`	private	mutable	``
`_creators`	`mapping(int256 => mapping(address => mapping(address => uint256)))`	private	mutable	``
`_whitelist`	`mapping(address => mapping(address => bool))`	private	mutable	``

Errors

Error	Parameters	NatSpec
`OutOfRange`	int256 QingLatitude, int256 QingLongitude, uint256 Range

Constructor

constructor

constructorconstructor

constructor(address CheonAddress, address MetaAddress, address MapAddress) DYSNOMIA("Dysnomia World", "WORLD", address(DYSNOMIA(CheonAddress).Xiao()))

Modifiers: DYSNOMIA("Dysnomia World", "WORLD", address(DYSNOMIA(CheonAddress).Xiao()))
Parameters: address CheonAddress, address MetaAddress, address MapAddress

Functions

External & Public

Whitelist

Whitelistfunction

function Whitelist(address Caude, address Distributive, bool Allow) public

A callable deployment has not been resolved for this reference.

Visibility: public
Parameters: address Caude, address Distributive, bool Allow

Tail

Tailfunction

function Tail(address Caude, uint256 Position) public view returns (uint256 Bid)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Parameters: address Caude, uint256 Position
Returns: uint256 Bid

Bun

Bunfunction

function Bun(int256 Latitude, int256 Longitude, address Caude) public view returns (uint256)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Parameters: int256 Latitude, int256 Longitude, address Caude
Returns: uint256

Buzz

Buzzfunction

function Buzz(int256 Latitude, address Coder, address Caude) public view returns (uint256)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Parameters: int256 Latitude, address Coder, address Caude
Returns: uint256

Distribute

Distributefunction

function Distribute(address Caude, address Distributive, uint256 Amount) public returns (uint256 Remaining)

A callable deployment has not been resolved for this reference.

Visibility: public
Parameters: address Caude, address Distributive, uint256 Amount
Returns: uint256 Remaining

Code

Codefunction

function Code(int256 Latitude, int256 Longitude, address Cause) public

A callable deployment has not been resolved for this reference.

Visibility: public
Parameters: int256 Latitude, int256 Longitude, address Cause

Inherited Members

Public and external functions below are callable through this contract’s address. Parent links identify where each member is defined.

From DYSNOMIA

External & Public Functions

Rename

Renamefunction

function Rename(string memory newName, string memory newSymbol) public virtual onlyOwners

A callable deployment has not been resolved for this reference.

Visibility: public
Virtual: yes
Modifiers: onlyOwners
Parameters: string memory newName, string memory newSymbol

mintToCap

mintToCapfunction

function mintToCap() public onlyOwners

A callable deployment has not been resolved for this reference.

Visibility: public
Modifiers: onlyOwners

GetMarketRate

GetMarketRatefunction

function GetMarketRate(address _a) public view returns (uint256)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Parameters: address _a
Returns: uint256

Purchase

Purchasefunction

function Purchase(address _t, uint256 _a) public

A callable deployment has not been resolved for this reference.

Visibility: public
Parameters: address _t, uint256 _a

Redeem

Redeemfunction

function Redeem(address _t, uint256 _a) public

A callable deployment has not been resolved for this reference.

Visibility: public
Parameters: address _t, uint256 _a

name

namefunction

function name() public view virtual returns (string memory)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Virtual: yes
Returns: string memory

symbol

symbolfunction

function symbol() public view virtual returns (string memory)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Virtual: yes
Returns: string memory

decimals

decimalsfunction

function decimals() public view virtual returns (uint8)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Virtual: yes
Returns: uint8

totalSupply

totalSupplyfunction

function totalSupply() public view virtual returns (uint256)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Virtual: yes
Returns: uint256

balanceOf

balanceOffunction

function balanceOf(address account) public view virtual returns (uint256)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Virtual: yes
Parameters: address account
Returns: uint256

transfer

transferfunction

function transfer(address to, uint256 value) public virtual returns (bool)

A callable deployment has not been resolved for this reference.

Visibility: public
Virtual: yes
Parameters: address to, uint256 value
Returns: bool

allowance

allowancefunction

function allowance(address owner, address spender) public view virtual returns (uint256)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Virtual: yes
Parameters: address owner, address spender
Returns: uint256

approve

approvefunction

function approve(address spender, uint256 value) public virtual returns (bool)

A callable deployment has not been resolved for this reference.

Visibility: public
Virtual: yes
Parameters: address spender, uint256 value
Returns: bool

transferFrom

transferFromfunction

function transferFrom(address from, address to, uint256 value) public virtual returns (bool)

A callable deployment has not been resolved for this reference.

Visibility: public
Virtual: yes
Parameters: address from, address to, uint256 value
Returns: bool

Internal Functions

Function	Signature
`_addLibraryOwner`	`function _addLibraryOwner(VOID Void, string memory what) internal`
`_mintToCap`	`function _mintToCap() internal`
`_addMarketRate`	`function _addMarketRate(address _a, uint256 _r) internal`
`_transfer`	`function _transfer(address from, address to, uint256 value) internal`
`_update`	`function _update(address from, address to, uint256 value) internal virtual`
`_mint`	`function _mint(address account, uint256 value) internal`
`_approve`	`function _approve(address owner, address spender, uint256 value) internal`
`_approve`	`function _approve(address owner, address spender, uint256 value, bool emitEvent) internal virtual`
`_spendAllowance`	`function _spendAllowance(address owner, address spender, uint256 value) internal virtual`

Events

Event	Parameters
`Transfer`	address indexed from, address indexed to, uint256 value
`Approval`	address indexed owner, address indexed spender, uint256 value

Errors

Error	Parameters
`MarketRateNotFound`	address asset
`DysnomiaInsufficientBalance`	address origin, address sender, address from, address to, address what, uint256 balance, uint256 needed
`DysnomiaInsufficientAllowance`	address origin, address sender, address owner, address spender, address what, uint256 allowance, uint256 needed

State Variables (private parent storage is not reachable and is omitted)

Variable	Type	Visibility	Mutability
`__name`	`string`	internal	mutable
`__symbol`	`string`	internal	mutable
`MotzkinPrime`	`uint64`	public	constant
`Xiao`	`atropaMath`	public	mutable
`maxSupply`	`uint256`	public	mutable

From MultiOwnable

External & Public Functions

owner

ownerfunction

function owner() external view virtual returns (address)

A callable deployment has not been resolved for this reference.

Visibility: external
State Mutability: view
Virtual: yes
Returns: address

owner

ownerfunction

function owner(address cOwner) public view virtual returns (bool)

A callable deployment has not been resolved for this reference.

Visibility: public
State Mutability: view
Virtual: yes
Parameters: address cOwner
Returns: bool

renounceOwnership

renounceOwnershipfunction

function renounceOwnership(address toRemove) public virtual onlyOwners

A callable deployment has not been resolved for this reference.

Visibility: public
Virtual: yes
Modifiers: onlyOwners
Parameters: address toRemove

addOwner

addOwnerfunction

function addOwner(address newOwner) public virtual onlyOwners

A callable deployment has not been resolved for this reference.

Visibility: public
Virtual: yes
Modifiers: onlyOwners
Parameters: address newOwner

Internal Functions

Function	Signature
`_checkOwner`	`function _checkOwner() internal view virtual`
`_changeOwnership`	`function _changeOwnership(address cOwner, bool cState) internal virtual`

Events

Event	Parameters
`OwnershipUpdate`	address indexed newOwner, bool indexed state

Errors

Error	Parameters
`OwnableUnauthorizedAccount`	address origin, address account, address what
`OwnableInvalidOwner`	address origin, address owner, address what

Modifiers

Modifier	Parameters
`onlyOwners`	(none)

Contract Interactions

Depends On

DYSNOMIA V2 - Base functionality
CHEON - Player management
META - Calculations
MAP - Geographic registry

Creates

VITUS - Creator reward token

Special Mechanisms

Code can return with no creator update when Charge is zero or below the stored threshold. The source never populates _cauda. Distribute iterates that index, spends caller-approved tokens and subtracts individual payments from credits; it is not a blanket reset or an automatic distribution of WORLD balances. See WORLD limits.

Inherited functions and getters (8)

WORLD.Cheon()Read

A callable deployment has not been resolved for this reference.

WORLD.Map()Read

A callable deployment has not been resolved for this reference.

WORLD.Meta()Read

A callable deployment has not been resolved for this reference.

WORLD.MotzkinPrime()Read

A callable deployment has not been resolved for this reference.

WORLD.Type()Read

A callable deployment has not been resolved for this reference.

WORLD.Vitus()Read

A callable deployment has not been resolved for this reference.

WORLD.Xiao()Read

A callable deployment has not been resolved for this reference.

WORLD.maxSupply()Read

A callable deployment has not been resolved for this reference.

Compiled ABI

The compiled ABI below is produced by solc 0.8.21 from the exact source bytes recorded in Source details. Consumers can paste it directly into ethers/web3/viem.

Click to expand JSON ABI

[
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "CheonAddress",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "MetaAddress",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "MapAddress",
        "type": "address"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "constructor"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "sender",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "allowance",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "needed",
        "type": "uint256"
      }
    ],
    "name": "DysnomiaInsufficientAllowance",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "sender",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "from",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "balance",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "needed",
        "type": "uint256"
      }
    ],
    "name": "DysnomiaInsufficientBalance",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "asset",
        "type": "address"
      }
    ],
    "name": "MarketRateNotFound",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "int256",
        "name": "QingLatitude",
        "type": "int256"
      },
      {
        "internalType": "int256",
        "name": "QingLongitude",
        "type": "int256"
      },
      {
        "internalType": "uint256",
        "name": "Range",
        "type": "uint256"
      }
    ],
    "name": "OutOfRange",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      }
    ],
    "name": "OwnableInvalidOwner",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "account",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      }
    ],
    "name": "OwnableUnauthorizedAccount",
    "type": "error"
  },
  {
    "anonymous": false,
    "inputs": [
      {
        "indexed": true,
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "indexed": false,
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "Approval",
    "type": "event"
  },
  {
    "anonymous": false,
    "inputs": [
      {
        "indexed": true,
        "internalType": "address",
        "name": "newOwner",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "bool",
        "name": "state",
        "type": "bool"
      }
    ],
    "name": "OwnershipUpdate",
    "type": "event"
  },
  {
    "anonymous": false,
    "inputs": [
      {
        "indexed": true,
        "internalType": "address",
        "name": "from",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "indexed": false,
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "Transfer",
    "type": "event"
  },
  {
    "inputs": [
      {
        "internalType": "int256",
        "name": "Latitude",
        "type": "int256"
      },
      {
        "internalType": "int256",
        "name": "Longitude",
        "type": "int256"
      },
      {
        "internalType": "address",
        "name": "Caude",
        "type": "address"
      }
    ],
    "name": "Bun",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "int256",
        "name": "Latitude",
        "type": "int256"
      },
      {
        "internalType": "address",
        "name": "Coder",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "Caude",
        "type": "address"
      }
    ],
    "name": "Buzz",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Cheon",
    "outputs": [
      {
        "internalType": "contract CHEON",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "int256",
        "name": "Latitude",
        "type": "int256"
      },
      {
        "internalType": "int256",
        "name": "Longitude",
        "type": "int256"
      },
      {
        "internalType": "address",
        "name": "Cause",
        "type": "address"
      }
    ],
    "name": "Code",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "Caude",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "Distributive",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "Amount",
        "type": "uint256"
      }
    ],
    "name": "Distribute",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "Remaining",
        "type": "uint256"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "_a",
        "type": "address"
      }
    ],
    "name": "GetMarketRate",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Map",
    "outputs": [
      {
        "internalType": "contract MAPINTERFACE",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Meta",
    "outputs": [
      {
        "internalType": "contract META",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "MotzkinPrime",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "_t",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "_a",
        "type": "uint256"
      }
    ],
    "name": "Purchase",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "_t",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "_a",
        "type": "uint256"
      }
    ],
    "name": "Redeem",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "newName",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "newSymbol",
        "type": "string"
      }
    ],
    "name": "Rename",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "Caude",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "Position",
        "type": "uint256"
      }
    ],
    "name": "Tail",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "Bid",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Type",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Vitus",
    "outputs": [
      {
        "internalType": "contract VITUS",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "Caude",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "Distributive",
        "type": "address"
      },
      {
        "internalType": "bool",
        "name": "Allow",
        "type": "bool"
      }
    ],
    "name": "Whitelist",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Xiao",
    "outputs": [
      {
        "internalType": "contract atropaMath",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "newOwner",
        "type": "address"
      }
    ],
    "name": "addOwner",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      }
    ],
    "name": "allowance",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "approve",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "account",
        "type": "address"
      }
    ],
    "name": "balanceOf",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "decimals",
    "outputs": [
      {
        "internalType": "uint8",
        "name": "",
        "type": "uint8"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "maxSupply",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "mintToCap",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "name",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "cOwner",
        "type": "address"
      }
    ],
    "name": "owner",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "owner",
    "outputs": [
      {
        "internalType": "address",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "toRemove",
        "type": "address"
      }
    ],
    "name": "renounceOwnership",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "symbol",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "totalSupply",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "transfer",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "from",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "transferFrom",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  }
]