A blockchain-based decentralized booking system

2020 ◽  
Vol 35 ◽  
Author(s):  
Naipeng Dong ◽  
Guangdong Bai ◽  
Lung-Chen Huang ◽  
Edmund Kok Heng Lim ◽  
Jin Song Dong
Keyword(s):  
Process Analysis ◽  
Smart Contracts ◽  
Model Checker ◽  
Blockchain Technology ◽  
The Cost

Abstract Blockchain technology has rapidly emerged as a decentralized trusted network to replace the traditional centralized intermediator. Especially, the smart contracts that are based on blockchain allow users to define the agreed behaviour among them, the execution of which will be enforced by the smart contracts. Based on this, we propose a decentralized booking system that uses the blockchain as the intermediator between hoteliers and travellers. The system enjoys the trustworthiness of blockchain, improves efficiency and reduces the cost of the traditional booking agencies. The design of the system has been formally modelled using the CSP# language and verified using the model checker Process Analysis Toolkit. We have implemented a prototype decentralized booking system based on the Ethereum ecosystem.

scholarly journals Blockchain technology for accounting and distribution of contributions from a charitable foundation

2021 ◽  
Vol 5 (2(61)) ◽  
pp. 9-14
Author(s):  
Oksana Herasymenko ◽  
Valeriia Bachynska
Keyword(s):  
Web Application ◽  
Web Applications ◽  
Smart Contracts ◽  
Joint Work ◽  
Non Profit ◽  
Software Application ◽  
Blockchain Technology ◽  
Smart Contract ◽  
Seeking Help ◽  
The Cost

The object of research is software for financial accounting and distribution of funds in a non-profit charitable foundation using smart contracts of the Ethereum platform. The work is aimed at designing and implementing a software application for a charitable foundation, which allows to exclude the misuse of funds of a non-profit charitable foundation. The paper proposes an implementation of the Ethereum smart contract for the software of a charitable foundation. In the app, users can apply for financial aid or make a charitable donation. The request for financial support is confirmed by administrators to avoid abuse by those seeking help. Anyone who has a crypto wallet can become a sponsor by transferring funds from its account to a selected request. The sponsor remains incognito when making a charitable contribution. After collecting the entire declared amount, the funds are automatically transferred to the crypto wallet of the request’s owner. A smart contract and a corresponding decentralized web application for interacting with it were experimentally deployed, and their joint work was tested. To implement the smart contract, the Solidity programming language was chosen; developed smart contract converted to bytecode using remix. The resulting bytecode is ready to be deployed on the Ethereum platform. Decentralized web application for interacting with the contract is implemented using Web3.js, Vue.js. A rough estimate of the cost of deploying a project on the Ethereum platform has been made. The deployment and operation of smart contracts and web applications comes with a certain overhead, which is most dependent on the cost of ether. However, this is a justified price to pay for the transparency of transactions and the shadowing of the turnover of funds of the charitable foundation. The results of the research can be used as a basis for further transformation into full-fledged software with the ability to submit all reporting documents to the relevant government agencies and sponsors.

scholarly journals Tokenization of educational assets based on blockchain technologies

2021 ◽  
pp. 4-10
Author(s):  
Olexander Shmatko ◽  
Tetyana Borova ◽  
Serhii Yevseiev ◽  
Oleksandr Milov
Keyword(s):  
Third Parties ◽  
Educational Process ◽  
Smart Contracts ◽  
Blockchain Technology ◽  
Distributed Ledger ◽  
Student Identification ◽  
The Cost ◽  
High Degree

Possible scenarios for using blockchain technology in the field of education are considered. Methods and technologies of tokenization of assets, related to the educational process, are investigated. It is concluded, that the blockchain technology is decentralized and transparent with a high degree of reliability, which ensures the equality of all users of the chain's services. The transparency of the technology guarantees the participants in the process against abuse and forgery of documents. The study of the features of smart contracts made it possible to form the advantages of smart contracts in the field of education. This is, first of all, the conclusion of agreements without the participation of third parties, as well as the security and confidentiality of agreements. This ensures that the terms and subject of the agreement are kept secret, and that no one else can amend the agreement. At the same time, storing the contract in encrypted form ensures its confidentiality. A decrease in the cost of operations was noted. Tokenization of educational assets is considered on the example of preparing and defending a thesis with the subsequent registration of a diploma. The processes of passing the thesis in the context of using blockchain technology and issuing smart contracts are considered in detail. The advantages of using blockchain technology and smart contracts are illustrated with specific examples. A study of the means and mechanisms for ensuring the confirmation of the authenticity of educational documents, the confidentiality of students' personal cards, and student identification has been carried out. To create a decentralized distributed ledger for tokenization of educational assets, it is proposed to use blockchain technology and smart contracts based on the Ethereum platform

