Correct the description of Groth16 batch verification to explicitly take account of how verification depends on primary inputs.
Correct the description of Groth16 batch verification
to explicitly take account of how verification depends on primary inputs.

Signed-off-by: Daira Hopwood <cd7d43d5556a38ce626d53826fddc46adc597539@jacaranda.org>

zcash/zips,zcash/zips,zcash/zips,zcash/zips