Mobile body

This phone holds the wallet. The miner address is that address. The key is not sent to the solver. The hash it computes before it knows the post-state is its tip, not the seal a node admits. A local accept is that tip. It is not a durable write. A transfer moves EQU to another EQU address. A withdrawal is a different signature: it leaves when a Bitcoin output matches the lock, or when an Ethereum receipt matches an admitted execution header.

Wallet on this device

Same phrase as the wallet page. Path m/44'/600'/0'/0'/0'.

leaves on a proven output

A transfer pays another EQU address. A withdrawal locks EQU in an escrow this key cannot spend. Bitcoin settles when an output's destination and amount match the lock and that transaction sits in an admitted header. Ethereum settles when a receipt — and, for native ETH, the transaction — is proven against an admitted execution header's trie roots. That header is not an EQU beacon, and Ethereum's sync committee is not verified. The first execution header is only a structural bootstrap. Settled EQU is not credited on this ledger. If the proof does not arrive within 10 blocks, the same amount returns to this address. A lock against a header hash is not this withdrawal.

Light tip
—
Discovery cost
—
kernel nonce iters
Verify cost
1
evals in this body
Agreement
no
waiting

Light header packet

What this body actually receives

Waiting for a tip.

Chain continuity
prev_hash matches the real tip
—
Timestamp sanity
monotonic, not more than 2h in the future
—
Residual re-verify
one joint evaluation, no nonce search
—
Merkle recompute
tx hashes → root
—
Header commitment
binds merkle, state root, nonce, residual, pressure
—
Optional BFT / sigs
Ed25519 on included txs; quorum is not required to advance
—