Towards Secure and Trusted-by-Design Smart Contracts
| Description | Distributed
immutable ledgers, or blockchains, allow the secure digitization of evidential
transactions without relying on a trusted third-party. Evidential transactions
involve the exchange of any form of physical evidence, such as money, birth
certi
cate, visas, tickets, etc. Most of the time, evidential transactions occur in
the context of complex procedures, called evidential protocols, among physical
agents. The blockchain provides the mechanisms to transfer evidence, while
smart contracts allow encoding evidential protocols on top of a blockchain.
Smart contracts are indeed programs executing within the blockchain in a
decentralized and replicated fashion. As a smart contract obviates the need of
trusted third-party and runs on several machines anonymously, it is a high
critical program that has to be secure and trusted-by-design. While most of the
current smart contract languages focus on easy programmability, they do not
directly address the need of guaranteeing trust and accountability of evidential
protocols encoded as smart contracts. |
| Date | 1/1/2018 |
| Links | https://hal-cea.archives-ouvertes.fr/cea-01807036 |
| DOI | |
| Author(s) |
Zaynah Dargaye, Onder Gürcan, Florent Kirchner, and Sara Tucci Piergiovanni
|