Analysis Of Non-Interactive Zero Knowledge Proof