云际分布记账模型、机理与关键技术展望

史佩昌; 王怀民; 傅翔

doi:10.12263/DZXB.20211007

您当前的位置：

首页 >

文章列表页 >

云际分布记账模型、机理与关键技术展望

学术论文 | 更新时间：2026-04-10

- 云际分布记账模型、机理与关键技术展望
- The Inherent Mechanism, Model and Key Technique Prospects of JointCloud Computing Distributed Ledger
- 电子学报 2024年52卷第1期页码：19-33
- 作者机构：
  
  1.国防科技大学计算机学院并行与分布处理重点实验室, 湖南长沙 410073
  2.国防科技大学计算机学院复杂系统软件工程湖南省重点实验室, 湖南长沙 410073
- 作者简介：
  
  [ "史佩昌男，1981年出生.国防科技大学计算机学院副研究员.主要研究方向为云际计算、区块链、分布式计算.中国电子学会会员编号：E190016858M.E-mail: pcmutates@163.com" ]
  [ "王怀民男，1962年出生.国防科技大学计算机学院教授、中国科学院院士.主要研究方向为分布式计算、云际计算、区块链、复杂智能软件系统.E-mail: whm_w@163.com" ]
  [ "傅翔男，1990年出生.国防科技大学计算机学院助理研究员.主要研究方向为区块链、分布式计算.E-mail: fuxiang13@nudt.edu.cn" ]
- 基金信息：
  
  国家自然科学基金(61772030);之江实验室重大科研项目(2021PE0AC01);国防科技创新项目
- DOI：10.12263/DZXB.20211007
  中图分类号： TP316.4;
- 收稿：2021-07-30，
  
  修回：2022-03-14，
  
  纸质出版：2024-01-25
- 稿件说明：
移动端阅览
史佩昌,王怀民,傅翔.云际分布记账模型、机理与关键技术展望[J].电子学报,2024,52(01):19-33.

SHI Pei-chang, WANG Huai-min, FU Xiang.The Inherent Mechanism, Model and Key Technique Prospects of JointCloud Computing Distributed Ledger[J].Acta Electronica Sinica, 2024, 52(01): 19-33.
史佩昌,王怀民,傅翔.云际分布记账模型、机理与关键技术展望[J].电子学报,2024,52(01):19-33. DOI：10.12263/DZXB.20211007

SHI Pei-chang, WANG Huai-min, FU Xiang.The Inherent Mechanism, Model and Key Technique Prospects of JointCloud Computing Distributed Ledger[J].Acta Electronica Sinica, 2024, 52(01): 19-33. DOI：10.12263/DZXB.20211007

摘要

云际计算是支持公有云、私有云、边缘云和微云等异源异质云服务以自主对等方式纵横协作共赢的新型计算模式，可为独立云服务实体间行为交互、信任构建和贡献度量等提供防篡改、可追溯能力支持，进而最大限度削弱阻碍不同利益攸关者协作的不确定性因素.提升云际协作意愿和效率需要基于何种机理进行何种机制创新，是云际计算成长演化中需要进一步阐述的新问题.本文首先以基于“数字空间证据”构建或增强信任关系为设计原则，提出了基于区块链的云际分布记账软件定义模型，并系统阐述了分布记账支撑云际服务独立性、可审计性以及释放云际协作潜能的内在机理；其次，面向云际复杂交互行为，深化并固化了云际分布记账运行逻辑流程及关键环节的设计，避免其在错综复杂要素综合作用下呈现不确定冲突和矛盾；再次，针对数据要素流通及复杂异步交互场景，细化并优化了云际分布记账合约逻辑模型；最后，论述了以分布共识、智能合约等为代表的云际分布记账核心技术及相应指标的现状，并对关键技术的目标属性体系、前瞻性挑战等进行了展望.

Abstract

JointCloud Computing is a new computing paradigm that supports heterogeneous cloud services such as public cloud

private cloud

edge cloud

and micro cloud to achieve a win-win situation with the autonomous peer

cooperation way. It provides tamper-proof

traceability support for behavior interactions

trust building

and contribution measurement between independent cloud service entities

thereby minimizing the uncertainties that hinder collaboration between different stakeholders. What principles and mechanisms need to be designed to improve the willingness and efficiency of JointCloud collaboration is a new proposition that needs to be further elaborated in the evolution of JointCloud computing. Firsthy

