000127260 001__ 127260 000127260 005__ 20230907110836.0 000127260 037__ $$aTAZ-TFG-2023-2707 000127260 041__ $$aeng 000127260 1001_ $$aGarcía Alvira, Roberto 000127260 24200 $$aZero-Knowledge Proofs 000127260 24500 $$aPruebas en conocimiento cero 000127260 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2023 000127260 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000127260 520__ $$aEl trabajo entregado analiza el protocolo de prueba en conocimiento cero Groth16. Este tipo de pruebas permiten a un probador demostrar un secreto a un verificador, sin revelar ninguna información sobre el secreto en el proceso. <br />El trabajo comienza con una introducción teórica de las herramientas necesitadas para la construcción de este algoritmo, que consisten en curvas elípticas y aplicaciones de hiding y pairing que permiten formar una estructura de operaciones entre los grupos definidos por dichas curvas. Más tarde se definen formalmente las propiedades teóricas que toda prueba de conocimiento cero debe satisfacer. A continuación, se dan instrucciones teóricas sobre como construir el protocolo completo en el caso del algoritmo Groth16, probando además que este algoritmo satisface las propiedades definidas anteriormente. Por último, se expone una sencilla implementación del protocolo en Sagemath, en la que se muestra con detalle los pasos que hay que seguir para implantar el protocolo en la práctica. <br /><br /> 000127260 521__ $$aGraduado en Matemáticas 000127260 540__ $$aDerechos regulados por licencia Creative Commons 000127260 700__ $$aMarco Buzunáriz, Miguel Ángel$$edir. 000127260 7102_ $$aUniversidad de Zaragoza$$b $$c 000127260 8560_ $$f801591@unizar.es 000127260 8564_ $$s317151$$uhttps://zaguan.unizar.es/record/127260/files/TAZ-TFG-2023-2707.pdf$$yMemoria (eng) 000127260 909CO $$ooai:zaguan.unizar.es:127260$$pdriver$$ptrabajos-fin-grado 000127260 950__ $$a 000127260 951__ $$adeposita:2023-09-07 000127260 980__ $$aTAZ$$bTFG$$cCIEN 000127260 999__ $$a20230613221751.CREATION_DATE