Paper 2017/001

Equivalences and Black-Box Separations of Matrix Diffie-Hellman Problems

Jorge Luis Villar

Abstract

In this paper we provide new algebraic tools to study the relationship between different Matrix Diffie-Hellman (MDDH) Problems, which are recently introduced as a natural generalization of the so-called Linear Problem. Namely, we provide an algebraic criterion to decide whether there exists a generic black-box reduction, and in many cases, when the answer is positive we also build an explicit reduction with the following properties: it only makes a single oracle call, it is tight and it makes use only of operations in the base group. It is well known that two MDDH problems described by matrices with a different number of rows are separated by an oracle computing certain multilinear map. Thus, we put the focus on MDDH problems of the same size. Then, we show that MDDH problems described with a different number of parameters are also separated (meaning that a successful reduction cannot decrease the amount of randomness used in the problem instance description). When comparing MDDH problems of the same size and number of parameters, we show that they are either equivalent or incomparable. This suggests that a complete classification into equivalence classes could be done in the future. In this paper we give some positive and negative partial results about equivalence, in particular solving the open problem of whether the Linear and the Cascade MDDH problems are reducible to each other. The results given in the paper are limited by some technical restrictions in the shape of the matrices and in the degree of the polynomials defining them. However, these restrictions are also present in most of the work dealing with MDDH Problems. Therefore, our results apply to all known instances of practical interest.

Metadata
Available format(s)
PDF
Publication info
Published by the IACR in PKC 2017
Keywords
Matrix Diffie-Hellman ProblemsBlack-Box ReductionsDecisional Linear AssumptionBlack-Box Separations
Contact author(s)
jorge villar @ upc edu
History
2017-01-03: received
Short URL
https://ia.cr/2017/001
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2017/001,
      author = {Jorge Luis Villar},
      title = {Equivalences and Black-Box Separations of Matrix Diffie-Hellman Problems},
      howpublished = {Cryptology ePrint Archive, Paper 2017/001},
      year = {2017},
      note = {\url{https://eprint.iacr.org/2017/001}},
      url = {https://eprint.iacr.org/2017/001}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.