Implementasi Analisis Proses Bisnis Sebagai Upaya Pengurangan Biaya

2019 ◽  
Vol 10 (1) ◽  
pp. 1-27
Author(s):  
Aniek Wijayanti
Keyword(s):  
Business Process ◽  
Cost Reduction ◽  
Process Analysis ◽  
Value Added ◽  
Added Value ◽  
Natural Material ◽  
Management Activity ◽  
Procurement Process ◽  
Material Procurement ◽  
The Cost

Business Process Analysis can be used to eliminate or reduce a waste cost caused by non value added activities that exist in a process. This research aims at evaluating activities carried out in the natural material procurement process in the PT XYZ, calculating the effectiveness of the process cycle, finding a way to improve the process management, and calculating the cost reduction that can achieved by activity management. A case study was the approach of this research. The researcher obtained research data throughout deep interviews with the staff who directly involved in the process, observation, and documentation of natural material procurement. The result of this study show that the effectiveness of the process cycle of natural material procurement in the factory reached as much as 87,1% for the sand material and 72% for the crushed stone. This indicates that the process still carry activities with no added value and still contain ineffective costs. Through the Business Process Mechanism, these non value added activities can be managed so that the process cycle becomes more efficient and cost effectiveness is achieved. The result of the effective cycle calculation after the management activities implementation is 100%. This means that the cost of natural material procurement process has become effective. The result of calculation of the estimated cost reduction as a result of management activity is as much as Rp249.026.635,90 per year.

scholarly journals Third Party Certification of Agri-Food Supply Chain Using Smart Contracts and Blockchain Tokens

Sensors ◽  
2021 ◽  
Vol 21 (16) ◽  
pp. 5307
Author(s):  
Ricardo Borges dos Santos ◽  
Nunzio Marco Torrisi ◽  
Rodrigo Palucci Pantoni
Keyword(s):  
Supply Chain ◽  
Mobile Application ◽  
Consumer Behaviour ◽  
Economic Incentives ◽  
Third Party ◽  
Smart Contracts ◽  
Proof Of Concept ◽  
Socially Responsible ◽  
The Public ◽  
Blockchain Technology

Every consumer’s buying decision at the supermarket influences food brands to make first party claims of sustainability and socially responsible farming methods on their agro-product labels. Fine wines are often subject to counterfeit along the supply chain to the consumer. This paper presents a method for efficient unrestricted publicity to third party certification (TPC) of plant agricultural products, starting at harvest, using smart contracts and blockchain tokens. The method is capable of providing economic incentives to the actors along the supply chain. A proof-of-concept using a modified Ethereum IGR token set of smart contracts using the ERC-1155 standard NFTs was deployed on the Rinkeby test net and evaluated. The main findings include (a) allowing immediate access to TPC by the public for any desired authority by using token smart contracts. (b) Food safety can be enhanced through TPC visible to consumers through mobile application and blockchain technology, thus reducing counterfeiting and green washing. (c) The framework is structured and maintained because participants obtain economical incentives thus leveraging it´s practical usage. In summary, this implementation of TPC broadcasting through tokens can improve transparency and sustainable conscientious consumer behaviour, thus enabling a more trustworthy supply chain transparency.

scholarly journals GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

2020 ◽  
pp. 118-125 ◽  
Author(s):  
Elvira Albert ◽  
Jesús Correas ◽  
Pablo Gordillo ◽  
Guillermo Román-Díez ◽  
Albert Rubio
Keyword(s):  
Upper Bound ◽  
Cost Model ◽  
Gas Analysis ◽  
Smart Contracts ◽  
Cost Models ◽  
Automatic Optimization ◽  
Gas Consumption ◽  
The Cost ◽  
Storage Patterns ◽  
Program Line

