Next Article in Journal
Two-Color Operation of a Soft X-ray FEL with Alternation of Undulator Tunes
Next Article in Special Issue
Janus: Hierarchical Multi-Blockchain-Based Access Control (HMBAC) for Multi-Authority and Multi-Domain Environments
Previous Article in Journal
A 2.4-GHz Fully-Integrated GaAs pHEMT Front-End Receiver for WLAN and Bluetooth Applications
Previous Article in Special Issue
Mobile Cyber Forensic Investigations of Web3 Wallets on Android and iOS
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Blockchain and Smart Contracts to Secure Property Transactions in Smart Cities

by
Omar Cliff Uchani Gutierrez
1 and
Guangxia Xu
2,*
1
School of Computer Science and Technology, Chongqing University of Posts and Telecommunications, Chongqing 400065, China
2
Cyberspace Institute of Advanced Technology, Guangzhou University, Guangzhou 510006, China
*
Author to whom correspondence should be addressed.
Appl. Sci. 2023, 13(1), 66; https://doi.org/10.3390/app13010066
Submission received: 20 September 2022 / Revised: 25 November 2022 / Accepted: 10 December 2022 / Published: 21 December 2022
(This article belongs to the Special Issue Blockchain in Information Security and Privacy)

Abstract

:
Cities have been growing at an impressive rate, and with the advancement of technology and digitization, new ways have been proposed to provide cities with a certain level of autonomy and intelligence so that they can self-regulate tasks that currently take a lot of time for both citizens and authorities, and which also have a negative impact on the environment. We have recently experienced one of the most abrupt changes in history as a result of the COVID-19 pandemic, where millions of people, businesses, schools, companies, governments, etc., have had to modify their ways of working, in addition to dealing with many other changes in the present moment, the most important of which is the transition to electronic transactions. This is a chance to progress toward smart city transformation and the implementation of models that assist citizens in their ordinary activities. One of the most common activities is the purchase of real estate. In this study, we propose a model to make the purchase and sale of real estate more equitable and fairer, and not just based on the amount of money. A smart home should be able to identify who its current owner is by functioning as an IoT badge, and, after the subject’s identity has been verified, it should be granted full access to all services, or else it should be blocked and/or alerted to the authorities. The use of smart contracts in a blockchain to transfer ownership of a smart home that includes, as inputs, those interested in acquiring a specific house and, as outputs, a person who chose the system based on the requirements previously established by the government of the Smart City. As a result, susceptibility to fraud or interference by a third person is reduced, and an individual’s security of living in a smart home, and therefore, in a smart city, is strengthened.

1. Introduction

We accumulate tangible and intangible items that we consider personal property throughout our lifetimes. Something noteworthy about these items is that their owners can change throughout their lifetime. According to the Merriam-Webster dictionary, a property is “the exclusive right to possess, enjoy, and dispose of a thing”. We can also determine that property is a legal relationship by which the owner is legally entitled to possess, use, and dispose of a certain thing that constitutes the object itself. Therefore, with the rise of cities, buying and selling, also known as “real estate”, has become one of the most significant markets in various countries; indeed, this market is so essential that it serves as an economic indicator for a country. As a result, the lessons learned from “the Great Recession” [1] and the impacts of “housing bubbles” [2] on the economies of some developed countries are taken seriously today. Another important factor is the growth and development of cities. Society has grown and grouped together by the affinity to build cities. Many of them are the most significant in the world because of their economy, culture, attractions, etc. The lowering of “maternal mortality” [3] and global demographic expansion in recent decades, particularly in major cities, has necessitated a more effective management of existing resources. “The world’s population continues to grow, albeit at a slower pace than at any time since 1950” [4]. With advancements in technology, many objects around us have become smart, from smartphones to smart vehicles to smart houses. This has pushed us to consider the larger picture and coin the phrase “smart world” [5,6].
The smart world is made up of smart cities, and that is the focus of this research. Several projects have contributed valuable research in order to delineate the construction of these cities, which can provide us with many advantages and minimize those that, until now, we find in our daily life [7,8], such as pollution of the environment [9], excessive waste of energy [10], waste of drinking water [11], etc. Another major issue that we face today is the lack of safety and security in terms of financial fraud [12]. Although there are other forms of security, this study focuses on the security of purchasing and selling “real estate”, since the prevalence of fraud in this sector [13] could take away all or a large portion of the money that an individual accumulates in order to achieve their goal of owning a home. For the same reason, selling or purchasing a home might be more complicated and costlier than anticipated [14]. This includes having to employ third parties, such as attorneys for the legal aspect of home buying, technicians to inspect the present status of the property, and, of course, a mortgage assessment to determine the market worth of a property. Many individuals elect to employ a corporation or “real estate broker” who is responsible for providing mediation services in real estate buying, selling, or rental transactions, as well as other legal rights and duties [15,16]. With this kind of intermediary, transaction costs and time increase, and government bureaucracy exacerbates the issue in many countries.
In an ideal world, everyone would know all there is to know about the property they are purchasing or selling, including its commercial worth and features. In addition, individuals should be able to observe the complete history of the property in question, from its construction to the current moment of purchase or sale, in real time. This is where this research gains traction; by utilizing a tool such as a blockchain, we can minimize or avoid the complications associated with the acquisition and selling of real estate. This instrument, along with “smart contracts” is an essential component of present and future cities. Our research uses two decision-making methods to achieve the sale of a smart home, with Authentication, Confidentiality, Integrity, Availability, Access Control, Encryption, Audit, as well as the non-interference of third parties in the transaction. We can refer to a “smart house” as any “home” that is connected to the Internet, monitored with security cameras, or controls the refrigerator, lighting, air conditioning, etc. However, a “smart house” should be able to identify who is and is not the owner in order to allow complete access to all of the services stated above, or, failing that, to block any access and alert the authorities in the event of an intrusion. This is the concept created in the following study, imparting intelligence to a “home” so that it may consult the blockchain and authenticate its owner. The use of blockchains in real estate provides many advantages that previously would have required large and complex computer systems, in addition to the intervention of many external control agents.
Section 2 presents related works regarding blockchains, smart contracts, and real estate. Section 3 provides a background regarding the principal elements to our work. Section 4 addresses the research approach in detail. Section 5 outlines the results of implementation. Finally, Section 5 concludes the study.

2. Related Work

