TY  - THES
AU  - Díaz Rodríguez, Juan Carlos
A3  - Rubio Gimeno, Albert
A3  - Isabel Márquez, Miguel
PY  - 2023
UR  - https://hdl.handle.net/20.500.14352/87738
AB  - In this project, a static analysis is developed for the compiler of circom, a Domain Specific Language to design Zero-Knowledge protocols. It aims to detect assignments of variables that play no role in the generated code. Either because the variable...
AB  - En este proyecto se ha desarrollado un análisis estático para el compilador de circom, un Lenguage de Dominio Específico para el diseño de protocolos de Conocimiento Nulo. Su objetivo es detectar asignaciones de variables que no juegan ningún papel en...
LA  - eng
KW  - Compiler
KW  - Circom
KW  - static analysis
KW  - assignment
KW  - trace
KW  - Rust
KW  - code safety
KW  - code optimization.
KW  - Compilador
KW  - análisis estático
KW  - asignación
KW  - traza
KW  - seguridad del código
KW  - optimización de código
TI  - Extending the circom compiler
T2  - Extensiones sobre el compilador de circom
M3  - bachelor thesis
ER  -