Statically Aggregate Verifiable Random Functions and Application to E-Lottery
Artikel i vetenskaplig tidskrift, 2020

Cohen, Goldwasser, and Vaikuntanathan (TCC'15) introduced the concept of aggregate pseudo-random functions (PRFs), which allow efficiently computing the aggregate of PRF values over exponential-sized sets. In this paper, we explore the aggregation augmentation on verifiable random function (VRFs), introduced by Micali, Rabin and Vadhan (FOCS'99), as well as its application to e-lottery schemes. We introduce the notion of static aggregate verifiable random functions (Agg-VRFs), which perform aggregation for VRFs in a static setting. Our contributions can be summarized as follows: (1) we define static aggregate VRFs, which allow the efficient aggregation of VRF values and the corresponding proofs over super-polynomially large sets; (2) we present a static Agg-VRF construction over bit-fixing sets with respect to product aggregation based on the q-decisional Diffie-Hellman exponent assumption; (3) we test the performance of our static Agg-VRFs instantiation in comparison to a standard (non-aggregate) VRF in terms of costing time for the aggregation and verification processes, which shows that Agg-VRFs lower considerably the timing of verification of big sets; and (4) by employing Agg-VRFs, we propose an improved e-lottery scheme based on the framework of Chow et al.'s VRF-based e-lottery proposal (ICCSA'05). We evaluate the performance of Chow et al.'s e-lottery scheme and our improved scheme, and the latter shows a significant improvement in the efficiency of generating the winning number and the player verification.

verifiable random functions

pseudorandom functions

aggregate verifiable random functions

aggregate pseudorandom functions

Författare

Bei Liang

Chalmers, Data- och informationsteknik, Nätverk och system

Gustavo Souza Banegas

Chalmers, Data- och informationsteknik, Nätverk och system

Aikaterini Mitrokotsa

Chalmers, Data- och informationsteknik, Nätverk och system

CRYPTOGRAPHY

2410-387X (eISSN)

Vol. 4 4 37

PRECIS: Integritet och säkerhet i bärbara datorprylar

Vetenskapsrådet (VR), 2015-01-01 -- 2018-12-31.

CryptoQuaC: Cryptography meets Verifiable Quantum Computation

GENIE, Chalmers jämställdhet för excellens, 2020-01-01 -- .

Stiftelsen Chalmers tekniska högskola, 2020-01-01 -- .

Ämneskategorier

Datorteknik

Sannolikhetsteori och statistik

Datavetenskap (datalogi)

DOI

10.3390/cryptography4040037

Mer information

Senast uppdaterat

2021-01-14