VMREQ¶

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)¶

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¶

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

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

Functions¶

External & Public¶

View¶

function View() public view returns (Faung memory)

Visibility: public
State Mutability: view
Returns: Faung memory

Random¶

function Random() public returns (uint64)

Visibility: public
Returns: uint64

hashWith¶

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

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

modExp64¶

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

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

modExp¶

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

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

Internal¶

Torque¶

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

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

Amplify¶

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

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

Sustain¶

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

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

React¶

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

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

Inherited Members¶

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

From DYSNOMIA¶

External & Public Functions

Function	Signature	State Mutability
`Rename`	`function Rename(string memory newName, string memory newSymbol) public 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

From MultiOwnable¶

External & Public Functions

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

Internal Functions

Function	Signature
`_checkOwner`	`function _checkOwner() internal view virtual`
`_changeOwnership`	`function _changeOwnership(address cOwner, bool cState) internal virtual`

Events

Event	Parameters
`OwnershipUpdate`	address indexed newOwner, bool indexed state

Errors

Error	Parameters
`OwnableUnauthorizedAccount`	address origin, address account, address what
`OwnableInvalidOwner`	address origin, address owner, address what

Modifiers

Modifier	Parameters
`onlyOwners`	(none)

Contract Interactions¶

Depends On¶

DYSNOMIA (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.

Contract Verification¶

Property	Value
Keccak256 Hash	`0x4e3d2f54ef5ad86ae4452be01de2e1f53ac09aadf4102cc2f84a1b04c0b2ceb4`
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/main/solidity/dysnomia/00b_vmreq.sol
Hash Generated	2026-04-17T20:48:06Z