skip to main content
10.1145/3240765.3240820guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
research-article

LeapChain: Efficient Blockchain Verification for Embedded IoT

Published:05 November 2018Publication History

ABSTRACT

Blockchain provides decentralized consensus in large, open networks without a trusted authority, making it a promising solution for the Internet of Things (IoT) to distribute verifiable data, such as firmware updates. However, verifying data integrity and consensus on a linearly growing blockchain quickly exceeds memory and processing capabilities of embedded systems. As a remedy, we propose a generic blockchain extension that enables highly constrained devices to verify the inclusion and integrity of any block within a blockchain. Instead of traversing block by block, we construct a LeapChain that reduces verification steps without weakening the integrity guarantees of the blockchain. Applied to Proof-of-Work blockchains, our scheme can be used to verify consensus by proving a certain amount of work on top of a block. Our analytical and experimental results show that, compared to existing approaches, only LeapChain provides deterministic and tight upper bounds on the memory requirements in the kilobyte range, significantly extending the possibilities of blockchain application on embedded IoT devices.

References

  1. [1].Vukolić Marko. 2016. The Quest for Scalable Blockchain Fabric: Proof-of-Work vs. BFT Replication, Cham: Springer International Publishing, 112125.Google ScholarGoogle Scholar
  2. [2].Sen Shreyas 2016. Invited: Context-aware energy-efficient communication for IoT sensor nodes. In Proceedings of the 53rd Annual Design Automation Conference (DAC '16). ACM, New York, NY, USA, Article 67, 6 pages.Google ScholarGoogle Scholar
  3. [3].Nakomoto Satoshi. 2008. Bitcoin: A peer-to-peer electronic cash system.Google ScholarGoogle Scholar
  4. [4].Christidis Konstantinos and Devetsikiotis Michael. 2016. Blockchains and Smart Contracts for the Internet of Things. IEEE Access 4, 22922303.Google ScholarGoogle ScholarCross RefCross Ref
  5. [5].Lee Boohyung and Lee Jong-Hyouk. 2017. Blockchain-based secure firmware update for embedded devices in an Internet of Things environment. The Journal of Supercomputing 73, 3, 11521167.Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. [6].Nikitin Kirill, Kokoris-Kogias Eleftherios, Jovanovic Philipp, Gailly Nicolas, Gasser Linus, Khoffi Ismail, Cappos Justin, and Ford Bryan. 2017. CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds. In 26th USENIX Security Symposium (USENIX Security 17). 12711287.Google ScholarGoogle Scholar
  7. [7].Steger Marco, Dorri Ali, Kanhere Salil S., Römer Kay, Jurdak Raja, and Karner Michael. 2018. Secure Wireless Automotive Software Updates Using Blockchains: A Proof of Concept, Cham: Springer International Publishing, 137149.Google ScholarGoogle Scholar
  8. [8].Kiayias Aggelos, Miller Andrew, and Zindros Dionysis. 2017. Non-interactive proofs of proof-of-work. In Cryptology ePrint Archive.Google ScholarGoogle Scholar
  9. [9].Garay Juan A, Kiayias Aggelos, and Leonardos Nikos. 2015. The Bitcoin Backbone Protocol: Analysis and Applications. In EUROCRYPT (2). Springer Berlin Heidelberg, 281310.Google ScholarGoogle Scholar
  10. [10].Kiayias Aggelos, Lamprou Nikolaos, and Stouka Aikaterini-panagiota. 2016. Proofs of Proofs of Work with Sublinear Complexity. In Financial Cryptography and Data Security, Christ Church, Barbados: Springer Berlin Heidelberg, 6178.Google ScholarGoogle Scholar
  11. [11].Back Adam, Corallo Matt, Dashjr Luke, Friedenbach Mark, Maxwell Gregory, Miller Andrew, Poelstra Andrew, Timón Jorge and Wuille Pieter. 2014. Enabling Blockchain Innovations with Pegged Sidechains. (22 10 2014).Google ScholarGoogle Scholar
  12. [12].Ghoshal Sanat and Paul Goutam. 2016. Exploiting Block-Chain Data Structure for Auditorless Auditing on Cloud Data. Springer International Publishing, 359371.Google ScholarGoogle Scholar

Index Terms

  1. LeapChain: Efficient Blockchain Verification for Embedded IoT
      Index terms have been assigned to the content through auto-classification.

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image Guide Proceedings
        2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
        Nov 2018
        939 pages

        Copyright © 2018

        Publisher

        IEEE Press

        Publication History

        • Published: 5 November 2018

        Permissions

        Request permissions about this article.

        Request Permissions

        Qualifiers

        • research-article