[Paper Review] Introduction to Decentralization and Smart Contracts

Theodosis Mourouzis, Jayant Tandon|arXiv (Cornell University)|Mar 12, 2019

Blockchain Technology Applications and Security1 references4 citations

TL;DR

This paper introduces decentralization and smart contracts on blockchain platforms, analyzing their implementation across Bitcoin, Ethereum, and Hyperledger Fabric. It details consensus algorithms, smart contract execution models, and presents a real-world house rental contract coded in Solidity with Oracle integration to demonstrate legal contract translation into code.

ABSTRACT

The aim of this work is to study the use of decentralization and smart contracts on blockchain networks. We investigate the implementation and use of smart contracts on the platforms Bitcoin, Ethereum and Hyperledger Fabric. Additionally, we have researched consensus algorithms and their respective uses, mentioning both advantages and disadvantages where necessary. To conclude, there is an example contract that is meant to be a close to direct translation of a generic legal house rental contract to show how a legal contract can be translated.

Motivation & Objective

• To examine the foundational principles of decentralization and its role in enabling trustless, peer-to-peer systems.
• To analyze consensus algorithms and their impact on blockchain security, performance, and fault tolerance.
• To compare smart contract implementation across three major blockchain platforms: Bitcoin, Ethereum, and Hyperledger Fabric.
• To demonstrate the translation of a legal house rental contract into a functional, executable smart contract using Ethereum and Oracles.
• To evaluate the practical feasibility and security considerations of deploying real-world contracts on blockchain platforms.

Proposed method

• Uses a comparative analysis of three blockchain platforms—Bitcoin, Ethereum, and Hyperledger Fabric—focusing on their architecture, consensus mechanisms, and smart contract models.
• Applies systems theory and cryptographic principles to explain blockchain structure, emphasizing immutability through cryptographic hashing and Merkle trees.
• Explains the endorsement and validation chain in Hyperledger Fabric using ESCC (Endorsement Simulation Chaincode) and VSCC (Validation System Chaincode) for transaction processing.
• Implements a house rental smart contract in Solidity using the OpenZeppelin and Oraclize libraries to integrate external data via Oracles.
• Employs modifiers like `onlyTenant` and `onlyLandlord` to enforce access control and ensure state consistency.
• Uses event logging and fallback functions to manage state transitions, payments, and contract termination with security deposit return.

Experimental results

Research questions

• RQ1 How do different blockchain platforms implement smart contracts, and what are the trade-offs in their design and performance?
• RQ2 What role do consensus algorithms play in securing decentralized networks, and how do they affect scalability and trust?
• RQ3 Can a real-world legal contract, such as a house rental agreement, be effectively translated into a smart contract with verifiable execution?
• RQ4 How can external data (e.g., rental terms) be securely integrated into a blockchain-based smart contract using Oracles?
• RQ5 What are the key security and operational challenges in deploying smart contracts on public versus permissioned blockchains?

Key findings

• Bitcoin uses Proof of Work (PoW) for consensus, which ensures security and Byzantine fault tolerance but at the cost of high energy consumption and low transaction throughput.
• Ethereum supports general-purpose smart contracts via the EVM, enabling complex logic and decentralized applications, though it faces scalability and gas cost challenges.
• Hyperledger Fabric implements a modular architecture with endorsement and validation phases via ESCC and VSCC, enabling high performance and privacy in permissioned environments.
• The house rental contract example successfully models key legal elements—rent, security deposit, lease term, and breach—using Solidity and Oracle integration for external verification.
• The use of Oracles enables dynamic contract behavior based on external data, such as verifying rental terms, though it introduces trust dependencies on the Oracle provider.
• Smart contracts reduce reliance on intermediaries and enhance transparency and auditability, but require careful design to prevent vulnerabilities like reentrancy or incorrect state transitions.