On-Chain State And Contracts

CoreTex uses Base mainnet for roots, receipts, and patch data availability.

Contract Address Purpose
BOTCOIN token 0xA601877977340862Ca67f816eb079958E5bd0BA3 ERC-20 token
BotcoinMiningV3 0xB2fbe0DB5A99B4E2Dd294dE64cEd82740b53A2Ea Existing staking, credits, rewards, claims
CortexState 0x5d3B9D9b246cf8457F320Bb27f008186B69D555d CoreTex epoch state, roots, seed reveal, state advances
BotcoinMiningV4 0x12ff0B47389AE6d6293d44991B0D6A27394494A4 CoreTex lane receipts and patch event stream

Relevant public functions:

CortexState.getEpoch(uint64)
CortexState.initializeEpoch(uint64,uint32,bytes32,bytes32,bytes32,bytes32,uint16,bytes32,uint32,bytes32)
CortexState.freezeEpoch(uint64)
CortexState.revealEvalSeed(uint64,bytes32)
CortexState.setRewardLane(address)

BotcoinMiningV4.submitWorkReceipt(...)

Relevant events:

BotcoinMiningV4.CoretexPatchBytes(uint64,address,bytes32,bytes32,bytes)
BotcoinMiningV4.WorkCreditAccepted(...)
CortexState.CortexStateAdvanced(uint64,uint64,bytes32,bytes32,bytes32,bytes32,uint16)
CortexState.CortexEpochSeedRevealed(uint64,bytes32)

Accepted patches include compact patch bytes. Replay clients combine those bytes with parent state snapshots, chain logs, corpus roots, bundle hashes, and revealed eval seeds to reproduce the state root.