Technical Reference

SHA

Source updated:
Last updated:
Source Revision 0x519c4e41…d65b15
Property Value
Source Revision 0x519c4e414616a2d1eff8a9b74e4d6f60486771223dc0519482f6314ec4d65b15
Source URL https://raw.githubusercontent.com/busytoby/atropa_pulsechain/4326358d258131065bad51a7b8b8e4b08b4efec1/solidity/dysnomia/02_sha.sol
Source commit 4326358d258131065bad51a7b8b8e4b08b4efec1
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 0xa697ab004dfd4a427192eaa3c4a5c3db89a173e61130947de9033a4dfd0f01d3
Compilation Closure Files 5
Hash Generated 2026-04-20T02:38:19Z

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
Contract addressInstance-specific
  1. self — SHA
  2. DYSNOMIA
  3. MultiOwnable

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
Variable Type Visibility Mutability Initial Value NatSpec
Type string public constant SHA
Mu Fa private mutable ``
Dynamo uint64 public mutable ``
Error Parameters NatSpec
ReactionZeroError uint64 Eta, uint64 Kappa
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
Viewfunction
function View() public view returns (Fa memory)

Open this function to load its call form.

  • Visibility: public
  • State Mutability: view
  • Returns: Fa memory
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
Availfunction
function Avail(uint64 Xi) public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: uint64 Xi
Formfunction
function Form(uint64 Chi) public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: uint64 Chi
Polarizefunction
function Polarize() public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
Conjugatefunction
function Conjugate(uint64 Chi) public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: uint64 Chi
Conifyfunction
function Conify(uint64 _Beta) public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: uint64 _Beta
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
Bondfunction
function Bond() public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
Adductfunction
function Adduct(uint64 _Phi) public returns (uint64)

Open this function to load its call form.

  • Visibility: public
  • Parameters: uint64 _Phi
  • Returns: uint64
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
Augmentfunction
function Augment() internal
  • Visibility: internal
Seedfunction
function Seed() private
  • Visibility: private
Tunefunction
function Tune() private
  • Visibility: private

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

External & Public Functions

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

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: string memory newName, string memory newSymbol
mintToCapfunction
function mintToCap() public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
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
Purchasefunction
function Purchase(address _t, uint256 _a) public

Open this function to load its call form.

  • Visibility: public
  • Parameters: address _t, uint256 _a
Redeemfunction
function Redeem(address _t, uint256 _a) public

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

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

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.

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 (5)
SHA.Dynamo()Read

Open this function to load its call form.

SHA.MotzkinPrime()Read

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.maxSupply()Read

Open this function to load its call form.

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"
}
]