A Hierarchical and Abstraction-Based Blockchain Model

被引:16
|
作者
Sahoo, Swagatika [1 ]
Fajge, Akshay M. [1 ]
Halder, Raju [1 ]
Cortesi, Agostino [2 ]
机构
[1] Indian Inst Technol Patna, Dept Comp Sci & Engn, Patna 801106, Bihar, India
[2] Univ Ca Foscari, Dipartimento Sci Ambientali Informat & Stat, Via Torino 155, I-30170 Venice, Italy
来源
APPLIED SCIENCES-BASEL | 2019年 / 9卷 / 11期
关键词
blockchain; abstract interpretation; hierarchical model;
D O I
10.3390/app9112343
中图分类号
O6 [化学];
学科分类号
0703 ;
摘要
In the nine years since its launch, amid intense research, scalability is always a serious concern in blockchain, especially in case of large-scale network generating huge number of transaction-records. In this paper, we propose a hierarchical blockchain model characterized by: (1) each level maintains multiple local blockchain networks, (2) each local blockchain records local transactional activities, and (3) partial views (tunable w.r.t. precision) of different subsets of local blockchain-records are maintained in the blockchains at next level of the hierarchy. To meet this objective, we apply abstractions on a set of transaction-records in a regular time interval by following the Abstract Interpretation framework, which provides a tunable precision in various abstract domain and guarantees the soundness of the system. While this model suitably fits to the real-worlds organizational structures, the proposal is powerful enough to scale when large number of nodes participate in a network resulting into an enormous growth of the network-size and the number of transaction-records. We discuss experimental results on a small-scale network with three sub networks at lower-level and by abstracting the transaction-records in the abstract domain of intervals. The results are encouraging and clearly indicate the effectiveness of this approach to control exponential growth of blockchain size w.r.t. the total number of participants in the network.
引用
收藏
页数:20
相关论文
共 50 条
  • [1] Abstraction-Based Interaction Model for Synthesis
    Peleg, Hila
    Itzhaky, Shachar
    Shoham, Sharon
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 382 - 405
  • [2] Abstraction-based model checking programs
    Qian, Junyan
    Xu, Baowen
    Zhang, Yingzhou
    [J]. Journal of Computational Information Systems, 2007, 3 (02): : 675 - 682
  • [3] An Abstraction-Based Data Model for Information Retrieval
    McAllister, Richard A.
    Angryk, Rafal A.
    [J]. AI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5866 : 567 - 576
  • [4] Abstraction-based model checking using heuristical refinement
    Qian, KR
    Nymeyer, A
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 165 - 178
  • [5] Design and evaluation of a symbolic and abstraction-based model checker
    Haddad, S
    Ilié, JM
    Klai, K
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 196 - 210
  • [6] ABSTRACTION-BASED REUSE REPOSITORIES
    CAMPBELL, GH
    [J]. AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 368 - 373
  • [7] UPPAAL/DMC -: Abstraction-based heuristics for directed model checking
    Kupferschmid, Sebastian
    Draeger, Klaus
    Hoffmann, Jorg
    Finkbeiner, Bernd
    Dierks, Henning
    Podelski, Andreas
    Behrmann, Gerd
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 679 - +
  • [8] Evaluation of SMT solvers in abstraction-based software model checking
    Dobos-Kovacs, Mihaly
    Voros, Andras
    [J]. PROCEEDINGS OF 2022 11TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, LADC 2022, 2022, : 109 - 116
  • [9] Data Cleaning: An Abstraction-based Approach
    Koshley, Dileep Kumar
    Halder, Raju
    [J]. 2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2015, : 713 - 719
  • [10] ABSTRACTION-BASED SOFTWARE-DEVELOPMENT
    HAGER, J
    [J]. COMMUNICATIONS OF THE ACM, 1986, 29 (11) : 1027 - 1027