Pairing-based non-interactive zero-knowledge arguments and applications

Pindado, Zaira

Pairing-based non-interactive zero-knowledge arguments and applications

Document Type

Doctoral thesis
Published Version

Author

Pindado, Zaira

Director

Ràfols, Carla

Publication Date

2021-03-23

Pages

188 p.

License

Citation

Pindado, Z. Pairing-based non-interactive zero-knowledge arguments and applications. Universitat Pompeu Fabra; 2021. handle: http://hdl.handle.net/10803/671270

This citation was generated automatically.

Doctoral program

Programa de doctorat en Tecnologies de la Informació i les Comunicacions

Abstract

Elliptic curves with a bilinear map, or pairing, have a rich algebraic structure that has been fundamental to develop practical Non-Interactive Zero-Knowledge (NIZK) proofs. On the theoretical side, we explore how efficient can NIZK proofs be under weak complexity assumptions. Specifically, we reduce the cost of proofs of satisfiability of quadratic equations, we define a new commitment scheme that is compatible with other pairing-based NIZK arguments, and we construct a simulation-sound argument that results in a new a signature of knowledge with communication sublinear in the circuit size under standard assumptions. Additionally, we study how to reduce the cost of verification in one of the most widely deployed NIZK arguments in practice.
Les corbes el·líptiques amb una aplicació bilineal, o pairing, tenen una estructura algebraica molt rica que ha sigut fonamental per desenvolupar proves de zero coneixement no interactives (NIZK). En la banda teòrica, explorem quant eficients poden ser les proves NIZK sota hipòtesis de complexitat dèbils. Més concretament, reduïm el cost de les proves de satisfacció per equacions quadràtiques, definim un nou esquema de compromís que és compatible amb altres proves NIZK basades en pairings i construïm una prova que resulta en una nova signatura de coneixement amb una comunicació sublineal en la mida del circuit sota hipòtesis estàndards. A més, estudiem com es redueix el cost de verificació en una de les proves NIZK més desenvolupades a la pràctica.

Keywords

Pairing-based cryptography, Non-interactive zero-knowledge proofs, Cryptographic protocols, Criptografia basada en pairings, Proves de zero coneixement no interactives, Protocols criptogràfics