Hispana. Acceso en línea al Patrimonio Cultural Digital Español

Está en:  › Dades de registre

A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems

Identificadores del recurso

http://hdl.handle.net/10803/689318

Procedència

(Tesis de la Universitat Pompeu Fabra)

Fitxa

Títol:: A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems
Tema:: Blockchain; Zero-knowledge proof; Arithmetic circuit; Elliptic curve; Cadena de blocs; Prova de coneixement zero; Circuit aritmètic; Corba el·líptica; 62
Descripció:: 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.; 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.; Programa de Doctorat en Tecnologies de la Informació i les Comunicacions
Font:: TDX (Tesis Doctorals en Xarxa)
Idioma:: English
Autor/Productor:: Bellés Muñoz, Marta
Editor:: Universitat Pompeu Fabra
Otros colaboradores/productores:: Daza, Vanesa; Muñoz Tapia, José L. (José Luis); Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions
Drets:: 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/; http://creativecommons.org/licenses/by/4.0/; info:eu-repo/semantics/openAccess
Data:: 2023-11-13T15:18:02Z; 2023-10-10
Tipo de recurso:: info:eu-repo/semantics/doctoralThesis; info:eu-repo/semantics/publishedVersion
Format:: 152 p.; application/pdf

oai_dc

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<oai_dc:dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
1. <dc:title>A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</dc:title>
2. <dc:creator>Bellés Muñoz, Marta</dc:creator>
3. <dc:contributor>Daza, Vanesa</dc:contributor>
4. <dc:contributor>Muñoz Tapia, José L. (José Luis)</dc:contributor>
5. <dc:contributor>Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions</dc:contributor>
6. <dc:subject>Blockchain</dc:subject>
7. <dc:subject>Zero-knowledge proof</dc:subject>
8. <dc:subject>Arithmetic circuit</dc:subject>
9. <dc:subject>Elliptic curve</dc:subject>
10. <dc:subject>Cadena de blocs</dc:subject>
11. <dc:subject>Prova de coneixement zero</dc:subject>
12. <dc:subject>Circuit aritmètic</dc:subject>
13. <dc:subject>Corba el·líptica</dc:subject>
14. <dc:subject>62</dc:subject>
15. <dc:description>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>
16. <dc:description>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>
17. <dc:description>Programa de Doctorat en Tecnologies de la Informació i les Comunicacions</dc:description>
18. <dc:date>2023-11-13T15:18:02Z</dc:date>
19. <dc:date>2023-11-13T15:18:02Z</dc:date>
20. <dc:date>2023-10-10</dc:date>
21. <dc:type>info:eu-repo/semantics/doctoralThesis</dc:type>
22. <dc:type>info:eu-repo/semantics/publishedVersion</dc:type>
23. <dc:identifier>http://hdl.handle.net/10803/689318</dc:identifier>
24. <dc:language>eng</dc:language>
25. <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>
26. <dc:rights>http://creativecommons.org/licenses/by/4.0/</dc:rights>
27. <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
28. <dc:format>152 p.</dc:format>
29. <dc:format>application/pdf</dc:format>
30. <dc:publisher>Universitat Pompeu Fabra</dc:publisher>
31. <dc:source>TDX (Tesis Doctorals en Xarxa)</dc:source>
</oai_dc:dc>

dim

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<dim:dim schemaLocation="http://www.dspace.org/xmlns/dspace/dim http://www.dspace.org/schema/dim.xsd">
1. <dim:field element="contributor" mdschema="dc">Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions</dim:field>
2. <dim:field authority="ccb84098-35a5-44db-913d-840156a04075" element="contributor" mdschema="dc" qualifier="author">Bellés Muñoz, Marta</dim:field>
3. <dim:field element="contributor" lang="ca" mdschema="dc" qualifier="authoremail">marta.belles@upf.edu</dim:field>
4. <dim:field element="contributor" lang="ca" mdschema="dc" qualifier="authoremailshow">true</dim:field>
5. <dim:field authority="b47557b7-6b0c-4064-85be-e64da7e65e32" confidence="600" element="contributor" mdschema="dc" qualifier="director">Daza, Vanesa</dim:field>
6. <dim:field authority="e8275b09-2428-4d95-93fa-13d22f3b474f" confidence="600" element="contributor" mdschema="dc" qualifier="director">Muñoz Tapia, José L. (José Luis)</dim:field>
7. <dim:field element="date" mdschema="dc" qualifier="accessioned">2023-11-13T15:18:02Z</dim:field>
8. <dim:field element="date" mdschema="dc" qualifier="available">2023-11-13T15:18:02Z</dim:field>
9. <dim:field element="date" mdschema="dc" qualifier="issued">2023-10-10</dim:field>
10. <dim:field element="identifier" mdschema="dc" qualifier="uri">http://hdl.handle.net/10803/689318</dim:field>
11. <dim:field element="description" lang="ca" mdschema="dc" qualifier="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.</dim:field>
12. <dim:field element="description" lang="ca" mdschema="dc" qualifier="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.</dim:field>
13. <dim:field element="description" mdschema="dc" qualifier="degree">Programa de Doctorat en Tecnologies de la Informació i les Comunicacions</dim:field>
14. <dim:field element="format" lang="ca" mdschema="dc" qualifier="extent">152 p.</dim:field>
15. <dim:field element="language" lang="ca" mdschema="dc" qualifier="iso">eng</dim:field>
16. <dim:field element="publisher" mdschema="dc">Universitat Pompeu Fabra</dim:field>
17. <dim:field element="rights" lang="ca" mdschema="dc" qualifier="license">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/</dim:field>
18. <dim:field element="rights" lang="*" mdschema="dc" qualifier="uri">http://creativecommons.org/licenses/by/4.0/</dim:field>
19. <dim:field element="rights" mdschema="dc" qualifier="accessLevel">info:eu-repo/semantics/openAccess</dim:field>
20. <dim:field element="source" mdschema="dc">TDX (Tesis Doctorals en Xarxa)</dim:field>
21. <dim:field element="subject" lang="ca" mdschema="dc">Blockchain</dim:field>
22. <dim:field element="subject" lang="ca" mdschema="dc">Zero-knowledge proof</dim:field>
23. <dim:field element="subject" lang="ca" mdschema="dc">Arithmetic circuit</dim:field>
24. <dim:field element="subject" lang="ca" mdschema="dc">Elliptic curve</dim:field>
25. <dim:field element="subject" lang="ca" mdschema="dc">Cadena de blocs</dim:field>
26. <dim:field element="subject" lang="ca" mdschema="dc">Prova de coneixement zero</dim:field>
27. <dim:field element="subject" lang="ca" mdschema="dc">Circuit aritmètic</dim:field>
28. <dim:field element="subject" lang="ca" mdschema="dc">Corba el·líptica</dim:field>
29. <dim:field element="subject" lang="ca" mdschema="dc" qualifier="udc">62</dim:field>
30. <dim:field element="title" lang="ca" mdschema="dc">A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</dim:field>
31. <dim:field element="type" mdschema="dc">info:eu-repo/semantics/doctoralThesis</dim:field>
32. <dim:field element="type" mdschema="dc">info:eu-repo/semantics/publishedVersion</dim:field>
33. <dim:field element="embargo" lang="ca" mdschema="dc" qualifier="terms">cap</dim:field>
</dim:dim>

