Skip to main content
Springer Nature Link
Log in

Systems and Methods for Implementing Deterministic Finite Automata (DFA) via a Blockchain

  • Conference paper
  • First Online:
Fourth International Congress on Information and Communication Technology

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1041))

  • 770 Accesses

Abstract

We present a novel technology for the establishment and (discretionary) automatic execution of (financial) contracts based on the realisation of the commitments of the different parties, and other clauses and provisions, as a non-deterministic finite automaton (NFA) embodied in a computational and record-keeping structure on the (Bitcoin) blockchain. In particular, the process provides methods for constructing non-deterministic finite-state automata in Bitcoin script. The “best” method produces a one-to-one relation between the definition and the state table of the automaton.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    We will refer generally to the Botnet, often without specifying, which agent actually carry out the actions described, this could be one of the lower-level bots, a bot manager (Botman) or any other appropriate entity as specified in [4].

References

  1. T. Hvitved, Contract Formalisation and Modular Implementation of Domain-Specific Languages. Faculty of Science, University of Copenhagen, Ph.D. Thesis (2012)

    Google Scholar 

  2. C. Molina-Jimenez et al., Run-time monitoring and enforcement of electronic contracts. Electron. Commer. Res. Appl. 3, 108 (2004)

    Article  Google Scholar 

  3. M.D. Flood, O.R. Goodenough, Contract as Automaton: The Computational Representation of Financial Agreements. OFR Working Paper 1504 (2015)

    Google Scholar 

  4. Botman, nCrypt: Umbrella Document, WP0238 (2016)

    Google Scholar 

The following resources provide background material relating to the technological background of the present process

  1. XBRL Homepage. https://www.xbrl.org/. Last accessed 26 Jan 2019

  2. On Bitcoin script. Bitcoin Wiki Homepage. https://en.bitcoin.it/wiki/Script. Last accessed 26 Jan 2019

  3. On BIPs. Github Homepage. https://github.com/bitcoin/bips/blob/master/bip-0065.mediawiki. Last accessed 26 Jan 2019

  4. On “salt.” Aspheute Homepage. http://www.aspheute.com/english/20040105.asp. Last accessed 26 Jan 2019

  5. On “salt.” Jasypt Homepage. http://www.jasypt.org/howtoencryptuserpasswords.html. Last accessed 26 Jan 2019

Download references

Author information

Authors and Affiliations

  1. CNAM, Paris, France

    Craig S. Wright

Authors
  1. Craig S. Wright
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Craig S. Wright .

Editor information

Editors and Affiliations

  1. School of Science and Technology, Middlesex University, London, UK

    Xin-She Yang

  2. University of Reading, Reading, UK

    Simon Sherratt

  3. Department of Information Technology, Techno India College of Technology, Kolkata, West Bengal, India

    Nilanjan Dey

  4. Global Knowledge Research Foundation, Ahmedabad, Gujarat, India

    Amit Joshi

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Wright, C.S. (2020). Systems and Methods for Implementing Deterministic Finite Automata (DFA) via a Blockchain. In: Yang, XS., Sherratt, S., Dey, N., Joshi, A. (eds) Fourth International Congress on Information and Communication Technology. Advances in Intelligent Systems and Computing, vol 1041. Springer, Singapore. https://doi.org/10.1007/978-981-15-0637-6_43

Download citation

  • DOI: https://doi.org/10.1007/978-981-15-0637-6_43

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-15-0636-9

  • Online ISBN: 978-981-15-0637-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics