Open AccessSigma protocol for faster proof of simultaneous homomorphism relations
Author(s) -
Bagherpour Bagher,
Zaghian Ali,
Sajadieh Mahdi
Publication year - 2019
Publication title -
iet information security
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.308
H-Index - 34
eISSN - 1751-8717
pISSN - 1751-8709
DOI - 10.1049/iet-ifs.2018.5167
Subject(s) - homomorphism , discrete logarithm , protocol (science) , cryptographic protocol , computer science , discrete mathematics , base (topology) , mathematics , theoretical computer science , cryptography , public key cryptography , algorithm , encryption , computer network , medicine , mathematical analysis , alternative medicine , pathology
The Σ ‐protocols for homomorphism relations are one of the cryptographic protocols which are used to prove knowledge of homomorphism relations. The Schnorr protocol is one of the most famous Σ ‐protocols used for proving knowledge of discrete logarithm (DL) relation in which the verifier essentially performs one double‐exponentiation (i.e. a group computation of the form a x b y ). A direct application of the Schnorr protocol for proving simultaneous knowledge of n DLs with a common base leads to a Σ ‐protocol in which the verifier performs n double‐exponentiations. In this study, the authors propose another Σ ‐protocol for homomorphism relations. The proposed Σ ‐protocol has fast verification when is used to prove the simultaneous homomorphism relations with a common homomorphism. Also, when the DL instantiation (DL‐instantiation) of the proposed Σ ‐protocol is used to prove simultaneous knowledge of n DLs with a common base, it leads to a Σ ‐protocol in which the verifier performs n +1 single‐exponentiations.