Can you get into legal trouble for generating zk proofs? 🙄 If yes, why?