Sats4Files v1 (evolved since):
https://gist.github.com/RobinLinus/bb1368ce812935c02948a193aedc386c

ZKCSP:
https://youtu.be/lrPruSr7GRI?si=bbH_5J1KOcu317kg