Abstract:In this paper we re-examine the nature of zero-knowledge. We show evidences that the classic simulation based definitions of zero-knowledge (simulation zero-knowledge) may be somewhat too strong to include some "nice" protocols in which the malicious verifier seems to learn nothing but we do not know how to construct a zero-knowledge simulator for it. We overcome this problem by introducing reduction zero-knowledge. We show that reduction zero-knowledge lies between simulation zero-knowledge and witness indistinguishability. That is, any simulation zero-knowledge protocol is also reduction zero-knowledge and reduction zero-knowledge implies witness indistinguishability but the opposite direction is not guaranteed to be true. There are two major contributions of reduction zero-knowledge. One is that it introduces reduction between different protocols and extends the approaches to characterize the nature of zero-knowledge. Note that reduction is a widely used paradigm in the field of computer science. Another is that in contrast to normal simulation zero-knowledge reduction zero-knowledge can be made more efficient (especially for the verifier) and can be constructed under weaker assumption while losing little security than a corresponding simulation zero-knowledge protocol. In this paper a 4-round public-coin reduction zero-knowledge proof system for NP is presented and in practice this protocol works in 3 rounds since the first verifier's message can be fixed once and for all.

STATE SPACE REDUCTION ALGORITHMS BASED ON PARTIAL-ORDER REDUCTION

A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking.

Redundancy-Reduction-Based Hierarchical Design in Synchronization of Multi-Agent Systems

Revisiting Stateful Partial-Order Reduction

A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking

Configuration Exploration Algorithm for Partially Reconfigurable Architecture

Minimum Conditional Information Loss Approach to Discrete Stochastic Model Reduction

State Space Reduction in the Maude-NRL Protocol Analyzer

Symmetry reduction method for complicated system model based on decision diagrams

Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis

An Algorithm to Dynamically Reduce the State Space of Timed Automata during the Reachability Analysis

Stochastic Model Reduction by Maximizing Independence

A Model Order Reduction Algorithm Using Observability Canonical Form

The Algorithm on Knowledge Reduction in Incomplete Information Systems.

A Study of Model-Order Reduction Techniques for Verification

State Space Reduction for Reachability Graph of CSM Automata

Block SAPOR: Block Second-Order Arnoldi Method for Passive Order Reduction of Multi-Input Multi-Output RCS Interconnect Circuits

A Set of Model Reduction Rules and Algorithms for Web Services Composition under Orchestration Pattern

Reduction Zero-Knowledge.

Model order reduction in parallel of discrete-time linear systems based on Meixner and Krawtchouk polynomials

A Novel Elementary Operation Approach with Jordan Transformation to Order Reduction for Roesser State-Space Model