Pairing-based non-interactive zero-knowledge arguments and applications
Mostra el registre complet Registre parcial de l'ítem
- dc.contributor.author Pindado, Zaira
- dc.contributor.other Ràfols, Carla
- dc.contributor.other Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions
- dc.date.accessioned 2024-03-16T02:34:29Z
- dc.date.available 2024-03-16T02:34:29Z
- dc.date.issued 2021-04-01T10:22:10Z
- dc.date.issued 2021-04-01T10:22:10Z
- dc.date.issued 2021-03-23
- dc.date.modified 2024-03-15T10:58:06Z
- dc.description.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.
- dc.description.abstract 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.
- dc.description.abstract Programa de doctorat en Tecnologies de la Informació i les Comunicacions
- dc.format 188 p.
- dc.format application/pdf
- dc.format application/pdf
- dc.identifier http://hdl.handle.net/10803/671270
- dc.identifier.uri http://hdl.handle.net/10230/47014
- dc.language.iso eng
- dc.publisher Universitat Pompeu Fabra
- dc.rights L'accés als continguts d'aquesta tesi queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by-nc-sa/4.0/
- dc.rights http://creativecommons.org/licenses/by-nc-sa/4.0/
- dc.rights info:eu-repo/semantics/openAccess
- dc.source TDX (Tesis Doctorals en Xarxa)
- dc.subject.keyword Pairing-based cryptography
- dc.subject.keyword Non-interactive zero-knowledge proofs
- dc.subject.keyword Cryptographic protocols
- dc.subject.keyword Criptografia basada en pairings
- dc.subject.keyword Proves de zero coneixement no interactives
- dc.subject.keyword Protocols criptogràfics
- dc.subject.keyword 62
- dc.title Pairing-based non-interactive zero-knowledge arguments and applications
- dc.type info:eu-repo/semantics/doctoralThesis
- dc.type info:eu-repo/semantics/publishedVersion