English
Related papers

Related papers: Modeling Bitcoin Contracts by Timed Automata

200 papers

The Bitcoin cryptocurrency has received much attention recently. In the network of Bitcoin, transactions are recorded in a ledger. In this network, the process of recording transactions depends on some nodes called miners that execute a…

Cryptography and Security · Computer Science 2023-02-15 Ali Nikhalat-Jahromi , Ali Mohammad Saghiri , Mohammad Reza Meybodi

A smart contract is an interactive program that governs funds in the realm of a single cryptocurrency. Yet, the many existing cryptocurrencies have spurred the design of cross-chain applications that require interactions with multiple…

Cryptography and Security · Computer Science 2025-01-30 Federico Badaloni , Sebastian Holler , Chrysoula Oikonomou , Pedro Moreno-Sanchez , Clara Schneidewind

Digital payment schemes show an ever increasing importance. Out of the countless different schemes available this article focuses on the popular Bitcoin system. The authors provide a description of Bitcoin's unique technological basis and…

Computers and Society · Computer Science 2013-09-02 Artus Krohn-Grimberghe Christoph Sorge

Blockchain is a technology that provides a distributed ledger that stores previous records while maintaining consistency and security. Bitcoin is the first and largest decentralized electronic cryptographic system that uses blockchain…

Cryptography and Security · Computer Science 2021-11-05 Befekadu G. Gebraselase , Bjarne E. Helvik , Yuming Jiang

We review the so called selfish mining strategy in the Bitcoin network and compare its profitability to honest mining.We build a rigorous profitability model for repetition games. The time analysis of the attack has been ignored in the…

Computer Science and Game Theory · Computer Science 2019-01-23 Cyril Grunspan , Ricardo Pérez-Marco

Financial time series have historically been assumed to be a martingale process under the Random Walk hypothesis. Instead of making investment decisions using the raw prices alone, various multimodal pattern matching algorithms have been…

Statistical Finance · Quantitative Finance 2023-08-21 Minsuk Kim , Byungchul Kim , Junyeong Yong , Jeongwoo Park , Gyeongmin Kim

The uncertainties in future Bitcoin price make it difficult to accurately predict the price of Bitcoin. Accurately predicting the price for Bitcoin is therefore important for decision-making process of investors and market players in the…

Statistical Finance · Quantitative Finance 2019-09-04 Samuel Asante Gyamerah

We argue that the current POW based consensus algorithm of the Bitcoin network suffers from a fundamental economic discrepancy between the real world transaction (txn) costs incurred by miners and the wealth that is being transacted. Put…

Numerical Analysis · Mathematics 2024-04-24 Valdemar Melicher

We consider the execution of smart contracts on Bitcoin. There, every contract step corresponds to appending to the blockchain a new transaction that spends the output representing the old contract state, creating a new one for the updated…

Cryptography and Security · Computer Science 2025-06-05 Dario Maddaloni , Riccardo Marchesin , Roberto Zunino

The long-term success of cryptocurrencies largely depends on the incentive compatibility provided to the validators. Bribery attacks, facilitated trustlessly via smart contracts, threaten this foundation. This work introduces, implements,…

Cryptography and Security · Computer Science 2026-01-14 Bence Soóki-Tóth , István András Seres , Kamilla Kara , Ábel Nagy , Balázs Pejó , Gergely Biczók

The spectacular success of Bitcoin and Blockchain Technology in recent years has provided enough evidence that a widespread adoption of a common cryptocurrency system is not merely a distant vision, but a scenario that might come true in…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-30 Adam Gągol , Damian Leśniak , Damian Straszak , Michał Świętek

We survey recent results on the mathematical stability of Bitcoin protocol. Profitability and probability of a double spend are estimated in closed form with classical special functions. The stability of Bitcoin mining rules is analyzed and…

History and Overview · Mathematics 2020-03-03 Cyril Grunspan , Ricardo Pérez-Marco

Bitcoin is considered the most valuable currency in the world. Besides being highly valuable, its value has also experienced a steep increase, from around 1 dollar in 2010 to around 18000 in 2017. Then, in recent years, it has attracted…

Social and Information Networks · Computer Science 2019-04-11 Amin Azari

Modern societies have adopted government-issued fiat currencies many of which exist today mainly in the form of digits in credit and bank accounts. Fiat currencies are controlled by central banks for economic stimulation and stabilization.…

Cryptography and Security · Computer Science 2022-12-29 Heung-No Lee , Young-Sik Kim , Dilbag Singh , Manjit Kaur

Bitcoin has created a new exchange paradigm within which financial transactions can be trusted without an intermediary. This premise of a free decentralized transactional network however requires, in its current implementation, unrestricted…

Cryptography and Security · Computer Science 2018-10-30 Marc Jourdan , Sebastien Blandin , Laura Wynter , Pralhad Deshpande

This study examines the weak form of the efficient market hypothesis for Bitcoin using a feedforward neural network. Due to the increasing popularity of cryptocurrencies in recent years, the question has arisen, as to whether market…

Statistical Finance · Quantitative Finance 2022-08-16 Mike Kraehenbuehl , Joerg Osterrieder

We give an explicit definition of decentralization and show you that decentralization is almost impossible for the current stage and Bitcoin is the first truly noncentralized currency in the currency history. We propose a new framework of…

Computational Engineering, Finance, and Science · Computer Science 2016-09-12 Xiaochao Qian

Transparency is crucial in security-critical applications that rely on authoritative information, as it provides a robust mechanism for holding these authorities accountable for their actions. A number of solutions have emerged in recent…

Cryptography and Security · Computer Science 2018-08-08 Mustafa Al-Bassam , Sarah Meiklejohn

Cryptocurrencies and their foundation technology, the Blockchain, are reshaping finance and economics, allowing a decentralized approach enabling trusted applications with no trusted counterpart. More recently, the Blockchain and the…

Software Engineering · Computer Science 2019-12-20 Lodovica Marchesi , Michele Marchesi , Roberto Tonelli

Blockchain systems are designed to produce blocks at a constant average rate. The most popular systems currently employ a Proof of Work (PoW) algorithm as a means of creating these blocks. Bitcoin produces, on average, one block every 10…

Cryptography and Security · Computer Science 2019-08-15 George Bissias , Brian Neil Levine