中文
相关论文

相关论文: Modeling Bitcoin Contracts by Timed Automata

200 篇论文

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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

计算机科学与博弈论 · 计算机科学 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…

统计金融 · 定量金融 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…

统计金融 · 定量金融 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…

数值分析 · 数学 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…

密码学与安全 · 计算机科学 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,…

密码学与安全 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

历史与综述 · 数学 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…

社会与信息网络 · 计算机科学 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.…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

统计金融 · 定量金融 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…

计算工程、金融与科学 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 2019-08-15 George Bissias , Brian Neil Levine