Reactive Network isn't an integration in CrossHedge, it's the load-bearing wall.
The entire matching engine is three Reactive Smart Contracts live on Lasna:
We use Reactive as three things at once:
The RSCs are composed: one RSC's output event (PairMatched) becomes another contract's input on two destination chains. That composition is not possible on any other infrastructure we evaluated.
It's all verifiable on-chain today.
The keystone transaction is a PairMatched on Lasna (block 3,717,881) pairing two opposite-delta LPs from different chains, with both Callback events marked "successfully delivered and confirmed" to Unichain and Base, where the registries emit MatchRecorded, full cross-chain match closed in under two minutes.
All three RSCs are verified via Sourcify, Reactive's canonical verifier, and the README maps every claim to a clickable tx and every component to its source file.
We also did the homework on why Reactive specifically.
Our cost analysis (full derivation, sensitivity tables, and a reproducible Python script in the repo) shows the same workload costs: