[PDF] Top 20 Fun with Bitcoin smart contracts

Fun with Bitcoin smart contracts

... illustrated Bitcoin smart contracts from a programming languages per- spective, by exploiting the BitML calculus ...the smart contracts appeared in literature [4], there exist some con- ... See full document

17

"The Impact of Blockchain Technology on the Real Estate Sector Using Smart Contracts"

... Agreed upon by numerous technology gurus and researchers, the block chain technology has the potential to disrupt many outdated business models which rely heavily on accurate record keeping. Numerous startup and venture ... See full document

11

Index Terms: Blockchain, Bitcoin Mining, Proof of Work, Proof of Stake, Smart Contracts, Distributed

... of Bitcoin, in the year 2008 proposed the concept of a peer to peer(P2P) electronic cash system that was driven on an online system of connected nodes that adhere over a ...and Bitcoin transcended from that ... See full document

9

Towards updatable smart contracts

... a Bitcoin has increased significantly since its creation, it has become a potential target for ...Since Bitcoin makes use of an uncontrolled and de- centralised environment, it is hard for attackers to ... See full document

93

Smart contracts for bribing miners

... either Bitcoin or Bitcoin cash depending on which cryptocurrency was more profitable in the ...the Bitcoin com- munity have also suggested that miners may be accepting out-of-band bribes to mine ... See full document

16

Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab

... like Bitcoin [18] and other altcoins [5] have captured the public’s attention and interest, and have been much more successful than any prior incarnations of electronic ...“smart contracts.” ... See full document

15

Solitor : runtime verification of smart contracts on the Ethereum network

... these smart contracts ...to Bitcoin it is more focussed to be a smart contract ...new smart contracts are deployed to the Ethereum network. Smart contracts can be ... See full document

41

Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

... Concurrent work. Our framework is the first to provide a full-fledged formal model for decentralized blockchains as embodied by Bitcoin, Ethereum, and many other popular decentralized cryptocurrencies. In ... See full document

31

Formal Proofs of Security for Privacy-Preserving Blockchains and other Cryptographic Protocols

... the Bitcoin blockchain is primarily intended to trade currency, its protocol allows clients to embed a few extra bytes as metadata in trans- ...for smart contracts exploit these metadata to store a ... See full document

118

AN OVERVIEW OF BLOCKCHAIN AND SMART CONTRACTS AND ENHANCING IT WITH ARTIFICIAL INTELLIGENCE

... and smart contracts. So what is a blockchain or a smart contract? Let’s first see what a blockchain ...of Bitcoin and other cryptocur-rency ... See full document

8

Keeping Time-Release Secrets through Smart Contracts

... receivers. Chalkias et at. [10] improved upon approaches introduced by [11, 9] by reducing the number of bilinear pairings as well as by enabling additional pre-computations. Chow et al. [12] proposed an encryption ... See full document

27

SoK: unraveling Bitcoin smart contracts

... of smart contract has been resurrected with the recent surge of distributed ledger technologies, led by Ethereum and ...incarnations, smart contracts are rendered as computer ...of contracts ... See full document

25

BitML: A Calculus for Bitcoin Smart Contracts

... Smart contracts beyond Bitcoin. After Bitcoin, other platforms and languages for smart contracts have been created ...Ethereum contracts have given rise to extensive re- ... See full document

25

Verifying liquidity of Bitcoin contracts

... of smart contracts is liquidity: in a non-liquid contract, it may happen that some funds remain ...of Bitcoin contracts. Focussing on BitML, a contracts DSL with a computationally sound ... See full document

27

A Counterfeit Solution for Pharma Supply Chain

... 5 includes the Ethereum blockchain network and server, the smart contracts ensure the supply is in the correct temperature using IoT sensors. The server connects the blockchain network, smart ... See full document

8

Towards A Blockchain Based Smart Contracts Model Design For Housing Market Applications

... based smart contract technology in the real estate industry and how it might resolve the inefficiencies within the ...based smart contract model for management of real estate property that would address the ... See full document

9

A Simple Auditable Fingerprint Authentication Scheme Using Smart-Contracts

... tion, Bitcoin, to now support generic scripting (smart contracts) as is the case of ...in Bitcoin, or algo- rithmic methods and execution state, such as in Ethereum, Blockchains have the dis- ... See full document

7

Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts

... between smart contract faults, but to propose a novel principled bug bounty framework built upon an assumed exploit ...of smart contract failure patterns to future ...Hydra contracts, we use three ... See full document

22

The Hazards of Misusing the Smart Contract: An AHP Approach to Its Risk

... The smart contract has received attention due to both its characteristics and numerous application possibilities, offering users potential cost savings in a va- riety of conventional commercial ...the smart ... See full document

20

A Blockchain Enabled Rooms Implementation For Internet of Things

... The smart home was divided into 3 tiers: cloud storage, overlay, and smart ...Each smart home was provided with an internet device monitoring all messages and transactions passed to/from the ... See full document

8