RT Conference Proceedings
T1 Smart, and also Reliable and Gas-Efficient, Contracts
A1 Albert Albiol, Elvira María
A1 Correas, Jesús
A1 Gordillo Alguacil, Pablo
A1 Roman-Díez, Guillermo
A1 Rubio, Albert
AB A smart contract is a software program that runs on top of a blockchain. It contains a collection of public functions that can be invoked within the transactions launched over the contract by parties interacting with it. Being computer programs, well-studied formal verification techniques can be applied to them. Indeed, smart contracts are a very interesting application domain for validation, verification and optimization techniques since (1) they are relatively small in size, hence the application of these techniques scales better than when applied to larger industrial code, (2) they are valuable (in the corresponding blockchain cryptocurrency), hence software bugs or inefficiencies can cause economical losses and there is much interest in formally proving their safety and security, and (3) they require proving new specific properties to ensure their reliability and efficiency
SN 978-1-7281-5779-5
SN 2159-4848
YR 2020
FD 2020
LK https://hdl.handle.net/20.500.14352/96530
UL https://hdl.handle.net/20.500.14352/96530
LA eng
DS Docta Complutense
RD 19 abr 2025