Complexity. Commitment schemes. NP-Completeness. Group theory. Modular arithmetic. Arithmetic circuits. Fiat and Shamir.Time travel.These are just some of the ideas you need to understand to construct a zero-knowledge proof (ZKP).A zero-knowledge proof protocol is like a magic show.The magician makes an extraordinary claim ("I will make this girl disappear!") then uses sleight of hand to conceal exactly how he's demonstrating that claim but by the end of the show you're convinced of...