127260 20230907110836.0 TAZ-TFG-2023-2707 eng García Alvira, Roberto Zero-Knowledge Proofs Pruebas en conocimiento cero Zaragoza Universidad de Zaragoza 2023 by-nc-sa Creative Commons 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ El 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 /> Graduado en Matemáticas Derechos regulados por licencia Creative Commons Marco Buzunáriz, Miguel Ángel dir. Universidad de Zaragoza 801591@unizar.es 317151 http://zaguan.unizar.es/record/127260/files/TAZ-TFG-2023-2707.pdf Memoria (eng) oai:zaguan.unizar.es:127260 driver trabajos-fin-grado TAZ TFG CIEN 20230613221751.CREATION_DATE deposita:2023-09-07