etdms

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<thesis schemaLocation="http://www.ndltd.org/standards/metadata/etdms/1.0/ http://www.ndltd.org/standards/metadata/etdms/1.0/etdms.xsd">
1. <title>A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</title>
2. <creator>Bellés Muñoz, Marta</creator>
3. <contributor>marta.belles@upf.edu</contributor>
4. <contributor>true</contributor>
5. <contributor>Daza, Vanesa</contributor>
6. <contributor>Muñoz Tapia, José L. (José Luis)</contributor>
7. <subject>Blockchain</subject>
8. <subject>Zero-knowledge proof</subject>
9. <subject>Arithmetic circuit</subject>
10. <subject>Elliptic curve</subject>
11. <subject>Cadena de blocs</subject>
12. <subject>Prova de coneixement zero</subject>
13. <subject>Circuit aritmètic</subject>
14. <subject>Corba el·líptica</subject>
15. <description>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.</description>
16. <description>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.</description>
17. <date>2023-11-13</date>
18. <date>2023-11-13</date>
19. <date>2023-10-10</date>
20. <type>info:eu-repo/semantics/doctoralThesis</type>
21. <type>info:eu-repo/semantics/publishedVersion</type>
22. <identifier>http://hdl.handle.net/10803/689318</identifier>
23. <language>eng</language>
24. <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/</rights>
25. <rights>http://creativecommons.org/licenses/by/4.0/</rights>
26. <rights>info:eu-repo/semantics/openAccess</rights>
27. <publisher>Universitat Pompeu Fabra</publisher>
28. <source>TDX (Tesis Doctorals en Xarxa)</source>
</thesis>

marc

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<record schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd">
1. <leader>00925njm 22002777a 4500</leader>
2. <datafield ind1=" " ind2=" " tag="042">
  1. <subfield code="a">dc</subfield>
  </datafield>
3. <datafield ind1=" " ind2=" " tag="720">
  1. <subfield code="a">Bellés Muñoz, Marta</subfield>
  2. <subfield code="e">author</subfield>
  </datafield>
4. <datafield ind1=" " ind2=" " tag="260">
  1. <subfield code="c">2023-10-10</subfield>
  </datafield>
5. <datafield ind1=" " ind2=" " tag="520">
  1. <subfield code="a">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.</subfield>
  </datafield>
6. <datafield ind1=" " ind2=" " tag="520">
  1. <subfield code="a">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.</subfield>
  </datafield>
7. <datafield ind1="8" ind2=" " tag="024">
  1. <subfield code="a">http://hdl.handle.net/10803/689318</subfield>
  </datafield>
8. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Blockchain</subfield>
  </datafield>
9. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Zero-knowledge proof</subfield>
  </datafield>
10. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Arithmetic circuit</subfield>
  </datafield>
11. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Elliptic curve</subfield>
  </datafield>
12. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Cadena de blocs</subfield>
  </datafield>
13. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Prova de coneixement zero</subfield>
  </datafield>
14. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Circuit aritmètic</subfield>
  </datafield>
15. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Corba el·líptica</subfield>
  </datafield>
16. <datafield ind1="0" ind2="0" tag="245">
  1. <subfield code="a">A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</subfield>
  </datafield>
</record>

marc_ccuc

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<record schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd">
1. <leader>nam a 5i 4500</leader>
2. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Blockchain</subfield>
  </datafield>
3. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Zero-knowledge proof</subfield>
  </datafield>
4. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Arithmetic circuit</subfield>
  </datafield>
5. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Elliptic curve</subfield>
  </datafield>
6. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Cadena de blocs</subfield>
  </datafield>
7. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Prova de coneixement zero</subfield>
  </datafield>
8. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Circuit aritmètic</subfield>
  </datafield>
9. <datafield ind1=" " ind2=" " tag="653">
  1. <subfield code="a">Corba el·líptica</subfield>
  </datafield>
10. <datafield ind1="1" ind2="0" tag="245">
  1. <subfield code="a">A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</subfield>
  </datafield>
11. <datafield ind1=" " ind2="1" tag="264">
  1. <subfield code="a">[Barcelona] :</subfield>
  2. <subfield code="b">Universitat Pompeu Fabra,</subfield>
  3. <subfield code="c">2023</subfield>
  </datafield>
