For the client-side proving vertical we'd want STWO to be easily compilable to Wasm.

This requires:

• (Must have) a simple way to compile Stwo crates in no_std mode, e.g. crates should not import std::collections::Hashmap, c.f. feat: import no_std hashmaps #877
• (Nice to have) a test in the CI pipeline that checks WASM compilation does not fail for a given PR, this can be achieved by simply adding a example folder in stwo-cairo with a cairo-trace and simple wasm bindings to prove it.

Thanks for your help