MorphIQ LabsResearch

Topic

#rust

4 results

Platform7 min read

Open-Sourcing Tollgate: Bounded Spend Without a Network Hop per Request

Today we are open-sourcing Tollgate, a Rust library for quota admission and usage accounting in latency-critical services. It is MIT or Apache-2.0, its crates are on crates.io, and it ships with the evidence we use to…

MorphIQ Labs · Platform#rust#tollgate#metering#formal-verification#lean
Ferro Suite2 min read

What a Rust Options Pricing Engine Has to Prove

A Rust options pricing engine usually gets judged by surface area first: how many models, how many Greeks, how fast the implied-volatility solver runs. That is necessary, but it is not enough. The harder question is w…

MorphIQ Labs · Ferro Suite#rust#options-pricing#formal-verification#ferro-risk
Ferro Suite1 min read

Rust Market Data Normalization Starts at the Boundary

Market-data infrastructure becomes fragile when every downstream component learns a different venue dialect. One feed calls it a trade condition, another calls it a flag. One stream uses exchange timestamps, another c…

MorphIQ Labs · Ferro Suite#market-data#rust#normalization#ferro-feed
Ferro Suite1 min read

Price-Time Priority Matching in Rust

Price-time priority sounds simple until the implementation has to survive real state transitions. Orders arrive, cancel, partially fill, cross multiple price levels, and interact with timestamps, client identifiers, a…

MorphIQ Labs · Ferro Suite#matching-engine#rust#price-time-priority#ferro-match