mirror of
https://github.com/hanzoai/papers.git
synced 2026-10-22 17:20:17 +00:00
zeekayandHanzo Dev
5a1f3b777f
Specifies the compute ledger of the Hanzo sovereign L1 on Lux. The chain is
not new: birth is CreateNetworkTx/CreateChainTx/AddValidatorTx/ConvertNetworkTx
against the Lux P-chain with security.Mode{Admission: Open, Manager: Contract},
finality is the Quasar ladder, and the attestation verifier is the one already
compiled into the precompile block.
Separates the two money flows the deployed code braids together. Escrowed buyer
credit pays for ordered work: a transfer, bounded by the order. Emission
additionally rewards attested work: a mint, bounded by a per-epoch pool and split
pro-rata. Reading precompile/ai, the second flow is presently unbounded — the
reward magnitude is read from computeMinutes and the spent-set key from a nonce,
both fields the claimant writes, so one attested device computes up to 6.44e9 AI
per claim and can produce unboundedly many claims.
Gives the admission predicate A1-A7 over the existing ML-DSA verifier, the
existing TEE device binding and the existing spent set; the fault classes F1-F4
with the bond in the manager contract, since the P-chain balance is a continuous
fee balance and weight zero is removal rather than suspension; and the on-chain
/ off-chain boundary, with the anchor root kept out of the payment path.
Every claim about current behaviour is labelled observed, derived, proposed or
assumed, and cites its file.
Co-authored-by: Hanzo Dev <[email protected]>