Amplification of Non-Interactive Zero Knowledge, Revisited

ePrint Report: Amplification of Non-Interactive Zero Knowledge, Revisited

Nir Bitansky, Nathan Geier

In an (α,β)-weak non-interactive zero knowledge (NIZK), the soundness error is at most α and the zero-knowledge error is at most β. Goyal, Jain, and Sahai (CRYPTO 2019) show that if α+β<1 for some constants α,β, then (α,β)-weak NIZK can be turned into fully-secure NIZK, assuming sub-exponentially-secure public-key encryption.
We revisit the problem of NIZK amplification:
– We amplify NIZK arguments assuming only polynomially-secure public-key encryption, for any …

amplification can crypto eprint report error knowledge non report zero knowledge