MSc thesis of Aikaterini-Panagiota Stouka
Smart contracts and Payments using Bitcoin and Ethereum
Supervisor: Aristeidis T. Pagourtzis
This Thesis focuses on Bitcoin ,a digital currency, which was proposed by Satoshi Nakamoto  in 2008 . We describe both its function and its security ,. Bitcoin is a cryptocurrency, which is decentralized, as there is not any trusted authority that mints coins or controls transactions. Consequently, we describe some smart contracts , which use Bitcoin to solve problems of trust. In addition, we study a construction (and its security) , Zerocoin , which can be implemented in Bitcoin in order to achieve anonymity (it was proposed by Ian Miers, Christina Garman, Matthew Green, Aviel D. Rubin in 2013) ,as well as a dynamic accumulator published by J. Camenisch and A. Lysyanskaya  that is used in the above construction . Finally, we analyze Ethereum ’s function .Ethereum is a decentralized system that uses a Turing complete language in order to make the contract creation easier and was proposed by Vitalik Buterin and Gavin Wood , in 2013- 2014.Defended: May 6, 2015.