Maybe the blog of Prof. Matthew Green of JHU is of use. Specifically, the two-part series about zero-knowledge proofs. Part II discusses non-interactive ZK proofs. Part I is really required to grasp the extension to non-interactive ZKP's, so you may need to read that first. https://blog.cryptographyengineering.com/2017/01/21/zero-kno...