TY  - THES
AU  - Leal Sánchez, Fernando Isaías
A3  - Genaim, Samir
A3  - Martín Martín, Enrique
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/107915
AB  - The optimization of Ethereum Virtual Machine (EVM) bytecode presents unique challenges and opportunities due to its distinct requirements, including considerations such as execution cost and compiled binary size. Despite its potential benefits,...
AB  - La optimización del bytecode de la máquina virtual de Ethereum (EVM) presenta retos y oportunidades únicos debido a sus requisitos específicos, que incluyen consideraciones como el coste de ejecución y el tamaño del ejecutable compilado. A pesar de...
LA  - eng
KW  - Coq
KW  - Octagonal restrictions
KW  - Functional programming
KW  - Smart contracts
KW  - Ethereum
KW  - EVM
KW  - Blockchain
KW  - Restricciones octogonales
KW  - Programación funcional
KW  - Smart contracts
TI  - Verification and Certification of EVM Optimizations
T2  - Verificación y certificación de optimizaciones de EVM
M3  - bachelor thesis
ER  -