Worked on enhancing the stwo-cairo repository by enabling no_std operation for the prover in cairo-air. This involved refactoring multiple modules to replace the standard library HashMap with a no_std-compatible alternative, allowing the prover to function in environments without standard library support. The approach reduced dependency risks and improved portability for deployments on constrained toolchains. The work was delivered as a focused feature in a single commit, demonstrating careful cross-module changes while maintaining code clarity. Utilized Rust and Cairo, with an emphasis on no standard library development, to broaden deployment options and support more flexible, resource-constrained environments for the project.