A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems
Mostra el registre complet Registre parcial de l'ítem
- dc.contributor.author Bellés Muñoz, Marta
- dc.contributor.other Daza, Vanesa
- dc.contributor.other Muñoz Tapia, José L. (José Luis)
- dc.contributor.other Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions
- dc.date.accessioned 2024-03-16T02:34:47Z
- dc.date.available 2024-03-16T02:34:47Z
- dc.date.issued 2023-11-13T15:18:02Z
- dc.date.issued 2023-11-13T15:18:02Z
- dc.date.issued 2023-10-10
- dc.date.modified 2024-03-15T10:58:05Z
- dc.description.abstract In recent years, zero-knowledge proofs have come to play a crucial role in distributed systems where there is no trust between the parties involved. Most popular proof systems are for the NP-complete language of arithmetic circuit satisfiability. Although there have been tremendous efforts in understanding, developing, and improving zero-knowledge proof systems, not much work has been done towards the study of arithmetic circuits. In this thesis, we contribute to this matter in three different aspects. First, we present circom, a programming language for writing arithmetic circuits that abstracts the complexity of the proof system. Second, we provide a deterministic algorithm for generating twisted Edwards elliptic curves that can be used to prove elliptic-curve cryptography statements in zero knowledge efficiently. Finally, we explore recursive composition of pairing-based proof systems with native circuit arithmetic, delving into the study of cycles of pairing-friendly elliptic curves of prime order.
- dc.description.abstract En els últims anys, les proves de coneixement zero han passat a tenir un paper crucial en el sistemes distribuïts on no hi ha confiança entre els participants. Els sistemes de prova més populars són pel llenguatge NP complet de satisfacibilitat de circuits aritmètics. Tot i que hi ha hagut molts esforços per entendre i millorar les proves de coneixement zero, no s’ha avançat tant en l’estudi dels circuits aritmètics. En aquesta tesi, contribuïm a aquest tema en tres aspectes. Primerament, presentem circom, un llenguatge de programació per escriure circuits aritmètics que abstreu la complexitat del sistema de prova. Segonament, proporcionem un algorisme determinista per a generar corbes el·líptiques que permeten demostrar eficientment declaracions de criptografia de corba el·líptica. Finalment, explorem la composició recursiva de sistemes de prova basats en aparellaments utilitzant l’aritmètica nativa dels circuits, aprofundint en l’estudi de cicles de corbes el·líptiques d’ordre primer amb aparellaments adients.
- dc.description.abstract Programa de Doctorat en Tecnologies de la Informació i les Comunicacions
- dc.format 152 p.
- dc.format application/pdf
- dc.identifier http://hdl.handle.net/10803/689318
- dc.identifier.uri http://hdl.handle.net/10230/58258
- 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/4.0/
- dc.rights http://creativecommons.org/licenses/by/4.0/
- dc.rights info:eu-repo/semantics/openAccess
- dc.source TDX (Tesis Doctorals en Xarxa)
- dc.subject.keyword Blockchain
- dc.subject.keyword Zero-knowledge proof
- dc.subject.keyword Arithmetic circuit
- dc.subject.keyword Elliptic curve
- dc.subject.keyword Cadena de blocs
- dc.subject.keyword Prova de coneixement zero
- dc.subject.keyword Circuit aritmètic
- dc.subject.keyword Corba el·líptica
- dc.subject.keyword 62
- dc.title A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems
- dc.type info:eu-repo/semantics/doctoralThesis
- dc.type info:eu-repo/semantics/publishedVersion