TY  - THES
AU  - Cuesta Araujo, Lucas
A3  - Rodríguez Núñez, Clara
A3  - Rubio Gimeno, Alberto
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/106790
AB  - A lo largo de este proyecto se ha desarrollado una extensión de circom, un lenguaje de dominio específico ampliamente extendido para la definición de circuitos aritméticos orientados a demostraciones de “conocimiento nulo” (protocolos criptográficos...
AB  - Throughout this project, an extension of circom has been developed. Circom is a widely used domain-specific language for defining arithmetic circuits aimed at zero-knowledge proofs (cryptographic protocols that allow the verification of a predicate’s...
LA  - eng
KW  - Circom
KW  - Circomlib
KW  - Compilador
KW  - Pruebas de conocimiento nulo
KW  - Circuitos aritméticos
KW  - Criptografía
KW  - Tags
KW  - Buses
KW  - Rust
KW  - Compiler
KW  - Zero-knowledge proofs
KW  - Arithmetic circuits
KW  - Cryptography
TI  - Extensión de CIRCOM con buses: expresividad y seguridad
T2  - Adding buses to circom: expressiveness and security
M3  - bachelor thesis
ER  -