vega-prover: Low-latency client-side ZK proving over signed data - View it on GitHub