One of the most promising innovations offered by the cryptographic currencies (like Bitcoin)
are the so-called smart contracts, which can be viewed as financial agreements between …

We survey the state-of-the-art non-interactive zero-knowledge argument schemes and their
applications in confidential transactions and private smart contracts on blockchain. The main …

While fair exchange of goods is known to be impossible without assuming a trusted party,
smart contracts in cryptocurrencies forgo such parties by assuming trust in the currency …

Albeit the primary usage of Bitcoin is to exchange currency, its blockchain and consensus
mechanism can also be exploited to securely execute some forms of smart contracts. These …

Zero Knowledge Contingent Payment (ZKCP) protocols allow fair exchange of sold goods
and payments over the Bitcoin network. In this paper we point out two main shortcomings of …

Smart contracts are envisioned to be one of the killer applications of decentralized
cryptocurrencies. They enable self-enforcing payments between users depending on …

The technology underpinning Bitcoin—the blockchain—is acknowledged to offer security,
stability and efficiency to online transactions. After a brief introduction to Bitcoin system, I …

We introduce BitML, a domain-specific language for specifying contracts that regulate
transfers of bitcoins among participants, without relying on trusted intermediaries. We define …

Although Bitcoin is often perceived to be an anonymous currency, research has shown that
a user's Bitcoin transactions can be linked to compromise the user's anonymity. We present …

Cryptocurrencies have received a lot of research attention in recent years following the
release of the first cryp-tocurrency Bitcoin. With the rise in cryptocurrency transactions, the …