TY  - THES
AU  - García Navarro, Hermenegildo
A3  - Rubio Gimeno, Alberto
PY  - 2020
UR  - https://hdl.handle.net/20.500.14352/9079
AB  - The central element of the Circom project is the Circom programming language. This programming language is used for designing arithmetic circuits, which will be used in the field of cryptography. Circom programs, like most computer programs, are a set...
AB  - Circom, como proyecto, tiene de elemento central el lenguaje de programación Circom. Este lenguaje de programación es usado para diseñar circuitos aritméticos, que serán usados en el campo de la criptografía. Al igual que los programas escritos en...
LA  - eng
KW  - Compiler
KW  - Interpreter
KW  - Circom
KW  - Static analysis
KW  - Type analysis
KW  - Symbolic execution
KW  - Arithmetic circuits
KW  - Constraint generation
KW  - Compilador
KW  - Intérprete
KW  - Análisis estático
KW  - Análisis de tipos
KW  - Ejecución simbólica
KW  - Circuitos aritméticos
KW  - Generación de restricciones
TI  - Design and implementation of the Circom 1.0 compiler
T2  - Diseño e implementación del compilador de Circom 1.0
M3  - master thesis
ER  -