English
Related papers

Related papers: Bitcoin MiCA Whitepaper

200 papers

In response to the European Commission's aim of cutting carbon emissions by 2050, there is a growing need for cutting-edge solutions to promote low-carbon energy consumption in public infrastructures. This paper introduces a Proof of…

Cryptography and Security · Computer Science 2024-03-14 Renan Lima Baima , Iván Abellán Álvarez , Ivan Pavić , Emanuela Podda

In the white book of Bitcion, Satoshi Nakamoto described a bitcoin system that can realize point-to-point online payment without a third-party organization. After supporting this magical application scenario and subverting the traditional…

Cryptography and Security · Computer Science 2022-09-26 Shi Yan

Blockchain applications that rely on the Proof-of-Work (PoW) have increasingly become energy inefficient with a staggering carbon footprint. In contrast, energy-efficient alternative consensus protocols such as Proof-of-Stake (PoS) may…

Cryptography and Security · Computer Science 2021-01-05 Muhammad Saad , Zhan Qin , Kui Ren , DaeHun Nyang , David Mohaisen

The LISA International Science Team Working Group on Data Analysis (LIST-WG1B) is sponsoring several rounds of mock data challenges, with the purposeof fostering the development of LISA data analysis capabilities, and of demonstrating…

General Relativity and Quantum Cosmology · Physics 2015-06-25 K. A. Arnaud , S. Babak , J. G. Baker , M. J. Benacquista , N. J. Cornish , C. Cutler , S. L. Larson , B. S. Sathyaprakash , M. Vallisneri , A. Vecchio , J-Y. Vinet

Proofgold is a blockchain that supports formalized mathematics alongside standard cryptocurrency functionality. It incorporates logical constructs into the blockchain, including declarations of formal theories, definitions, propositions and…

Logic in Computer Science · Computer Science 2025-09-11 Chad E. Brown , Cezary Kaliszyk , Josef Urban

Payment channel networks are an approach to improve the scalability of blockchain-based cryptocurrencies. Because payment channel networks are used for transfer of financial value, their security in the presence of adversarial participants…

Logic in Computer Science · Computer Science 2023-07-06 Matthias Grundmann , Hannes Hartenstein

In a previous paper, it was discussed whether Bitcoin and/or its blockchain could be considered a complex system and, if so, whether a chaotic one, a positive response raising concerns about the likelihood of Bitcoin/blockchain entering a…

Cryptography and Security · Computer Science 2019-11-12 Renato P. dos Santos , Melanie Swan

This paper investigates whether Bitcoin can be regarded as a decentralized autonomous organization (DAO), what insights it may offer for the broader DAO ecosystem, and how Bitcoin governance can be improved. First, a quantitative literature…

Computers and Society · Computer Science 2025-04-30 Mark C. Ballandies , Guangyao Li , Claudio J. Tessone

Many blockchain systems today, including Bitcoin, rely on Proof of Work (PoW). Proof of work is crucial to the liveness and security of cryptocurrencies. The assumption when using PoW is that a lot of trial and error is required on average…

Cryptography and Security · Computer Science 2021-11-09 Maya Dotan , Saar Tochner

Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority of the participants decides on the correct ledger. Since…

Logic in Computer Science · Computer Science 2015-11-16 Kaylash Chaudhary , Ansgar Fehnker , Jaco van de Pol , Marielle Stoelinga

The regulatory framework of cryptocurrencies (and, in general, blockchain tokens) is of paramount importance. This framework drives nearly all key decisions in the respective business areas. In this work, a computational model is proposed…

Information Retrieval · Computer Science 2021-03-25 Elias Iosif , Klitos Christodoulou , Andreas Vlachos

Resource-based consensus is the backbone of permissionless distributed ledger systems. The security of such protocols relies fundamentally on the level of resources actively engaged in the system. The variety of different resources (and…

Cryptography and Security · Computer Science 2022-09-08 Matthias Fitzi , Xuechao Wang , Sreeram Kannan , Aggelos Kiayias , Nikos Leonardos , Pramod Viswanath , Gerui Wang

A major issue for many applications of blockchain technology is the tension between immutability and compliance to regulations. For instance, the GDPR in the EU requires to guarantee, under some circumstances, the right to be forgotten.…

Cryptography and Security · Computer Science 2023-05-18 Vincenzo Botta , Vincenzo Iovino , Ivan Visconti

This paper contributes to the verification of programs written in Bitcoin's smart contract language SCRIPT in the interactive theorem prover Agda. It focuses on the security property of access control for SCRIPT programs that govern the…

Symbolic Computation · Computer Science 2022-11-21 Fahad F. Alhabardi , Arnold Beckmann , Bogdan Lazar , Anton Setzer

Decentralized systems built around blockchain technology promise clients an immutable ledger. They add a transaction to the ledger after it undergoes consensus among the replicas that run a Proof-of-Stake (PoS) or Byzantine Fault-Tolerant…

Cryptography and Security · Computer Science 2025-08-08 Junchao Chen , Suyash Gupta , Alberto Sonnino , Lefteris Kokoris-Kogias , Mohammad Sadoghi

The paper presents first results of the CitEcCyr project funded by RANEPA. The project aims to create a source of open citation data for research papers written in Russian. Compared to existing sources of citation data, CitEcCyr is working…

Digital Libraries · Computer Science 2017-10-03 Jose Manuel Barrueco , Thomas Krichel , Sergey Parinov , Victor Lyapunov , Oxana Medvedeva , Varvara Sergeeva

Proof of Authority (PoA) is a type of permissioned consensus algorithm with a fixed committee. PoA has been widely adopted by communities and industries due to its better performance and faster finality. In this paper, we explore the…

Cryptography and Security · Computer Science 2022-05-03 Qin Wang , Rujia Li , Qi Wang , Shiping Chen , Yang Xiang

The Bitcoin protocol allows to save arbitrary data on the blockchain through a special instruction of the scripting language, called OP_RETURN. A growing number of protocols exploit this feature to extend the range of applications of the…

Cryptography and Security · Computer Science 2017-03-02 Massimo Bartoletti , Livio Pompianu

In February 2020, the European Commission (EC) published a white paper entitled, On Artificial Intelligence - A European approach to excellence and trust. This paper outlines the EC's policy options for the promotion and adoption of…

Computers and Society · Computer Science 2020-06-18 Abhishek Gupta , Camylle Lanteigne

The rising importance of cryptocurrencies as financial assets pushed their applicability from an object of speculation closer to standard financial instruments such as loans. In this work, we initiate the study of secure protocols that…

Cryptography and Security · Computer Science 2025-10-31 Pavel Hubáček , Jan Václavek , Michelle Yeo