English
Related papers

Related papers: Modelling Bitcoin in Agda

200 papers

Bitcoin is one of the decentralized cryptocurrencies powered by a peer-to-peer blockchain network. Parties who trade in the bitcoin network are not required to disclose any personal information. Such property of anonymity, however,…

Cryptography and Security · Computer Science 2022-11-29 Zhengjie Huang , Yunyang Huang , Peng Qian , Jianhai Chen , Qinming He

Different versions of peer-to-peer electronic cash exist as data represented by separate blockchains. Payments between such systems cannot be sent directly from one party to another without going through a financial institution. Bitcoin…

Cryptography and Security · Computer Science 2016-09-12 S. Matthew English , Fabrizio Orlandi , Soeren Auer

With the advent of the Internet of things (IoT) era, more and more devices are connected to the IoT. Under the traditional cloud-thing centralized management mode, the transmission of massive data is facing many difficulties, and the…

Cryptography and Security · Computer Science 2022-02-09 Peiying Zhang , Xue Pang , Neeraj Kumar , Gagangeet Singh Aujla , Haotong Cao

Blockchain technology, with implications in the financial domain, offers data in the form of large-scale transaction networks. Analyzing transaction networks facilitates fraud detection, market analysis, and supports government regulation.…

Computational Engineering, Finance, and Science · Computer Science 2025-01-23 Junliang Luo , Xue Liu

Bitcoin is the world's first decentralized digital currency. Its main technical innovation is the use of a blockchain and hash-based proof of work to synchronize transactions and prevent double-spending the currency. While the qualitative…

Cryptography and Security · Computer Science 2014-02-12 Meni Rosenfeld

A key challenge for Bitcoin cryptocurrency holders, such as startups using ICOs to raise funding, is managing their FX risk. Specifically, a misinformed decision to convert Bitcoin to fiat currency could, by itself, cost USD millions. In…

Risk Management · Quantitative Finance 2018-05-15 Cuneyt Akcora , Matthew Dixon , Yulia Gel , Murat Kantarcioglu

Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust…

Logic in Computer Science · Computer Science 2018-11-16 Ron van der Meyden

Note that the serial structure of blockchain has many essential pitfalls, thus a data network structure and its DAG-based blockchain are introduced to resolve the blockchain pitfalls. From such a network perspective, analysis of the…

Performance · Computer Science 2022-10-24 Xing-Shuo Song , Quan-Lin Li , Yan-Xia Chang , Chi Zhang

A new node joining a blockchain network first synchronizes with the network to verify ledger state by downloading the entire ledger history. We present Aurora, a probabilistic algorithm that \textit{identifies honest nodes} for transient or…

Cryptography and Security · Computer Science 2021-08-19 Federico Matteo Benčić , Ivana Podnar Žarko

Blockchain, which is a technology for distributedly managing ledger information over multiple nodes without a centralized system, has elicited increasing attention. Performing experiments on actual blockchains are difficult because a large…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-20 Yusuke Aoki , Kai Otsuki , Takeshi Kaneko , Ryohei Banno , Kazuyuki Shudo

Bitcoin is the first and highest valued cryptocurrency that stores transactions in a publicly distributed ledger called the blockchain. Understanding the activity and behavior of Bitcoin actors is a crucial research topic as they are…

Social and Information Networks · Computer Science 2022-07-18 Natkamon Tovanich , Rémy Cazabet

The Tangle-based structure becomes one of the most promising solutions when designing DAG-based blockchain systems. The approach improves the scalability by directly confirming multiple transactions in parallel instead of single blocks in…

Cryptography and Security · Computer Science 2020-08-13 Bozhi Wang , Qin Wang , Shiping Chen , Yang Xiang

Since the creation of Bitcoin, transaction tracking is one of the prominent means for following the movement of Bitcoins involved in illegal activities. Although every Bitcoin transaction is recorded in the blockchain database, which is…

Cryptography and Security · Computer Science 2019-12-06 Tin Tironsakkul , Manuel Maarek , Andrea Eross , Mike Just

The energy sustainability of blockchains, whose consensus protocol rests on the Proof-of-Work, nourishes a heated debate. The underlying issue lies in a highly energy-consuming process, defined as mining, required to validate crypto-asset…

The rise of cryptocurrencies like Bitcoin, which enable transactions with a degree of pseudonymity, has led to a surge in various illicit activities, including ransomware payments and transactions on darknet markets. These illegal…

Cryptography and Security · Computer Science 2023-06-16 Poupak Azad , Baris Coskunuzer , Murat Kantarcioglu , Cuneyt Gurcan Akcora

A blockchain is a decentralised linked data structure that is characterised by its inherent resistance to data modification, but it is deficient in search queries, primarily due to its inferior data formatting. A distributed database is…

Databases · Computer Science 2019-01-11 Muhammad Muzammal , Qiang Qu , Bulat Nasrulin , Anders Skovsgaard

Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-11 Yackolley Amoussou-Guenou , Maurice Herlihy , Sucharita Jayanti , Maria Potop-Butucaru , Sergio Rajsbaum

This paper presents a dynamic, real-time approach to detecting anomalous blockchain transactions. The proposed tool, BlockGPT, generates tracing representations of blockchain activity and trains from scratch a large language model to act as…

Cryptography and Security · Computer Science 2023-05-02 Yu Gai , Liyi Zhou , Kaihua Qin , Dawn Song , Arthur Gervais

Distributed Ledger Technologies provide a mechanism to achieve ordering among transactions that are scattered on multiple participants with no prerequisite trust relations. This mechanism is essentially based on the idea of new transactions…

Probability · Mathematics 2021-10-01 Christian Mönch , Amr Rizk

The objective of this paper is the construction of new indicators that can be useful to operate in the cryptocurrency market. These indicators are based on public data obtained from the blockchain network, specifically from the nodes that…

Statistical Finance · Quantitative Finance 2024-03-05 Juan C. King , Roberto Dale , José M. Amigó