Fun with Bitcoin Smart Contracts
| Autor: | Tiziana Cimoli, Roberto Zunino, Massimo Bartoletti |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Exploit
Computer science ComputingMilieux_LEGALASPECTSOFCOMPUTING 020207 software engineering 02 engineering and technology computer.file_format Computer security computer.software_genre Digital subscriber line Currency 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Executable computer Simple (philosophy) |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783030034269 ISoLA (4) |
| DOI: | 10.1007/978-3-030-03427-6_32 |
| Popis: | Besides simple transfers of currency, Bitcoin also enables various forms of smart contracts, i.e. protocols where users interact within pre-agreed rules, which determine (possibly depending on the actual interaction) how currency is eventually distributed. This paper provides a gentle introduction to Bitcoin smart contracts, which we specify by abstracting from the underlying Bitcoin machinery. To this purpose we exploit BitML, a recent DSL for smart contracts executable on Bitcoin. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|