On the Non-Malleability of ECVRF in the Algebraic Group Model

Willow Barkan-Vered; Franklin Harding; Jonathan Keller; Jiayu Xu

Paper 2023/1004

On the Non-Malleability of ECVRF in the Algebraic Group Model

Willow Barkan-Vered, Oregon State University

Franklin Harding, Oregon State University

Jonathan Keller, Oregon State University

Jiayu Xu, Oregon State University

Abstract

ECVRF is a verifiable random function (VRF) scheme used in multiple cryptocurrency systems. It has recently been proven to satisfy the notion of non-malleability which is useful in applications to blockchains (Peikert and Xu, CT-RSA 2023); however, the existing proof uses the rewinding technique and has a quadratic security loss. In this work, we re-analyze the non-malleability of ECVRF in the algebraic group model (AGM) and give a tight proof. We also compare our proof with the unforgeability proof for the Schnorr signature scheme in the AGM (Fuchsbauer, Plouviez and Seurin, EUROCRYPT 2020).

Metadata

Available format(s): PDF
Publication info: Preprint.
Contact author(s): barkanvt @ oregonstate edu
hardingf @ oregonstate edu
kellerjo @ oregonstate edu
xujiay @ oregonstate edu
History: 2023-06-29: approved; 2023-06-28: received; See all versions
Short URL: https://ia.cr/2023/1004
License: CC BY

BibTeX

@misc{cryptoeprint:2023/1004,
      author = {Willow Barkan-Vered and Franklin Harding and Jonathan Keller and Jiayu Xu},
      title = {On the Non-Malleability of {ECVRF} in the Algebraic Group Model},
      howpublished = {Cryptology {ePrint} Archive, Paper 2023/1004},
      year = {2023},
      url = {https://eprint.iacr.org/2023/1004}
}