Proofs of discrete logarithm equality across groups

Melissa Chase; Michele Orrù; Trevor Perrin; Greg Zaverucha

Paper 2022/1593 Original: eprint.iacr.org/2022/1593 ↗

Proofs of discrete logarithm equality across groups

Melissa Chase

Michele Orrù

Trevor Perrin

Greg Zaverucha

Abstract

We provide a $\Sigma$-protocol for proving that two values committed in different groups are equal. We study our protocol in Lyubashevsky's framework "Fiat-Shamir with aborts" (Asiacrypt’09) and offer concrete parameters for instantiating it. We explain how to use it to compose SNARKs with $\Sigma$-protocols, create efficient proofs of solvency on cryptocurrencies, and join of attributes across different anonymous credentials.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint.
History: 2022-11-16: last updated; 2022-11-16: published
Short URL: https://ia.cr/2022/1593
License: https://creativecommons.org/licenses/by/4.0/

BibTeX

@misc{cryptoeprint:2022/1593,
      author = {Melissa Chase and Michele Orrù and Trevor Perrin and Greg Zaverucha},
      title = {Proofs of discrete logarithm equality across groups},
      howpublished = {Cryptology {ePrint} Archive, Paper 2022/1593},
      year = {2022},
      url = {https://eprint.iacr.org/2022/1593}
}