Topic

#formal-verification

2 results

PlatformSeptember 28, 20267 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 SuiteJuly 6, 20262 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