12. <datafield ind1="4" ind2="0" tag="856">
  1. <subfield code="z">Accés lliure</subfield>
  2. <subfield code="u">http://hdl.handle.net/10803/689318</subfield>
  </datafield>
13. <controlfield tag="007">cr |||||||||||</controlfield>
14. <controlfield tag="008">AAMMDDs2023 sp ||||fsm||||0|| 0 eng|c</controlfield>
15. <datafield ind1="1" ind2=" " tag="100">
  1. <subfield code="a">Bellés Muñoz, Marta,</subfield>
  2. <subfield code="e">autor</subfield>
  </datafield>
16. <datafield ind1="1" ind2=" " tag="100">
  1. <subfield code="a">Programa de Doctorat en Tecnologies de la Informació i les Comunicacions,</subfield>
  2. <subfield code="e">degree</subfield>
  </datafield>
17. <datafield ind1=" " ind2=" " tag="300">
  1. <subfield code="a">1 recurs en línia (152 pàgines)</subfield>
  </datafield>
18. <datafield ind1=" " ind2=" " tag="502">
  1. <subfield code="g">Tesi</subfield>
  2. <subfield code="b">Doctorat</subfield>
  3. <subfield code="c">Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions</subfield>
  4. <subfield code="d">2023</subfield>
  </datafield>
19. <datafield ind1="2" ind2=" " tag="710">
  1. <subfield code="a">Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions</subfield>
  </datafield>
20. <datafield ind1=" " ind2="4" tag="655">
  1. <subfield code="a">Tesis i dissertacions electròniques</subfield>
  </datafield>
21. <datafield ind1="1" ind2=" " tag="700">
  1. <subfield code="a">Daza, Vanesa,</subfield>
  2. <subfield code="e">supervisor acadèmic</subfield>
  </datafield>
22. <datafield ind1="1" ind2=" " tag="700">
  1. <subfield code="a">Muñoz Tapia, José L.</subfield>
  2. <subfield code="q">(José Luis)</subfield>
  3. <subfield code="e">supervisor acadèmic</subfield>
  </datafield>
23. <datafield ind1="0" ind2=" " tag="730">
  1. <subfield code="a">TDX</subfield>
  </datafield>
24. <datafield ind1=" " ind2=" " tag="520">
  1. <subfield code="a">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.</subfield>
  </datafield>
25. <datafield ind1=" " ind2=" " tag="998">
  1. <subfield code="a">f</subfield>
  </datafield>
26. <datafield ind1=" " ind2=" " tag="040">
  1. <subfield code="a">ES-BaCBU</subfield>
  2. <subfield code="b">cat</subfield>
  3. <subfield code="e">rda</subfield>
  4. <subfield code="c">ES-BaCBU</subfield>
  </datafield>
27. <datafield ind1=" " ind2=" " tag="336">
  1. <subfield code="a">text</subfield>
  2. <subfield code="b">txt</subfield>
  3. <subfield code="2">rdacontent</subfield>
  </datafield>
28. <datafield ind1=" " ind2=" " tag="337">
  1. <subfield code="a">informàtic</subfield>
  2. <subfield code="b">c</subfield>
  3. <subfield code="2">rdamedia</subfield>
  </datafield>
29. <datafield ind1=" " ind2=" " tag="338">
  1. <subfield code="a">recurs en línia</subfield>
  2. <subfield code="b">cr</subfield>
  3. <subfield code="2">rdacarrier</subfield>
  </datafield>
</record>

mets

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<mets ID=" DSpace_ITEM_10803-689318" OBJID=" hdl:10803/689318" PROFILE="DSpace METS SIP Profile 1.0" TYPE="DSpace ITEM" schemaLocation="http://www.loc.gov/METS/ http://www.loc.gov/standards/mets/mets.xsd">
1. <metsHdr CREATEDATE="2024-09-07T04:19:10Z">
  1. <agent ROLE="CUSTODIAN" TYPE="ORGANIZATION">
    1. <name>TDX (Tesis Doctorals en Xarxa)</name>
    </agent>
  </metsHdr>
2. <dmdSec ID="DMD_10803_689318">
  1. <mdWrap MDTYPE="MODS">
    1. <xmlData schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
      1. <mods:mods schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
        <mods:name>
        <mods:role>
        <mods:roleTerm type="text">author</mods:roleTerm>
        </mods:role>
        <mods:namePart>Bellés Muñoz, Marta</mods:namePart>
        </mods:name>
        <mods:name>
        <mods:role>
        <mods:roleTerm type="text">authoremail</mods:roleTerm>
        </mods:role>
        <mods:namePart>marta.belles@upf.edu</mods:namePart>
        </mods:name>
        <mods:name>
        <mods:role>
        <mods:roleTerm type="text">authoremailshow</mods:roleTerm>
        </mods:role>
        <mods:namePart>true</mods:namePart>
        </mods:name>
        <mods:name>
        <mods:role>
        <mods:roleTerm type="text">director</mods:roleTerm>
        </mods:role>
        <mods:namePart>Daza, Vanesa</mods:namePart>
        </mods:name>
        <mods:name>
        <mods:role>
        <mods:roleTerm type="text">director</mods:roleTerm>
        </mods:role>
        <mods:namePart>Muñoz Tapia, José L. (José Luis)</mods:namePart>
        </mods:name>
        <mods:extension>
        <mods:dateAccessioned encoding="iso8601">2023-11-13T15:18:02Z</mods:dateAccessioned>
        </mods:extension>
        <mods:extension>
        <mods:dateAvailable encoding="iso8601">2023-11-13T15:18:02Z</mods:dateAvailable>
        </mods:extension>
        <mods:originInfo>
        <mods:dateIssued encoding="iso8601">2023-10-10</mods:dateIssued>
        </mods:originInfo>
        <mods:identifier type="uri">http://hdl.handle.net/10803/689318</mods:identifier>
        <mods: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.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.</mods:abstract>
        <mods:language>
        <mods:languageTerm authority="rfc3066">eng</mods:languageTerm>
        </mods:language>
        <mods:accessCondition type="useAndReproduction" />
        <mods:subject>
        <mods:topic>Blockchain</mods:topic>
        </mods:subject>
        <mods:subject>
        <mods:topic>Zero-knowledge proof</mods:topic>
        </mods:subject>
        <mods:subject>
        <mods:topic>Arithmetic circuit</mods:topic>
        </mods:subject>
        <mods:subject>
        <mods:topic>Elliptic curve</mods:topic>
        </mods:subject>
        <mods:subject>
        <mods:topic>Cadena de blocs</mods:topic>
        </mods:subject>
        <mods:subject>
        <mods:topic>Prova de coneixement zero</mods:topic>
        </mods:subject>
        <mods:subject>
        <mods:topic>Circuit aritmètic</mods:topic>
        </mods:subject>
        <mods:subject>
        <mods:topic>Corba el·líptica</mods:topic>
        </mods:subject>
        <mods:titleInfo>
        <mods:title>A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</mods:title>
        </mods:titleInfo>
        <mods:genre>info:eu-repo/semantics/doctoralThesis info:eu-repo/semantics/publishedVersion</mods:genre>
        </mods:mods>
      </xmlData>
    </mdWrap>
  </dmdSec>
