SHA

Contract addressInstance-specific

Hash-verified 0x519c4e41…d65b15

Source details▾

Property	Value
Keccak256 Hash	0x519c4e414616a2d1eff8a9b74e4d6f60486771223dc0519482f6314ec4d65b15
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/58607494f7741b80525953e4a85bc99e66fd20fc/solidity/dysnomia/02_sha.sol
Source Revision	58607494f7741b80525953e4a85bc99e66fd20fc
Source Status	Canonical source snapshot; deployed bytecode equivalence is only established where a deployment record says so.
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	0xa697ab004dfd4a427192eaa3c4a5c3db89a173e61130947de9033a4dfd0f01d3
Compilation Closure Files	5
Hash Generated	2026-09-14T19:33:32Z

Overview

SHA is a cryptographic state token that implements modular exponentiation-based transformations. Each SHA instance maintains internal state (Fa) that can be manipulated through various operations to produce deterministic but unpredictable outputs.

• Kind: Contract
• License: Sharia
• Solidity: ^0.8.21
• Source: 02_sha.sol

Inheritance Chain (C3 Linearized)

0. self — SHA
1. DYSNOMIA
2. MultiOwnable

Immediate Parents

• DYSNOMIA

What This Means For Players

Plain English Summary: SHA is your secret key generator. It creates unique cryptographic codes that prove things belong to you. When you join the game, a SHA token is created for you that generates your unique identity fingerprints - no one else can have the same codes as you.

Real-World Analogy: Think of SHA like a personal stamp-making machine. Each stamp you create is unique to you, and when you stamp something, everyone knows it came from you. The machine uses complex math to ensure no one can forge your stamp.

How It Affects Your Gameplay:

• Identity proof - Your SHA generates codes that prove actions came from you
• Secure pairing - SHA tokens work in pairs (Rod/Cone) to create unbreakable links
• Reaction mechanics - When you interact with the game, your SHA “reacts” to produce unique outputs

State Variables

Variable	Type	Visibility	Mutability	Initial Value	NatSpec
Type	string	public	constant	SHA
Mu	Fa	private	mutable	``
Dynamo	uint64	public	mutable	``

Errors

Error	Parameters	NatSpec
ReactionZeroError	uint64 Eta, uint64 Kappa

Constructor

constructor

constructorconstructor

constructor(string memory name, string memory symbol, address MathLib) DYSNOMIA(name, symbol, MathLib)

• Modifiers: DYSNOMIA(name, symbol, MathLib)
• Parameters: string memory name, string memory symbol, address MathLib

Functions

External & Public

View

Viewfunction

function View() public view returns (Fa memory)

Open this function to load its call form.

• Visibility: public
• State Mutability: view
• Returns: Fa memory

Fuse

Fusefunction

function Fuse(uint64 _rho, uint64 Upsilon, uint64 Ohm) public onlyOwners

Open this function to load its call form.

• Visibility: public
• Modifiers: onlyOwners
• Parameters: uint64 _rho, uint64 Upsilon, uint64 Ohm

Avail

Availfunction

function Avail(uint64 Xi) public onlyOwners

Open this function to load its call form.

• Visibility: public
• Modifiers: onlyOwners
• Parameters: uint64 Xi

Form

Formfunction

function Form(uint64 Chi) public onlyOwners

Open this function to load its call form.

• Visibility: public
• Modifiers: onlyOwners
• Parameters: uint64 Chi

Polarize

Polarizefunction

function Polarize() public onlyOwners

Open this function to load its call form.

• Visibility: public
• Modifiers: onlyOwners

Conjugate

Conjugatefunction

function Conjugate(uint64 Chi) public onlyOwners

Open this function to load its call form.

• Visibility: public
• Modifiers: onlyOwners
• Parameters: uint64 Chi

Conify

Conifyfunction

function Conify(uint64 _Beta) public onlyOwners

Open this function to load its call form.

• Visibility: public
• Modifiers: onlyOwners
• Parameters: uint64 _Beta

Saturate

Saturatefunction

function Saturate(uint64 _Beta, uint64 Epsilon, uint64 Theta) public onlyOwners

Open this function to load its call form.

• Visibility: public
• Modifiers: onlyOwners
• Parameters: uint64 _Beta, uint64 Epsilon, uint64 Theta

Bond

Bondfunction

function Bond() public onlyOwners

Open this function to load its call form.

• Visibility: public
• Modifiers: onlyOwners

Adduct

Adductfunction

function Adduct(uint64 _Phi) public returns (uint64)

Open this function to load its call form.

• Visibility: public
• Parameters: uint64 _Phi
• Returns: uint64

React

Reactfunction

function React(uint64 Pi, uint64 Theta) public returns (uint64, uint64)

Open this function to load its call form.

• Visibility: public
• Parameters: uint64 Pi, uint64 Theta
• Returns: uint64, uint64

Internal

Augment

Augmentfunction

function Augment() internal

• Visibility: internal

Private

Seed

Seedfunction

function Seed() private

• Visibility: private

Tune

Tunefunction

function Tune() private

• Visibility: private

Inherited Members

This contract inherits the members below from its parents. See each parent’s dedicated MD for full signatures, NatSpec, and semantics.

From DYSNOMIA

External & Public Functions