Many researchers have investigated blockchain and smart contracts, as well as their numerous uses in industry, health, and education [17]. The characteristics it possesses in terms of security [18,19,20], privacy, traceability, and autonomy, without the interference of third parties, make it a crucial technology in the field of information and communication.
The research in [21] provided a study on blockchain security and privacy, providing an overview of all of the qualities of a blockchain, particularly its robustness in terms of cryptography. A study that used a zero knowledge proof algorithm to prevent false documents and duplicate contracts with the implementation in blockchain was presented in [22]. A review of the literature outlining potential future study areas in the field of blockchains and smart contract applications to secure the Internet and IoT was demonstrated in [23]. According to the findings of this survey, Ethereum is the most commonly used cryptocurrency for building security solutions. An analysis of the potential of blockchain transactions, as well as some legal implications, was outlined in [24]. A review of previous research in smart real estate and the link that exists between them, as well as a smart contract design that accommodates the fundamental functions of a contract, including the process of forming and terminating a contract, was presented in [25].
In [26], the authors concluded that smart contracts boost trust in the real estate industry, thus enhancing the transaction process. A full study that demonstrated the use of neural networks in conjunction with blockchains to carry out secure real estate transactions was presented in [27]. A proposal for and implementation of a smart contract for access to the IoT, with its respective permits and penalties, was shown in [28,29]. A decentralized methodology for controlling low-cost IoT devices was presented in [30]. A study that presented a prototype in which the sensor collected humidity data from the environment and stored it in the blockchain, in addition to a cost comparison in GAS (Element that is used to execute the smart contracts in Ethereum). The theoretical research presented in [31] proposed a model for the authorization and management of IoT devices in smart homes with Ethereum, demonstrating the GAS limits used in transactions as a disadvantage. In [32], a novel method for access control to IoTs in Ethereum, based on access tokens, was presented, providing greater flexibility to the management of the IoT in addition to the cost in GAS is in the standard ranges. This method was only theoretical and has not yet been tested in a real environment. The study in [33] concluded that there is still a long way to go in terms of the full implementation of blockchain technology in the real estate market, although many countries have already implemented pilot tests. Full implementation will depend on the trust generated by blockchains in an area as continuously changing as the real estate market. Even so, the benefits offered by this technology do not cease to amaze. The resume is showed in Table 1.

3. Background

Blockchain technology is still a relatively new concept in real estate, although the sale of real estate using blockchain technology has already been successfully tested in Ukraine. At the moment, the smart real estate sector is still building, with many IoT devices installed, so there is a large amount of data in systems and databases. Implementations can become complex and require multiple resources for the system to be successful. There may also be mistrust from stakeholders towards adopting new technologies. Improving efficiency and transparency in real estate transactions has always been an objective of governments, so there have been some interesting proposals [34]. The legal issue is another aspect that becomes a limitation in the implementation of blockchains in real estate, since it is not dependent on third parties [24]. Studies have analyzed the implementation of blockchains from the legal point of view of the European Union (EU) and the possible implications that its implementation would have for traditional intermediaries, such as the real estate agent, the notary, land registry, and others. The general business process of buying a property is shown in Figure 1, in which we can see a buyer hiring the services of a broker or a real estate company that can help find and buy the desired property. It is this process which is intended to improve with the use of blockchain.

3.1. Smart City

The term smart city tells us: the “smartness” of a city describes its ability to bring together all its resources, to effectively and seamlessly achieve goals and fulfill the purposes it has set itself [35]. Many institutions and authors have tried to find a definition, and, for this reason, they propose that the term smart city be seen from the perspectives of “technical infrastructure, the application domain, system integration and data processing” [36], or urban governance and planning.
Faced with a growing population and rapid urbanization, smart cities have become a solution to mitigate the daily problems that arise and affect the inhabitants. A smart city should have the ability to intelligently manage all of its resources, energy, water, transportation, etc. [37], as well as treating solid waste [38], identifying driving-violations [39], or controlling the electrical system [40]. It indicates that the components of a smart city are: smart infrastructure, smart buildings, smart transportation, smart energy, smart health care, smart technology, smart governance, smart education, and smart citizens. These subgroups also group within important elements for the functioning of a smart city.
We can see that, in the Figure 2 [37], another very important part of a smart city is Big Data; each component of the smart city depends on information to make decisions, i.e., sensors, IoT devices, citizens, etc. These generate a lot of information every day. All this valuable information is processed and serves as an important element for decision-making.

3.2. Blockchain Technology

A blockchain is similar to an accounting ledger, but this book is distributed and decentralized, and it can be replicated and shared by all members of the network. It continually registers transactions, agreements, contracts, and sales by its users, with the particularity that these are non-reversible transactions. The potential of this tool allows a peer-to-peer transaction to be carried out without the intervention of any intermediary.
The security of blockchain technology is based on its strong cryptography, where an attacker would have to possess 51% of the systems to surpass the hashing or (HASH) power of the target network. “To modify a past block, an attacker would have to redo the proof-of-work of the block and all blocks after it and then catch up with and surpass the work of the honest nodes” [41]. Each block has mainly data (it can store any type of data), its own HASH and the HASH of the previous block. In this way, a chain of blocks is formed, as can be seen in Figure 3.
The HASH is a value that is generated in a mathematical function that has as its input a chain of letters or numbers, and produces another alphanumeric chain of fixed length. The function of this unique HASH is to identify the block and its contents, so a change in the content of a block would also generate a change in its HASH. As each block contains the HASH of the previous block, if someone were to change the data of a single block of the blockchain, the chain would be invalid. This is one of the key advantages in terms of security.

3.3. Smart Contract

The term smart contract was coined in the 1990s by cryptographer Nick Szabo. A definition given by the International Business Machines Corporation (IBM) tells us: “Smart contracts are simply programs stored on a blockchain that run when predetermined conditions are met. They typically are used to automate the execution of an agreement so that all participants can be immediately certain of the outcome, without any intermediary’s involvement or time loss. They can also automate a workflow, triggering the next action when conditions are met”. Smart contracts can be used for any type of transaction that requires an agreement between parties, such as financial transactions and crypto currencies [42]. One of the main advantages is it provides better security and transparency for common contracts; it is also economical, since it is not necessary to pay the fees of a lawyer or third parties when it is executed, since it is written like a computer program. This smart contract has the same content as a traditional legal contract, but, being a program, it takes the input information, processes it, and gives a response, depending on the input conditions. Obviously, the possibility of a dispute is eliminated since the parties involved must accept the final result of the process in which they participated [43].
Another very important term regarding smart contracts are smart properties. A smart property is a property controlled by digital means. An example of smart property is the cryptocurrency Bitcoin; this is controlled through the blockchain, through contracts [44].

3.4. Analytic Hierarchy Process (AHP)

AHP is a means of decomposing a complicated problem into a hierarchy of simpler and more manageable sub-problems [45]. These sub-problems are usually called decision factors and are weighted according to their relative dominance to the problem. The bottom decision factors are actually the solution alternatives (Figure 4).
AHP selects the solution alternative with the largest synthesized weight. AHP performs following four main steps:
  • Decomposition;
  • Pairwise comparison;
  • Local weight calculation;
  • Weight synthesis.