3. <amdSec ID="FO_10803_689318_1">
  1. <techMD ID="TECH_O_10803_689318_1">
    1. <mdWrap MDTYPE="PREMIS">
      1. <xmlData schemaLocation="http://www.loc.gov/standards/premis http://www.loc.gov/standards/premis/PREMIS-v1-0.xsd">
        <premis:premis>
        <premis:object>
        <premis:objectIdentifier>
        <premis:objectIdentifierType>URL</premis:objectIdentifierType>
        <premis:objectIdentifierValue>https://www.tdx.cat/bitstream/10803/689318/1/tmbm.pdf</premis:objectIdentifierValue>
        </premis:objectIdentifier>
        <premis:objectCategory>File</premis:objectCategory>
        <premis:objectCharacteristics>
        <premis:fixity>
        <premis:messageDigestAlgorithm>MD5</premis:messageDigestAlgorithm>
        <premis:messageDigest>fba5482de7cd10f9cfb704309b395857</premis:messageDigest>
        </premis:fixity>
        <premis:size>1533785</premis:size>
        <premis:format>
        <premis:formatDesignation>
        <premis:formatName>application/pdf</premis:formatName>
        </premis:formatDesignation>
        </premis:format>
        </premis:objectCharacteristics>
        <premis:originalName>tmbm.pdf</premis:originalName>
        </premis:object>
        </premis:premis>
        </xmlData>
      </mdWrap>
    </techMD>
  </amdSec>
4. <amdSec ID="FT_10803_689318_3">
  1. <techMD ID="TECH_T_10803_689318_3">
    1. <mdWrap MDTYPE="PREMIS">
      1. <xmlData schemaLocation="http://www.loc.gov/standards/premis http://www.loc.gov/standards/premis/PREMIS-v1-0.xsd">
        <premis:premis>
        <premis:object>
        <premis:objectIdentifier>
        <premis:objectIdentifierType>URL</premis:objectIdentifierType>
        <premis:objectIdentifierValue>https://www.tdx.cat/bitstream/10803/689318/3/tmbm.pdf.txt</premis:objectIdentifierValue>
        </premis:objectIdentifier>
        <premis:objectCategory>File</premis:objectCategory>
        <premis:objectCharacteristics>
        <premis:fixity>
        <premis:messageDigestAlgorithm>MD5</premis:messageDigestAlgorithm>
        <premis:messageDigest>6a442b57d25e58248b69df22bcddcb81</premis:messageDigest>
        </premis:fixity>
        <premis:size>288336</premis:size>
        <premis:format>
        <premis:formatDesignation>
        <premis:formatName>text/plain</premis:formatName>
        </premis:formatDesignation>
        </premis:format>
        </premis:objectCharacteristics>
        <premis:originalName>tmbm.pdf.txt</premis:originalName>
        </premis:object>
        </premis:premis>
        </xmlData>
      </mdWrap>
    </techMD>
  </amdSec>
5. <fileSec>
  1. <fileGrp USE="ORIGINAL">
    1. <file ADMID="FO_10803_689318_1" CHECKSUM="fba5482de7cd10f9cfb704309b395857" CHECKSUMTYPE="MD5" GROUPID="GROUP_BITSTREAM_10803_689318_1" ID="BITSTREAM_ORIGINAL_10803_689318_1" MIMETYPE="application/pdf" SEQ="1" SIZE="1533785">
      1. <FLocat LOCTYPE="URL" href="https://www.tdx.cat/bitstream/10803/689318/1/tmbm.pdf" type="simple" />
      </file>
    </fileGrp>
  2. <fileGrp USE="TEXT">
    1. <file ADMID="FT_10803_689318_3" CHECKSUM="6a442b57d25e58248b69df22bcddcb81" CHECKSUMTYPE="MD5" GROUPID="GROUP_BITSTREAM_10803_689318_3" ID="BITSTREAM_TEXT_10803_689318_3" MIMETYPE="text/plain" SEQ="3" SIZE="288336">
      1. <FLocat LOCTYPE="URL" href="https://www.tdx.cat/bitstream/10803/689318/3/tmbm.pdf.txt" type="simple" />
      </file>
    </fileGrp>
  </fileSec>
