https://medium.com/@sreevedvp/rust-in-2025-building-scalable-microservices-with-actix-webassembly-and-formal-verification-bcb5d3cf0710
