4 ms·The verifier learns the NIZK itself; i.e. the verifier could not have computed the NIZK independently.by betterunix2 9y agoThe verifier learns the NIZK itself; i.e. the verifier could not have computed the NIZK independently.