Can you please recommend a book on ZK proofs for someone with basic CS level understanding of algorithms and data structures? I would like to understand it better and use it in dapps. I feel like it completely change the relation between what's data and what's computation, a bit how matter and energy was linked in physics.