based on the design principle of building or enhancing trust relationship on the basis of “digital space evidence”

this paper proposes the software-defined model of JointCloud distributed ledger (JCDL) based on BlockChain and systematically expounds the inherent mechanism of distributed ledger supporting the JointCloud service independence

auditability and unleashing the potential of JointCloud cooperation. Secondly

facing the complex interaction in JointCloud

it deepens and solidifies the design of the logical process and key aspects of the JCDL operation

so as to avoid the uncertain conflicts and contradictions under the comprehensive action of complicated elements. Thirdly

the logical model of JCDL contract is refined and optimized for the scenario of data asset flow and complex asynchronous interaction. Finally

the paper discusses the core technologies and corresponding indicators of JCDL represented by distributed consensus and smart contract and looks forward to the target attribute system and forward-looking challenges of key techniques.

关键词

Keywords

references

WANG H , SHI P , ZHANG Y . JointCloud: A cross-cloud cooperation architecture for integrated internet service customization [C]// 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) . Piscataway : IEEE , 2017 : 1846 - 1855 .

史佩昌 , 王怀民 , 郑子彬 , 等 . 面向云际计算的自主对等协作环境 [J]. 中国科学: 信息科学 , 2017 , 47 ( 9 ): 20 .

SHI P , WANG H , ZHENG Z , et al . Collaboration environment for JointCloud computing [J]. Scientia Sinica (Informationis) , 2017 , 47 ( 9 ): 20 . (in Chinese)

SATOSHI N . Bitcoin: A peer-to-peer electronic cash system [EB/OL]. ( 2019-12-10 )[ 2021-07-30 ]. https://metz-dowd.com https://metz-dowd.com .

ABREU D , DUTTA P K , SMITH L . Folk theorems for repeated games: A NEU condition [J]. Econometrica , 1994 , 64 ( 4 ): 939 - 948 .

SIXT E . Ethereum [M]// Lecture Notes in Computer Science . Cham : Springer International Publishing , 2017 : 189 - 194 .

DANG H , LE T D , CHANG E C . Towards a marketplace for secure outsourced computations [M]// Lecture Notes in Computer Science . Cham : Springer International Publishing , 2019 : 790 - 808 .

JAN M , INGO M W . Blockchains for business process management—challenges and opportunities [J]. ACM Transactions on Management Information Systems , 2018 , 9 ( 1 ): 1 - 16 .

GABRIELE D , STEFANO F , MORENO M . A blockchain-based flight data recorder for cloud accountability [C]// Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems . New York : ACM , 2018 : 93 - 98 .

LEEMON B . Hashgraph Consensus: Fair, Fast, Byzantine Fault Tolerance [R]. New York : Swirlds Tech Report , 2016 : 1 - 24 .

MUSTAFA A B , ALBERTO S . Airtnt: Fair exchange payment for outsourced secure enclave computations [EB/OL]. ( 2018 )[2021]. https://arxiv.org/abs/1805.06411 https://arxiv.org/abs/1805.06411 .

JAN M , INGO W . Blockchains for business process management-challenges and opportunities [J]. ACM Transactions on Management Information Systems (TMIS) , 2018 , 9 ( 1 ): 1 - 16 .

SHI P C , WANG H M . Blockchain-based trusted data sharing among trusted stakeholders in IoT [J]. Software: Practice and Experience , 2021 , 51 ( 10 ): 2051 - 2064 .

INGO W . Untrusted business process monitoring and execution using blockchain [C]// Business Process Management: 14th International Conference . Cham : Springer International Publishing , 2016 : 329 - 347 .

VICTORIA L . Blockchain and distributed ledgers as trusted recordkeeping systems: An archival theoretic evaluation framework [C]// Future Technologies Conference . Piscataway : IEEE , 2017 : 41 - 48 .

曾富来 , 魏松杰 , 莫冰 . 基于区块链数据安全的仲裁方法 : CN109685503A [P]. 2019-04-26 .

ZENG F L , WEI S J , MO B . An arbitration method based on block chain data security : CN109685503A [P]. 2019-04-26 . (in Chinese)

RONALD C . Proofs of partial knowledge and simplified design of witness hiding protocols [C]// Annual International Cryptology Conference . Berlin : Springer , 1994 : 174 - 187 .

