English
Related papers

Related papers: Modelling Bitcoin in Agda

200 papers

In a blockchain system, nodes regularly distribute data to other nodes. The ideal perspective taken in the scientific literature is that data is broadcast to all nodes directly, while in practice data is distributed by repeated multicast.…

Programming Languages · Computer Science 2022-08-26 Wolfgang Jeltsch , Javier Díaz

Our contributions with this paper are twofold. First, we elucidate the methodological requirements for a risk framework of custodial operations and argue for the value of this type of risk model as complementary with cryptographic and…

Computers and Society · Computer Science 2021-04-29 Jacob Swambo , Antoine Poinsot

The possibility to analyze everyday monetary transactions is limited by the scarcity of available data, as this kind of information is usually considered highly sensitive. Present econophysics models are usually employed on presumed random…

Physics and Society · Physics 2014-04-01 Dániel Kondor , Márton Pósfai , István Csabai , Gábor Vattay

The blockchain concept forms the backbone of a new wave technology that promises to be deployed extensively in a wide variety of industrial and societal applications. Governments, financial institutions, banks, industrial supply chains,…

Computer Science and Game Theory · Computer Science 2020-01-17 Shivika Narang

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

Peer-to-peer trading and the move to decentralized grids have reshaped the energy markets in the United States. Notwithstanding, such developments lead to new challenges, mainly regarding the safety and authenticity of energy trade. This…

We model financial transactions as random walks on activity-driven temporal networks. By enforcing fund conservation, our framework analytically derives heavy-tailed distributions for the stationary balances and transaction sizes.…

Physics and Society · Physics 2026-02-25 Carolina E. Mattsson , Claudio Cellerini , Jaume Ojer , Michele Starnini

Cryptocurrency blockchains, beyond their primary role as distributed payment systems, are increasingly used to store and share arbitrary content, such as text messages and files. Although often non-financial, this hidden content can impact…

Machine Learning · Computer Science 2025-04-21 Charalampos Kleitsikas , Nikolaos Korfiatis , Stefanos Leonardos , Carmine Ventre

This paper surveys innovative protocols that enhance the programming functionality of the Bitcoin blockchain, a key part of the "Bitcoin Ecosystem." Bitcoin utilizes the Unspent Transaction Output (UTXO) model and a stack-based script…

Cryptography and Security · Computer Science 2024-10-01 Guofu Liao , Taotao Wang , Qing Yang , Yihan Xia , Long Shi , Xiang Zhao , Xiaoxiao Wu , Shengli Zhang , Anthony Chan , Richard Yuen

One of the fundamental applications for a practically useful system of money is remuneration. Information pertaining to the amount of compensation awarded to different individuals is often considered sensitive, commanding a certain degree…

Computers and Society · Computer Science 2017-03-14 S. Matthew English , Ehsan Nezhadian

In the past decade, blockchain has emerged as a promising solution for building secure distributed ledgers and has attracted significant attention. However, current blockchain systems suffer from limited throughput, poor scalability, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-07 Tayyaba Noreen , Qiufen Xia , Muhammad Zeeshan Haider

A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test. In…

Cryptography and Security · Computer Science 2021-10-01 Paolo Bottoni , Anna Labella , Remo Pareschi

We introduce blockchains and distributed ledgers and describe their potential applications to money and banking. The analysis compares public and private ledgers and outlines the suitability of various types of ledgers for different…

Mathematical Finance · Quantitative Finance 2017-03-07 Alexander Lipton

Blockchain-based cryptocurrencies prioritize transactions based on their fees, creating a unique kind of fee market. Empirically, this market has failed to yield stable equilibria with predictable prices for desired levels of service. We…

Cryptography and Security · Computer Science 2019-01-23 Soumya Basu , David Easley , Maureen O'Hara , Emin Gün Sirer

Blockchain technology enables the execution of collaborative business processes involving untrusted parties without requiring a central authority. Specifically, a process model comprising tasks performed by multiple parties can be…

Software Engineering · Computer Science 2016-12-12 Luciano García-Bañuelos , Alexander Ponomarev , Marlon Dumas , Ingo Weber

With the proliferation of new blockchain-based cryptocurrencies/assets and platforms that make it possible to transact across them, it becomes important to consider not just whether the transfer of coins/assets can be tracked within their…

Cryptography and Security · Computer Science 2025-10-14 Ayush Kumar , Vrizlynn L. L. Thing

Blockchain also known as a distributed ledger technology stores different transactions/operations in a chain of blocks in a distributed manner without needing a trusted third-party. Blockchain is proven to be immutable which helps for…

Cryptography and Security · Computer Science 2019-04-30 Danda B. Rawat , Vijay Chaudhary , Ronald Doku

Annotating blockchains with auxiliary data is useful for many applications. For example, e-crime investigations of illegal Tor hidden services, such as Silk Road, often involve linking Bitcoin addresses, from which money is sent or…

Cryptography and Security · Computer Science 2023-09-26 Yazan Boshmaf , Husam Al Jawaheri , Mashael Al Sabah

A popular method in practice offloads computation and storage in blockchains by relying on committing only hashes of off-chain data into the blockchain. This mechanism is acknowledged to be vulnerable to a stalling attack: the blocks…

Cryptography and Security · Computer Science 2021-03-05 Peiyao Sheng , Bowen Xue , Sreeram Kannan , Pramod Viswanath

State government operations comprise a large number of transactions for different processes that must be carried out across the state. This comprises new projects, maintenance and repairs, public employee compensation, and agricultural…

Cryptography and Security · Computer Science 2022-12-06 Nibula Bente Rashid , Joyeeta Saha , Raonak Islam Prova , Nowshin Tasfia , Md. Nazrul Huda Shanto , Jannatun Noor
‹ Prev 1 4 5 6 7 8 10 Next ›