In this paper,we construct a 6-round simultaneously resettable sound resettable(T,ǫ)-zero knowledge protocol forNP∩coNP in the Public Key model under standard assumptions,comparing with the 27-round simultaneously re...In this paper,we construct a 6-round simultaneously resettable sound resettable(T,ǫ)-zero knowledge protocol forNP∩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 signifcant reduction in the round complexity.Our model assumes that both prover and verifer hold public keys,we call it the Public Key model.It is a variation of the traditional BPK model where only the verifer 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,ǫ)-zero knowledge protocol forNP.展开更多
基金supported by the National Key Research and Development Program of China(Grant No.2023YFB4503203)by the National Natural Science Foundation of China(Grant No.62372447 and No.61932019).
文摘In this paper,we construct a 6-round simultaneously resettable sound resettable(T,ǫ)-zero knowledge protocol forNP∩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 signifcant reduction in the round complexity.Our model assumes that both prover and verifer hold public keys,we call it the Public Key model.It is a variation of the traditional BPK model where only the verifer 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,ǫ)-zero knowledge protocol forNP.
