mirror of
https://github.com/luxfi/precompile.git
synced 2026-09-24 00:26:21 +00:00
zeekayandHanzo Dev
2391e31aaa
Order -> Match -> Execution -> Trade is the vocabulary; "intent" was the old
name for what an Order is. Renames the identifiers across the 0x9999 settle
precompile so the code reads in the settled terms.
Values that live on a chain keep their bytes, because renaming one of those is
a migration and not a rename:
- "lux.dex.native.intent.v1" and "lux.dex.native.intent.pending.v2" are hash
INPUTS; a byte changed there moves every derived order id and the pending
trait both repos must agree on.
- settleStateNamespace + "intent" is an on-disk key prefix; renaming it
orphans the submitted-order replay set.
- reclaimIntent(bytes32), IntentSubmitted(...) and IntentReclaimed(...) are
the deployed ABI; the signature is what hashes, so a rename would move a
selector and two topics.
Each of those now carries one line saying why the literal does not track the
identifier that names it, so the inconsistency is not "fixed" later.
TestOrderID_CrossRepoGolden still reads 5b0e8d38... and
TestSeamPendingTrait_MatchesDChainGolden still reads 5f10f9ad..., which is the
evidence no derivation input moved.
Co-authored-by: Hanzo Dev <[email protected]>
51 lines
2.4 KiB
Go
51 lines
2.4 KiB
Go
// Copyright (C) 2025-2026, Lux Industries Inc. All rights reserved.
|
|
// See the file LICENSE for licensing terms.
|
|
|
|
package dex
|
|
|
|
import (
|
|
"github.com/luxfi/crypto"
|
|
"github.com/luxfi/geth/common"
|
|
)
|
|
|
|
// LXSettleAddress is THE production DEX settlement precompile (LP-9999). It is
|
|
// the SOLE money path and the SOLE DEX precompile: every value-moving DEX call
|
|
// settles here via the native C<->D two-phase atomic seam. 0x9010 was removed;
|
|
// 0x9999 is the sole DEX precompile — there is exactly one money path and one
|
|
// replay namespace (dex.precompile.v1.9999.*), never two.
|
|
const LXSettleAddress = "0x0000000000000000000000000000000000009999"
|
|
|
|
// poolManagerAddr9999 is the 0x9999 settlement address as a common.Address. All
|
|
// 0x9999 native-seam state (the C->D order set, the D->C settlement-consumed set,
|
|
// halt, config, per-asset vault) lives under this address; cross-chain atomic
|
|
// objects route to/from it.
|
|
var poolManagerAddr9999 = common.HexToAddress(LXSettleAddress)
|
|
|
|
// settleStateNamespace is the durable storage namespace prefix for 0x9999 state.
|
|
// Every storage key the settlement path writes derives from this so the money
|
|
// path's state is a single, auditable region: dex.precompile.v1.9999.*
|
|
const settleStateNamespace = "dex.precompile.v1.9999."
|
|
|
|
// keccak32 returns keccak256(b) as a [32]byte. The settlement path's commitments
|
|
// (swapParamsHash) use keccak to match PoolKey.ID() / swapParamsDigest, which the
|
|
// rest of the package already commits with keccak via crypto.Keccak256.
|
|
func keccak32(b []byte) [32]byte {
|
|
var out [32]byte
|
|
copy(out[:], crypto.Keccak256(b))
|
|
return out
|
|
}
|
|
|
|
// stateKV is the MINIMAL key-value state surface the settlement metadata paths
|
|
// (halt, verifier registry, chain-identity config) need — just GetState/SetState,
|
|
// NO balance methods. Decomplecting this from the full StateDB (which braids in
|
|
// balance movement) lets these pure-metadata helpers accept the package's
|
|
// poolStateAdapter (used everywhere a swap/custody handler runs) without dragging
|
|
// in balances. It matches the package StateDB's GetState/SetState (SetState
|
|
// returns nothing — the adapter form), NOT the raw contract.StateDB (whose
|
|
// SetState returns the prior value). The value-MOVING settle path keeps the full
|
|
// StateDB (via the adapter) for balances.
|
|
type stateKV interface {
|
|
GetState(addr common.Address, key common.Hash) common.Hash
|
|
SetState(addr common.Address, key common.Hash, value common.Hash)
|
|
}
|