In Yatima we used sp_std, but I think here we can just use core and alloc. In my initial investigation, this requires setting our own GloballAllocator (and alloc error handler, etc).
It might be interesting as part of this effort to port https://github.com/microsoft/mimalloc (which is used by Lean) to pure no_std Rust (and therefore WASM), it's <10k LOC.
In Yatima we used
sp_std, but I think here we can just usecoreandalloc. In my initial investigation, this requires setting our own GloballAllocator (and alloc error handler, etc).It might be interesting as part of this effort to port https://github.com/microsoft/mimalloc (which is used by Lean) to pure no_std Rust (and therefore WASM), it's <10k LOC.