Non Interactive Zero Knowledge Proof