| 研究生: |
田少谷 Tien, Shao-Ku |
|---|---|
| 論文名稱: |
利用去中心化金融系統最大化智能合約中虛擬貨幣之時間價值 Maximizing the Time Value of Cryptocurrency in Smart Contracts with Decentralized Finance |
| 指導教授: |
蔡孟勳
Tsai, Meng-Hsun |
| 學位類別: |
碩士 Master |
| 系所名稱: |
電機資訊學院 - 資訊工程學系 Department of Computer Science and Information Engineering |
| 論文出版年: | 2020 |
| 畢業學年度: | 108 |
| 語文別: | 英文 |
| 論文頁數: | 38 |
| 中文關鍵詞: | 區塊鏈 、虛擬貨幣 、時間價值 、智能合約 、去中心化金融 |
| 外文關鍵詞: | Blockchain, Cryptocurrency, Time Value, Smart Contracts, Decentralized Finance |
| 相關次數: | 點閱:153 下載:0 |
| 分享至: |
| 查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
現實生活中的金錢雖然能透過多次的轉移來增加金流量,但對於轉移過程中的各擁有者都只能發揮一次效用。
以太坊區塊鏈上的虛擬貨幣則不然:虛擬貨幣能夠在被支付到一個服務的同時,為其擁有者創造更多筆效用、更多的收益。
本論文提出將存放在智能合約中的虛擬貨幣投入如 Compound 的去中心化借貸市場賺取存款利息,並能用 Compound 所返還的借據再進一步投入去中心化虛擬貨幣交易所 Curve 賺取部分的手續費。
Compound 的流動性問題能藉由使用此方法所獲得的收益來解決,而我們也就對收益的分配進行討論並和現存的方法進行比較。
本論文以實驗的方式驗證所提出方法的結果正確性及計算實作的成本,並使用工具檢測實作的智能合約的安全性。
Money in real-world scenarios, though can be transferred multiple times to create larger cash flow, it usually serves only one usage for each user.
Cryptocurrency on Ethereum blockchain, however, can be paid to service and generate extra profit for the owner at the same time, which means it can serve multiple usages and its time value is efficiently utilized.
We propose to maximize the time value of cryptocurrency kept in smart contracts by investing it to decentralized money markets of Compound to earn supply interest.
Moreover, we can further invest the receipt we receive from Compound in Curve, a decentralized cryptocurrency exchange, to earn a share of the handling fee.
The liquidity risk of Compound can be mitigated by utilizing the interest generated, and the distribution of the interest generated by the proposed method is compared with an existing approach.
Experiments are conducted to testify the proposed method, estimate the implementation cost and analyze the security of smart contracts implementation.
[1] Satoshi Nakamoto et al. Bitcoin: A peer-to-peer electronic cash system.(2008),2008.
[2] Markus Jakobsson and Ari Juels. Proofs of work and bread pudding protocols. InSecure information networks, pages 258–272. Springer, 1999.[3] Vitalik Buterin et al. A next-generation smart contract and decentralized appli-cation platform.white paper, 3:37, 2014.
[3] Vitalik Buterin et al. A next-generation smart contract and decentralized appli-cation platform.white paper, 3:37, 2014.
[4] Nick Szabo. The idea of smart contracts.Nick Szabo’s Papers and Concise Tuto-rials, 6, 1997.
[5] Christopher D Clack, Vikram A Bakshi, and Lee Braine. Smart contract tem-plates: foundations, design landscape and research directions.arXiv preprintarXiv:1608.00771, 2016.
[6] David Gerard.Attack of the 50 foot blockchain: Bitcoin, blockchain, Ethereum &smart contracts. David Gerard, 2017.
[7] Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. Zeus: Analyzingsafety of smart contracts. InNDSS, pages 1–12, 2018.
[8] Karthikeyan Bhargavan, Antoine Delignat-Lavaud, C ́edric Fournet, Anitha Gol-lamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi,Thomas Sibut-Pinote, Nikhil Swamy, et al. Formal verification of smart contracts:Short paper. InProceedings of the 2016 ACM Workshop on Programming Lan-guages and Analysis for Security, pages 91–96, 2016.35
[9] Jack Peterson and Joseph Krug. Augur: a decentralized, open-source platform forprediction markets.arXiv preprint arXiv:1501.01042, 2015.
[10] Yan Chen. Decentralized finance: Blockchain technology and the quest for anopen financial system.Available at SSRN 3418557, 2019.
[11] Compound:Themoneymarketprotocol.WhitePaper,2019.https://compound.finance/documents/Compound.Whitepaper.pdf.
[12] Curve:Astablecoinspecifieddecentralizedexchange,2020.https://www.curve.fi/.
[13] Jeff Coleman, Liam Horne, and Li Xuanji. Counterfactual: Generalized statechannels, 2018.
[14] Daniel I Halperin. Interest in disguise: Taxing the time value of money.Yale LJ,95:506, 1985.
[15] Ming-Yih Liang. Bank float, mail float and the definition of money.Journal ofBanking & Finance, 10(4):533–548, 1986.
[16] Joseph Poon and Vitalik Buterin. Plasma: Scalable autonomous smart contracts.White paper, pages 1–47, 2017.[17] K Floersch. Ethereum smart contracts in l2: Optimistic rollup, 2019.
[18] James A Liu. Atomic swaptions: cryptocurrency derivatives.arXiv preprintarXiv:1807.08644, 2018.
[19] Dharma:Alimitless,borderlesswaytosendreceiveusd.https://www.dharma.io/.36
[20] V Fabian and V Buterin. A standard interface for tokens# erc20, 2018.
[21] Thedaistablecoinsystem.WhitePaper,2017.https://makerdao.com/whitepaper/DaiDec17WP.pdf.
[22] Usd coin. https://www.centre.io/usdc/.
[23] Ingolf GA Pernice, Sebastian Henningsen, Roman Proskalovich, Martin Flo-rian, Hermann Elendner, and Bj ̈orn Scheuermann. Monetary stabilization incryptocurrencies–design approaches and open questions. In2019 Crypto ValleyConference on Blockchain Technology (CVCBT), pages 47–59. IEEE, 2019.
[24] Guillermo Angeris, Hsien-Tang Kao, Rei Chiang, Charlie Noyes, and Tarun Chitra.An analysis of uniswap markets.arXiv preprint arXiv:1911.03380, 2019.
[25] Will Warren and Amir Bandeali. 0x: An open protocol for decentralized exchangeon the ethereum blockchain.URl: https://github.com/0xProject/whitepaper, 2017.
[26] Christian Slamka, Bernd Skiera, and Martin Spann. Prediction market perfor-mance and market liquidity: A comparison of automated market makers.IEEETransactions on Engineering Management, 60(1):169–185, 2012.
[27] Thomas Shababi Jacques Dafflon, Jordi Baylina. A standard interface for tokens#erc777. https://eips.ethereum.org/EIPS/eip-777.
[28] Philip Daian, Steven Goldfeder, Tyler Kell, Yunqi Li, Xueyuan Zhao, Iddo Bentov,Lorenz Breidenbach, and Ari Juels. Flash boys 2.0: Frontrunning, transactionreordering, and consensus instability in decentralized exchanges.arXiv preprintarXiv:1904.05234, 2019.37
[29] Monica Billio, Mila Getmansky, Andrew W Lo, and Loriana Pelizzon. Econometricmeasures of connectedness and systemic risk in the finance and insurance sectors.Journal of financial economics, 104(3):535–559, 2012.
[30] Chris Dannen.Introducing Ethereum and Solidity, volume 1. Springer, 2017.
[31] A block explorer and analytics platform for ethereum, 2016. https://etherscan.io/.
[32] Consumerorientedmetricsfortheethereumgasmarket.https://ethgasstation.info/.
[33] Cryptocurrency market capitalizations. https://coinmarketcap.com/.
[34] Josselin Feist, Gustavo Grieco, and Alex Groce. Slither: a static analysis frame-work for smart contracts. In2019 IEEE/ACM 2nd International Workshop onEmerging Trends in Software Engineering for Blockchain (WETSEB), pages 8–15.IEEE, 2019.
[35] B Mueller.Mythril-reversing and bug hunting framework for the ethereumblockchain, 2017.
[36] Ting Chen, Xiaoqi Li, Xiapu Luo, and Xiaosong Zhang. Under-optimized smartcontracts devour your money. In2017 IEEE 24th International Conference onSoftware Analysis, Evolution and Reengineering (SANER), pages 442–446. IEEE,2017.
校內:2022-06-22公開