中文
相关论文

相关论文: Bitcoin MiCA Whitepaper

200 篇论文

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…

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

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

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

广义相对论与量子宇宙学 · 物理学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

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

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

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

计算机科学中的逻辑 · 计算机科学 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…

信息检索 · 计算机科学 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…

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

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

符号计算 · 计算机科学 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…

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

数字图书馆 · 计算机科学 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…

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

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

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

密码学与安全 · 计算机科学 2025-10-31 Pavel Hubáček , Jan Václavek , Michelle Yeo