Omer Paneth: From Point Obfuscation To Three Round Zero Knowledge

From Point Obfuscation To Three Round Zero Knowledge

Omer Paneth, TAU

We construct 3-round proofs and arguments with negligible soundness error satisfying two relaxed notions of Zero-Knowledge: Weak ZK and Witness Hiding (WH). At the heart of our constructions lie new techniques based on point obfuscation with auxiliary input (AIPO). It is known that such protocols cannot be proven secure using black-box reductions (or simulation). Our constructions circumvent these lower bounds, utilizing AIPO (and extensions) as the “non-black-box component” in the security reduction. We also investigate the relation between AIPO and the assumptions previously used to achieve 3-round ZK.