no_std way to extract zip (streaming deflate)?

[yanshay]

Off topic, but I don't know where elsewhere to ask, I'm looking to extract a file from a zip file while downloading (so streaming) with deflate algorithm, in no_std with alloc.

I couldn't find a way to achieve that.
I found a crate zip_parser which does the parsing, and zune-inflate that does deflate but not streaming, and flate2 that doesn't seem to support no_std.

Any options to get that done in no_std/alloc?

[bugadani]

It's not exactly ZIP, but we have rom functions for deflating/inflating (you're looking for inflate to extract) using the tinfl implementation of the deflate algorithm. For an unsafe and hacky example you can look at our probe-rs flashing algorithms.

[yanshay]

That's interesting. I'm not familiar with how zip work, but if I get the stream of data from the zip file (so parsing is done by zip_parser), will handing the buffers to these functions would properly decopress and get me the uncompressed files?

[bugadani]

These are just for decompressing data, not actually breaking it up into files - in that, it's closer to gzip than to zip. I'm afraid that if this isn't what you're looking for, you'll need to look elsewhere.

---

Actually, looking at zip_parser, your idea might work. I'm not sure if by streaming you mean how we use tinfl in the flash loader, you'll have to figure out that part.