TY  - THES
AU  - Palacios Almendros, Pedro
A3  - Rubio Gimeno, Alberto
A3  - Rodríguez Núñez, Clara
PY  - 2023
UR  - https://hdl.handle.net/20.500.14352/101673
AB  - In this work, an algebraic method has been developed to verify the safety of Circom circuits, a domain-specific language for defining arithmetic circuits for zero-knowledge proofs. The method is based on the reduction of the Circom circuit...
AB  - En este trabajo se ha desarrollado un método algebraico para verificar la seguridad de circuitos Circom, un lenguaje de dominio específico para definir circuitos aritméticos para pruebas de conocimiento nulo. El método se basa en reducir el problema...
LA  - spa
KW  - Circom
KW  - Arithmetic circuit
KW  - Zero-knowledge proofs
KW  - Gröbner bases
KW  - Polynomial systems
KW  - Finite fields
TI  - Algebraic methods for the analysis of arithmetic circuits in zero-knowledge proofs
T2  - Métodos algebraicos para el análisis de circuitos aritméticos en pruebas de conocimiento nulo
M3  - bachelor thesis
ER  -