Closed as not planned
Description
Javascript's DecompressionStream
is supported on all major browsers to decompress gzip. We can compress the wasm before turning it into base64 (after encoding, gzip is bad, I am aware of servers compressing automatically). On the client we can decode it and decompress it. I think this will make the file much smaller, but it may increase startup time.
Metadata
Metadata
Assignees
Labels
No labels