Structuring a problem as a hierarchy of multiple criteria is the first step of implementing AHP. The decision factors of the problem are identified and inserted into the hierarchy. The overall objective is placed at the topmost node of the hierarchy. The subsequent nodes present the decision factors. The solution alternatives are located at the bottom nodes. The second step is the evaluation stage, where each factor is compared to all other factors within the same parent. The comparison results within each parent are presented in a square matrix. The pairwise comparisons are finished through answering the question: “Which of the two is more important?” and, second: “By how much?”. A fundamental 1 to 9 scale is used in AHP to allow the decision-maker to express the strength of preference based on his intuition, experience, and knowledge [46]. Thus, we obtain a reciprocal matrix where the entries are symmetrical with respect to the diagonal. The strategy decomposes the original problem into many smaller sub-problems and deals with the latter [47]. The notation for the AHP method is in the Table 2.
Formally, the pairwise comparisons are collected into a pairwise comparison matrix,
A = ( a i j ) n   X   n   whit   a i j > 0
According to Saaty’s theory, each entry is supposed to approximate the ratio between two weights.
a i j   𝓌 i 𝓌 j         i , j
This means that, if the entries exactly represent the ratios between weights, then matrix A can be expressed in the following from:
A = ( 𝓌 i 𝓌 j ) n   X   n
For the eigenvector, we take matrix A, for which entries are exactly obtained as ratios between weights, and multiply it by w, which obtains:
A w = 𝓌 1 / 𝓌 1 𝓌 1 / 𝓌 2 𝓌 1 / 𝓌 n 𝓌 2 / 𝓌 1 𝓌 2 / 𝓌 2 𝓌 2 / 𝓌 n 𝓌 n / 𝓌 1 𝓌 n / 𝓌 2 𝓌 n / 𝓌 n 𝓌 1 𝓌 n = n 𝓌 1 n 𝓌 n = n w
We know that a formulation of the kind Aw = nw implies that n and w are an eigenvalue and an eigenvector of A, respectively. Moreover, by knowing that the other eigenvalue of A is 0, and it has multiplicity (n−1), then we know that n is the largest eigenvalue of A. Hence, if the entries of A are ratios between weights, then the weight vector is the eigenvector of A associated with the eigenvalue n.

3.5. Technique for Order of Preference by Similarity to Ideal Solution

The Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) is a multi-criteria decision analysis method developed by Hwang Ching-Lai and Yoon Kwangsun in 1981. It is a decision method based on choosing between different alternatives that have the shortest geometric distance from the positive ideal solution and the longest geometric distance from the negative ideal solution. It should be mentioned that the positive ideal solution is the sum of all the best values for each attribute, and, conversely, the negative ideal solution is the sum of all the worst values of each attribute. Given a set of m alternatives and a set of n criteria with a set of n weights, we have a matrix ( f i j ) m   X   n . The notation for the TOPSIS method is in the Table 3.
The TOPSIS procedure is performed in six stages, as follows [48]:
  • Calculate the normalized decision matrix. The r i j is calculated as
    r i j = f i j / j = 1 m f i j 2 ,     j = 1 , , m   ;   i = 1 , , n
  • Calculate the weighted normalized decision matrix. The weighted normalized value v i j is calculated as
    v i j = w i r i j ,     j = 1 , , m ; i = 1 , , n
    where w i is the weight of the ith attribute or criterion, and
    i = 1 n w i = 1
  • Determine the ideal and negative-ideal solution.
    A * = v 1 * , , v n * = m a x j v i j i I , m i n j v i j i I
    A = v 1 , , v n = m i n j v i j i I , m a x j v i j i I
    where I   is associated with benefit criteria, and I is associated with cost criteria.
  • Calculate the separation measures, using the n-dimensional Euclidean distance. The separation of each alternative from the ideal solution is given as
    D j * = i = 1 n v i j v i * 2 ,           j = 1 , , m
    Similarly, the separation from the negative ideal solution is given as
    D j = i = 1 n v i j v i 2 ,           j = 1 , , m
  • Calculate the relative closeness to the ideal solution. The relative closeness of the alternative a j with respect to A * is defined as
    C j * = D j / D j * + D j ,     j = 1 , , m
    Rank the preference order.

4. Approach

The methodology proposes the use of two decision-making tools in the selection of buyers (citizens) which evaluates the different alternatives and helps the decision-maker (smart governance) to select the citizen who will be awarded the smart home. For this methodology, the AHP tool is used to analyze the structure of the buyer selection problem and to determine the weights of the criteria or attributes, and the TOPSIS tool is used to select buyers (citizens) and obtain the final classification of buyers. The AHP determines the weighted weights of the decision criteria based on a set of already defined criteria and the preferences of the decision-maker (smart governance) on each of these, which helps to reduce the complexity of decisions. TOPSIS chooses the alternatives (buyers) that have the shortest distance from the ideal solution and the farthest distance from the negative-ideal solution. This tool takes as the input the values obtained from the evaluation process for each criterion together with its weight.
AHP allows you to convert qualitative values into quantitative ones, compare preferences between criteria, and calculate criteria weights across preferences. While TOPSIS allows you to find the best alternative using a simple mathematical process, and also calculates the distances of a set of alternatives against an ideal and negative-ideal solution; in this way, the number of alternatives is not a problem.
A smart city should try to be fair and equitable in dealing with citizens or, at least, give them the same opportunities. We must mention that, with this work, we do not intend to question the free supply and demand that governs the world economy. We propose a model for a smart city in which a group of potential buyers (citizen) enters a selection process, and the highest bidder acquires the desired property, as shown in Figure 5.
Following the steps:
  • A buyer searches and finds the house. The buyer searches online or offline for the house he wants to buy. Here, the Smart city can intervene, offering its respective properties.
  • Buyers (citizens) join in the group, every buyer has attributes; this is the most important part because here the proposed model is focused and it is assumed that there are “n” interested in acquiring a certain property. In the current model, shown above, (Figure 1) a merely economic negotiation is made. If both parties agree, the deal is closed and the regular procedure indicated by law is followed. However, in our work, this is a model where money, age, behavior, as well as the environment, etc. are factors that influence the acquisition of real estate. A smart home should be able to decide who will be its owner, avoiding or reducing bureaucracy, corruption, abuse of power, etc.
  • The smart contract decides the winner. A smart contract will be generated without the intervention of third parties that may influence or modify the result (Figure 6). Upon fulfilling certain criteria, the ranking will determine the entry requirements for the next smart contract.
  • The citizen winner transfers cryptocurrency and the smart contract records his/her name in the blockchain (change the owner). Another smart contract should read the name of the person authorized to make the payment; it should only accept payment from that individual and reject any other. Once the transaction is finished, the data of the new owner is written into the blockchain, complying with the laws in force in the country, giving full and unrestricted access to all services to the new owner.
  • The new owner can access his/her home. The new owner requests access to the property, this home acts as an IoT, receives the request, reads the blockchain, and approves or denies access to the individual.

4.1. Immutable Registration of Buyers

The immutable registration of the buyers in a smart city will ensure the privacy of all possible buyers that want to buy a home for living in using smart contracts. The buyer registration will be conducted in the blockchain, where he/she will use the necessary documents to prove their identity, and a special key password will be stored off-chain. To maintain data privacy and anonymity on-chain, this research will use a Merkle Proof that uses an underlying cryptography hash function. The hash algorithm is going to automatically generate the hash of the buyer’s identity (BI) and the secret key password (KP), B u y e r H A S H : H a s h H a s h B I ,   H a s h K P . This useful technique has been used before by other researchers as a smart city tool. When the hash is generated, it will become part of the blockchain and can also generate a QR code (Quick Response code) for the buyer. It necessarily stores: the transaction hash, the contract address, the BI, and the PK, that will be later shown to the seller to prove his/her identity. All these process actions are processed by using smart contracts implemented in solidity (using Ethereum) through the blockchain.
The map structure tracks all the participants in the registration and validation processes. The buyer sends the registration to show their intention to buy and all of their information will be stored as an address that signs the registered transaction. The register functions are also associated with other factors, such a system that tracks if a person does not belong to the black list, the seller, and the AI of the smart city, which can all be controlled by smart governance (Algorithm 1, line 7).
Algorithm 1 Smart contract: Buyer Registration
1:   State:
2:     address_purchaseIssuer
3:     MAP (address SmartGov, bool Inserted) _SmartGov
4:     MAP (address Seller, bool inserted) _Seller
5:     MAP (address Buyer, bool inserted) _Buyer
6:     MAP (bytes BuyerHash, address Buyer)
_RegisteredRequest
7:   Function Modifiers: -WhiteList; …
8:   ……
9:   Function RegisterBuyer
10:     Input: msg.sender. buyerHash
11:      Output: -
12:    Modifiers: -
13:    Begin:
14:      _Buyer [msg.sender] ← true
15:      _RegisterRequests [buyerHash] ← msg.sender
16:    End