Function	Signature	State Mutability
Rename	function Rename(string memory newName, string memory newSymbol) public onlyOwners	nonpayable
mintToCap	function mintToCap() public onlyOwners	nonpayable
GetMarketRate	function GetMarketRate(address _a) public view returns (uint256)	view
Purchase	function Purchase(address _t, uint256 _a) public	nonpayable
Redeem	function Redeem(address _t, uint256 _a) public	nonpayable
name	function name() public view virtual returns (string memory)	view
symbol	function symbol() public view virtual returns (string memory)	view
decimals	function decimals() public view virtual returns (uint8)	view
totalSupply	function totalSupply() public view virtual returns (uint256)	view
balanceOf	function balanceOf(address account) public view virtual returns (uint256)	view
transfer	function transfer(address to, uint256 value) public virtual returns (bool)	nonpayable
allowance	function allowance(address owner, address spender) public view virtual returns (uint256)	view
approve	function approve(address spender, uint256 value) public virtual returns (bool)	nonpayable
transferFrom	function transferFrom(address from, address to, uint256 value) public virtual returns (bool)	nonpayable

Internal Functions

Function	Signature
_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
_spendAllowance	function _spendAllowance(address owner, address spender, uint256 value) internal virtual
log10	function log10(uint256 value) internal pure returns (uint256)
String	function String(uint256 value) internal pure returns (string memory buffer)
Hex	function Hex(address account) internal pure returns (string memory)

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

Function	Signature	State Mutability
owner	function owner() external view virtual returns (address)	view
renounceOwnership	function renounceOwnership(address toRemove) public virtual onlyOwners	nonpayable
addOwner	function addOwner(address newOwner) public virtual onlyOwners	nonpayable

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 - Base token functionality
• VMREQ - Random number generation

Depended On By

• SHIO - Uses paired SHA instances
• SHAFactory - Creates SHA instances

Special Mechanisms

Seed/Tune/Augment Pattern

Constructor follows three-phase initialization:

1. Seed: Generate random Base, Secret, Signal
2. Tune: Compute Channel = Base^Signal mod MotzkinPrime
3. Augment: Mint initial tokens

Pairing Protocol

SHA tokens are designed to work in pairs (Rod/Cone in SHIO). The Conjugate, Conify, and Saturate operations exchange state between paired tokens to establish cryptographic binding.

Reaction Mechanism

The React function produces two outputs that should be symmetric when called on paired SHA tokens with cross-referenced Channels, enabling verification of proper pairing.

---

---

---

---

---

---

---

Inherited functions and getters (23)

SHA.Dynamo()Read

Open this function to load its call form.

SHA.GetMarketRate(address _a)Read

Open this function to load its call form.

SHA.MotzkinPrime()Read

Open this function to load its call form.

SHA.Purchase(address _t, uint256 _a)Simulate / call

Open this function to load its call form.

SHA.Redeem(address _t, uint256 _a)Simulate / call

Open this function to load its call form.

SHA.Rename(string newName, string newSymbol)Simulate / call

Open this function to load its call form.

SHA.Type()Read

Open this function to load its call form.

SHA.Xiao()Read

Open this function to load its call form.

SHA.addOwner(address newOwner)Simulate / call

Open this function to load its call form.

SHA.allowance(address owner, address spender)Read

Open this function to load its call form.

SHA.approve(address spender, uint256 value)Simulate / call

Open this function to load its call form.

SHA.balanceOf(address account)Read

Open this function to load its call form.

SHA.decimals()Read

Open this function to load its call form.

SHA.maxSupply()Read

Open this function to load its call form.

SHA.mintToCap()Simulate / call

Open this function to load its call form.

SHA.name()Read

Open this function to load its call form.

SHA.owner(address cOwner)Read

Open this function to load its call form.

SHA.owner()Read

Open this function to load its call form.

SHA.renounceOwnership(address toRemove)Simulate / call

Open this function to load its call form.

SHA.symbol()Read

Open this function to load its call form.

SHA.totalSupply()Read

Open this function to load its call form.

SHA.transfer(address to, uint256 value)Simulate / call

Open this function to load its call form.

SHA.transferFrom(address from, address to, uint256 value)Simulate / call

Open this function to load its call form.

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": "string",
        "name": "name",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "symbol",
        "type": "string"
      },
      {
        "internalType": "address",
        "name": "MathLib",
        "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": "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"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Eta",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Kappa",
        "type": "uint64"
      }
    ],
    "name": "ReactionZeroError",
    "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": "uint64",
        "name": "_Phi",
        "type": "uint64"
      }
    ],
    "name": "Adduct",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Xi",
        "type": "uint64"
      }
    ],
    "name": "Avail",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Bond",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "_Beta",
        "type": "uint64"
      }
    ],
    "name": "Conify",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Chi",
        "type": "uint64"
      }
    ],
    "name": "Conjugate",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Dynamo",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Chi",
        "type": "uint64"
      }
    ],
    "name": "Form",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "_rho",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Upsilon",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Ohm",
        "type": "uint64"
      }
    ],
    "name": "Fuse",
    "outputs": [],
    "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": "MotzkinPrime",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Polarize",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "_t",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "_a",
        "type": "uint256"
      }
    ],
    "name": "Purchase",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Pi",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Theta",
        "type": "uint64"
      }
    ],
    "name": "React",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "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": "uint64",
        "name": "_Beta",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Epsilon",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Theta",
        "type": "uint64"
      }
    ],
    "name": "Saturate",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Type",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "View",
    "outputs": [
      {
        "components": [
          {
            "internalType": "uint64",
            "name": "Base",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Secret",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Signal",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Channel",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Contour",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Pole",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Identity",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Foundation",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Element",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Coordinate",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Charge",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Chin",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Monopole",
            "type": "uint64"
          }
        ],
        "internalType": "struct Fa",
        "name": "",
        "type": "tuple"
      }
    ],
    "stateMutability": "view",
    "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"
  }
]