University of Cagliari
Developing secure bitcoin contracts with BitML
Atzei N.;Bartoletti M.
;Lande S.;
2019-01-01
Abstract
We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart contracts with a computationally sound embedding into Bitcoin. Our toolchain automatically verifies relevant properties of contracts, among which liquidity, ensuring that funds do not remain frozen within a contract forever. A compiler is provided to translate BitML contracts into sets of standard Bitcoin transactions: executing a contract corresponds to appending these transactions to the blockchain. We assess our toolchain through a benchmark of representative contracts.
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| main.pdf Solo gestori archivio
Description: Articolo principale
Type: versione pre-print
Size 747.14 kB
Format Adobe PDF
|
747.14 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.