MORPHIQLABS

Topic

#formal-verification

1 post

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