System Properties

Property	Description
Deterministic MatchingAdd comment	All trade matching follows a verifiable deterministic functionAdd comment
Non-Linkable OrdersAdd comment	Orders cannot be correlated across sessionsAdd comment
AuditabilityAdd comment	Every computation path is reproducible from public proofsAdd comment
InteroperabilityAdd comment	Supports both Solana-native and EVM chains via relayer bridgeAdd comment
Security GuaranteesAdd comment	Hardware attestation + ZK verification = provable correctnessAdd comment
LatencyAdd comment	Sub-500ms batch execution target under full load