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
相关论文
共 47 条
[11]   A suite of abstract domains for static analysis of string values [J].
Costantini, Giulia ;
Ferrara, Pietro ;
Cortesi, Agostino .
SOFTWARE-PRACTICE & EXPERIENCE, 2015, 45 (02) :245-287
[12]  
Cousot Patrick, 1979, P 6 ACM SIGACT SIGPL, P269, DOI DOI 10.1145/567752.567778
[13]  
Cousot Patrick., 1978, POPL 1978, DOI DOI 10.1145/512760.512770
[14]  
Cousot Patrick, 1977, P 4 ACM SIGACT SIGPL, P238, DOI DOI 10.1145/512950.512973
[15]   On Scaling Decentralized Blockchains (A Position Paper) [J].
Croman, Kyle ;
Decker, Christian ;
Eyal, Ittay ;
Gencer, Adem Efe ;
Juels, Ari ;
Kosba, Ahmed ;
Miller, Andrew ;
Saxena, Prateek ;
Shi, Elaine ;
Sirer, Emin Gun ;
Song, Dawn ;
Wattenhofer, Roger .
FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2016, 2016, 9604 :106-125
[16]  
de la Rosa J.L., 2017, P WORLD OP INN C SAN
[17]  
Dorri A., 2016, BLOCKCHAIN INTERNET
[18]  
Eyal I, 2016, 13TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI '16), P45
[19]  
Foroglou, 2015, P 12 STUD C MAN SCI
[20]   A Survey about Consensus Algorithms Used in Blockchain [J].
Giang-Truong Nguyen ;
Kim, Kyungbaek .
JOURNAL OF INFORMATION PROCESSING SYSTEMS, 2018, 14 (01) :101-128