6. <structMap LABEL="DSpace Object" TYPE="LOGICAL">
  1. <div ADMID="DMD_10803_689318" TYPE="DSpace Object Contents">
    1. <div TYPE="DSpace BITSTREAM">
      1. <fptr FILEID="BITSTREAM_ORIGINAL_10803_689318_1" />
      </div>
    </div>
  </structMap>
</mets>

mods

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<mods:mods schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
1. <mods:name>
  1. <mods:namePart>Bellés Muñoz, Marta</mods:namePart>
  </mods:name>
2. <mods:extension>
  1. <mods:dateAvailable encoding="iso8601">2023-11-13T15:18:02Z</mods:dateAvailable>
  </mods:extension>
3. <mods:extension>
  1. <mods:dateAccessioned encoding="iso8601">2023-11-13T15:18:02Z</mods:dateAccessioned>
  </mods:extension>
4. <mods:originInfo>
  1. <mods:dateIssued encoding="iso8601">2023-10-10</mods:dateIssued>
  </mods:originInfo>
5. <mods:identifier type="uri">http://hdl.handle.net/10803/689318</mods:identifier>
6. <mods: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.</mods:abstract>
7. <mods: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.</mods:abstract>
8. <mods:language>
  1. <mods:languageTerm>eng</mods:languageTerm>
  </mods:language>
9. <mods:accessCondition type="useAndReproduction">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/</mods:accessCondition>
10. <mods:accessCondition type="useAndReproduction">http://creativecommons.org/licenses/by/4.0/</mods:accessCondition>
11. <mods:accessCondition type="useAndReproduction">info:eu-repo/semantics/openAccess</mods:accessCondition>
12. <mods:subject>
  1. <mods:topic>Blockchain</mods:topic>
  </mods:subject>
13. <mods:subject>
  1. <mods:topic>Zero-knowledge proof</mods:topic>
  </mods:subject>
14. <mods:subject>
  1. <mods:topic>Arithmetic circuit</mods:topic>
  </mods:subject>
15. <mods:subject>
  1. <mods:topic>Elliptic curve</mods:topic>
  </mods:subject>
16. <mods:subject>
  1. <mods:topic>Cadena de blocs</mods:topic>
  </mods:subject>
17. <mods:subject>
  1. <mods:topic>Prova de coneixement zero</mods:topic>
  </mods:subject>
18. <mods:subject>
  1. <mods:topic>Circuit aritmètic</mods:topic>
  </mods:subject>
19. <mods:subject>
  1. <mods:topic>Corba el·líptica</mods:topic>
  </mods:subject>
20. <mods:titleInfo>
  1. <mods:title>A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</mods:title>
  </mods:titleInfo>
21. <mods:genre>info:eu-repo/semantics/doctoralThesis</mods:genre>
22. <mods:genre>info:eu-repo/semantics/publishedVersion</mods:genre>
</mods:mods>

oaire

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<oaire:record schemaLocation="http://namespaceopenaire.eu/schema/oaire/">
1. <dc:title>A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</dc:title>
2. <datacite:creator>
  1. <datacite:creatorName>Bellés Muñoz, Marta</datacite:creatorName>
  </datacite:creator>
3. <datacite:contributor>marta.belles@upf.edu</datacite:contributor>
4. <datacite:contributor>true</datacite:contributor>
5. <datacite:contributor>Daza, Vanesa</datacite:contributor>
6. <datacite:contributor>Muñoz Tapia, José L. (José Luis)</datacite:contributor>
7. <datacite:contributor>Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions</datacite:contributor>
8. <dc:subject>Blockchain</dc:subject>
9. <dc:subject>Zero-knowledge proof</dc:subject>
10. <dc:subject>Arithmetic circuit</dc:subject>
11. <dc:subject>Elliptic curve</dc:subject>
12. <dc:subject>Cadena de blocs</dc:subject>
13. <dc:subject>Prova de coneixement zero</dc:subject>
14. <dc:subject>Circuit aritmètic</dc:subject>
15. <dc:subject>Corba el·líptica</dc:subject>
16. <dc:subject>62</dc:subject>
17. <dc:description>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>
18. <dc:description>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>
19. <dc:description>Programa de Doctorat en Tecnologies de la Informació i les Comunicacions</dc:description>
20. <dc:date>2023-11-13T15:18:02Z</dc:date>
21. <dc:date>2023-11-13T15:18:02Z</dc:date>
22. <dc:date>2023-10-10</dc:date>
23. <dc:type>info:eu-repo/semantics/doctoralThesis</dc:type>
24. <dc:type>info:eu-repo/semantics/publishedVersion</dc:type>
25. <datacite:alternateIdentifier>http://hdl.handle.net/10803/689318</datacite:alternateIdentifier>
26. <dc:language>eng</dc:language>
27. <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>
28. <dc:rights>http://creativecommons.org/licenses/by/4.0/</dc:rights>
29. <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
30. <dc:format>152 p.</dc:format>
31. <dc:format>application/pdf</dc:format>
32. <dc:publisher>Universitat Pompeu Fabra</dc:publisher>
33. <dc:source>TDX (Tesis Doctorals en Xarxa)</dc:source>
34. <oaire:file>https://www.tdx.cat/bitstream/10803/689318/1/tmbm.pdf</oaire:file>
</oaire:record>

ore

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<atom:entry schemaLocation="http://www.w3.org/2005/Atom http://www.kbcafe.com/rss/atom.xsd.xml">
1. <atom:id>http://hdl.handle.net/10803/689318/ore.xml</atom:id>
2. <atom:link href="http://hdl.handle.net/10803/689318" rel="alternate" />
3. <atom:link href="http://hdl.handle.net/10803/689318/ore.xml" rel="http://www.openarchives.org/ore/terms/describes" />
4. <atom:link href="http://hdl.handle.net/10803/689318/ore.xml#atom" rel="self" type="application/atom+xml" />
5. <atom:published>2023-11-13T15:18:02Z</atom:published>
6. <atom:updated>2023-11-13T15:18:02Z</atom:updated>
7. <atom:source>
  1. <atom:generator>TDX (Tesis Doctorals en Xarxa)</atom:generator>
  </atom:source>