4.2. Determination of Weight with AHP

First, we need to identify some important actors in our model, these will be necessary to develop the main concept. The principal actors involved in the whole process are the following:
(a)
Buyer: This is the actor who is willing to acquire the real estate.
(b)
Seller: This actor is the owner of the real estate and is willing to sell it.
(c)
Smart Governance: This actor can be a group that represents the government.
As a first step, it is suggested that the Smart Governance defines a group of experts to propose the criteria to be evaluated in citizens who want to acquire real estate. These criteria are of vital importance as they will help to determine a standard for eligible buyers. Each criteria will be assigned a weight and the importance of each criteria will be ascertained from its weight.
In [49,50], the authors described the scale of citizen participation based on the work of Arnstein, Sherry (1969). The roles that a smart citizen fulfil are: Citizen Power (Leader, member, decision-maker, maker, Co-creator), Tokenism (proposer, participant, tester, player, recipient), Consumerism (resident consumer), Non-participation (patient, learner, user, product, data-point) [51]. Another study also proposed a framework called “citizen participation in smart city” inclusive of: Citizen democratic participants (Citizen’s selection, agreement on the goals of the smart city strategy, correlation between participation activities and achievement of goals), Citizens as co-creators (Direct interaction, Living lab, online platforms), and Citizens as Information Communication Technology (ICT) users (infrastructure, open data) [52]. This focused on the reputation of a smart citizen, for example, when a new user joins the community, his or her reputation is voted on by other users in the same community. The notation to elements is in Table 4.
It is in this way that Smart Governance will choose n 1 criteria for a citizen to be part of a community (smart city). We will name this set of “criteria” as   C = c 1 , , c n 1 + c n . These n criteria are the elements of a criteria matrix where they will be compared in pairs using the Saaty’s scale [53] (Table 5).
The pairwise comparison of criteria gives us a square matrix   A n x n (Equation (1)). Where a i j   represents the importance of the criterion i over the criterion j   (Equation (2)) in the matrix   a i j = 1   w h e n   i = j   a n d   a j i = 1 / a i j . Finally, we have the matrix A, (Equation (3)), and we can obtain the eigenvector W (Equation (4)). This is shown in Table 6. W is the weight vector, W = w 1 , w 2 w n   and
i = 1 n w i = 1    

4.3. Selection and Award of the New Owner

Once the weights of each criterion have been obtained by the AHP method, the TOPSIS method will be used to determine the selection of the new owner. This point we define as: B, the set of m potential buyers where each b is a buyer (citizen) B = b 1 , , b m   that has been associated with the set of criteria defined in the previous point b = c 1 , , c n , B = c 11 , , c 1 n , c 21 , , c 2 n , , c m 1 , , c m n .
For this, we must define three simple but important things: Columns (number of criteria or attributes), Rows (number of buyers), Vector (weight for each attribute). As already mentioned in the determination of the weight with AHP, the attributes are important and are evaluated by smart government; these attributes can be: age, number of members in the family, profession, economic situation, etc. With this, we will form matrix M, and the first step (Equation (6)) will be carried out; we will then obtain a new matrix r (Table 7).
Then, we apply Equation (7), where the vector of weights plays an important role. A third step is to find an ideal and negative-ideal solution, (Equations (8) and (9)) (Table 8).
The fourth step is to calculate the separation measures (Equations (10) and (11)). The fifth step is to calculate relative closeness to the ideal solution, (Equation (12)) and, finally, we obtain the rank of the order of preference. This last step gives us the chosen citizen to be awarded the smart home (Table 9).

4.4. Safe Place Administration Distributions

After registration using easy validation and identity verification, leading to the final selection, the buyer has already validated their intention to buy without any face-to-face contact with other participants. For the distribution of the real estate to the buyer, when they have already been approved to receive the property, a smart contract is generated to conduct the distribution process.
The first step in the process is the validation of the buyer’s identity before delivery. It is performed by the seller using the buyer’s registration, for example, a QR code that contains the hash of the blockchain transaction, the address of the smart contract, the hash of the personal identification number, and the hash of the password key. The smart contract that manages this process is presented (Algorithm 2). First, the validation of the buyer using the information of the QR code and the data registered in the blockchain is confirmed (lines 4–10). This is achieved in the chain by offering the two hashes (the BI hash and the PK hash) as inputs and checking the obtained root hash against the buyers’ record stored in the chain. Both the buyer and the smart governance must acknowledge the management in the chain (lines 11–22) by signing the associated blockchain transaction. When both firms have been registered, the property lot size is reduced and the association between the Buyer Hash (BI) and the property lot is registered (lines 19–20). Any buyer who has received their place to live can record their feedback and prioritize buyers who were unable to purchase the home. By directly registering the priority on the chain, the information is difficult to change and censor. The buyer will sign a blockchain transaction that is authenticated and authorized (line 6), verified with the managed house from the specified place (line 7), and correlated with reports from the other buyers. As a result, the registered priority is stored in a string as a transaction (line 8).
Algorithm 2 Smart contract: Safe living place distribution
1:State:
2:  MAP (bytes Place_LID, MAP (bytes hashBI, MAP (string role, address Participant))) _administrationESignatures
3:  MAP (bytes hashPI, bytes location_LID) _administratedLocation
4:   Function checkIdentity//check participant identity
5:    Input: hashBI, hashPasswordK, hashLevelStatus
6:    Output: validationStatus
7:    Begin:
8:    hashBuyer ← keccak256 (concat (hashBI, hashPasswordK,
              hashLevelStatus))
9:      validationStatus ← _registerRequest (hashBuyer)
10:    End
11:  Function signDistributionPlace
12:   Input: msg.sender, PlaceId, hashBI
13:   Begin:
14:    IF msg.sender is SmartGov THEN
_administrationElecSign[PlaceId][hashBI][SMARTGOV] =
msg.sender
15:    ELSE IF msg.sender is Buyer THEN
_administrationElecSign[PlaceId][hashBI][BUYER] =
msg.sender
16:    END IF
17:     IF_dministrationElecSign[PlaceId][hashBI] [SMARTGOV] exists
                 &&
