Quint deserves Rust 🦀

Gabriela Moreira is rewriting our simulator core for maximum performance and early benchmarks are looking promising

Premier Partner in Protocol Design & Cross-Chain Infrastructure | Audits | Validator | Incubating 
Cycles | Supporting early-stage crypto projects

Deep dive into the approach and reasoning:

Deep dive into the approach and reasoning:
https://informal.systems/blog/quint-deserves-rust

& follow Gabriela on X for sneak peaks!
https://x.com/bugarela

The plan:
✦ Rust for what needs to scale
✦ Keep Typescript otherwise
✦ Seamless integration, users only notice the speed bump
✦ Focus on benchmarking from day one