MATH v1.1 libAtropaMathshared-infrastructurefirst-class shared infra

identity

address

0xb680f0cc810317933f234f67eb6a9e923407f05d · blockscout · copy

owner [chain]

Maria #2 0x7a20189b297343cf26d8548764b04891f37f3414 · blockscout · copykey functionally inert

family

shared-infrastructure — see /shared-infra for the family state probe

creation

standalone-deploy · deployer Maria #2 · block 20,565,711 · 2024-06-07

verification

blockscout-verified as "atropaMath" (v0.8.21+commit.d9974bed)

selector surface

erc20 · mathlib/game · ownable

taxonomy

class

shared-infrastructure · definitions

creation path

standalone-deploy

pricing

capped-self-mint

era

old-atropa

RNG lineage

infrastructure

origin

core

liquidity

pooled-live

canon alias

—

children (2 direct)

Scary Numbers㉾ · Scary Numbers㉾

lineage tree

artifacts (downloads)

• bytecode:0xb680f0cc810317933f234f67eb6a9e923407f05d.json — runtime 10,162 B · runtime only [chain] bytecode archaeology
• src:verified/MATH_atropaMath.sol — recovered/verified source [src]
• verified:0xb680f0cc810317933f234f67eb6a9e923407f05d.json — blockscout-verified source (9 files) + ABI · v0.8.21+commit.d9974bed [ext-api] as published

full set on /export — every bytecode file, source file and ABI this project holds for the corpus.

claims touching this entity (7)

• CLAIM-0087 [chain] shared-infra
  The shared math family (MATH v1.1/v1.0, RNG, Fa, Faung) plus AFFECTION all still carry the Maria-#2 owner key (functionally inert in mint paths; the treasury core itself has zero admin keys)
• CLAIM-0088 [src] shared-infra
  MATH.Random() self-mints 1 MATH AND then calls RNG.Generate() which self-mints 1 RNG - both under their own identical <= 1,111,111,111e18 caps (neither cap ever bound: supplies 362,812,655 / 362,835,531)
• CLAIM-0090 [chain] shared-infra
  MATH<->RNG from-zero mint delta = 22,876 = Generate() calls that did not pass through MATH.Random() (direct RNG calls; constructor mints cancel; no cap-phase divergence); current supplies agree: 362,812,655 MATH vs 362,835,531 RNG (delta 22,876)
• CLAIM-0091 [src] shared-infra
  The RNG orbit is fully deterministic: Generate() advances the global Mu (Faung) state by fixed modExp64 transforms over MotzkinPrime 953467954114363, seeded by hardcoded constructor constants; zero onchain entropy; one step per call; steerable by anyone
• CLAIM-0092 [chain] shared-infra
  358M Random()/Generate() calls all-time; MATH is a de-facto public onchain RNG oracle (2025-11->2026 traffic 24-56M/month is third-party contract-internal grinding; Keys Of Ong <1%)
• CLAIM-0093 [src] shared-infra
  Every census TT's _mintingKey is computed once via MATH.Random() at construction (constructor-key-inert); no TT uses the orbit at runtime
• CLAIM-0095 [src]+[chain] admin-surface
  The math family's live owner keys gate only OpenZeppelin renounceOwnership/transferOwnership (BuyWith* routes and RNG Generate() are public) - all six keys functionally inert

statements inline for convenience — the full registry with proof refs + artifacts lives on /claims