This article is ostensibly about why the challenge space in an interactive zero knowledge proof has to be large. Understanding this rather obscure theoretical aspect of zero knowledge proofs is quite rewarding intellectually. I promise. Let me start with a trivial question. How do you convince yourself that something happened before something else? Here’re some […]