Hi HN, we are the team behind Solymus. We got tired of waiting for high-frequency on-chain payments to scale, so we bypassed the FIPS 140-3 HSM signing bottleneck using contiguous memory block compression. We also formally verified our offline peer-to-peer merge DAG (the Sub-Tangle) using Microsoft Dafny/Z3 (112 VCs discharged).We decided to skip the marketing fluff and just publish the raw architecture notes. Would love to get brutally honest feedback from the ZK, EigenLayer, and formal verification folks here on our merge algebra.