Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
نویسندگان
چکیده
We document our experiences in teaching smart contract programming to undergraduate students at the University of Maryland, the first pedagogical attempt of its kind. Since smart contracts deal directly with the movement of valuable currency units between contratual parties, security of a contract program is of paramount importance. Our lab exposed numerous common pitfalls in designing safe and secure smart contracts. We document several typical classes of mistakes students made, suggest ways to fix/avoid them, and advocate best practices for programming smart contracts. Finally, our pedagogical efforts have also resulted in online open course materials for programming smart contracts, which may be of independent interest to the community.
منابع مشابه
A Conceptual Framework for Smart Hospital towards Industry 4.0
Background: The fourth industrial revolution consists of combining network devices with cloud computing methods and analyzing large data and artificial intelligence, which makes it possible to call such an infrastructure smart. In a Smart Hospital, all things and devices are designed to be connected and integrated, thus achieving better patient care, increasing efficiency and reducing time wast...
متن کاملIranian Students’ Attitudes towards Utilizing Smart Boards in EFL Classrooms
This study aimed at gaining insights into students’ attitudes in the learning English using the Smart Board or Interactive White Board (IWB) technology in EFL classrooms. The main goal of this paper is to evaluate students’ attitudes towards the use of Smart Board as an instructional tool on student motivation, participation, interaction and retention for learning English in Iranian schools. To...
متن کاملPolitical Impetus: Towards a Successful Agenda-Setting for Inclusive Health Policies in Low- and Middle-Income Countries; Comment on “Shaping the Health Policy Agenda: The Case of Safe Motherhood Policy in Vietnam”
Agenda-setting is a crucial step for inclusive health policies in the low- and middle-income countries (LMICs). Enlightened by Ha et al manuscript, this commentary paper argues that ‘political impetus’ is the key to the successful agenda-setting of health policies in LMICs, though other determinants may also play the role during the process. This Vietnamese case study presents a good example fo...
متن کاملZEUS: Analyzing Safety of Smart Contracts
A smart contract is hard to patch for bugs once it is deployed, irrespective of the money it holds. A recent bug caused losses worth around $50 million of cryptocurrency. We present ZEUS—a framework to verify the correctness and validate the fairness of smart contracts. We consider correctness as adherence to safe programming practices, while fairness is adherence to agreed upon higher-level bu...
متن کاملSmart Contracts for Bribing Miners
We present three smart contracts that allow a briber to fairly exchange bribes to miners who pursue a mining strategy benefiting the briber. The first contract, CensorshipCon, highlights that Ethereum’s uncle block reward policy can directly subsidise the cost of bribing miners. The second contract, HistoryRevisionCon, rewards miners via an in-band payment for reversing transactions or enforcin...
متن کامل