Technical Reference

VMREQ

Source updated:: 2024-11-18 19:46:03 UTC
Last updated:: 2026-09-19 17:17:40 UTC

Source Revision 0x4e3d2f54…b2ceb4

Property	Value
Source Revision	`0x4e3d2f54ef5ad86ae4452be01de2e1f53ac09aadf4102cc2f84a1b04c0b2ceb4`
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/7a191e418f9ec7e414f5fef26678d97bf6b9f4db/solidity/dysnomia/00b_vmreq.sol
Source commit	`7a191e418f9ec7e414f5fef26678d97bf6b9f4db`
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	`0xcbd5513df515c0ac1c45661c1438dc49bc6bcab748ecd688b0a924cf8ff20a8c`
Compilation Closure Files	20
Hash Generated	2026-04-20T02:38:18Z

Overview

VMREQ (Virtual Machine Request) is the random number generator contract for the Dysnomia ecosystem. It uses modular exponentiation with pre-seeded state values to generate cryptographically-influenced random numbers.

Kind: Contract
License: Sharia
Solidity: ^0.8.21
Source: 00b_vmreq.sol

Contract address:

0xB680F0cc810317933F234f67EB6A9E923407f05D

Inheritance Chain (C3 Linearized)

Immediate Parents

DYSNOMIA

What This Means For Players

Plain English Summary: VMREQ is the dice roller of the Dysnomia game. Whenever the game needs a random number - to determine rewards, create unique tokens, or add unpredictability - it asks VMREQ to roll the dice. This ensures the game is fair and unpredictable.

Real-World Analogy: Imagine a casino’s random number generator that determines slot machine outcomes. VMREQ serves the same purpose: it produces random numbers that are used throughout the game to make things unpredictable. Unlike a casino, however, the code is public and verifiable, so you can trust it’s truly random.

How It Affects Your Gameplay:

Token creation - When you mint a new token, its maximum supply is randomly determined
Rewards calculation - Random elements influence how rewards are distributed
Unique fingerprints - Helps create unique identifiers like your Soul ID and Aura

State Variables

Variable	Type	Visibility	Mutability	Initial Value	NatSpec
`Mu`	`Faung`	internal	mutable	``

Constructor

constructor

constructorconstructor

constructor() DYSNOMIA("VMREQ", "VMRNG", address(0))

Modifiers: DYSNOMIA("VMREQ", "VMRNG", address(0))

Functions

External & Public

View

Viewfunction

function View() public view returns (Faung memory)

Open this function to load its call form.

Visibility: public
State Mutability: view
Returns: Faung memory

Random

Randomfunction

function Random() public returns (uint64)

Open this function to load its call form.

Visibility: public
Returns: uint64

hashWith

hashWithfunction

function hashWith(address a, address b) public returns (uint256 hash)

Open this function to load its call form.

Visibility: public
Parameters: address a, address b
Returns: uint256 hash

modExp64

modExp64function

function modExp64(uint64 _b, uint64 _e, uint64 _m) public returns (uint64 result)

Open this function to load its call form.

Visibility: public
Parameters: uint64 _b, uint64 _e, uint64 _m
Returns: uint64 result

modExp

modExpfunction

function modExp(uint256 _b, uint256 _e, uint256 _m) public returns (uint256 result)

Open this function to load its call form.

Visibility: public
Parameters: uint256 _b, uint256 _e, uint256 _m
Returns: uint256 result

Internal

Torque

Torquefunction

function Torque(VMFa storage Rod, uint64 Sigma) internal returns (uint64)

Visibility: internal
Parameters: VMFa storage Rod, uint64 Sigma
Returns: uint64

Amplify

Amplifyfunction

function Amplify(VMFa storage Rod, uint64 Upsilon) internal returns (uint64)

Visibility: internal
Parameters: VMFa storage Rod, uint64 Upsilon
Returns: uint64

Sustain

Sustainfunction

function Sustain(VMFa storage Rod, uint64 Ohm) internal returns (uint64)

Visibility: internal
Parameters: VMFa storage Rod, uint64 Ohm
Returns: uint64

React

Reactfunction

function React(VMFa storage Rod, uint64 Pi, uint64 Theta) internal

Visibility: internal
Parameters: VMFa storage Rod, uint64 Pi, uint64 Theta

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

Open this function to load its call form.

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

mintToCap

mintToCapfunction

function mintToCap() public onlyOwners

Open this function to load its call form.

Visibility: public
Modifiers: onlyOwners

