TY  - THES
AU  - Hernández Cerezo, Alejandro
A3  - Albert Albiol, Elvira
A3  - Rubio Gimeno, Albert
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/9222
AB  - Smart contracts are programs deployed and executed on the blockchain for a monetary fee paid in gas and thus smart contract compilers have a clear optimization target: gas usage. Because smart contracts are a young, fast-moving _eld for which...
AB  - Los contratos inteligentes son programas que se despliegan y ejecutan en una cadena de bloques, pagando una tarifa monetaria en términos de una unidad computacional llamada gas. Por tanto, los compiladores de contratos inteligentes tienen una función...
LA  - eng
KW  - Blockchain
KW  - Super-Optimization
KW  - Verication
KW  - Dafny
KW  - Ethereum
KW  - Formal Methods
KW  - Gas
KW  - Max-SMT
KW  - Smart Contracts.
KW  - Cadena de bloques
KW  - Super-optimización
KW  - Yul
KW  - Verificación
KW  - Métodos Formales
KW  - Contratos inteligentes.
TI  - Integrating the EVM super-optimizer gasol into real-world compilers
T2  - Integración del superoptimizador de EVM gasol en compiladores de Ethereum
M3  - master thesis
ER  -