_administrationElecSign[PlaceId][hashBI] [BUYER] exists
THEN
18:_administrationElecSign[hashBI] = PlaceId
19:_LocationNumber[PlaceId].size =_PlaceNumber[PlaceId].size-1
20:    END IF
21:   End
Most importantly, the permissions of the blockchain should be controlled by the public authority. In this way, it can be ensured that real estate transactions meet the minimum legal standards. The consensus should be administered by the government (smart government) where the public authority, regulators, laws, etc., can validate any change in the blockchain. All transactions should only be authorized when they meet the legal requirements of the country. The revision of the contract, control of the price of the property, etc., are attributions of the governments. Access to the registry for the purchase of real estate and the entire process described in this work must be through the official and legal services offered by the government. Some proposals to improve security in the blockchain and its encryption [54,55], together with consensus mechanisms [56,57], can also be applied.

5. Results

This section provides technical discussions and their limitations, Ethereum transaction prices, as well as future perspectives for the research topic. The Remix platform is a browser-based compiler, in which smart contracts can be built with Solidity language. The graphs and plots were also designed using the functions in MATLAB R2019b. The simulation environment is in the Table 10.
A major problem encountered when proposing a model is the economic cost that the model entails. Despite the great social impact it may have and the service it may offer to governments, companies, citizens, etc., the economic aspect is a major concern. There is economic viability when the two most important factors (attributes and buyers) vary according to the requirements of the smart city. The tests that were carried out considered two important factors. One of them was the attributes that would become the columns and the buyers identified as rows. Both in an array that could be evaluated by the method.
Figure 7 shows that if the number of buyers remains constant (buyer = 5 or buyer = 10) and the number of attributes starts to arithmetically grow, then the GAS consumption linearly grows. If we take the first and final values, we can see the increase in terms of GAS is 499.4% (buyer = 5) and 374.5% (buyer = 10). Calculating the ratio of both lines, we obtain the ratio of the first (5 attributes), a:b = 0.795, and the last ratio (50 attributes), a:b = 0.596.
On the other hand, Figure 8 shows that if the number of attributes remains constant (attribute = 5 or attribute = 10) and the number of buyers begins to arithmetically grow, then the GAS consumption linearly grows. If we take the first and last value, we can note that the increase in terms of GAS is 499.1% (attribute = 5) and 328.8% (attribute = 10). Calculating the ratio of the first (5 buyers), we obtain a:b = 0.764, while the last ratio (50 buyers) is a:b = 0.559.
Figure 9 presents the cost in terms of GAS for each attribute when the number of buyers is constant; the behavior is exponential. Comparing the first and last elements, when buyer = 5, the decrease in GAS cost per buyer is 49.9%, and when buyer = 10, the decrease is 37.4%. Calculating the ratio of the first (5 attributes), we obtain a:b = 0.794, while the last ratio (50 attributes) is a:b = 0.595.
Figure 10 presents the cost in terms of GAS for each buyer when the number of attributes is constant; the behavior is exponential. Comparing the first and last elements, when attribute = 5, the decrease in GAS cost per attribute is 44.9%, and when attribute = 10, the decrease is 32.8%. Calculating the ratio of the first (5 buyer), we obtain a:b = 0.764, while the last ratio (50 attribute) is a:b = 0.559.
It is clear that an increase in attributes or buyers increases the cost of executing the smart contract. However, at the same time, the individual cost is significantly reduced, as can be seen in Figure 9 and Figure 10. This would benefit the smart government, where costs would be reduced, offering opportunities to a greater number of people.

6. Conclusions

The post-COVID-19 world has undergone considerable changes. Education, health, work, as well as product purchases have had to suddenly change. Living in a smart city, with the countless advantages it offers, has to be within everyone’s reach. Achieving an egalitarian and equitable system poses many challenges. In this study, a model was offered as an alternative form of fair selection based on criteria, where these criteria determine the award of real estate, with considerations beyond just money. Thus, the concept of a smart citizen should not mean living in a smart city, but also contributing to it and the community. In addition, common problems such as bureaucracy, fraud, and corruption are minimized with the use of blockchains and its traceability capabilities. Another great advantage is the smart contract. Firstly, because it minimizes the intervention of third parties that may interfere in the acquisition of real estate, and, secondly, because it offers a safe alternative against fraud and scams, as it executes an inviolable contract and gives unrestricted access to a smart home. This is very important because the same smart home would act as an IoT device, and the smart contract would perform an immutable digital transfer. Another great advantage is that the blockchain would store all the data of the smart citizen, and, in this way, the smart government can plan the demographic sustainability of its population.
Regarding the data obtained, it is clear that an increase in attributes or buyers increases the cost of executing the smart contract. However, at the same time, the individual cost is significantly reduced, as can be seen in Figure 8 and Figure 9. This would benefit the smart government, since costs would be reduced, providing opportunities to a greater number of people. The cost in GAS is justified if we consider that trust in an election system by citizens is very important in the management of a government. Gas fees are paid in Ethereum’s native currency, ether (ETH). Gas prices are denoted in gwei (Giga wei), which itself is a denomination of ETH—each gwei is equal to 0.000000001 ETH (10−9 ETH). The current fluctuation of the price of the Ethereum currency in the cryptocurrency market can be a limitation when establishing costs in a foreign currency. In addition, only the cost of the main process is considered, leaving aside some other costs that are not relevant to the investigation because they are minimal and remain constant, such as the price of registering a possible buyer. The government of the smart city could be the one who pays for this cost.
One of the limitations of this model is access to a smart home that can be studied and considered in a subsequent work. Furthermore, the consensus and choice of criteria are not covered in this work, since the difference in the laws, culture, and life in different countries makes it difficult to standardize the selection criteria. The authorities could make the selection of criteria and their different weights for the population more inclusive. For example, the blockchain aimed at people with physical disabilities in a smart city [58]; this group of people could also be part of the selection criteria. The weights that are assigned to each criterion are also the absolute responsibility of the authorities of each country. For blockchain and smart contracts to be effective, there must be participation from all parties involved. Both smart governance and smart citizens must work together for the development of the smart city, a development that goes hand in hand with education, health, culture, the environment, and security.

Author Contributions

Validation, G.X.; Investigation, O.C.U.G.; Writing—original draft, O.C.U.G. All authors have read and agreed to the published version of the manuscript.

Funding

This work is supported by the National Natural Science Foundation of China (Grant Nos. 62272120, 62106030); the Technology Innovation and Application Development Projects of Chongqing (Grant Nos. cstc2021jscx-gksbX0032, cstc2021jscx-gksbX0029); the Research Program of Basic Research and Frontier Technology of Chongqing (Grant No. cstc2021jcyj-msxmX0530); the Key R&D plan of Hainan Province (Grant No. ZDYF2021GXJS006).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

The following abbreviations are used in this work:
IoTInternet of Things
GASUnit that measures the amount of computational effort required to execute specific operations on the Ethereum network
EUEuropean Union
HASHA fixed-length fingerprint of variable-size input, produced by a hash function.
IBMInternational Business Machines Corporation
AHPAnalytic Hierarchy Process
TOPSISTechnique for Order of Preference by Similarity to Ideal Solution
KPKey password
BIBuyer identity
QRQuick Response code
ICTInformation Communication Technology
ETHEthereum’s native currency, ether
weiThe smallest denomination of ether. 1018 wei = 1 ether