8. <atom:title>A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</atom:title>
9. <atom:author>
  1. <atom:name>Bellés Muñoz, Marta</atom:name>
  </atom:author>
10. <atom:category label="Aggregation" scheme="http://www.openarchives.org/ore/terms/" term="http://www.openarchives.org/ore/terms/Aggregation" />
11. <atom:category scheme="http://www.openarchives.org/ore/atom/modified" term="2023-11-13T15:18:02Z" />
12. <atom:category label="DSpace Item" scheme="http://www.dspace.org/objectModel/" term="DSpaceItem" />
13. <atom:link href="https://www.tdx.cat/bitstream/10803/689318/1/tmbm.pdf" length="1533785" rel="http://www.openarchives.org/ore/terms/aggregates" title="tmbm.pdf" type="application/pdf" />
14. <oreatom:triples>
  1. <rdf:Description about="http://hdl.handle.net/10803/689318/ore.xml#atom">
    1. <rdf:type resource="http://www.dspace.org/objectModel/DSpaceItem" />
    2. <dcterms:modified>2023-11-13T15:18:02Z</dcterms:modified>
    </rdf:Description>
  2. <rdf:Description about="https://www.tdx.cat/bitstream/10803/689318/1/tmbm.pdf">
    1. <rdf:type resource="http://www.dspace.org/objectModel/DSpaceBitstream" />
    2. <dcterms:description>ORIGINAL</dcterms:description>
    </rdf:Description>
  3. <rdf:Description about="https://www.tdx.cat/bitstream/10803/689318/2/license_rdf">
    1. <rdf:type resource="http://www.dspace.org/objectModel/DSpaceBitstream" />
    2. <dcterms:description>CC-LICENSE</dcterms:description>
    </rdf:Description>
  4. <rdf:Description about="https://www.tdx.cat/bitstream/10803/689318/3/tmbm.pdf.txt">
    1. <rdf:type resource="http://www.dspace.org/objectModel/DSpaceBitstream" />
    2. <dcterms:description>TEXT</dcterms:description>
    </rdf:Description>
  5. <rdf:Description about="https://www.tdx.cat/bitstream/10803/689318/4/tmbm.pdf.xml">
    1. <rdf:type resource="http://www.dspace.org/objectModel/DSpaceBitstream" />
    2. <dcterms:description>MEDIA_DOCUMENT</dcterms:description>
    </rdf:Description>
  </oreatom:triples>
</atom:entry>

qdc

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<qdc:qualifieddc schemaLocation="http://purl.org/dc/elements/1.1/ http://dublincore.org/schemas/xmls/qdc/2006/01/06/dc.xsd http://purl.org/dc/terms/ http://dublincore.org/schemas/xmls/qdc/2006/01/06/dcterms.xsd http://dspace.org/qualifieddc/ http://www.ukoln.ac.uk/metadata/dcmi/xmlschema/qualifieddc.xsd">
1. <dc:title>A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</dc:title>
2. <dc:creator>Bellés Muñoz, Marta</dc:creator>
3. <dc:contributor>Daza, Vanesa</dc:contributor>
4. <dc:contributor>Muñoz Tapia, José L. (José Luis)</dc:contributor>
5. <dc:subject>Blockchain</dc:subject>
6. <dc:subject>Zero-knowledge proof</dc:subject>
7. <dc:subject>Arithmetic circuit</dc:subject>
8. <dc:subject>Elliptic curve</dc:subject>
9. <dc:subject>Cadena de blocs</dc:subject>
10. <dc:subject>Prova de coneixement zero</dc:subject>
11. <dc:subject>Circuit aritmètic</dc:subject>
12. <dc:subject>Corba el·líptica</dc:subject>
13. <dcterms: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.</dcterms:abstract>
14. <dcterms: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.</dcterms:abstract>
15. <dcterms:dateAccepted>2023-11-13T15:18:02Z</dcterms:dateAccepted>
16. <dcterms:available>2023-11-13T15:18:02Z</dcterms:available>
17. <dcterms:created>2023-11-13T15:18:02Z</dcterms:created>
18. <dcterms:issued>2023-10-10</dcterms:issued>
19. <dc:type>info:eu-repo/semantics/doctoralThesis</dc:type>
20. <dc:type>info:eu-repo/semantics/publishedVersion</dc:type>
21. <dc:identifier>http://hdl.handle.net/10803/689318</dc:identifier>
22. <dc:language>eng</dc:language>
23. <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>
24. <dc:rights>http://creativecommons.org/licenses/by/4.0/</dc:rights>
25. <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
26. <dc:publisher>Universitat Pompeu Fabra</dc:publisher>
27. <dc:source>TDX (Tesis Doctorals en Xarxa)</dc:source>
</qdc:qualifieddc>

