Abstract:We present constant-round concurrently knowledge-extractable black-box resettable zero-knowledge (rZK-CKE) arguments forNP in the bare public-key (BPK) model. We give minimal (sub-exponential) hardness assumption based protocols as well as round-optimal protocols (still under general hardness assumptions). To our knowledge, our protocols are the first ZK protocols that provably provide both resettable/concurrent prover security and concurrent verifier security in public-key models. Here, the notion of concurrent knowledge-extractability roughly means that no malicious polynomial-time prover can convince an honest verifier of any (whether false or true) statement without “knowing” a corresponding NP-witness even by concurrently interleaving interactions in public-key models when verifiers register public-keys. We show that concurrent knowledge-extractability is strictly stronger than “concurrent soundness” (under any sub-exponentially strong one-way permutation) for concurrently proving NP statements to honest verifiers with public-keys. In particular, we show that previous concurrent zero-knowledge protocols in the BPK model that achieved concurrent soundness security and are also traditional arguments of knowledge actually fail to satisfy this stronger security notion (this is demonstrated by concrete attacks). Our work deepens the understanding of the subtleties of concurrent verifier security in public-key settings, and may serve as building blocks in designing other round-efficient concurrently secure protocols in public-key models that use, in particular, argument of knowledge (AOK) protocols as building blocks. RSA Laboratories and Department of Computer Science, Columbia University, New York, NY, USA. moti@cs.columbia.edu Software School, School of Information Science and Engineering, Fudan University, Shanghai 200433, China.

Obfuscation-Based Non-Black-Box Extraction and Constant-Round Zero-Knowledge Arguments of Knowledge.

On Zero-Knowledge With Strict Polynomial-Time Simulation And Extraction From Differing-Input Obfuscation For Circuits

Four-Round Zero-Knowledge Arguments Of Knowledge With Strict Polynomial-Time Simulation From Differing-Input Obfuscation For Circuits

A note on constant-round concurrent zero-knowledge arguments of knowledge for NP

Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model

Concurrently Knowledge-Extractable Resettable-ZK in the Bare Public-Key Model

Efficient Concurrent Zero Knowledge Arguments for NP in the Bare Public-Key Model

A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds

Generic and Practical Resettable Zero-Knowledge in the Bare Public-Key Model

Precise Bounded-Concurrent Zero-Knowledge in Almost Constant Rounds

On constant-round precise zero-knowledge

Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

Practical zero-knowledge arguments from ∑-protocols

Constant-round Adaptive Zero-Knowledge Proofs for NP

Concurrent Knowledge Extraction in the Public-Key Model

Unclonable Non-Interactive Zero-Knowledge

Precise Zero-Knowledge Arguments with Poly-Logarithmic Efficiency

Practical Zero-Knowledge Arguments from Σ-Protocols

Constant-Round Concurrently-Secure Rzk in the (real) Bare Public-Key Model

Interactive zero-knowledge with restricted random oracles

Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption