aaaaaargh perché nessuno ha pensato di dirmi che puoi letteralmente semplicemente comprimere le zk proofs cazzo