References

  1. Laposa, S.; Mueller, A. The Great Recession and real estate cycles—Challenges, opportunities, and lessons learned. J. Prop. Invest. Financ. 2017, 35, 321–340. [Google Scholar] [CrossRef]
  2. Kholodilin, K.A.; Michelsen, C.; Ulbricht, D. Speculative price bubbles in urban housing markets. Empir. Econ. 2018, 55, 1957–1983. [Google Scholar] [CrossRef]
  3. World Health Organization. Trends in Maternal Mortality 2000 to 2017: Estimates by WHO, UNICEF, UNFPA, World Bank Group and the United Nations Population Division. 2019. Available online: https://apps.who.int/iris/handle/10665/327595 (accessed on 15 May 2022).
  4. United Nations. World Population Prospects 2019: Highlights. Department of Economic and Social Affairs, Population Division: 2019. ST/ESA/SER.A/423. Available online: https://population.un.org/wpp/Publications/Files/WPP2019_Highlights.pdf (accessed on 15 May 2022).
  5. Son, L.H.; Jha, S.; Kumar, R.; Chatterjee, J.M.; Khari, M. Collaborative handshaking approaches between internet of computing and internet of things towards a smart world: A review from 2009–2017. Telecommun. Syst. 2019, 70, 617–634. [Google Scholar] [CrossRef]
  6. Shit, R.C.; Sharma, S.; Puthal, D.; James, P.; Pradhan, B.; Moorsel, A.V.; Zomaya, A.Y.; Ranjan, R. Ubiquitous Localization (UbiLoc): A Survey and Taxonomy on Device Free Localization for Smart World. IEEE Commun. Surv. Tutor. 2019, 21, 3532–3564. [Google Scholar] [CrossRef]
  7. Musa, S. Smart Cities-A Road Map for Development. IEEE Potentials 2018, 37, 19–23. [Google Scholar] [CrossRef]
  8. Alsamhi, S.H.; Ma, O.; Ansari, M.S.; Almalki, F.A. Survey on Collaborative Smart Drones and Internet of Things for Improving Smartness of Smart Cities. IEEE Access 2019, 7, 128125–128152. [Google Scholar] [CrossRef]
  9. UNEP. UNEP DTU Partnership Emissions Gap Report 2020; United Nations Environment Programme: Nairobi, Kenya, 2020; Available online: https://www.unep.org/emissions-gap-report-2020 (accessed on 15 May 2022).
  10. UNEP. Waste-to-Energy: Considerations for Informed Decision-Making; United Nations Environment Programme: Nairobi, Kenya, 2019; Available online: https://www.unep.org/ietc/resources/publication/waste-energy-considerations-informed-decision-making (accessed on 15 May 2022).
  11. Andersson, K.; Rosemarin, A.; Lamizana, B.; Kvarnström, E.; McConville, J.; Seidu, R.; Dickin, S.; Trimmer, C. Sanitaion, Wastewater Management and Sustainability: From Waste Disposal to Resource Recovery, 2nd ed; United Nations Environment Programme and Stockholm Environment Institute: Nairobi, Kenya, 2020; Available online: https://www.unep.org/resources/report/2nd-edition-sanitation-wastewater-management-and-sustainability (accessed on 20 June 2022).
  12. Reurink, A. Financial Fraud: A Literature Review. J. Econ. Surv. 2018, 32, 1292–1325. [Google Scholar] [CrossRef] [Green Version]
  13. Koven, J.; Felix, C.; Siadati, H.; Jakobsson, M.; Bertini, E. Lessons Learned Developing a Visual Analytics Solution for Investigative Analysis of Scamming Activities. IEEE Trans. Vis. Comput. Graph. 2019, 25, 225–234. [Google Scholar] [CrossRef] [PubMed]
  14. Shepard, J. Digital Transactions in Real Estate Marketing. J. World Econ. Res. 2020, 9, 120–124. [Google Scholar] [CrossRef]
  15. Ferreira, F.A.F.; Spahr, R.W.; Sunderman, M.A.; Mark, A. A learning-oriented decision-making process for real estate brokerage service evaluation. Serv. Bus. 2017, 11, 453–474. [Google Scholar] [CrossRef]
  16. Nadel, M.S. Obstacles to Price Competition in the Residential Real Estate Brokerage Market. Berkeley Bus. Law J. 2020, 18, 1292–1325. Available online: https://ssrn.com/abstract=3571088 (accessed on 20 June 2022).
  17. Kumar, R.L.; Khan, F.; Kadry, S.; Rho, S. A Survey on blockchain for industrial Internet of Things. Alex. Eng. J. 2022, 61, 6001–6022. [Google Scholar] [CrossRef]
  18. Rana, P.; Batra, I.; Malik, A.; Imoize, A.L.; Kim, Y.G.; Kumar, S.; Goyal, N.; Kumar, A.; Rho, S. Intrusion Detection Systems in Cloud Computing Paradigm: Analysis and Overview. Complexity 2022, 2022, 3999039. [Google Scholar] [CrossRef]
  19. Ramasamy, L.K.; Khan, F.; Imoize, A.L.; Ogbebor, J.O.; Kadry, S.; Rho, S. Blockchain-Based Wireless Sensor Networks for Malicious Node Detection: A Survey. IEEE Access 2021, 9, 128765–128785. [Google Scholar] [CrossRef]
  20. Rehman, E.; Haseeb-ud-Din, M.; Malik, A.J.; Khan, T.K.; Abbasi, A.A.; Kadry, S.; Khan, M.A.; Rho, S. Intrusion detection based on machine learning in the internet of things, attacks and counter measures. J. Supercomput. 2022, 78, 8890–8924. [Google Scholar] [CrossRef]
  21. Zhang, R.; Xue, R.; Liu, L. Security and Privacy on Blockchain. ACM Comput. Surv. 2019, 52, 1–34. [Google Scholar] [CrossRef] [Green Version]
  22. Jeong, S.; Ahn, B. Implementation of real estate contract system using zero knowledge proof algorithm based blockchain. J. Supercomput. 2021, 77, 11881–11893. [Google Scholar] [CrossRef]
  23. Auqib, H.; Roohie, N. Applicability of Blockchain smart contracts in securing Internet and IoT: A systematic literature review. Comput. Sci. Rev. 2021, 39, 100360. [Google Scholar] [CrossRef]
  24. Garcia-Teruel, R.M. Legal challenges and opportunities of blockchain technology in the real estate sector. J. Prop. Plan. Environ. Law 2020, 12, 129–145. [Google Scholar] [CrossRef]
  25. Ullah, F.; Al-Turjman, F. A conceptual framework for blockchain smart contract adoption to manage real estate deals in smart cities. Neural Comput. Appl. 2021. [Google Scholar] [CrossRef]
  26. Karamitsos, I.; Papadaki, M.; Barghuthi, N. Design of the Blockchain Smart Contract: A Use Case for Real Estate. J. Inf. Secur. 2018, 9, 177–190. [Google Scholar] [CrossRef]
  27. Huh, J.-H.; Kim, S.-K. Verification Plan Using Neural Algorithm Blockchain Smart Contract for Secure P2P Real Estate Transactions. Electronics 2020, 9, 1052. [Google Scholar] [CrossRef]
  28. Zhang, Y.; Kasahara, S.; Shen, Y.; Jiang, X.; Wan, J. Smart Contract-Based Access Control for the Internet of Things. IEEE Internet Things J. 2019, 6, 1594–1605. [Google Scholar] [CrossRef] [Green Version]
  29. Liu, H.; Han, D.; Li, D. Fabric-iot: A Blockchain-Based Access Control System in IoT. IEEE Access 2020, 8, 18207–18218. [Google Scholar] [CrossRef]
  30. Kurt Peker, Y.; Rodriguez, X.; Ericsson, J.; Lee, S.J.; Perez, A.J. A Cost Analysis of Internet of Things Sensor Data Storage on Blockchain via Smart Contracts. Electronics 2020, 9, 244. [Google Scholar] [CrossRef] [Green Version]
  31. Tapas, N.; Longo, F.; Merlino, G.; Puliafito, A. Experimenting with smart contracts for access control and delegation in IoT. Future Gener. Comput. Syst. 2020, 111, 324–338. [Google Scholar] [CrossRef]
  32. Nakamura, Y.; Zhang, Y.; Sasabe, M.; Kasahara, S. Exploiting Smart Contracts for Capability-Based Access Control in the Internet of Things. Sensors 2020, 20, 1793. [Google Scholar] [CrossRef] [Green Version]
  33. Veuger, J. Trust in a viable real estate economy with disruption and blockchain. Facilities 2018, 36, 103–120. [Google Scholar] [CrossRef]
  34. Wouda, H.P.; Opdenakker, R. Blockchain technology in commercial real estate transactions. J. Prop. Invest. Financ. 2019, 37, 570–579. [Google Scholar] [CrossRef] [Green Version]
  35. International Standards Organization (ISO). Smart cities Preliminary Report 2014. 2014. Available online: http://www.iso.org/iso/smart_cities_report-jtc1.pdf (accessed on 20 June 2022).
  36. Yin, C.; Xiong, Z.; Chen, H.; Wang, J.; Cooper, D.; David, B. A literature survey on smart cities. Sci. China Inf. Sci 2015, 58, 1–18. [Google Scholar] [CrossRef]
  37. Mohanty, S.P.; Choppali, U.; Kougianos, E. Everything you wanted to know about smart cities: The Internet of things is the backbone. IEEE Consum. Electron. Mag. 2016, 5, 60–70. [Google Scholar] [CrossRef]
  38. Gopikumar, S.; Raja, S.; Robinson, Y.H.; Vimal, S.; Chang, H.; Rho, S. A method of landfill leachate management using internet of things for sustainable smart city development. Sustain. Cities Soc. 2021, 66, 102521. [Google Scholar] [CrossRef]
  39. Rathore, M.M.; Anand, P.; Rho, S.; Murad, K.; Vimal, S.; Syed, S. Smart traffic control: Identifying driving-violations using fog devices with vehicular cameras in smart cities. Sustain. Cities Soc. 2021, 71, 102986. [Google Scholar] [CrossRef]
  40. Moon, J.; Park, S.; Rho, S.; Hwang, E. Interpretable Short-Term Electrical Load Forecasting Scheme Using Cubist. Comput. Intell. Neurosci. 2022, 2022, 6892995. [Google Scholar] [CrossRef] [PubMed]
  41. Nakamoto, S. Bitcoin: A Peer-to-Peer Electronic Cash System. Available online: https://bitcoin.org/bitcoin.pdf (accessed on 10 September 2022).
  42. Bocek, T.; Stiller, B. Smart Contracts—Blockchains in the Wings. In Digital Marketplaces Unleashed; Springer: Berlin/Heidelberg, Germany, 2018; pp. 169–184. [Google Scholar] [CrossRef]
  43. Christidis, K.; Devetsikiotis, M. Blockchains and Smart Contracts for the Internet of Things. IEEE Access 2016, 4, 2292–2303. [Google Scholar] [CrossRef]
  44. Kõlvart, M.; Poola, M.; Rull, A. Smart Contracts. In The Future of Law and Etechnologies; Springer: Cham, Switzerland, 2016; pp. 133–147. [Google Scholar] [CrossRef]
  45. Huang, E.; Zhang, S.; Lee, L.H.; Chew, E.P.; Chen, C. Improving Analytic Hierarchy Process Expert Allocation Using Optimal Computing Budget Allocation. IEEE Trans. Syst. Man Cybern. Syst. 2016, 46, 1140–1147. [Google Scholar] [CrossRef]
  46. Saaty, T.; Vargas, L. Models, Methods, Concepts & Applications of the Analytic Hierarchy Process, 2nd ed.; Springer: New York, NY, USA, 2001; pp. 1–21. [Google Scholar] [CrossRef]
  47. Brunelli, M. Introduction to the Analytic Hierarchy Process, 1st ed.; Springer: Cham, Switzerland, 2015; pp. 17–44. [Google Scholar] [CrossRef] [Green Version]
  48. Opricovic, S.; Tzeng, G.H. Compromise solution by MCDM methods: A comparative analysis of VIKOR and TOPSIS. Eur. J. Oper. Res. 2004, 156, 445–455. [Google Scholar] [CrossRef]
  49. Cardullo, P.; Kitchin, R. Being a ‘citizen’ in the smart city: Up and down the scaffold of smart citizen participation in Dublin, Ireland. GeoJournal 2019, 84, 1–13. [Google Scholar] [CrossRef]
  50. Willems, J.; Van den Bergh, J.; Viaene, S. Smart City Projects and Citizen Participation: The Case of London. In Public Sector Management in a Globalized World; Springer Gabler: Wiesbaden, Germany, 2017; pp. 249–266. [Google Scholar] [CrossRef]
  51. Simonofski, A.; Asensio, E.S.; De Smedt, J.; Snoeck, M. Citizen Participation in Smart Cities: Evaluation Framework Proposal. In Proceedings of the 2017 IEEE 19th Conference on Business Informatics (CBI), Thessaloniki, Greece, 24–27 July 2017; pp. 227–236. [Google Scholar] [CrossRef]
  52. Pouryazdan, M.; Kantarci, B. The Smart Citizen Factor in Trustworthy Smart City Crowdsensing. IT Prof. 2016, 18, 26–33. [Google Scholar] [CrossRef]
  53. Saaty, T. Decision making with the Analytic Hierarchy Process. Int. J. Serv. Sci. 2008, 1, 83–98. [Google Scholar] [CrossRef] [Green Version]
  54. Xu, G.; Zhang, J.; Uchani, G.O.C.; Ma, C. An efficient blockchain-based privacy-preserving scheme with attribute and homomorphic encryption. Int. J. Intell. Syst. 2022, 1–36. [Google Scholar] [CrossRef]
  55. Xu, G.; Dong, J.; Ma, C.; Liu, J.; Uchani, G.O.C. A Certificateless Signcryption Mechanism Based on Blockchain for Edge Computing. IEEE Internet Things J. 2022. [Google Scholar] [CrossRef]
  56. Liu, Y.; Xu, G. Fixed degree of decentralization DPoS consensus mechanism in blockchain based on adjacency vote and the average fuzziness of vague value. Comput. Netw. 2021, 199, 108432. [Google Scholar] [CrossRef]
  57. Xu, G.; Liu, Y.; Khan, P.W. Improvement of the DPoS Consensus Mechanism in Blockchain Based on Vague Sets. IEEE Trans. Ind. Inform. 2020, 16, 4252–4259. [Google Scholar] [CrossRef]
  58. Morena, M.; Truppi, T.; Pavesi, A.S.; Cia, G.; Giannelli, J.; Tavoni, M. Blockchain and real estate: Dopo di Noi project. Prop. Manag. 2020, 38, 273–295. [Google Scholar] [CrossRef]
