SHIO
Source Revision 0xfcb03144…315b64
| Property | Value |
|---|---|
| Source Revision | 0xfcb03144ff9a373458124e215f2655545d3cce0652b334257eceaaa02a315b64 |
| Source URL | https://raw.githubusercontent.com/busytoby/atropa_pulsechain/cae528a2b9f1f083a114180dae2e20e073976356/solidity/dysnomia/03_shio.sol |
| Source commit | cae528a2b9f1f083a114180dae2e20e073976356 |
| 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 | 0xd08921edfcc829ce5f82249628dceda3ba5159d6aa0081b3057c337951580fb2 |
| Compilation Closure Files | 6 |
| Hash Generated | 2026-04-20T02:38:19Z |
Overview
Section titled “Overview”SHIO (Paired Token System) combines two SHA tokens (Rod and Cone) into a cryptographically-bound pair. The pairing enables symmetric reactions and logging functionality for chat/messaging systems.
- Kind: Contract
- License: Sharia
- Solidity: ^0.8.21
- Source:
03_shio.sol
Inheritance Chain (C3 Linearized)
Section titled “Inheritance Chain (C3 Linearized)”- self — SHIO
- DYSNOMIA
- MultiOwnable
Immediate Parents
Section titled “Immediate Parents”What This Means For Players
Section titled “What This Means For Players”Plain English Summary: SHIO is a paired lock system - like having two keys that must work together. It combines two SHA tokens (called Rod and Cone) into a cryptographically linked pair that powers your chat messages and identity verification. Your SHIO is what allows you to send messages and proves you’re really you.
Real-World Analogy: Imagine a safe deposit box at a bank that requires two keys - the bank has one key, you have the other, and both must be used together to open the box. SHIO works similarly: the Rod and Cone are mathematically bound together, and both must “agree” for any action to be valid. This makes it extremely secure.
How It Affects Your Gameplay:
- Chat messaging - Every chat message you send is logged through your SHIO
- Symmetric verification - The Rod and Cone verify each other, preventing forgery
- Reaction outputs - When you interact with venues or other players, SHIO produces unique outputs that track your activity
State Variables
Section titled “State Variables”| Variable | Type | Visibility | Mutability | Initial Value | NatSpec |
|---|---|---|---|---|---|
Type |
string |
public | constant | SHIO |
|
Rho |
Shao |
public | mutable | `` | |
Manifold |
uint64 |
public | mutable | `` | |
Monopole |
uint64 |
public | mutable | `` |
Events
Section titled “Events”| Event | Parameters | Anonymous | NatSpec |
|---|---|---|---|
LogEvent |
uint64 Soul, uint64 Aura, string LogLine | no |
Errors
Section titled “Errors”| Error | Parameters | NatSpec |
|---|---|---|
ManifoldInequality |
uint64 Manifold | |
RingInequality |
uint64 Ring | |
BarnInequality |
uint64 Barn | |
ReactionZeroError |
uint64 Eta, uint64 Kappa | |
ReactionInequalityError |
uint64 Eta, uint64 Kappa |
Constructor
Section titled “Constructor”constructor
Section titled “constructor”constructorconstructor
constructor(address RodAddress, address ConeAddress, address MathLib) DYSNOMIA(unicode"CHATLOG Shio", unicode"SHIO", MathLib)- Modifiers:
DYSNOMIA(unicode"CHATLOG Shio", unicode"SHIO", MathLib) - Parameters: address RodAddress, address ConeAddress, address MathLib
Functions
Section titled “Functions”External & Public
Section titled “External & Public”Logfunction
function Log(uint64 Soul, uint64 Aura, string memory LogLine) public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners - Parameters: uint64 Soul, uint64 Aura, string memory LogLine
Rodfunction
function Rod() public view returns (SHA)Open this function to load its call form.
- Visibility: public
- State Mutability: view
- Returns: SHA
Conefunction
function Cone() public view returns (SHA)Open this function to load its call form.
- Visibility: public
- State Mutability: view
- Returns: SHA
Generate
Section titled “Generate”Generatefunction
function Generate(uint64 Xi, uint64 Alpha, uint64 Beta) public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners - Parameters: uint64 Xi, uint64 Alpha, uint64 Beta
Isomerize
Section titled “Isomerize”Isomerizefunction
function Isomerize() public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners
Isolate
Section titled “Isolate”Isolatefunction
function Isolate() public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners
Magnetize
Section titled “Magnetize”Magnetizefunction
function Magnetize() public onlyOwners returns (uint64)Open this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners - Returns: uint64
Reactfunction
function React(uint64 Pi) public returns (uint64, uint64)Open this function to load its call form.
- Visibility: public
- Parameters: uint64 Pi
- Returns: uint64, uint64
Internal
Section titled “Internal”Augment
Section titled “Augment”Augmentfunction
function Augment() internal- Visibility: internal
Private
Section titled “Private”ConductorGenerate
Section titled “ConductorGenerate”ConductorGeneratefunction
function ConductorGenerate(uint64 Xi) private- Visibility: private
- Parameters: uint64 Xi
Inherited Members
Section titled “Inherited Members”Public and external functions below are callable through this contract’s address. Parent links identify where each member is defined.
External & Public Functions
Rename
Section titled “Rename”Renamefunction
function Rename(string memory newName, string memory newSymbol) public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners - Parameters: string memory newName, string memory newSymbol
mintToCap
Section titled “mintToCap”mintToCapfunction
function mintToCap() public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners
GetMarketRate
Section titled “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
Section titled “Purchase”Purchasefunction
function Purchase(address _t, uint256 _a) publicOpen this function to load its call form.
- Visibility: public
- Parameters: address _t, uint256 _a
Redeem
Section titled “Redeem”Redeemfunction
function Redeem(address _t, uint256 _a) publicOpen this function to load its call form.
- Visibility: public
- Parameters: address _t, uint256 _a
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
Section titled “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
Section titled “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
Section titled “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
Section titled “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
Section titled “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
Section titled “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
Section titled “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
Section titled “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 |
|---|---|
_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 |
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) |
Hex |
function Hex(uint256 value) internal pure returns (string memory) |
Hex |
function Hex(bytes32 value) internal pure returns (string memory) |
Hex |
function Hex(bytes memory data) 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 |
External & Public Functions
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
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
Section titled “renounceOwnership”renounceOwnershipfunction
function renounceOwnership(address toRemove) public virtual onlyOwnersOpen this function to load its call form.
- Visibility: public
- Virtual: yes
- Modifiers:
onlyOwners - Parameters: address toRemove
addOwner
Section titled “addOwner”addOwnerfunction
function addOwner(address newOwner) public virtual onlyOwnersOpen 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
Section titled “Contract Interactions”Depends On
Section titled “Depends On”Depended On By
Section titled “Depended On By”- SHIOFactory - Creates SHIO instances
- YI - Uses SHIO for DeFi operations
- Bao - References SHIO in operations
Special Mechanisms
Section titled “Special Mechanisms”ConductorGenerate
Section titled “ConductorGenerate”Private function that:
- Calls Avail on both Rod and Cone with Xi
- Calls Form on each with the other’s Contour (cross-linking)
- Polarizes both tokens
Symmetric Pairing Verification
Section titled “Symmetric Pairing Verification”Magnetize() includes three equality assertions:
- Manifold computed from Rod must equal Manifold from Cone
- Ring values must match
- Barn values must match
This ensures proper cryptographic pairing.
React Symmetry
Section titled “React Symmetry”The React function verifies that reacting on Rod with Cone’s Channel produces the same result as reacting on Cone with Rod’s Channel (transposed). This symmetric property is essential for message encryption/verification.
Usage Pattern
Section titled “Usage Pattern”// Creation via factorySHIO shio = SHIOFactory.New(rodAddr, coneAddr, mathAddr);
// Initializationshio.Generate(xi, alpha, beta);shio.Isomerize();shio.Isolate();uint64 ring = shio.Magnetize();
// Usage(uint64 omicron, uint64 omega) = shio.React(inputValue);shio.Log(soul, aura, "Hello World");Inherited functions and getters (7)
SHIO.Manifold()Read
Open this function to load its call form.
SHIO.Monopole()Read
Open this function to load its call form.
SHIO.MotzkinPrime()Read
Open this function to load its call form.
SHIO.Rho()Read
Open this function to load its call form.
SHIO.Type()Read
Open this function to load its call form.
SHIO.Xiao()Read
Open this function to load its call form.
SHIO.maxSupply()Read
Open this function to load its call form.
Compiled ABI
Section titled “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": "RodAddress", "type": "address" }, { "internalType": "address", "name": "ConeAddress", "type": "address" }, { "internalType": "address", "name": "MathLib", "type": "address" } ], "stateMutability": "nonpayable", "type": "constructor" }, { "inputs": [ { "internalType": "uint64", "name": "Barn", "type": "uint64" } ], "name": "BarnInequality", "type": "error" }, { "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": "uint64", "name": "Manifold", "type": "uint64" } ], "name": "ManifoldInequality", "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": "ReactionInequalityError", "type": "error" }, { "inputs": [ { "internalType": "uint64", "name": "Eta", "type": "uint64" }, { "internalType": "uint64", "name": "Kappa", "type": "uint64" } ], "name": "ReactionZeroError", "type": "error" }, { "inputs": [ { "internalType": "uint64", "name": "Ring", "type": "uint64" } ], "name": "RingInequality", "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": false, "internalType": "uint64", "name": "Soul", "type": "uint64" }, { "indexed": false, "internalType": "uint64", "name": "Aura", "type": "uint64" }, { "indexed": false, "internalType": "string", "name": "LogLine", "type": "string" } ], "name": "LogEvent", "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": [], "name": "Cone", "outputs": [ { "internalType": "contract SHA", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "uint64", "name": "Xi", "type": "uint64" }, { "internalType": "uint64", "name": "Alpha", "type": "uint64" }, { "internalType": "uint64", "name": "Beta", "type": "uint64" } ], "name": "Generate", "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": "Isolate", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "Isomerize", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "uint64", "name": "Soul", "type": "uint64" }, { "internalType": "uint64", "name": "Aura", "type": "uint64" }, { "internalType": "string", "name": "LogLine", "type": "string" } ], "name": "Log", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "Magnetize", "outputs": [ { "internalType": "uint64", "name": "", "type": "uint64" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "Manifold", "outputs": [ { "internalType": "uint64", "name": "", "type": "uint64" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "Monopole", "outputs": [ { "internalType": "uint64", "name": "", "type": "uint64" } ], "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": "uint64", "name": "Pi", "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": [], "name": "Rho", "outputs": [ { "internalType": "contract SHA", "name": "Rod", "type": "address" }, { "internalType": "contract SHA", "name": "Cone", "type": "address" }, { "internalType": "uint64", "name": "Barn", "type": "uint64" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "Rod", "outputs": [ { "internalType": "contract SHA", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "Type", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "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" }]