HIP-0103: Bridge PQ-Only Profile
Abstract
HIP-0103 defines the Bridge PQ-Only Profile: a strict-PQ
bridge-counterparty contract. A bridge running under this profile
refuses any inbound state root that is not finalised under a
strict-PQ profile (LUX_STRICT_PQ 0x01, ZooStrictPQ 0x04,
HanzoStrictPQ 0x05). Counterparty finality is verified by checking
a Pulsar-M-65 (FIPS 204 ML-DSA-65 verifier) signature over a Q-Chain
block transcript (HIP-0079); high-value transfers above a configurable
cap require Pulsar-M-87 (HIP-0084 high-value mode) and a HIP-0098
governance authorisation. Classical bridge programs (LP-017 FROST /
CGGMP21) are refused.
Specification
Canonical reference: luxfi/consensus/protocol/auth/bridge_profile.go
(auth-pq-surface branch).
BridgeInbound {
profile_id uint8 // local chain's profile
counterparty_profile uint8 // remote chain's claimed profile
counterparty_chain_id uint64
qchain_block_root [48]byte // remote Q-Chain block root (HIP-0079)
qchain_transcript [48]byte // remote transcript hash
pulsar_m_signature []byte // remote Pulsar-M cert
pulsar_m_group_key []byte // remote group pubkey (committed on remote Z-Chain)
high_value_flag bool // triggers HIP-0098 governance auth
governance_auth []byte // HIP-0098 GovernanceAuthorization (if high_value)
transfer_descriptor []byte // amount, sender, recipient, asset
}
transcript = TupleHash256(
"BRIDGE-INBOUND-V1",
[ profile_id, counterparty_profile,
counterparty_chain_id_be8, qchain_block_root, qchain_transcript,
pulsar_m_group_key, hv_flag_byte, transfer_descriptor ],
384
)
Acceptance rule (strict-PQ bridge):
counterparty_profile ∈ {0x01, 0x04, 0x05}— any other value is refused.counterparty_profilefield-byte-equality check passes against the counterparty's canonical profile fields (HashSuiteID = 0x01, IdentitySchemeID = 0x42, FinalitySchemeID = 0x52, ProofPolicyID = 0x10, all Forbid* = true).pulsar_m_signatureverifies under unmodified FIPS 204 ML-DSA-65 againstpulsar_m_group_keyoverqchain_transcript.pulsar_m_group_keymatches the counterparty'sgroup_public_key_hashstored locally from prior bridge sync.qchain_block_rootchains correctly to a prior anchor; the anchor cadence is at most one block per minute.- If
high_value_flag == true,governance_authis a valid HIP-0098GovernanceAuthorizationfor the transfer, threshold-signed by Pulsar-M-87. transfer_descriptordecodes to a sane (amount, sender, recipient, asset) tuple bounded by per-asset caps.
High-value cap default: 100,000 LUX (or chain-configured equivalent). Transfers above cap REQUIRE the governance-auth path.
Backwards compatibility
None. Bridges running under HIP-0103 refuse all non-strict-PQ inbound state. Operators who need to bridge to a permissive-profile chain must run a separate bridge instance under the permissive profile (0x02) and that instance MUST NOT be reachable from a strict-PQ chain.
Reference implementation
luxfi/consensus/protocol/auth/bridge_profile.go (auth-pq-surface).
Existing bridge contracts under LP-017 / HIP-0101 / HIP-0102 are
extended with the profile-equality precondition before any inbound
state transition is applied. KAT vectors:
luxfi/consensus/protocol/auth/testdata/bridge_profile_v1.json.
Security considerations
The profile-equality check is the only mitigation against a malicious counterparty silently downgrading its profile after onboarding. Group public-key pinning (clause 4) prevents committee-substitution attacks. High-value cap forces governance accountability for the largest transfer classes. The bridge inherits the security of the weaker counterparty profile — if either side runs permissive, transferred value is permissive-grade, hence the strict refusal.
References
- HIP-0079 — Q-Chain block transcript verified by Pulsar-M.
- HIP-0084 — Pulsar-M-65 (normal) and Pulsar-M-87 (high-value).
- HIP-0098 — governance-auth path for high-value transfers.
- HIP-0101, HIP-0102 — Hanzo↔Lux bridge baseline.
- LP-017 — classical bridge programs (refused under strict-PQ).
- NIST FIPS 204, FIPS 202, SP 800-185.
luxfi/consensus/protocol/auth/bridge_profile.go.
Copyright
CC0.