rdf

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<rdf:RDF schemaLocation="http://www.openarchives.org/OAI/2.0/rdf/ http://www.openarchives.org/OAI/2.0/rdf.xsd">
1. <ow:Publication about="oai:www.tdx.cat:10803/689318">
  1. <dc:title>A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</dc:title>
  2. <dc:creator>Bellés Muñoz, Marta</dc:creator>
  3. <dc:contributor>marta.belles@upf.edu</dc:contributor>
  4. <dc:contributor>true</dc:contributor>
  5. <dc:contributor>Daza, Vanesa</dc:contributor>
  6. <dc:contributor>Muñoz Tapia, José L. (José Luis)</dc:contributor>
  7. <dc:subject>Blockchain</dc:subject>
  8. <dc:subject>Zero-knowledge proof</dc:subject>
  9. <dc:subject>Arithmetic circuit</dc:subject>
  10. <dc:subject>Elliptic curve</dc:subject>
  11. <dc:subject>Cadena de blocs</dc:subject>
  12. <dc:subject>Prova de coneixement zero</dc:subject>
  13. <dc:subject>Circuit aritmètic</dc:subject>
  14. <dc:subject>Corba el·líptica</dc:subject>
  15. <dc:description>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>
  16. <dc:description>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>
  17. <dc:date>2023-11-13T15:18:02Z</dc:date>
  18. <dc:date>2023-11-13T15:18:02Z</dc:date>
  19. <dc:date>2023-10-10</dc:date>
  20. <dc:type>info:eu-repo/semantics/doctoralThesis</dc:type>
  21. <dc:type>info:eu-repo/semantics/publishedVersion</dc:type>
  22. <dc:identifier>http://hdl.handle.net/10803/689318</dc:identifier>
  23. <dc:language>eng</dc:language>
  24. <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>
  25. <dc:rights>http://creativecommons.org/licenses/by/4.0/</dc:rights>
  26. <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  27. <dc:publisher>Universitat Pompeu Fabra</dc:publisher>
  28. <dc:source>TDX (Tesis Doctorals en Xarxa)</dc:source>
  </ow:Publication>
</rdf:RDF>

uketd_dc

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<uketd_dc:uketddc schemaLocation="http://naca.central.cranfield.ac.uk/ethos-oai/2.0/ http://naca.central.cranfield.ac.uk/ethos-oai/2.0/uketd_dc.xsd">
1. <dc:title>A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</dc:title>
2. <dc:creator>Bellés Muñoz, Marta</dc:creator>
3. <dcterms: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.</dcterms:abstract>
4. <dcterms: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.</dcterms:abstract>
5. <uketdterms:institution>Universitat Pompeu Fabra</uketdterms:institution>
6. <dcterms:issued>2023-10-10</dcterms:issued>
7. <dc:type>info:eu-repo/semantics/doctoralThesis</dc:type>
8. <dc:type>info:eu-repo/semantics/publishedVersion</dc:type>
9. <dc:language type="dcterms:ISO639-2">eng</dc:language>
10. <dcterms:isReferencedBy>http://hdl.handle.net/10803/689318</dcterms:isReferencedBy>
11. <dc:identifier type="dcterms:URI">https://www.tdx.cat/bitstream/10803/689318/1/tmbm.pdf</dc:identifier>
12. <uketdterms:checksum type="uketdterms:MD5">fba5482de7cd10f9cfb704309b395857</uketdterms:checksum>
13. <dcterms:hasFormat>https://www.tdx.cat/bitstream/10803/689318/3/tmbm.pdf.txt</dcterms:hasFormat>
14. <uketdterms:checksum type="uketdterms:MD5">6a442b57d25e58248b69df22bcddcb81</uketdterms:checksum>
15. <uketdterms:embargodate>cap</uketdterms:embargodate>
16. <dc:subject>Blockchain</dc:subject>
17. <dc:subject>Zero-knowledge proof</dc:subject>
18. <dc:subject>Arithmetic circuit</dc:subject>
19. <dc:subject>Elliptic curve</dc:subject>
20. <dc:subject>Cadena de blocs</dc:subject>
21. <dc:subject>Prova de coneixement zero</dc:subject>
22. <dc:subject>Circuit aritmètic</dc:subject>
23. <dc:subject>Corba el·líptica</dc:subject>
</uketd_dc:uketddc>

xoai

Descarregar XML

<?xml version="1.0" encoding="UTF-8" ?>

