Urlencoding of log contents

[theihor]

bpfvv can load input from a URL by opening /bpfvv/?url=<url>

For small verifier logs, it would be very convenient to be able to urlencode the input, for example: /bpfvv/?rawInput=<base64-encoded-log> and/or /bpfvv/?compressedInput=<base64-gzipped-text>

This is of course only feasible for small logs (<2k chars), but it's an awesome feature to have.

[jordalgo]

I'm poking at this a little using a library called fflate but it seems like even a short log of 120 lines is not compressing very well (2,488 chars compressed - 8,692 chars raw):

My experimental code (maybe I'm doing something wrong)

const buf = fflate.strToU8(text);
const compressed = fflate.compressSync(buf, { level: 9, mem: 8 });
console.log(compressed.toBase64().length);

[theihor]

I'm poking at this a little using a library called fflate but it seems like even a short log of 120 lines is not compressing very well (2,488 chars compressed - 8,692 chars raw):

Well, we know it'll only work for short logs, due to the url length constraints...

const compressed = fflate.compressSync(buf, { level: 9, mem: 8 });

Is this zstd?

[jordalgo]

Well, we know it'll only work for short logs, due to the url length constraints...

Right but I'm wondering if it's worth adding as a feature if it's only very short logs. I guess I consider 120 lines pretty short but I also don't know the distribution of log length.

Is this zstd?

It's GZIP.