English
Related papers

Related papers: Retrofitting a two-way peg between blockchains

200 papers

Security bugs and trapdoors in smart contracts have been impacting the Ethereum community since its inception. Conceptually, the 1.45-million Ethereum's contracts form a single "gigantic program" whose behaviors are determined by the…

Cryptography and Security · Computer Science 2025-08-08 Thomas Ball , Nikolaj S. Bjørner , Ashley J. Chen , Shuo Chen , Yang Chen , Zhongxin Guo , Tzu-Han Hsu , Peng Liu , Nanqing Luo

The protocol for cryptocurrencies can be divided into three parts, namely consensus, wallet, and networking overlay. The aim of the consensus part is to bring trustless rational peer-to-peer nodes to an agreement to the current status of…

Cryptography and Security · Computer Science 2020-06-23 Sangjun Park , Haeung Choi , Heung-No Lee

Blockchain is a decentralized, distributed ledger technology that ensures transparency, security, and immutability through cryptographic techniques. However, advancements in quantum computing threaten the security of classical cryptographic…

Cryptography and Security · Computer Science 2026-01-14 Nicholas J. C. Papadopoulos

Off-Chain transactions allow for the immediate transfer of Cryptocurrency between two parties, without delays or unavoidable transaction fees. Such capabilities are critical for mainstream Cryptocurrency adaption. They allow for the…

Cryptography and Security · Computer Science 2014-08-14 Leonard Apeltsin

Since the inception of blockchain and Bitcoin (Nakamoto (2008)), a decentralized-distributed ledger system and its associated cryptocurrency, respectively, the world has witnessed a slew of newer adaptations and applications. Although the…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-15 Jinwook Lee , Paul Moon Sub Choi

The blockchain ecosystem has evolved into a multi-chain world with various blockchains vying for use. Although each blockchain may have its own native cryptocurrency or digital assets, there are use cases to transfer these assets between…

Cryptography and Security · Computer Science 2022-10-31 Sung-Shine Lee , Alexandr Murashkin , Martin Derka , Jan Gorzny

Distributed consensus mechanisms have been widely researched and made popular with a number of blockchain-based token applications, such as Bitcoin, and Ethereum. Although these general-purpose platforms have matured for scale and security,…

Cryptography and Security · Computer Science 2020-04-28 Steven Platt , Miquel Oliver-Riera

In blockchain, bribery is an inevitable problem since users with various goals can bribe miners by transferring cryptoassets. To alleviate the negative effects of such collusion, Ethereum blockchain implemented new transaction fee mechanism…

Cryptography and Security · Computer Science 2022-06-07 Xiaotong Sun

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to…

Cryptography and Security · Computer Science 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo

The current electricity networks were not initially designed for the high integration of variable generation technologies. They suffer significant losses due to the combustion of fossil fuels, the long-distance transmission, and…

Multiagent Systems · Computer Science 2022-01-14 Guilherme Vieira , Jie Zhang

Proof of work blockchain protocols using multiple hash types are considered. It is proven that the security region of such a protocol cannot be the AND of a 51\% attack on all the hash types. Nevertheless, a protocol called Merged Bitcoin…

Cryptography and Security · Computer Science 2026-01-15 Christopher Blake , Chen Feng , Xuachao Wang , Qianyu Yu

The crypto ecosystem has evolved into a formidable channel for raising venture capital. Each new wave of capital inflows has been epitomized by a new type of investment vehicle, may it be ICOs, DAOs, or NFTs. Regrettably, none of these…

Computers and Society · Computer Science 2023-10-04 Šarūnas Barauskas , Roberto Ripamonti , Emanuele Ragnoli

We present Union, a trust-minimized bridge protocol that enables secure transfer of BTC between Bitcoin and a secondary blockchain. The growing ecosystem of blockchain systems built around Bitcoin has created a pressing need for secure and…

Cryptography and Security · Computer Science 2025-01-15 Ramon Amela , Shreemoy Mishra , Sergio Demian Lerner , Javier Álvarez Cid-Fuentes

With the advent of blockchain technologies, the idea of decentralized applications has gained traction. Smart contracts permit the implementation of application logic to foster distributed systems that are capable of removing…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-12 Martin Westerkamp

A smart grid is an important application in Industry 4.0 with a lot of new technologies and equipment working together. Hence, sensitive data stored in the smart grid is vulnerable to malicious modification and theft. This paper proposes a…

With the rapid development of blockchain technology, different types of blockchains are adopted and interoperability across blockchains has received widespread attention. There have been many cross-chain solutions proposed in recent years,…

Cryptography and Security · Computer Science 2021-03-26 Ying Lan , Jianbo Gao , Ke Wang , Jiashuo Zhang , Zhenhao Wu , Yuesheng Zhu , Zhong Chen

The Optimism Retroactive Project Funding (RetroPGF) is a key initiative within the blockchain ecosystem that retroactively rewards projects deemed valuable to the Ethereum and Optimism communities. Managed by the Optimism Collective, a…

Computer Science and Game Theory · Computer Science 2025-08-25 Eyal Briman , Nimrod Talmon , Angela Kreitenweis , Muhammad Idrees

Blockchain offers a decentralized, immutable, transparent system of records. It offers a peer-to-peer network of nodes with no centralised governing entity making it unhackable and therefore, more secure than the traditional paper-based or…

Cryptography and Security · Computer Science 2019-11-27 Harsh Jot Singh , Abdelhakim Senhaji Hafid

Despite the tremendous interest in cryptocurrencies like Bitcoin and Ethereum today, many aspects of the underlying consensus protocols are poorly understood. Therefore, the search for protocols that improve either throughput or security…

Cryptography and Security · Computer Science 2021-09-01 Ignacio Amores-Sesar , Christian Cachin , Anna Parker

Ethereum has emerged as a dynamic platform for exchanging cryptocurrency tokens. While token crowdsales cannot simultaneously guarantee buyers both certainty of valuation and certainty of participation, we show that if each token buyer…

Theoretical Economics · Economics 2019-08-14 Jason Teutsch , Vitalik Buterin , Christopher Brown