<metadata schemaLocation="http://www.lyncode.com/xoai http://www.lyncode.com/xsd/xoai.xsd">
1. <element name="dc">
  1. <element name="contributor">
    1. <element name="none">
      1. <field name="value">Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions</field>
      </element>
    2. <element name="author">
      1. <element name="none">
        <field name="value">Bellés Muñoz, Marta</field>
        <field name="authority">ccb84098-35a5-44db-913d-840156a04075</field>
        </element>
      </element>
    3. <element name="authoremail">
      1. <element name="ca">
        <field name="value">marta.belles@upf.edu</field>
        </element>
      </element>
    4. <element name="authoremailshow">
      1. <element name="ca">
        <field name="value">true</field>
        </element>
      </element>
    5. <element name="director">
      1. <element name="none">
        <field name="value">Daza, Vanesa</field>
        <field name="authority">b47557b7-6b0c-4064-85be-e64da7e65e32</field>
        <field name="confidence">600</field>
        <field name="orcid_id">0000-0003-0583-7929</field>
        <field name="value">Muñoz Tapia, José L. (José Luis)</field>
        <field name="authority">e8275b09-2428-4d95-93fa-13d22f3b474f</field>
        <field name="confidence">600</field>
        </element>
      </element>
    </element>
  2. <element name="date">
    1. <element name="accessioned">
      1. <element name="none">
        <field name="value">2023-11-13T15:18:02Z</field>
        </element>
      </element>
    2. <element name="available">
      1. <element name="none">
        <field name="value">2023-11-13T15:18:02Z</field>
        </element>
      </element>
    3. <element name="issued">
      1. <element name="none">
        <field name="value">2023-10-10</field>
        </element>
      </element>
    </element>
  3. <element name="identifier">
    1. <element name="uri">
      1. <element name="none">
        <field name="value">http://hdl.handle.net/10803/689318</field>
        </element>
      </element>
    </element>
  4. <element name="description">
    1. <element name="abstract">
      1. <element name="ca">
        <field name="value">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.</field>
        <field name="value">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.</field>
        </element>
      </element>
    2. <element name="degree">
      1. <element name="none">
        <field name="value">Programa de Doctorat en Tecnologies de la Informació i les Comunicacions</field>
        </element>
      </element>
    </element>
  5. <element name="format">
    1. <element name="extent">
      1. <element name="ca">
        <field name="value">152 p.</field>
        </element>
      </element>
    </element>
  6. <element name="language">
    1. <element name="iso">
      1. <element name="ca">
        <field name="value">eng</field>
        </element>
      </element>
    </element>
  7. <element name="publisher">
    1. <element name="none">
      1. <field name="value">Universitat Pompeu Fabra</field>
      </element>
    </element>
  8. <element name="rights">
    1. <element name="license">
      1. <element name="ca">
        <field name="value">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/</field>
        </element>
      </element>
    2. <element name="uri">
      1. <element name="*">
        <field name="value">http://creativecommons.org/licenses/by/4.0/</field>
        </element>
      </element>
    3. <element name="accessLevel">
      1. <element name="none">
        <field name="value">info:eu-repo/semantics/openAccess</field>
        </element>
      </element>
    </element>
  9. <element name="source">
    1. <element name="none">
      1. <field name="value">TDX (Tesis Doctorals en Xarxa)</field>
      </element>
    </element>
  10. <element name="subject">
    1. <element name="ca">
      1. <field name="value">Blockchain</field>
      2. <field name="value">Zero-knowledge proof</field>
      3. <field name="value">Arithmetic circuit</field>
      4. <field name="value">Elliptic curve</field>
      5. <field name="value">Cadena de blocs</field>
      6. <field name="value">Prova de coneixement zero</field>
      7. <field name="value">Circuit aritmètic</field>
      8. <field name="value">Corba el·líptica</field>
      </element>
    2. <element name="udc">
      1. <element name="ca">
        <field name="value">62</field>
        </element>
      </element>
    </element>
  11. <element name="title">
    1. <element name="ca">
      1. <field name="value">A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems</field>
      </element>
    </element>
  12. <element name="type">
    1. <element name="none">
      1. <field name="value">info:eu-repo/semantics/doctoralThesis</field>
      2. <field name="value">info:eu-repo/semantics/publishedVersion</field>
      </element>
    </element>
  13. <element name="embargo">
    1. <element name="terms">
      1. <element name="ca">
        <field name="value">cap</field>
        </element>
      </element>
    </element>
  </element>
2. <element name="bundles">
  1. <element name="bundle">
    1. <field name="name">ORIGINAL</field>
    2. <element name="bitstreams">
      1. <element name="bitstream">
        <field name="name">tmbm.pdf</field>
        <field name="originalName">tmbm.pdf</field>
        <field name="description" />
        <field name="format">application/pdf</field>
        <field name="size">1533785</field>
        <field name="url">https://www.tdx.cat/bitstream/10803/689318/1/tmbm.pdf</field>
        <field name="checksum">fba5482de7cd10f9cfb704309b395857</field>
        <field name="checksumAlgorithm">MD5</field>
        <field name="sid">1</field>
        <field name="drm">open access</field>
        </element>
      </element>
    </element>
  2. <element name="bundle">
    1. <field name="name">CC-LICENSE</field>
    2. <element name="bitstreams">
      1. <element name="bitstream">
        <field name="name">license_rdf</field>
        <field name="originalName">license_rdf</field>
        <field name="format">application/rdf+xml; charset=utf-8</field>
        <field name="size">908</field>
        <field name="url">https://www.tdx.cat/bitstream/10803/689318/2/license_rdf</field>
        <field name="checksum">0175ea4a2d4caec4bbcc37e300941108</field>
        <field name="checksumAlgorithm">MD5</field>
        <field name="sid">2</field>
        <field name="drm">open access</field>
        </element>
      </element>
    </element>
  3. <element name="bundle">
    1. <field name="name">TEXT</field>
    2. <element name="bitstreams">
      1. <element name="bitstream">
        <field name="name">tmbm.pdf.txt</field>
        <field name="originalName">tmbm.pdf.txt</field>
        <field name="description">Extracted text</field>
        <field name="format">text/plain</field>
        <field name="size">288336</field>
        <field name="url">https://www.tdx.cat/bitstream/10803/689318/3/tmbm.pdf.txt</field>
        <field name="checksum">6a442b57d25e58248b69df22bcddcb81</field>
        <field name="checksumAlgorithm">MD5</field>
        <field name="sid">3</field>
        <field name="drm">open access</field>
        </element>
      </element>
    </element>
  4. <element name="bundle">
    1. <field name="name">MEDIA_DOCUMENT</field>
    2. <element name="bitstreams">
      1. <element name="bitstream">
        <field name="name">tmbm.pdf.xml</field>
        <field name="originalName">tmbm.pdf.xml</field>
        <field name="description">Document Consulta</field>
        <field name="format">text/xml</field>
        <field name="size">107</field>
        <field name="url">https://www.tdx.cat/bitstream/10803/689318/4/tmbm.pdf.xml</field>
        <field name="checksum">581eef85a57203c9261e9273ca0f54f7</field>
        <field name="checksumAlgorithm">MD5</field>
        <field name="sid">4</field>
        <field name="drm">open access</field>
        </element>
      </element>
    </element>
  </element>
3. <element name="others">
  1. <field name="handle">10803/689318</field>
  2. <field name="identifier">oai:www.tdx.cat:10803/689318</field>
  3. <field name="lastModifyDate">2024-03-15 11:58:05.023</field>
  4. <field name="drm">open access</field>
  </element>
4. <element name="repository">
  1. <field name="name">TDX (Tesis Doctorals en Xarxa)</field>
  2. <field name="mail">pir@csuc.cat</field>
  </element>
</metadata>