skip to main content
10.1145/3299815.3314456acmconferencesArticle/Chapter ViewAbstractPublication Pagesacm-seConference Proceedingsconference-collections
short-paper

Building a Blockchain Simulation using the Idris Programming Language

Published: 18 April 2019 Publication History

Abstract

The primary aim of this work is to create a program simulating a private distributed blockchain using the functional programming language Idris. This simulation is implemented such that a rock-paper-scissors game can be played between any two users of the blockchain via the use of smart contracts. Our motivation is to assert, using relevant features of Idris, that such an implementation possesses some of the accepted properties of blockchains. This paper first presents some differences between our implementation and most real-world blockchains. Next the Idris language and some of its features are discussed, focusing on how the language is used to implement the simulation. Finally, the advantages and disadvantages of utilizing Idris instead of an imperative programming language are examined.

References

[1]
N. Acheson. 2018. How Bitcoin Mining Works. (January 2018). https://www.coindesk.com/information/how-bitcoin-mining-works.
[2]
E. Brady. 2017. Type-driven Development with Idris. Manning Publications, Shelter Island, NY.
[3]
K. Christidis and M. Devetsikiotis. 2016. Blockchains and Smart Contracts for the Internet of Things. IEEE Access 4 (May 2016), 2292--2303.
[4]
V. Gatteschi, F. Lamberti, C. Demartini, C. Pranteda, and V. Santamaría. 2018. Blockchain and Smart Contracts for Insurance: Is the Technology Mature Enough? Future Internet 10, 2, Article 20 (February 2018), pp. 1--16.
[5]
T. Horda. 2018. A Guide to Smart Contracts and Their Implementation. (January 2018). https://rubygarage.org/blog/guide-to-smart-contracts.
[6]
A. Lewis. 2015. A Gentle Introduction to Blockchain Technology -- Bits on Blocks. https://bitsonblocks.net/2015/09/09/gentle-introduction-blockchain-technology/#more-72.
[7]
M. H. Miraz and M. Ali. 2018. Applications of Blockchain Technology beyond Cryptocurrency. arXiv:1801.03528. https://arxiv.org/abs/1801.03528.
[8]
J. Pettersson and R. Edström. 2016. Safer smart Contracts through Type-driven Development. Master's thesis. Chalmers University of Technology & University of Gothenburg, Gothenburg, Sweden.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ACMSE '19: Proceedings of the 2019 ACM Southeast Conference
April 2019
295 pages
ISBN:9781450362511
DOI:10.1145/3299815
  • Conference Chair:
  • Dan Lo,
  • Program Chair:
  • Donghyun Kim,
  • Publications Chair:
  • Eric Gamess
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 April 2019

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Blockchains
  2. Cryptographic Hash Functions
  3. Dependent Types
  4. Functional Languages
  5. Idris
  6. Smart Contracts

Qualifiers

  • Short-paper
  • Research
  • Refereed limited

Conference

ACM SE '19
Sponsor:
ACM SE '19: 2019 ACM Southeast Conference
April 18 - 20, 2019
GA, Kennesaw, USA

Acceptance Rates

Overall Acceptance Rate 502 of 1,023 submissions, 49%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 170
    Total Downloads
  • Downloads (Last 12 months)8
  • Downloads (Last 6 weeks)1
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media