Abstract We present the main concepts, components, and usage of Gasol, a Gas AnalysiS and Optimization tooL for Ethereum smart contracts. Gasol offers a wide variety of cost models that allow inferring the gas consumption associated to selected types of EVM instructions and/or inferring the number of times that such types of bytecode instructions are executed. Among others, we have cost models to measure only storage opcodes, to measure a selected family of gas-consumption opcodes following the Ethereum’s classification, to estimate the cost of a selected program line, etc. After choosing the desired cost model and the function of interest, Gasol returns to the user an upper bound of the cost for this function. As the gas consumption is often dominated by the instructions that access the storage, Gasol uses the gas analysis to detect under-optimized storage patterns, and includes an (optional) automatic optimization of the selected function. Our tool can be used within an Eclipse plugin for which displays the gas and instructions bounds and, when applicable, the gas-optimized function.

scholarly journals On Smart Contracts and Organisational Performance: A Review of Smart Contracts through the Blockchain Technology

2018 ◽  
Vol 11 (2) ◽  
pp. 137-156 ◽  
Author(s):  
Zaheer Allam
Keyword(s):  
Popular Culture ◽  
Resistance To Change ◽  
Business Management ◽  
Smart Contracts ◽  
Business Sector ◽  
Organisational Performance ◽  
Blockchain Technology ◽  
Management Processes ◽  
Common Notion ◽  
The Common

AbstractAs the Blockchain technology is gaining momentum in popular culture through Cryptocurrencies, its full implication and application to businesses, on a concrete and factual level, is still seen to be in its infancy stage. While the technology provides numerous advantages regarding stability, trust, speed and others, the robustness of the technology is not widely disseminated. This is further coupled by the common notion of resistance to change in business management processes. This paper explores the concept of Smart Contracts through the blockchain technology and its relevance to the business sector and further outlines the advantages and limitations of its applicability as of date.

scholarly journals Sharing communities – Community currency in the sharing economy

2020 ◽  
Author(s):  
Eszter Szemerédi ◽  
Tibor Tatay
Keyword(s):  
High Speed ◽  
Essential Element ◽  
Sharing Economy ◽  
Ease Of Use ◽  
Smart Contracts ◽  
Efficient Operation ◽  
Blockchain Technology ◽  
Community Currency ◽  
Efficient Alternative ◽  
Further Development

AbstractFor the further development and more efficient operation of the sharing economy, a fast and inexpensive peer-to-peer payment system is an essential element. The aim of this study is to outline a prototype that ensures the automation and decentralization of processes through smart contracts without blockchain technology. The model has been built based on the narrative that a community currency created through smart contracts can promote genuine practices of sharing as opposed to the profit-oriented approach that most of the currently operating sharing economy platforms have. Features of the model, such as ease of use, high-speed transactions without transaction cost are benefits that can provide a more efficient alternative to the traditional or to the cryptocurrency-based centralized sharing economy platforms.

scholarly journals Blockchain Beyond Cryptocurrency: Non-Fungible Tokens

2021 ◽  
Author(s):  
Burcu Sakız ◽  
Ayşen Hiç Gencer
Keyword(s):  
Business Models ◽  
Disruptive Innovation ◽  
Peer To Peer ◽  
Smart Contracts ◽  
Blockchain Technology ◽  
Wide Range ◽  
Peer Network ◽  
Work Mechanism ◽  
Distributed Networking ◽  
Peer To Peer Network

Blockchain technology is a disruptive innovation with the potential to replace existing business models that rely on centralized systems and third parties for trust. Even if there are a lot of application areas, blockchain used primarily for cryptocurrencies. Satoshi Nakamoto implemented the first blockchain application and invented the world’s first digital currency which is named as Bitcoin in 2008. Fundementally Bitcoin relies on cryptographic “proof of work” mechanism, digital signatures, and peer to peer distributed networking layer in order to provide a distributed ledger holding transactions. In 2014, a second generation of blockchains allow to program and execute them over distributed networks such as Ethereum project. The code to program any asset stored in blockchain’s peer-to-peer network is called as "smart contract" and smart contracts gives a powerful tool to developers for decentralized applications. There are various types of tokens that anyone can built on top of Ethereum and by combining smart contracts and new tokens, this paved the way of possibility to build a wide range of decentralized projects. One of the disruptive blockchain based innovation impacting intellectual property is called non-fungible-tokens or NFTs firstly introcuced in late 2017 on Ethereum network. This research contends that blockchain and non-fungible tokens (NFTs) which are cryptographically unique, scarce, non-replicable digital assets created through smart contracts and provably digital collectible assets. Our objective is to give NFT taxonomy, review NFT platforms and discuss technical challenges as well as recent advances in tackling the challenges. Moreover, this paper also aims to point out the future directions for NFT technology.

Sign in / Sign up

Export Citation Format

Share Document