CHEN Y . Blockchain based smart contract for bidding system [C]// 2018 IEEE International Conference on Applied System Invention (ICASI) . Piscataway : IEEE , 2018 : 208 - 211 .

XIAO Y , ZHANG N , LI J , et al . Distributed consensus protocols and algorithms [M]// Blockchain for Distributed Systems Security . Piscataway : Wiley-IEEE , 2019 : 25 - 40 .

ATTYIA H , WELCH J . Computing Distributed: Fundamentals, Simulations, and Advanced Topics [M]. John Wiley & Sons , 2004 , 19 : 1 - 10 .

CYNTHIA D , NANCY L , LARRY S . Consensus in the presence of partial synchrony [J]. Journal of the ACM , 1988 , 35 ( 2 ): 288 - 323 .

BRACHA G . Asynchronous byzantine agreement protocols [J]. Information and Computation , 1987 , 75 ( 2 ): 130 - 143 .

VITALIK B . Ethereum: A Next-Generation Smart Contract and Decentralized Application Platform [R]. New York : Ethereum White Paper , 2014 .

ELLI A , ARTEM B , VITA B . Hyperledger fabric: A distributed operating system for permissioned blockchains [C]// Proceedings of the Thirteenth EuroSys Conference . New York : ACM , 2018 : 1 - 15 .

KIAYIAS A , RUSSELL A , DAVID B . Ouroboros: A provably secure proof-of-stake blockchain protocol [C]// Annual International Cryptology Conference . Cham : Springer International Publishing , 2017 : 357 - 388 .

XIAO Y , ZHANG N , LOU W J . A survey of distributed consensus protocols for blockchain networks [J]. IEEE Communications Surveys & Tutorials , 2020 , 22 ( 2 ): 1432 - 1465 .

CASTRO M , ISKOV B . Practical byzantine fault tolerance [C]// Proceedings of the Third Symposium on Operating Systems Design and Implementation . Piscataway : IEEE , 1999 : 173 - 186 .

BUCHMAN E . Tendermint: Byzantine Fault Tolerance in the Age of Blockchains [D]. Guelph : University of Guelph , 2016 .

GILAD Y , HEMO R . Algorand: Scaling byzantine agreements for cryptocurrencies [C]// Proceedings of the 26th Symposium on Operating Systems Principles . New York : ACM , 2017 : 51 - 68 .

PAGNIA H , GARTNER F C . On the Impossibility of Fair Exchange Without a Trusted Third Party [R]. Hawaii : Darmstadt University of Technology , 1999 .

YAO A C C . How to generate and exchange secrets [C]// 27th Annual Symposium on Foundations of Computer Science (SFCS 1986) . Piscataway : IEEE , 1986 : 162 - 167 .

DAO D , ALISTARH D , MUSAT C , et al . DataBright: Towards a global exchange for decentralized data ownership and trusted computation [EB/OL]. ( 2018 )[2021]. https://arxiv.org/abs/1802.04780.pdf https://arxiv.org/abs/1802.04780.pdf .

DZIEMBOWSKI S , ECKEY L , FAUST S . FairSwap: How to fairly exchange digital goods [C]// Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security . New York : ACM , 2018 : 967 - 984 .

ECKEY L , FAUST S , SCHLOSSER B . OptiSwap: Fast Optimistic Fair Exchange [R]. Philadelphia : Cryptology ePrint Archive , 2019 .

史佩昌 , 尹浩 , 沃天宇 , 等 . 软件定义的云际计算基础理论和方法研究进展 [J]. 中国基础科学 , 2019 , 21 ( 6 ): 54 - 60 .

SHI P C , YIN H , WO T , et al . Research progress on the basic theory and method of the software-defined Joint Cloud computing [J]. China Basic Science , 2019 , 21 ( 6 ): 54 - 60 . (in Chinese)

Corp RightScale . RightScale 2020 state of the cloud report from flexera [EB/OL]. ( 2020 )[2021]. https://info.flexera.com/SLO-CMREPORT https://info.flexera.com/SLO-CMREPORT .

HOUDA BOUZERZOUR N EL , GHAZOUANI S , et al . A survey on the service interoperability in cloud computing: Client-centric and provider-centric perspectives [J]. Software: Practice and Experience , 2020 , 50 ( 7 ): 1025 - 1060 .

