Zoro - a STARK-proven Zcash light client in Cairo

[bitjson]

@abdel

A single 50–200 KiB‑scale receipt can cover thousands of headers.

Is this an AI hallucination? The Why Cairo/STARKs for Ztarknet and STARK_VERIFY_TZE topic mentions a smaller range:

@abdel

Proof bytes. We are comfortable targeting 50–100 KiB proofs

But I’m having trouble finding any proof examples below 717KB (from that topic):

@bitjson

Fantastic, thanks for the links! Running the latest locally (b632a3ec889d3e31de511d731d53add7ea7560d9), I see proof.json is 8.2MB, but very sparse. proof_rec.json brings it down to 2.4MB, and proof_rec_rec (packed in a different structure?) to 848KB, then bzipped to 717KB (proof_rec_rec.bz). Are there paths to reducing this further?

Have sub-100KB proofs been demonstrated with Stwo?