Abstract:Zero-knowledge proof protocol is a basic cryptographic technique. And zero-knowledge proof of double discrete logarithm has some particular properties, so it has been widely applied in many security systems. But the efficient problem of zero-knowledge proof of double discrete logarithm has not been solved to this day, since there are some special difficulties in computing this kind of knowledge proof. Hence, the time complexity and the space complexity of existing schemes are all O(k), where k is a security parameter. After redesigning the basic construction of knowledge proof, we provide a new zero-knowledge proof of double discrete logarithm, which is the first scheme with O(1) time complexity and O(1) space complexity. If introducing an off-line TTP (trusted third party), we can provide two additional zero-knowledge proof schemes of double discrete logarithm, one is even more efficient than the first one, the other one solves another open problem, which is how to efficiently prove the equality of double discrete logarithms in zero-knowledge way, and the existing techniques cannot solve this problem. We also provide the detailed security proofs of our designs and efficiency analysis, comparing with the existing schemes. The significant improvement in efficiency of this basic cryptographic technique is also helpful for many security systems.

Signatures of Knowledge of Discrete Logarithm with Coefficient

EIGamal Knowledge Proof and Its Application in the Deputy Signature System

A General Blind Signature Scheme Based on the Discrete Logarithm Problem

On Computing Signatures of

Two Blind Signature Schemes Based on Discrete Logarithm

Improvement of Signature Scheme Based on Discrete Logarithms and Factoring

A Discrete-Logarithm Based Non-interactive Non-malleable Commitment Scheme with an Online Knowledge Extractor

On Computing Signatures of k -out-of- n Systems Consisting of Modules

SIGNLINE: Digital signature scheme based on linear equations cryptosystem

Efficient Zero-Knowledge Proofs of Knowledge of Double Discrete Logarithm

Schnorr Ring Signature Scheme with Designated Verifiability

On Signatures and Authentication

Practical Signature Scheme From Gamma-Protocol

Anonymous Signature Schemes

Bilinear Pairings-Based Threshold Proxy Signature Schemes With Known Signers

On Computing Signatures of Coherent Systems

Transitive Signatures Based on Bilinear Maps

Compact Leakage-Free ID-Based Signature Scheme with Applications to Secret Handshakes.

Certificateless and certificate-based signatures from lattices: Certificateless and certificate-based signatures from lattices

Security Analysis and Improvement of Several Partial Blind Signature Schemes

Secure Signature Protocol