首页 > 最新文献

2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)最新文献

英文 中文
Exploiting constrained IoT devices in a trustless blockchain-based water management system 在无信任的基于区块链的水管理系统中利用受限的物联网设备
Pub Date : 2020-05-01 DOI: 10.1109/ICBC48266.2020.9169404
Miguel Pincheira, M. Vecchio, R. Giaffreda, S. Kanhere
We propose a technological framework based on the combination of the Internet of Things (IoT) and Blockchains aiming at incentivizing and rewarding more sustainable water management practices in agriculture. In this context, current IoT-based precision agriculture deployments prefer energy efficiency, which generally translates into power-and-resource-constrained sensing devices. For this reason, often, system integrators of this sector feel the need to interpose third-party hardware intermediaries (e.g., IoT gateways) between sensing devices and blockchain endpoints, so augmenting infrastructural costs and reducing the trustworthiness of the data acquired from the field. In this paper, we present a software architecture specifically designed for a trustless water management system where constrained IoT devices can directly transact sensed data on a public blockchain network. We deploy the proposed solution on off-the-shelf hardware devices and undertake a thorough benchmarking in terms of memory, program size, communication overheads and power consumption. Our results show that, in general, typical IoT devices can be used to directly interact with a blockchain, without severe burden. More specifically, these devices only incur an additional 6% of the energy consumed for their typical interactions with a gateway.
我们提出了一个基于物联网(IoT)和区块链相结合的技术框架,旨在激励和奖励农业中更可持续的水资源管理实践。在这种背景下,目前基于物联网的精准农业部署更注重能源效率,这通常转化为功率和资源受限的传感设备。出于这个原因,该行业的系统集成商通常认为有必要在传感设备和区块链端点之间插入第三方硬件中介(例如物联网网关),从而增加基础设施成本并降低从现场获取的数据的可信度。在本文中,我们提出了一种专门为无信任水管理系统设计的软件架构,在该系统中,受约束的物联网设备可以直接在公共区块链网络上处理感知数据。我们将提出的解决方案部署在现成的硬件设备上,并在内存、程序大小、通信开销和功耗方面进行全面的基准测试。我们的研究结果表明,一般来说,典型的物联网设备可以用来直接与区块链交互,而不会造成严重的负担。更具体地说,这些设备与网关的典型交互只产生额外6%的能量消耗。
{"title":"Exploiting constrained IoT devices in a trustless blockchain-based water management system","authors":"Miguel Pincheira, M. Vecchio, R. Giaffreda, S. Kanhere","doi":"10.1109/ICBC48266.2020.9169404","DOIUrl":"https://doi.org/10.1109/ICBC48266.2020.9169404","url":null,"abstract":"We propose a technological framework based on the combination of the Internet of Things (IoT) and Blockchains aiming at incentivizing and rewarding more sustainable water management practices in agriculture. In this context, current IoT-based precision agriculture deployments prefer energy efficiency, which generally translates into power-and-resource-constrained sensing devices. For this reason, often, system integrators of this sector feel the need to interpose third-party hardware intermediaries (e.g., IoT gateways) between sensing devices and blockchain endpoints, so augmenting infrastructural costs and reducing the trustworthiness of the data acquired from the field. In this paper, we present a software architecture specifically designed for a trustless water management system where constrained IoT devices can directly transact sensed data on a public blockchain network. We deploy the proposed solution on off-the-shelf hardware devices and undertake a thorough benchmarking in terms of memory, program size, communication overheads and power consumption. Our results show that, in general, typical IoT devices can be used to directly interact with a blockchain, without severe burden. More specifically, these devices only incur an additional 6% of the energy consumed for their typical interactions with a gateway.","PeriodicalId":420845,"journal":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"167 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126064368","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
From Legal Agreements to Blockchain Smart Contracts 从法律协议到区块链智能合约
Pub Date : 2020-05-01 DOI: 10.1109/ICBC48266.2020.9169434
Ravi Rahman, Kevin Liu, Lalana Kagal
Complex legal agreements enable many real-world applications, from data sharing systems to financial transactions. However, legal expenses scale with complexity because of the manual processes to draft, revise, and enforce agreements. To reduce such costs, we propose a new framework for lawyers to develop machine readable legal agreements, which are automatically verified and deployed on the Ethereum blockchain. Specifically, our framework introduces domain specific repositories to store human and machine readable legal language, a web interface and Python API to draft legal agreements, correctness checking via formal verification, and a voting system for blockchain based adjudication. Experimental evaluation found that our proposed framework offers an efficient verification system, incurs linear scaling of Ethereum blockchain gas consumption in terms of agreement size, and correctly models 81% of conditions in real-world agreements through the domain specific repositories. These results suggest a practical approach for developing verifiable and blockchain compatible legal agreements.
复杂的法律协议支持许多现实世界的应用,从数据共享系统到金融交易。然而,由于手工起草、修改和执行协议的过程,法律费用随着复杂性而增加。为了降低此类成本,我们为律师提出了一个新的框架,以开发机器可读的法律协议,这些协议将自动验证并部署在以太坊区块链上。具体来说,我们的框架引入了特定领域的存储库来存储人类和机器可读的法律语言,一个web界面和Python API来起草法律协议,通过正式验证进行正确性检查,以及一个基于区块链的裁决投票系统。实验评估发现,我们提出的框架提供了一个有效的验证系统,在协议大小方面引起以太坊区块链天然气消耗的线性扩展,并通过特定领域的存储库正确地模拟了现实世界协议中81%的条件。这些结果为开发可验证和区块链兼容的法律协议提供了一种实用的方法。
{"title":"From Legal Agreements to Blockchain Smart Contracts","authors":"Ravi Rahman, Kevin Liu, Lalana Kagal","doi":"10.1109/ICBC48266.2020.9169434","DOIUrl":"https://doi.org/10.1109/ICBC48266.2020.9169434","url":null,"abstract":"Complex legal agreements enable many real-world applications, from data sharing systems to financial transactions. However, legal expenses scale with complexity because of the manual processes to draft, revise, and enforce agreements. To reduce such costs, we propose a new framework for lawyers to develop machine readable legal agreements, which are automatically verified and deployed on the Ethereum blockchain. Specifically, our framework introduces domain specific repositories to store human and machine readable legal language, a web interface and Python API to draft legal agreements, correctness checking via formal verification, and a voting system for blockchain based adjudication. Experimental evaluation found that our proposed framework offers an efficient verification system, incurs linear scaling of Ethereum blockchain gas consumption in terms of agreement size, and correctly models 81% of conditions in real-world agreements through the domain specific repositories. These results suggest a practical approach for developing verifiable and blockchain compatible legal agreements.","PeriodicalId":420845,"journal":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122342507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Verification of customizable blockchain consensus rule using a formal method 使用形式化方法验证可定制的区块链共识规则
Pub Date : 2020-05-01 DOI: 10.1109/ICBC48266.2020.9169472
R. Kawahara
This paper proposes a formal approach for verifying a customizable consensus rule used in a blockchain protocol. Hyperledger Fabric supports an application-specific, customizable consensus rule called endorsement policy to support diverse blockchain applications. However, this makes it difficult to ensure the properties such as Byzantine fault tolerance.The proposed method has the following features: (i) A dedicated model format is defined to enable a user to concisely describe the requirements characteristic to a blockchain network. (ii) The number of states of a model is reduced by (ii-a) eliminating the behavior of the platform from the model, (ii-b) describing the state space constraints in linear arithmetic, and (ii-c) applying an SMT (satisfiability modulo theory) solver. This paper demonstrates that the method supports the modeling of a collusion by nodes governed by a same organization, which is a typical threat when participating organizations do not trust each other. Also, the verification time is measured to find that the method is scalable to approximately 100 nodes.
本文提出了一种正式的方法来验证区块链协议中使用的可自定义共识规则。Hyperledger Fabric支持一种特定于应用程序的、可定制的共识规则,称为背书策略,以支持各种区块链应用程序。然而,这使得难以确保拜占庭容错等属性。提出的方法具有以下特点:(i)定义了专用的模型格式,使用户能够简洁地描述区块链网络的需求特征。(ii)通过(ii-a)从模型中消除平台的行为,(ii-b)用线性算法描述状态空间约束,以及(ii-c)应用SMT(可满足模理论)求解器来减少模型的状态数。本文证明了该方法支持由同一组织所控制的节点之间的合谋建模,这是参与组织相互不信任时的典型威胁。此外,还测量了验证时间,以发现该方法可扩展到大约100个节点。
{"title":"Verification of customizable blockchain consensus rule using a formal method","authors":"R. Kawahara","doi":"10.1109/ICBC48266.2020.9169472","DOIUrl":"https://doi.org/10.1109/ICBC48266.2020.9169472","url":null,"abstract":"This paper proposes a formal approach for verifying a customizable consensus rule used in a blockchain protocol. Hyperledger Fabric supports an application-specific, customizable consensus rule called endorsement policy to support diverse blockchain applications. However, this makes it difficult to ensure the properties such as Byzantine fault tolerance.The proposed method has the following features: (i) A dedicated model format is defined to enable a user to concisely describe the requirements characteristic to a blockchain network. (ii) The number of states of a model is reduced by (ii-a) eliminating the behavior of the platform from the model, (ii-b) describing the state space constraints in linear arithmetic, and (ii-c) applying an SMT (satisfiability modulo theory) solver. This paper demonstrates that the method supports the modeling of a collusion by nodes governed by a same organization, which is a typical threat when participating organizations do not trust each other. Also, the verification time is measured to find that the method is scalable to approximately 100 nodes.","PeriodicalId":420845,"journal":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122480230","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Tracing Cryptocurrency Scams: Clustering Replicated Advance-Fee and Phishing Websites 追踪加密货币诈骗:集群复制高级收费和网络钓鱼网站
Pub Date : 2020-05-01 DOI: 10.1109/ICBC48266.2020.9169433
Ross C. Phillips, Heidi Wilder
Over the past few years, there has been a growth in activity, public knowledge, and awareness of cryptocurrencies and related blockchain technology. As the industry has grown, there has also been an increase in scams looking to steal unsuspecting individuals' cryptocurrency. Many of the scams operate on visually similar but seemingly unconnected websites, advertised by malicious social media accounts, which either attempt an advance-fee scam or operate as phishing websites. This paper analyses public online and blockchain-based data to provide a deeper understanding of these cryptocurrency scams. The clustering technique DBSCAN is applied to the content of scam websites to discover a typology of advance-fee and phishing scams. It is found that the same entities are running multiple instances of similar scams, revealed by their online infrastructure and blockchain activity. The entities also manufacture public blockchain activity to create the appearance that their scams are genuine. Through source and destination of funds analysis, it is observed that victims usually send funds from fiat-accepting exchanges. The entities running these scams cash-out or launder their proceeds using a variety of avenues including exchanges, gambling sites, and mixers.
在过去的几年里,人们对加密货币和相关区块链技术的活动、公众知识和意识都有所增加。随着行业的发展,寻求窃取毫无戒心的个人加密货币的骗局也有所增加。许多骗局都是在视觉上相似但看似没有联系的网站上进行的,这些网站由恶意的社交媒体账户做广告,这些账户要么试图收取预付款,要么以网络钓鱼网站的形式运作。本文分析了公共在线和基于区块链的数据,以更深入地了解这些加密货币骗局。将聚类技术DBSCAN应用于诈骗网站的内容中,发现了一种预收费和网络钓鱼诈骗的类型。研究发现,相同的实体正在运行多个类似的骗局实例,这是由它们的在线基础设施和区块链活动揭示的。这些实体还制造公共区块链活动,以制造他们的骗局是真实的假象。通过对资金来源和去向的分析,发现受害者通常从接受法币的交易所发送资金。经营这些骗局的实体使用各种渠道,包括交易所、赌博网站和混合器,将其收益变现或洗钱。
{"title":"Tracing Cryptocurrency Scams: Clustering Replicated Advance-Fee and Phishing Websites","authors":"Ross C. Phillips, Heidi Wilder","doi":"10.1109/ICBC48266.2020.9169433","DOIUrl":"https://doi.org/10.1109/ICBC48266.2020.9169433","url":null,"abstract":"Over the past few years, there has been a growth in activity, public knowledge, and awareness of cryptocurrencies and related blockchain technology. As the industry has grown, there has also been an increase in scams looking to steal unsuspecting individuals' cryptocurrency. Many of the scams operate on visually similar but seemingly unconnected websites, advertised by malicious social media accounts, which either attempt an advance-fee scam or operate as phishing websites. This paper analyses public online and blockchain-based data to provide a deeper understanding of these cryptocurrency scams. The clustering technique DBSCAN is applied to the content of scam websites to discover a typology of advance-fee and phishing scams. It is found that the same entities are running multiple instances of similar scams, revealed by their online infrastructure and blockchain activity. The entities also manufacture public blockchain activity to create the appearance that their scams are genuine. Through source and destination of funds analysis, it is observed that victims usually send funds from fiat-accepting exchanges. The entities running these scams cash-out or launder their proceeds using a variety of avenues including exchanges, gambling sites, and mixers.","PeriodicalId":420845,"journal":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"214 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123025812","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
A Time Bank System Design on the Basis of Hyperledger Fabric Framework 基于超级账本结构框架的时间银行系统设计
Pub Date : 2020-05-01 DOI: 10.1109/ICBC48266.2020.9169476
Yu-Tse Lee, Jhan-Jia Lin, Jane Yung-jen Hsu, Ja-Ling Wu
This paper designs and realizes a Blockchain-based Time Bank system on the basis of Hyperledger Fabric framework which is one of the permissioned blockchain networks. All of the services provided by existing Time Bank systems were recorded and conducted manually in the past. Also, jobs for matching these services were also managed by people. This way of running Time Bank costs lots of time and human resources and lacks security. This paper proposes a Time Bank system enabling all the services being executed and recorded on the blockchain. The matching tasks can directly be done through autonomous smart contracts. In addition, building a Time Bank system on blockchain benefits the transaction of" Time Credit" which plays the role of digital currencies on the system. Our Time Bank also retains a grading system allowing its members to give each other a grade for reflecting their degree of satisfaction about the results provided the system. This grading system can incentivize the members to provide a better quality of service and adopt a nicer attitude for receiving a service, which may positively endorse the development of a worldwide Time Bank system.
本文设计并实现了一个基于Hyperledger Fabric框架的基于区块链的时间银行系统,Hyperledger Fabric是一种许可的区块链网络。过去,现有时间银行系统提供的所有服务都是手工记录和执行的。此外,与这些服务相匹配的工作也由人来管理。这种经营时间银行的方式耗费了大量的时间和人力资源,而且缺乏安全性。本文提出了一个时间银行系统,使所有正在执行和记录在区块链上的服务。匹配任务可以通过自主智能合约直接完成。此外,在区块链上构建时间银行系统有利于“时间信用”的交易,“时间信用”在系统上起到数字货币的作用。我们的时间银行还保留了一个评分系统,允许其成员相互打分,以反映他们对系统提供的结果的满意程度。这种评分制度可以激励成员提供更好的服务质量,并采取更好的接受服务的态度,这可能会积极地支持世界范围内时间银行系统的发展。
{"title":"A Time Bank System Design on the Basis of Hyperledger Fabric Framework","authors":"Yu-Tse Lee, Jhan-Jia Lin, Jane Yung-jen Hsu, Ja-Ling Wu","doi":"10.1109/ICBC48266.2020.9169476","DOIUrl":"https://doi.org/10.1109/ICBC48266.2020.9169476","url":null,"abstract":"This paper designs and realizes a Blockchain-based Time Bank system on the basis of Hyperledger Fabric framework which is one of the permissioned blockchain networks. All of the services provided by existing Time Bank systems were recorded and conducted manually in the past. Also, jobs for matching these services were also managed by people. This way of running Time Bank costs lots of time and human resources and lacks security. This paper proposes a Time Bank system enabling all the services being executed and recorded on the blockchain. The matching tasks can directly be done through autonomous smart contracts. In addition, building a Time Bank system on blockchain benefits the transaction of\" Time Credit\" which plays the role of digital currencies on the system. Our Time Bank also retains a grading system allowing its members to give each other a grade for reflecting their degree of satisfaction about the results provided the system. This grading system can incentivize the members to provide a better quality of service and adopt a nicer attitude for receiving a service, which may positively endorse the development of a worldwide Time Bank system.","PeriodicalId":420845,"journal":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116600574","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
AGWS: Blockchain-enabled Small-scale Farm Digitization AGWS:基于区块链的小规模农场数字化
Pub Date : 2020-05-01 DOI: 10.1109/ICBC48266.2020.9169450
Nelson Bore, Andrew Kinai, Peninah Waweru, Isaac Wambugu, Juliet Mutahi, Everlyne Kemunto, R. Bryant, Komminist Weldemariam
Farm records hold the static, temporal, and longitudinal details of the farms. For small-scale farming, the ability to accurately capture these records plays a critical role in formalizing and digitizing the agriculture industry. A trusted exchange of these records could unlock critical insights to different stakeholders across the value chain. Recently, there has been increasing attention on digitizing small scale farming with the goal of increasing farm-level transparency and visibility, access to credit, etc. using these farm records. However, most solutions proposed so far have the shortcoming of providing granular and trusted small-scale farm digitization. To address these challenges, we present a system, called AG-Wallet System(AGWS), which leverages blockchain to formalize the interactions and data flow in small-scale farming ecosystem. Utilizing instrumentation of farm tractors, we demonstrate the ability to utilize farm activities to create trusted electronic field records (EFR). Using AGWS, we processed over one hundred thousand small-scale farm-level activity events for which we also performed automated farm boundary detection of several farms.
农场记录保存农场的静态、时间和纵向详细信息。对于小规模农业,准确捕获这些记录的能力在农业正规化和数字化方面发挥着关键作用。这些记录的可信交换可以为价值链上不同的利益相关者提供关键的见解。最近,人们越来越关注数字化小规模农业,目的是利用这些农场记录提高农场层面的透明度和可见性,获得信贷等。然而,目前提出的大多数解决方案都存在提供粒度和可信的小规模农场数字化的缺点。为了应对这些挑战,我们提出了一个名为ag钱包系统(AGWS)的系统,该系统利用区块链来形式化小规模农业生态系统中的交互和数据流。利用农用拖拉机的仪器,我们展示了利用农业活动来创建可信的电子现场记录(EFR)的能力。使用AGWS,我们处理了超过10万个小规模农场级活动事件,我们还对几个农场进行了自动化农场边界检测。
{"title":"AGWS: Blockchain-enabled Small-scale Farm Digitization","authors":"Nelson Bore, Andrew Kinai, Peninah Waweru, Isaac Wambugu, Juliet Mutahi, Everlyne Kemunto, R. Bryant, Komminist Weldemariam","doi":"10.1109/ICBC48266.2020.9169450","DOIUrl":"https://doi.org/10.1109/ICBC48266.2020.9169450","url":null,"abstract":"Farm records hold the static, temporal, and longitudinal details of the farms. For small-scale farming, the ability to accurately capture these records plays a critical role in formalizing and digitizing the agriculture industry. A trusted exchange of these records could unlock critical insights to different stakeholders across the value chain. Recently, there has been increasing attention on digitizing small scale farming with the goal of increasing farm-level transparency and visibility, access to credit, etc. using these farm records. However, most solutions proposed so far have the shortcoming of providing granular and trusted small-scale farm digitization. To address these challenges, we present a system, called AG-Wallet System(AGWS), which leverages blockchain to formalize the interactions and data flow in small-scale farming ecosystem. Utilizing instrumentation of farm tractors, we demonstrate the ability to utilize farm activities to create trusted electronic field records (EFR). Using AGWS, we processed over one hundred thousand small-scale farm-level activity events for which we also performed automated farm boundary detection of several farms.","PeriodicalId":420845,"journal":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126881307","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A preliminary study on using acceptance tests for representing business requirements of smart contracts 关于使用验收测试表示智能合约的业务需求的初步研究
Pub Date : 2020-05-01 DOI: 10.1109/ICBC48266.2020.9169480
Patrícia Vilain, J. Mylopoulos, H. Jacobsen
In this work, we address the following question: "Which acceptance testing techniques are being used for representing business requirements of smart contracts?" To answer this question we performed a systematic mapping to determine whether acceptance tests for smart contracts and blockchain are being utilized to represent requirements and which acceptance testing techniques are being applied. This systematic mapping shows that, in fact, acceptance testing techniques are still not commonly used to represent the business requirements of smart contracts. We only found two studies using acceptance testing techniques with smart contracts. Moreover, only one of them uses an acceptance testing technique, the BDD (Behavior-Driven Development) notation, to represent the business requirements. In order to confirm that it is possible to represent business requirements of smart contracts, we developed an example that uses the BDD notation to represent requirements of a smart contract deployed in the Hyperledger blockchain. Preliminary results show that it is possible to use acceptance tests to represent business requirements.
在这项工作中,我们解决了以下问题:“哪些验收测试技术用于表示智能合约的业务需求?”为了回答这个问题,我们执行了一个系统的映射,以确定是否正在使用智能合约和区块链的验收测试来表示需求,以及正在应用哪些验收测试技术。这种系统的映射表明,事实上,验收测试技术仍然不常用来表示智能合约的业务需求。我们只发现了两项使用智能合约验收测试技术的研究。此外,它们中只有一个使用验收测试技术,即BDD(行为驱动开发)符号来表示业务需求。为了确认是否有可能表示智能合约的业务需求,我们开发了一个示例,使用BDD符号来表示部署在超级账本区块链中的智能合约的需求。初步结果表明,可以使用验收测试来表示业务需求。
{"title":"A preliminary study on using acceptance tests for representing business requirements of smart contracts","authors":"Patrícia Vilain, J. Mylopoulos, H. Jacobsen","doi":"10.1109/ICBC48266.2020.9169480","DOIUrl":"https://doi.org/10.1109/ICBC48266.2020.9169480","url":null,"abstract":"In this work, we address the following question: \"Which acceptance testing techniques are being used for representing business requirements of smart contracts?\" To answer this question we performed a systematic mapping to determine whether acceptance tests for smart contracts and blockchain are being utilized to represent requirements and which acceptance testing techniques are being applied. This systematic mapping shows that, in fact, acceptance testing techniques are still not commonly used to represent the business requirements of smart contracts. We only found two studies using acceptance testing techniques with smart contracts. Moreover, only one of them uses an acceptance testing technique, the BDD (Behavior-Driven Development) notation, to represent the business requirements. In order to confirm that it is possible to represent business requirements of smart contracts, we developed an example that uses the BDD notation to represent requirements of a smart contract deployed in the Hyperledger blockchain. Preliminary results show that it is possible to use acceptance tests to represent business requirements.","PeriodicalId":420845,"journal":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125741959","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Hyperledger Fabric Performance Characterization and Optimization Using GoLevelDB Benchmark 使用GoLevelDB基准的超级账本结构性能表征和优化
Pub Date : 2020-05-01 DOI: 10.1109/ICBC48266.2020.9169454
T. Nakaike, Qi Zhang, Yohei Ueda, T. Inagaki, Moriyoshi Ohara
Hyperledger Fabric is an implementation that enables permissioned blockchains, which provide a general blockchain framework with identifiable participants for a variety of business applications. Although many performance issues of Hyperledger Fabric have been alleviated to some extent, its performance is still limited - e.g. 2.2k transactions per second in our experiment that executes two reads and two writes in a transaction. A major performance bottleneck is incurred by accesses to the databases that store the latest key-value pairs in the ledger data, indexes to transactions, and the update history. In this paper, we characterize the performance of database systems used in Hyperledger Fabric to identify optimization opportunities by running a Hyperledger Fabric GoLevelDB (HLF-GLDB) benchmark. We developed HLF-GLDB as a standalone benchmark to simulate database accesses in Hyperledger Fabric. Results of the performance characterization revealed that: (1) the data compression of GoLevelDB is a major performance bottleneck in Hyperledger Fabric, and disabling the compression improved the performance by 54%; (2) the size of a database affects the performance significantly. For example, when the size increased by four times, the performance degraded by 25%; (3) To reduce the database access overhead in chaincode, it is better to combine small values so that they can be represented by a single key.
Hyperledger Fabric是一种支持许可区块链的实现,它为各种业务应用程序提供了一个具有可识别参与者的通用区块链框架。虽然Hyperledger Fabric的许多性能问题已经在一定程度上得到了缓解,但它的性能仍然是有限的——例如,在我们的实验中,每秒执行2.2万个事务,在一个事务中执行两次读和两次写。主要的性能瓶颈是由于访问存储分类账数据中最新键值对的数据库、事务索引和更新历史记录。在本文中,我们描述了Hyperledger Fabric中使用的数据库系统的性能,通过运行Hyperledger Fabric GoLevelDB (HLF-GLDB)基准来识别优化机会。我们开发了HLF-GLDB作为独立基准来模拟Hyperledger Fabric中的数据库访问。性能表征结果表明:(1)GoLevelDB的数据压缩是Hyperledger Fabric的主要性能瓶颈,禁用压缩使性能提高54%;(2)数据库的大小对性能影响很大。例如,当大小增加4倍时,性能下降25%;(3)为了减少链码中的数据库访问开销,最好将小值组合在一起,这样它们就可以用一个键来表示。
{"title":"Hyperledger Fabric Performance Characterization and Optimization Using GoLevelDB Benchmark","authors":"T. Nakaike, Qi Zhang, Yohei Ueda, T. Inagaki, Moriyoshi Ohara","doi":"10.1109/ICBC48266.2020.9169454","DOIUrl":"https://doi.org/10.1109/ICBC48266.2020.9169454","url":null,"abstract":"Hyperledger Fabric is an implementation that enables permissioned blockchains, which provide a general blockchain framework with identifiable participants for a variety of business applications. Although many performance issues of Hyperledger Fabric have been alleviated to some extent, its performance is still limited - e.g. 2.2k transactions per second in our experiment that executes two reads and two writes in a transaction. A major performance bottleneck is incurred by accesses to the databases that store the latest key-value pairs in the ledger data, indexes to transactions, and the update history. In this paper, we characterize the performance of database systems used in Hyperledger Fabric to identify optimization opportunities by running a Hyperledger Fabric GoLevelDB (HLF-GLDB) benchmark. We developed HLF-GLDB as a standalone benchmark to simulate database accesses in Hyperledger Fabric. Results of the performance characterization revealed that: (1) the data compression of GoLevelDB is a major performance bottleneck in Hyperledger Fabric, and disabling the compression improved the performance by 54%; (2) the size of a database affects the performance significantly. For example, when the size increased by four times, the performance degraded by 25%; (3) To reduce the database access overhead in chaincode, it is better to combine small values so that they can be represented by a single key.","PeriodicalId":420845,"journal":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131453921","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 28
Context-based Smart Contracts For Appendable-block Blockchains 可追加区块链的基于上下文的智能合约
Pub Date : 2020-05-01 DOI: 10.1109/ICBC48266.2020.9169466
Henry C. Nunes, R. C. Lunardi, A. Zorzo, Regio A. Michelin, S. Kanhere
Currently, blockchain proposals are being adopted to solve security issues, such as data integrity, resilience, and non-repudiation. To improve certain aspects, e.g., energy consumption and latency, of traditional blockchains, different architectures, algorithms, and data management methods have been recently proposed. For example, appendable-block blockchain uses a different data structure designed to reduce latency in block and transaction insertion. It is especially applicable in domains such as Internet of Things (IoT), where both latency and energy are key concerns. However, the lack of some features available to other blockchains, such as Smart Contracts, limits the application of this model. To solve this, in this work, we propose the use of Smart Contracts in appendable-block blockchain through a new model called context-based appendable-block blockchain. This model also allows the execution of multiple smart contracts in parallel, featuring high performance in parallel computing scenarios. Furthermore, we present an implementation for the context-based appendable-block blockchain using an Ethereum Virtual Machine (EVM). Finally, we execute this implementation in four different testbed. The results demonstrated a performance improvement for parallel processing of smart contracts when using the proposed model.
目前,区块链建议被用于解决安全问题,例如数据完整性、弹性和不可否认性。为了改善传统区块链的某些方面,例如能耗和延迟,最近提出了不同的架构、算法和数据管理方法。例如,可附块区块链使用一种不同的数据结构,旨在减少块和事务插入的延迟。它特别适用于物联网(IoT)等领域,在这些领域,延迟和能量都是关键问题。然而,缺乏其他区块链可用的一些功能,例如智能合约,限制了该模型的应用。为了解决这个问题,在这项工作中,我们提出通过一种称为基于上下文的可附块区块链的新模型在可附块区块链中使用智能合约。该模型还允许并行执行多个智能合约,在并行计算场景中具有高性能。此外,我们提出了使用以太坊虚拟机(EVM)实现基于上下文的可扩展块区块链。最后,我们在四个不同的测试平台上执行这个实现。结果表明,当使用所提出的模型时,智能合约的并行处理性能有所提高。
{"title":"Context-based Smart Contracts For Appendable-block Blockchains","authors":"Henry C. Nunes, R. C. Lunardi, A. Zorzo, Regio A. Michelin, S. Kanhere","doi":"10.1109/ICBC48266.2020.9169466","DOIUrl":"https://doi.org/10.1109/ICBC48266.2020.9169466","url":null,"abstract":"Currently, blockchain proposals are being adopted to solve security issues, such as data integrity, resilience, and non-repudiation. To improve certain aspects, e.g., energy consumption and latency, of traditional blockchains, different architectures, algorithms, and data management methods have been recently proposed. For example, appendable-block blockchain uses a different data structure designed to reduce latency in block and transaction insertion. It is especially applicable in domains such as Internet of Things (IoT), where both latency and energy are key concerns. However, the lack of some features available to other blockchains, such as Smart Contracts, limits the application of this model. To solve this, in this work, we propose the use of Smart Contracts in appendable-block blockchain through a new model called context-based appendable-block blockchain. This model also allows the execution of multiple smart contracts in parallel, featuring high performance in parallel computing scenarios. Furthermore, we present an implementation for the context-based appendable-block blockchain using an Ethereum Virtual Machine (EVM). Finally, we execute this implementation in four different testbed. The results demonstrated a performance improvement for parallel processing of smart contracts when using the proposed model.","PeriodicalId":420845,"journal":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"664 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134389630","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
PLEDGE: A Proof-of-Honesty based Consensus Protocol for Blockchain-based IoT Systems PLEDGE:基于区块链的物联网系统基于诚实证明的共识协议
Pub Date : 2020-05-01 DOI: 10.1109/ICBC48266.2020.9169406
Imran Makhdoom, F. Tofigh, Ian Zhou, M. Abolhasan, J. Lipman
Exhibition of malicious behavior during blockchain consensus, threats against reputation systems, and high TX latency are significant issues for blockchain-based IoT systems. Hence, to mitigate such challenges we propose "Pledge", a unique Proof-of-Honesty based consensus protocol. Initial experimentation shows that Pledge is economical with low computations and communications complexity and low latency in transaction confirmation.
在区块链共识过程中恶意行为的表现、对声誉系统的威胁以及高TX延迟是基于区块链的物联网系统的重要问题。因此,为了缓解这些挑战,我们提出了“承诺”,这是一种独特的基于诚实证明的共识协议。初步实验表明,Pledge具有较低的计算复杂度和通信复杂度以及较低的交易确认延迟等优点。
{"title":"PLEDGE: A Proof-of-Honesty based Consensus Protocol for Blockchain-based IoT Systems","authors":"Imran Makhdoom, F. Tofigh, Ian Zhou, M. Abolhasan, J. Lipman","doi":"10.1109/ICBC48266.2020.9169406","DOIUrl":"https://doi.org/10.1109/ICBC48266.2020.9169406","url":null,"abstract":"Exhibition of malicious behavior during blockchain consensus, threats against reputation systems, and high TX latency are significant issues for blockchain-based IoT systems. Hence, to mitigate such challenges we propose \"Pledge\", a unique Proof-of-Honesty based consensus protocol. Initial experimentation shows that Pledge is economical with low computations and communications complexity and low latency in transaction confirmation.","PeriodicalId":420845,"journal":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131260117","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
期刊
2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1