跳到主要內容

臺灣博碩士論文加值系統

(44.200.168.16) 您好!臺灣時間:2023/03/21 15:10
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:鄭雅文
研究生(外文):Ya-Wen Jeng
論文名稱:智能化區塊鏈智能合約的步驟指南
論文名稱(外文):Step-by-Step Guidelines for Making Smart Contract Smarter
指導教授:吳家麟
指導教授(外文):Ja-Ling Wu
口試委員:胡敏君鄭文皇朱威達
口試委員(外文):Min-Chun HuWen-Huang ChengWei-Ta Chu
口試日期:2019-05-13
學位類別:碩士
校院名稱:國立臺灣大學
系所名稱:資訊工程學研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2019
畢業學年度:108
語文別:英文
論文頁數:29
中文關鍵詞:以太坊區塊鏈Solidity油錢ZoKrates
外文關鍵詞:Ethereum BlockchainSoliditygasZoKrates
DOI:10.6342/NTU202003466
相關次數:
  • 被引用被引用:2
  • 點閱點閱:230
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
不同於傳統執行於本地電腦或雲端的程序,區塊鏈上的智能合約通常執行於礦工的設備;因此,智能合約的使用者必須支付手續費(以太坊區塊鏈上稱為油錢)給礦工讓礦工執行區塊鏈上的交易。然而,目前使用者缺乏足夠的經驗開發低成本、高效能的智能合約,此為智能合約的發展中的一大挑戰。在此論文中,我們整理了現有的降低油錢成本的方法及提出一些新的作法,並提供了一套系統性的步驟指南讓使用者可以開發低成本的智能合約。為了證明此提出方法的功能,我們用一個複雜且昂貴的智能合約—ZoKrates 驗證合約,展示我們如何有效的降低智能合約的成本。
Different from traditional programs, which run on local machines or in the clouds, smart contracts run mostly on miners’ devices; moreover, users of smart contracts have to pay fees (i.e., gases in Ethereum) to miners for executing transactions on the blockchain. Lacking of enough experiences in developing smart contracts makes write low cost and high efficiency smart contracts becoming a very challenging task. In this work, by collating existed approaches and developing new methods for reducing gas consumption, a set of systematical step-by-step guidelines for developing low cost smart contracts is proposed. To prove its usefulness, ZoKrates verifier, a very complicated and costly contract, is used to demonstrate how our scheme can effectively cut the gas consumption down.
口試委員審定書 i
誌謝 ii
中文摘要 iii
英文摘要 iv
1 Introduction 1
2 Related Work 4
2.1 Ethereum Smart Contracts 4
2.2 Gas Consumption 4
2.3 Previous Work 5
2.4 ZoKrates 7
3 Proposed Scheme 9
3.1 Initializing Input and Variables 9
3.2 Function Design 15
3.3 Final Adjustments 17
4 Case Study ZoKrates Verifier Contract 20
4.1 Initializing Input and Variables 21
4.2 Function Design 22
4.3 Final Adjustments 24
5 Discussion 26
6 Conclusion 28
Bibliography 29
Nakamoto, S. (2008) Bitcoin: A Peer-to-Peer Electronic Cash System. https://bitcoin.org/bitcoin.pdf
Gavin Wood. ”Ethereum: A secure decentralised generalised transac- tionledger.” Ethereum Project Yellow Paper 151 (2014): 1-32.
Ting Chen, Xiaoqi Li, Xiapu Luo, and Xiaosong Zhang. Under- optimized smart contracts devour your money. 2017 IEEE 24th Interna- tional Conference on Software Analysis, Evolution and Reengineering (SANER), pages 442446, 2017.
Jacob Eberhardt and Stefan Tai. 2018. ZoKrates - Scalable Privacy- Preserving Off- Chain Computations. In IEEE International Conference on Blockchain. IEEE.
(Mar., 2019) Etherscan, gasprice history. [Online]. Available: https: //etherscan.io/chart/gasprice.
(Mar., 2019) Etherscan, ether price history(USD). [Online]. Available: https://etherscan.io/chart/etherprice.
T.Chenetal.,”Towards Saving Money in Using Smart Contracts,”2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER), Gothen- burg, 2018, pp. 81-84.
Signer Christopher. Gas Cost Analysis for Ethereum Smart Contracts. https://www.research-collection.ethz.ch/handle/20.500.11850/312914, 2018.
R. Gennaro, C. Gentry, B. Parno, and M. Raykova, Quadratic span programs and succinct nizks without pcps, Cryptology ePrint Archive, Report 2012/215, 2012, https://eprint.iacr.org/2012/215.
連結至畢業學校之論文網頁點我開啟連結
註: 此連結為研究生畢業學校所提供,不一定有電子全文可供下載,若連結有誤,請點選上方之〝勘誤回報〞功能,我們會盡快修正,謝謝!
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top