PITTL B , STARFLINGER S , MACH W , et al . Bazaar-contract: A smart contract for binding multi-round bilateral negotiations on cloud markets [C]// 2019 7th International Conference on Future Internet of Things and Cloud (FiCloud) . Piscataway : IEEE , 2019 : 147 - 154 .

LAMPORT L . Fast paxos [J]. Distributed Computing , 2006 , 19 ( 2 ): 79 - 103 .

ONGARO D , OUSTERHOUT J . In search of an understandable consensus algorithm [C]// Proceedings of the 2014 USENIX Annual Technical Conference . Philadelphia : USENIX , 2014 : 305 - 319 .

KREPS J . Kafka: A distributed messaging system for log processing [C]// Proceedings of the NetDB . Piscataway : IEEE , 2011 : 1 - 7 .

SUSAN B , DAVIDSON . Optimism and consistency in partitioned distributed database systems [J]. ACM Transactions on Database Systems , 1984 , 9 ( 3 ): 456 - 481 .

MILLER A , XIA Y , CROMAN K , et al . The honey badger of BFT protocols [C]// Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security . New York : ACM , 2016 : 31 - 42 .

LI C , LI P , ZHOU D , et al . Scaling nakamoto consensus to thousands of transactions per second [EB/OL]. ( 2018 )[2021]. https://arxiv.org/abs/1805.03870.pdf https://arxiv.org/abs/1805.03870.pdf .

BUTERIN V , GRIFFITH V . Casper the friendly finality gadget [EB/OL]. ( 2017 )[2021]. https://arxiv.org/abs/1710.09437 https://arxiv.org/abs/1710.09437 .

YIN M F , MALKHI D , REITER M K , et al . HotStuff: BFT consensus with linearity and responsiveness [C]// Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing . New York : ACM , 2019 : 347 - 356 .

GUO B Y , LU Z L , TANG Q , et al . Dumbo: Faster asynchronous BFT protocols [C]// Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security . New York : ACM , 2020 : 803 - 818 .

QI J , CHEN X S , JIANG Y P , et al . Bidl: A high-throughput, low-latency permissioned blockchain framework for datacenter networks [C]// Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles . New York : ACM , 2021 : 18 - 34 .

NEIHEISER R , MATOS M , RODRIGUES L . Kauri: Scalable BFT consensus with pipelined tree-based dissemination and aggregation [C]// Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles . New York : ACM , 2021 : 35 - 48 .

WANG Q , LI R J . A weak consensus algorithm and its application to high-performance blockchain [C]// IEEE INFOCOM 2021 - IEEE Conference on Computer Communications . Piscataway : IEEE , 2021 : 1 - 10 .

DIVYA M , BIRADAR N B . IOTA-next generation block chain [J]. International Journal of Engineering and Computer Science , 2018 , 7 ( 4 ): 23823 - 23826 .

DOUCEUR J . The sybil attack [C]// International Workshop on Peer-to-Peer Systems . Berlin : Springer Berlin Heidelberg , 2002 : 251 - 260 .

LI X , JIANG P , CHEN T , et al . A survey on the security of blockchain systems [J]. Future Generation Computer Systems . 2020 , 107 : 841 - 853 .

HEILMAN E , KENDLER A , ZOHAR A , et al . Eclipse attacks on Bitcoin’s peer-to-peer network [C]// Proceedings of the 24th USENIX Conference on Security Symposium . New York : ACM , 2015 : 129 - 144 .

KAEAME G , ANDROULAKI E , CAPKUN S . Two Bitcoins at the price of one? Double-spending attacks on fast payments in Bitcoin [J]. IACR Cryptology ePrint Archive , 2012 : 248 - 265 .

