[论文解读] Introduction to Decentralization and Smart Contracts

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

Blockchain Technology Applications and Security参考文献 1被引用 4

一句话总结

本文介紹了區塊鏈平台上的去中心化與智能合約，分析了比特幣、以太坊和超級账本Fabric在這些技術上的實現。文章詳細闡述共識算法、智能合約執行模型，並以Solidity編寫的實際房屋租賃合約（整合了Oracle）為例，展示法律合約如何轉化為程式碼。

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.

研究动机与目标

• 探討去中心化的基礎原則及其在建立無信任、點對點系統中的作用。
• 分析共識算法及其對區塊鏈安全性、效能與容錯能力的影響。
• 比較三種主要區塊鏈平台（比特幣、以太坊和超級账本Fabric）在智能合約實現上的差異。
• 示範如何利用以太坊與Oracle，將一份真實的房屋租賃法律合約轉化為可執行的智能合約。
• 評估在區塊鏈平台上部署現實世界合約的實際可行性與安全考量。

提出的方法

• 採用對三種區塊鏈平台（比特幣、以太坊和超級账本Fabric）的比較分析，著重於其架構、共識機制與智能合約模型。
• 應用系統理論與密碼學原理，解釋區塊鏈結構，強調透過密碼學雜湊與Merkle樹實現的不可變性。
• 使用ESCC（端點模擬鏈碼）與VSCC（驗證系統鏈碼）說明超級账本Fabric中的端點與驗證鏈，以處理交易。
• 使用OpenZeppelin與Oraclize庫在Solidity中實現房屋租賃智能合約，透過Oracle整合外部資料。
• 採用修飾符如`onlyTenant`與`onlyLandlord`以強制執行存取控制，確保狀態一致性。
• 利用事件記錄與回退函數管理狀態轉移、付款與合約終止，並確保押金返還的安全性。

实验结果

研究问题

• RQ1 不同區塊鏈平台如何實現智能合約？其設計與效能上的權衡為何？
• RQ2 共識算法在保護去中心化網絡中扮演何種角色？它們如何影響可擴展性與信任度？
• RQ3 現實世界中的法律合約（如房屋租賃協議）能否有效轉化為具有可驗證執行的智能合約？
• RQ4 如何安全地透過Oracle將外部資料（如租賃條款）整合至基於區塊鏈的智能合約？
• RQ5 在公開與許可區塊鏈上部署智能合約時，其主要安全與運營挑戰為何？

主要发现

• 比特幣使用工作量證明（PoW）作為共識機制，確保安全性與拜占庭容錯，但代價是高能耗與低交易吞吐量。
• 以太坊透過EVM支援通用型智能合約，可實現複雜邏輯與去中心化應用，但面臨可擴展性與Gas成本挑戰。
• 超級账本Fabric採用模組化架構，透過ESCC與VSCC實現端點與驗證階段，適用於許可環境，具備高效率與隱私保障。
• 房屋租賃合約範例成功以Solidity與Oracle整合，模擬了租賃金額、押金、租期與違約等關鍵法律要素。
• 透過Oracle的使用可根據外部資料動態調整合約行為（如驗證租賃條款），但會引入對Oracle提供者的信任依賴。
• 智能合約可減少對中介的依賴，提升透明度與可審計性，但需謹慎設計以避免重入攻擊或狀態轉移錯誤等漏洞。