Gr\"obner Basis Cryptanalysis of Ciminion and Hydra

arXiv:2405.05040v1 Announce Type: new
Abstract: Ciminion and Hydra are two recently introduced symmetric key Pseudo-Random Functions for Multi-Party Computation applications. For efficiency both primitives utilize quadratic permutations at round level. Therefore, polynomial system solving-based attacks pose a serious threat to these primitives. For Ciminion we construct a quadratic degree reverse lexicographic (DRL) Gr\"obner basis for the iterated polynomial model via affine transformations. For Hydra we provide a computer-aided proof in SageMath that a quadratic DRL Gr\"obner basis is already contained …

applications arxiv attacks computation cryptanalysis cs.cr efficiency functions hydra key party pseudo-random random reverse serious symmetric system threat