FU X , WANG H , SHI P . Proof of previous transactions (PoPT): An efficient approach to consensus for JCLedger [J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems , 2019 , 51 ( 4 ): 2415 - 2424 .

FU X , WANG H , SHI P , et al . Jointgraph: A DAG-based efficient consensus algorithm for consortium blockchains [J]. Software Practice and Experience , 2021 , 51 ( 10 ): 1987 - 1999 .

FU X , WANG H , SHI P , et al . Teegraph: Trusted execution environment and directed acyclic graph-based consensus algorithm for IoT blockchains [J]. Sciece China Information Sciences , 2022 , 65 ( 3 ): 139104 .

FU X , WANG H , SHI P . A survey of blockchain consensus algorithms: Mechanism, design and applications [J]. Science China Information Sciences , 2021 , 64 ( 2 ): 1 - 15 .

SZABO N . Formalizing and securing relationships on public networks [J]. First Monday , 1997 , 2 ( 9 ): 1 - 21 .

ELAD E . NEO blockchain and smart contracts [J]. The Blockchain Developer , 2019 , 2 ( 9 ): 257 - 298 .

MOHANTY D . Corda architecture [J]. R3 Corda for Architects and Developers , 2019 , 64 ( 2 ): 49 - 60 .

KUO T T , KIM H E , OHNO-MACHADO L . Blockchain distributed ledger technologies for biomedical and health care applications [J]. Journal of the American Medical Informatics Association , 2017 , 24 ( 6 ): 1211 - 1220 .

KORPELA K , HALLIKAS J , DAHLBERG T . Digital supply chain transformation toward blockchain integration [C]// Proceedings of the 50th Hawaii International Conference on System Sciences (2017) . Hawaii : IEEE , 2017 : 1 - 5 .

MÜHLE A , GRÜNER A , GAYVORONSKAYA T , et al . A survey on essential components of a self-sovereign identity [J]. Computer Science Review , 2018 , 30 : 80 - 89 .

TSO R , LIU Z Y , HSIAO J H . Distributed e-voting and e-bidding systems based on smart contract [J]. Electronics 2019 , 8 ( 4 ): 422 .

DELMOLINO K , ARNETT M , KOSBA A , et al . Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab [C]// Financial Cryptography and Data Security . Berlin : Springer Berlin Heidelberg , 2016 : 79 - 94 .

LUU L , CHU D H , OLICKEL H , et al . Making smart contracts smarter [C]// Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security . New York : ACM , 2016 : 254 - 269 .

WATANABE H , FUJIMURA S , NAKADAIRA A , et al . Blockchain contract: Securing a blockchain applied to smart contracts [C]// 2016 IEEE International Conference on Consumer Electronics (ICCE) . Piscataway : IEEE , 2016 : 467 - 468 .

KOSBA A , MILLER A , SHI E , et al . Hawk: the blockchain model of cryptography and privacy-preserving smart contracts [C]// 2016 IEEE Symposium on Security and Privacy (SP) . Piscataway : IEEE , 2016 : 839 - 858 .

ZYSKIND G , PENTLAND A . Enigma: decentralized computation platform with guaranteed privacy [M]// New Solutions for Cybersecurity . New York : MIT Press , 2018 : 425 - 456 .

LIU J , LIU Z . A survey on security verification of blockchain smart contracts [J]. IEEE Access , 2019 , 7 : 77894 - 77904 .

朱健 , 胡凯 , 张伯钧 . 智能合约的形式化验证方法研究综述 [J]. 电子学报 , 2021 , 49 ( 4 ): 792 - 804 .

ZHU J , HU K , ZHANG B J . Review on formal verification of smart contract [J]. Acta Electonica Sinica , 2021 , 49 ( 4 ): 792 - 804 . (in Chinese)

MOLINA-JIMENEZ C , SFYRAKIS I , SOLAIMAN E , et al . Implementation of smart contracts using hybrid architectures with on and off-blockchain components [C]// International Symposium on Cloud and Service Computing (SC2) . Piscataway : IEEE , 2018 : 1 - 8 .

YU L , TSAI W T , LI G N , et al . Smart-contract execution with concurrent block building [C]// 2017 IEEE Symposium on Service-Oriented System Engineering (SOSE) . Piscataway : IEEE , 2017 : 160 - 167 .

贺海武 , 延安 , 陈泽华 . 基于区块链的智能合约技术与应用综述 [J]. 计算机研究与发展 , 2018 , 55 ( 11 ): 2452 - 2466 .

HE H W , YAN A , CHEN Z H . Survey of smart contract technology and application based on blockchain [J]. Journal of Computer Research and Development , 2018 , 55 ( 11 ): 2452 - 2466 . (in Chinese)

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

TokenVis：面向以太坊区块链ERC-20智能合约演变模式的可视分析方法

智能合约的形式化验证方法研究综述

区块链赋能数据存储安全服务研究进展