GetMarketRate

GetMarketRatefunction

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

Open this function to load its call form.

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

Purchase

Purchasefunction

function Purchase(address _t, uint256 _a) public

Open this function to load its call form.

Visibility: public
Parameters: address _t, uint256 _a

Redeem

Redeemfunction

function Redeem(address _t, uint256 _a) public

Open this function to load its call form.

Visibility: public
Parameters: address _t, uint256 _a

name

namefunction

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

Open this function to load its call form.

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

symbol

symbolfunction

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

Open this function to load its call form.

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

decimals

decimalsfunction

function decimals() public view virtual returns (uint8)

Open this function to load its call form.

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

totalSupply

totalSupplyfunction

function totalSupply() public view virtual returns (uint256)

Open this function to load its call form.

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

balanceOf

balanceOffunction

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

Open this function to load its call form.

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

transfer

transferfunction

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

Open this function to load its call form.

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

allowance

allowancefunction

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

Open this function to load its call form.

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)

Open this function to load its call form.

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)

Open this function to load its call form.

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)

Open this function to load its call form.

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

owner

ownerfunction

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

Open this function to load its call form.

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

renounceOwnership

renounceOwnershipfunction

function renounceOwnership(address toRemove) public virtual onlyOwners

Open this function to load its call form.

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

addOwner

addOwnerfunction

function addOwner(address newOwner) public virtual onlyOwners

Open this function to load its call form.

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 (inheritance)

Depended On By

All contracts that need random number generation
SHA for seeding
SHIO for reactions

Special Mechanisms

Pre-seeded State

The constructor initializes Mu.Rod and Mu.Cone with hardcoded seed values that ensure deterministic initialization but produce unpredictable sequences when combined with blockchain state.

Entropy Accumulation

The Random() function accumulates entropy by XORing multiple intermediate values (Upsilon, Ohm, Pi) ensuring that consecutive calls produce different results even with identical starting conditions.

EVM Precompile Usage

Uses the MODEXP precompile (address 0x05) for gas-efficient large-number modular exponentiation through inline assembly.

Inherited functions and getters (3)

VMREQ.MotzkinPrime()Read

Open this function to load its call form.

VMREQ.Xiao()Read

Open this function to load its call form.

VMREQ.maxSupply()Read

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": [],
    "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"
  },
  {
    "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": "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": [
      {
        "internalType": "address",
        "name": "_t",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "_a",
        "type": "uint256"
      }
    ],
    "name": "Purchase",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Random",
    "outputs": [
      {
        "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": [],
    "name": "View",
    "outputs": [
      {
        "components": [
          {
            "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": "Pole",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Identity",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Foundation",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Element",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Dynamo",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Manifold",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Ring",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Barn",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Coordinate",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Tau",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Eta",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Kappa",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Alpha",
                "type": "uint64"
              },
              {
                "internalType": "uint8",
                "name": "Nu",
                "type": "uint8"
              }
            ],
            "internalType": "struct VMFa",
            "name": "Rod",
            "type": "tuple"
          },
          {
            "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": "Pole",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Identity",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Foundation",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Element",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Dynamo",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Manifold",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Ring",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Barn",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Coordinate",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Tau",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Eta",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Kappa",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Alpha",
                "type": "uint64"
              },
              {
                "internalType": "uint8",
                "name": "Nu",
                "type": "uint8"
              }
            ],
            "internalType": "struct VMFa",
            "name": "Cone",
            "type": "tuple"
          },
          {
            "internalType": "uint64",
            "name": "Phi",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Eta",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Xi",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Sigma",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Rho",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Upsilon",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Ohm",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Pi",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Omicron",
            "type": "uint64"
          },
          {
            "internalType": "uint64",
            "name": "Omega",
            "type": "uint64"
          },
          {
            "internalType": "uint8",
            "name": "Chi",
            "type": "uint8"
          }
        ],
        "internalType": "struct Faung",
        "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": [
      {
        "internalType": "address",
        "name": "a",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "b",
        "type": "address"
      }
    ],
    "name": "hashWith",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "hash",
        "type": "uint256"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "maxSupply",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "mintToCap",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint256",
        "name": "_b",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "_e",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "_m",
        "type": "uint256"
      }
    ],
    "name": "modExp",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "result",
        "type": "uint256"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "_b",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "_e",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "_m",
        "type": "uint64"
      }
    ],
    "name": "modExp64",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "result",
        "type": "uint64"
      }
    ],
    "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"
  }
]