Figure 1. Business process for buying a property.
Figure 1. Business process for buying a property.
Applsci 13 00066 g001
Figure 2. Abroad overview of smart city components.
Figure 2. Abroad overview of smart city components.
Applsci 13 00066 g002
Figure 3. Blockchain elements.
Figure 3. Blockchain elements.
Applsci 13 00066 g003
Figure 4. Analytic Hierarchy Process model.
Figure 4. Analytic Hierarchy Process model.
Applsci 13 00066 g004
Figure 5. General model proposed.
Figure 5. General model proposed.
Applsci 13 00066 g005
Figure 6. Model to select a buyer in a smart city.
Figure 6. Model to select a buyer in a smart city.
Applsci 13 00066 g006
Figure 7. GAS cost with buyer = 5 and buyer = 10.
Figure 7. GAS cost with buyer = 5 and buyer = 10.
Applsci 13 00066 g007
Figure 8. GAS cost with attribute = 5 and attribute = 10.
Figure 8. GAS cost with attribute = 5 and attribute = 10.
Applsci 13 00066 g008
Figure 9. GAS cost for each attribute, with buyer = 5 and buyer = 10.
Figure 9. GAS cost for each attribute, with buyer = 5 and buyer = 10.
Applsci 13 00066 g009
Figure 10. GAS cost for each buyer, with attribute = 5 and attribute = 10.
Figure 10. GAS cost for each buyer, with attribute = 5 and attribute = 10.
Applsci 13 00066 g010
Table 1. Comparative analysis related works.
Table 1. Comparative analysis related works.
ReferenceYearBlockchainSmart ContractReal EstateSale Equitable and FairImplementation
[17,21,23,28,29,30,31]2022
2021yesyesnonoyes
2020
2019
[22,24,25,26,27,33]2021
2020yesyesyesnoyes
2018
[18,19,20]2022nonononoyes
2021
[32]2020yesyesnonono
Table 2. Notation for the AHP method.
Table 2. Notation for the AHP method.
NumberNotationsDescription
1AMatrix
2 a i j Element of matrix (column i, row j)
3nSize of matrix (in this case a square matrix)
4 𝓌 weight
5weigenvector
Table 3. Notation for the TOPSIS method.
Table 3. Notation for the TOPSIS method.
NumberNotationsDescription
1mNumber of alternative
2nNumber of criteria
3 f i j Element of matrix (column i, row j)
4 r i j Element of normalized decision matrix
5 w i Weight of the ith attribute or criterion
6 v i j Element of weight normalized decision matrix
7 A * = v 1 * , , v n * Set ideal solution
8 A = v 1 , , v n Set negative ideal solution
9 I Benefit criteria
10 I Cost criteria
11 D j * Separation from the ideal solution
12 D j Separation from the negative ideal solution
13 C j * Relative closeness to the ideal solution
Table 4. Notation to elements.
Table 4. Notation to elements.
NotationsDefinition
CSet of criteria
cn−1Criteria of Smart Governance
cnCriteria of priority
WWeight vector
wWeight for each criteria c
Table 5. Saaty’s scale.
Table 5. Saaty’s scale.
Intensity of ImportanceDefinitionExplanation
1Equal importanceTwo activities contribute equally to the objective
2Weak or slight
3Moderate importanceExperience and judgement slightly favor one activity over another
4Moderate plus
5Strong importanceExperience and judgement strongly favor one activity over another
6Strong plus
7Very strong or demonstrated importanceAn activity is favored very strongly over another; its dominance demonstrated in practice
8Very, very strong
9Extreme importanceThe evidence favoring one activity over another is of the highest possible order of affirmation
Reciprocals of aboveIf activity i has one of the above non-zero numbers assigned to it when compared with activity j, then j has the reciprocal value when compared with i
1.1–1.9If the activities are very closeMay be difficult to assign the best value but when compared with other contrasting activities the size of the small numbers would not be too noticeable, yet they can still indicate the relative importance of the activities.
Table 6. Example of matrix with five criteria, n = 5.
Table 6. Example of matrix with five criteria, n = 5.
CriteriaC1C2C3C4C5NormalizedSumEigenvector
C111/11/21/31/30.10000.11110.07140.04880.15380.48520.0970
C2111/21/21/30.10000.11110.07140.07320.15380.50960.1019
C32211/11/40.20000.22220.14290.14630.11540.82680.1654
C432111/40.30000.22220.14290.14630.11540.92680.1854
C5334410.30000.33330.57140.58540.46152.25170.4503
Table 7. Matrix with five criteria (attributes) and five buyers.
Table 7. Matrix with five criteria (attributes) and five buyers.
C1C2C3C4C5
b179968
b287857
b396859
b467886
b587786
Table 8. Ideal and negative-ideal solution.
Table 8. Ideal and negative-ideal solution.
Ideal and Negative-Ideal Solution
A*0.0509143940.0564436030.0829564350.101389460.16565799
A0.0339429290.0376290690.0645216710.063368420.24848698
Table 9. Separation measures, relative closeness to the ideal solution, rank the preference order.
Table 9. Separation measures, relative closeness to the ideal solution, rank the preference order.
Separation MeasuresRelative Closeness to the Ideal SolutionRank the Preference Order
D j * D j C j *
0.061803530.040604760.39649873b50.80006466
0.049821530.057458510.53559366b40.79948347
0.093515720.019312970.17117073b20.53559366
0.023028640.091817940.79948347b10.39649873
0.023003720.092052090.80006466b30.17117073
Table 10. Simulation environment.
Table 10. Simulation environment.
System ComponentDescription
CPUIntel Core(TM) i7-3612QM CPU @2.10GHz 2.10Ghz
Operative SystemWindows 10
RAM8 GB
Development environmentRemix IDE
Programming LanguageSolidity
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Uchani Gutierrez, O.C.; Xu, G. Blockchain and Smart Contracts to Secure Property Transactions in Smart Cities. Appl. Sci. 2023, 13, 66. https://doi.org/10.3390/app13010066

AMA Style

Uchani Gutierrez OC, Xu G. Blockchain and Smart Contracts to Secure Property Transactions in Smart Cities. Applied Sciences. 2023; 13(1):66. https://doi.org/10.3390/app13010066

Chicago/Turabian Style

Uchani Gutierrez, Omar Cliff, and Guangxia Xu. 2023. "Blockchain and Smart Contracts to Secure Property Transactions in Smart Cities" Applied Sciences 13, no. 1: 66. https://doi.org/10.3390/app13010066

APA Style

Uchani Gutierrez, O. C., & Xu, G. (2023). Blockchain and Smart Contracts to Secure Property Transactions in Smart Cities. Applied Sciences, 13(1), 66. https://doi.org/10.3390/app13010066

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop