Technical Reference
VMREQ
Contract address
0xB680F0cc810317933F234f67EB6A9E923407f05DHash-verified
0x4e3d2f54…b2ceb4Source details
| Property | Value |
|---|---|
| Keccak256 Hash | 0x4e3d2f54ef5ad86ae4452be01de2e1f53ac09aadf4102cc2f84a1b04c0b2ceb4 |
| Source URL | https://raw.githubusercontent.com/busytoby/atropa_pulsechain/58607494f7741b80525953e4a85bc99e66fd20fc/solidity/dysnomia/00b_vmreq.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 | 0xcbd5513df515c0ac1c45661c1438dc49bc6bcab748ecd688b0a924cf8ff20a8c |
| Compilation Closure Files | 20 |
| Hash Generated | 2026-09-14T19:33:31Z |
Overview
Section titled “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
Inheritance Chain (C3 Linearized)
Section titled “Inheritance Chain (C3 Linearized)”- self — VMREQ
- DYSNOMIA
- MultiOwnable
Immediate Parents
Section titled “Immediate Parents”What This Means For Players
Section titled “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
Section titled “State Variables”| Variable | Type | Visibility | Mutability | Initial Value | NatSpec |
|---|---|---|---|---|---|
Mu |
Faung |
internal | mutable | `` |
Constructor
Section titled “Constructor”constructor
Section titled “constructor”constructorconstructor
constructor() DYSNOMIA("VMREQ", "VMRNG", address(0))- Modifiers:
DYSNOMIA("VMREQ", "VMRNG", address(0))
Functions
Section titled “Functions”External & Public
Section titled “External & Public”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
Section titled “Random”Randomfunction
function Random() public returns (uint64)Open this function to load its call form.
- Visibility: public
- Returns: uint64
hashWith
Section titled “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
Section titled “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
Section titled “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
Section titled “Internal”Torque
Section titled “Torque”Torquefunction
function Torque(VMFa storage Rod, uint64 Sigma) internal returns (uint64)- Visibility: internal
- Parameters: VMFa storage Rod, uint64 Sigma
- Returns: uint64
Amplify
Section titled “Amplify”Amplifyfunction
function Amplify(VMFa storage Rod, uint64 Upsilon) internal returns (uint64)- Visibility: internal
- Parameters: VMFa storage Rod, uint64 Upsilon
- Returns: uint64
Sustain
Section titled “Sustain”Sustainfunction
function Sustain(VMFa storage Rod, uint64 Ohm) internal returns (uint64)- Visibility: internal
- Parameters: VMFa storage Rod, uint64 Ohm
- Returns: uint64
Reactfunction
function React(VMFa storage Rod, uint64 Pi, uint64 Theta) internal- Visibility: internal
- Parameters: VMFa storage Rod, uint64 Pi, uint64 Theta
Inherited Members
Section titled “Inherited Members”This contract inherits the members below from its parents. See each parent’s dedicated MD for full signatures, NatSpec, and semantics.
External & Public Functions
| Function | Signature | State Mutability |
|---|---|---|
Rename |
function Rename(string memory newName, string memory newSymbol) public virtual 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 |
|---|---|
_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 |
_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 |
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
Section titled “Contract Interactions”Depends On
Section titled “Depends On”- DYSNOMIA (inheritance)
Depended On By
Section titled “Depended On By”Special Mechanisms
Section titled “Special Mechanisms”Pre-seeded State
Section titled “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
Section titled “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
Section titled “EVM Precompile Usage”Uses the MODEXP precompile (address 0x05) for gas-efficient large-number modular exponentiation through inline assembly.
Inherited functions and getters (21)
VMREQ.GetMarketRate(address _a)Read
Open this function to load its call form.
VMREQ.MotzkinPrime()Read
Open this function to load its call form.
VMREQ.Purchase(address _t, uint256 _a)Simulate / call
Open this function to load its call form.
VMREQ.Redeem(address _t, uint256 _a)Simulate / call
Open this function to load its call form.
VMREQ.Rename(string newName, string newSymbol)Simulate / call
Open this function to load its call form.
VMREQ.Xiao()Read
Open this function to load its call form.
VMREQ.addOwner(address newOwner)Simulate / call
Open this function to load its call form.
VMREQ.allowance(address owner, address spender)Read
Open this function to load its call form.
VMREQ.approve(address spender, uint256 value)Simulate / call
Open this function to load its call form.
VMREQ.balanceOf(address account)Read
Open this function to load its call form.
VMREQ.decimals()Read
Open this function to load its call form.
VMREQ.maxSupply()Read
Open this function to load its call form.
VMREQ.mintToCap()Simulate / call
Open this function to load its call form.
VMREQ.name()Read
Open this function to load its call form.
VMREQ.owner(address cOwner)Read
Open this function to load its call form.
VMREQ.owner()Read
Open this function to load its call form.
VMREQ.renounceOwnership(address toRemove)Simulate / call
Open this function to load its call form.
VMREQ.symbol()Read
Open this function to load its call form.
VMREQ.totalSupply()Read
Open this function to load its call form.
VMREQ.transfer(address to, uint256 value)Simulate / call
Open this function to load its call form.
VMREQ.transferFrom(address from, address to, uint256 value)Simulate / call
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": [], "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" }]