High Speed High Assurance implementations of Multivariate Quadratic based Signatures

Samyuktha M; Pallavi Borkar; Chester Rebeiro

Paper 2024/1893

High Speed High Assurance implementations of Multivariate Quadratic based Signatures

Samyuktha M, Society for Electronic Transactions and Security, Indian Institute of Technology Madras

Pallavi Borkar, Indian Institute of Technology Madras

Chester Rebeiro, Indian Institute of Technology Madras

Abstract

In this poster, we present a Jasmin implementation of Mayo2, a multivariate quadratic(MQ) based signature scheme. Mayo overcomes the disadvantage of the Unbalanced oil and vinegar(UOV) scheme by whipping the UOV map to produce public keys of sizes comparable to ML-DSA. Our Jasmin implementation of Mayo2 takes 930 μs for keygen, 3206 μs for sign, 480 μs for verify based on the average of 1,00,000 runs of the implementation on a 2.25GHz x86 64 processor with 256 GB RAM. To this end, we have a multivariate quadratic based signature implementation that is amenable for verification of constant-time, correctness, proof of equivalence properties using Easycrypt. Subsequently, the results of this endeavor can be extended for other MQ based schemes including UOV.

Metadata

Available format(s): PDF
Category: Public-key cryptography
Publication info: Preprint.
Keywords: Formal Verification Jasmin Mayo Multivariate Quadratic
Contact author(s): samyukthaprof @ gmail com
pallavi @ cse iitm ac in
chester @ cse iitm ac in
History: 2024-11-24: revised; 2024-11-21: received; See all versions
Short URL: https://ia.cr/2024/1893
License: CC0

BibTeX

@misc{cryptoeprint:2024/1893,
      author = {Samyuktha M and Pallavi Borkar and Chester Rebeiro},
      title = {High Speed High Assurance implementations of Multivariate Quadratic based Signatures},
      howpublished = {Cryptology {ePrint} Archive, Paper 2024/1893},
      year = {2024},
      url = {https://eprint.iacr.org/2024/1893}
}