Registro:
| Documento: | Tesis de Grado |
| Título: | Demostrando la ejecución de un programa de alto nivel con plonky2 |
| Título alternativo: | Proving the execution of a high level language with plonky2 |
| Autor: | Weisz, Bruno |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Fecha de defensa: | 2025-12-15 |
| Fecha en portada: | 2025 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Garassino, Agustín |
| Director Asistente: | López y Rosenfeld, Matías |
| Jurado: | Palladino, Santiago Miguel; Garbervetsky, Diego David; Godoy, Javier Ignacio |
| Idioma: | Español |
| Palabras clave: | PRUEBAS DE CONOCIMIENTO CERO; ZERO KNOWLEDGE PROOFS; ZK; SNARK; PLONK; PLONKY2; NOIR; ACIR; BARRETENBERG; CRIPTOGRAFIA |
| Formato: | PDF |
| Handle: |
https://hdl.handle.net/20.500.12110/seminario_nCOM000873_Weisz |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000873_Weisz.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000873_Weisz |
| Ubicación: | COM 000873 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Weisz, Bruno. (2025). Demostrando la ejecución de un programa de alto nivel con plonky2. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000873_Weisz |
Resumen:
En este trabajo se estudia la posibilidad de demostrar la ejecución de programas de alto nivel utilizando Plonky2, un sistema de pruebas criptográficas de tipo ZK-SNARK que no requiere de un trusted setup. El trabajo se enmarca en el área de las pruebas de conocimiento cero (Zero Knowledge Proofs), presentando una introducción a las primitivas matemáticas y criptográficas necesarias para comprender estos protocolos, así como un análisis superficial de los sistemas relevantes como PLONK. Se propone y desarrolla una herramienta que traduce programas de ACIR (la representación intermedia de Noir) a Plonky2. De esta manera, se logra la construcción de pruebas verificables de ejecución en entornos con recursos limitados de almacenamiento, superando una de las principales restricciones de Barretenberg. El documento incluye la descripción formal de la traducción de primitivas y operaciones, una evaluación experimental del desempeño obtenido y un análisis comparativo en términos de tiempos de ejecución y tamaños de artefactos generados. Finalmente, se discuten los resultados alcanzados y se plantean líneas de trabajo futuro.
Abstract:
This work studies the possibility of proving the execution of high-level programs using Plonky2, a ZK-SNARK cryptographic proving system that does not require a trusted setup. The work is situated within the field of Zero-Knowledge Proofs, presenting an introduction to the mathematical and cryptographic primitives necessary to understand these protocols, as well as a high-level analysis of relevant systems such as PLONK. A tool is proposed and developed that translates ACIR programs (the intermediate representation of Noir) into Plonky2. In this way, the construction of verifiable execution proofs in environments with limited storage resources is achieved, overcoming one of the main limitations of Barretenberg. The document includes a formal description of the translation of primitives and operations, an experimental evaluation of the achieved performance, and a comparative analysis in terms of execution times and the sizes of the generated artifacts. Finally, the results obtained are discussed and directions for future work are outlined.
Citación:
---------- APA ----------
Weisz, Bruno. (2025). Demostrando la ejecución de un programa de alto nivel con plonky2. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000873_Weisz
---------- CHICAGO ----------
Weisz, Bruno. "Demostrando la ejecución de un programa de alto nivel con plonky2". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2025.https://hdl.handle.net/20.500.12110/seminario_nCOM000873_Weisz
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000873_Weisz.pdf
Distrubución geográfica
