In this paper, we construct a 6-round simultaneously resettable sound resettable $$(T, \epsilon )$$ ( T , ϵ ) -zero knowledge protocol for $$\mathsf {NP \cap coNP}$$ NP ∩ coNP in the Public Key model under standard assumptions, comparing with the 27-round simultaneously resettable zero knowledge protocol in the BPK model by Deng et al. in 2011, we have achieved a significant reduction in the round complexity. Our model assumes that both prover and verifier hold public keys, we call it the Public Key model. It is a variation of the traditional BPK model where only the verifier is assumed to hold public keys. In the original BPK model, under the sub-exponential hardness assumption of factoring, we construct a 2-round simultaneously resettable sound resettable $$(T,\epsilon )$$ ( T , ϵ ) -zero knowledge protocol for $$\textsf{NP}$$ NP .
This is above my ‘not keen on cryptographic maths’ head. Can someone dumb this down and explain its usefulness in plain terms? I attempted to read the overview but it was also like Sanskrit to me. Is this a big change for public key encryption or maybe a more efficient way of processing the math, or just an alternate method someone has found?
This is above my ‘not keen on cryptographic maths’ head. Can someone dumb this down and explain its usefulness in plain terms? I attempted to read the overview but it was also like Sanskrit to me. Is this a big change for public key encryption or maybe a more efficient way of processing the math, or just an alternate method someone has found?