This article from @QuantaMagazine is really interesting from a theoretical #cryptography point of view, although practically speaking, it's probably unnecessary.
How Unknowable Math Can Help Hide Secrets | Quanta Magazine
A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.
Quanta Magazine (www.quantamagazine.org)
We can get noninteractive proofs which are *computationally* zero knowledge in other ways, as @matthew_d_green has explained in https://blog.cryptographyengineering.com/2017/01/21/zero-knowledge-proofs-an-illustrated-primer-part-2/