中文
相关论文

相关论文: Bitcoin MiCA Whitepaper

200 篇论文

Since the invention of Bitcoin one decade ago, numerous cryptocurrencies have sprung into existence. Among these, proof-of-work is the most common mechanism for achieving consensus, whilst a number of coins have adopted "ASIC-resistance" as…

计算机与社会 · 计算机科学 2019-07-05 Dimitris Karakostas , Aggelos Kiayias , Christos Nasikas , Dionysis Zindros

We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart contracts with a computationally sound embedding into Bitcoin.…

编程语言 · 计算机科学 2019-08-06 Nicola Atzei , Massimo Bartoletti , Stefano Lande , Nobuko Yoshida , Roberto Zunino

Owing to some special characteristics and features, blockchain is a very useful technique that can securely organize diverse devices in a smart city. It finds wide applications, especially in distributed environments, where entities such as…

密码学与安全 · 计算机科学 2021-04-01 Jiahui Chen , Wensheng Gan , Muchuang Hu , Chien-Ming Chen

We analyze the economic incentives generated by the proof-of-stake mechanism discussed in the Ethereum Casper upgrade proposal. Compared with proof-of-work, proof-of-stake has a different cost structure for attackers. In Budish (2018),…

密码学与安全 · 计算机科学 2018-07-26 George Gui , Ali Hortacsu , Jose Tudon

A pivotal feature of IPv6 is its plug-and-play capability that enables hosts to integrate seamlessly into networks. In the absence of a trusted authority or security infrastructure, the challenge for hosts is generating their own address…

密码学与安全 · 计算机科学 2024-06-19 Mathieu Ducroux

Background: Explainability in phishing detection model can support a further solution of phishing attack mitigation by increasing trust and understanding how phishing can be detected. Objective: The aims of this study to determine and best…

密码学与安全 · 计算机科学 2024-12-04 Abdullah Fajar , Setiadi Yazid , Indra Budi

This work proposes a scalable, blockchain-based platform for the secure sharing of COVID-19 or other disease vaccination certificates. As an indicative use case, we simulate a large-scale deployment by considering the countries of the…

Cryptocurrencies gain trust in users by publicly disclosing the full creation and transaction history. In return, the transaction history faithfully records the whole spectrum of cryptocurrency user behaviors. This article analyzes and…

密码学与安全 · 计算机科学 2020-10-05 Xiao Fan Liu , Xin-Jian Jiang , Si-Hao Liu , Chi Kong Tse

Blockchain has become a popular decentralized paradigm for various applications in the zero-trust environment. The core of the blockchain is the consensus protocol, which establishes consensus among all the participants. PoW (Proof-of-Work)…

密码学与安全 · 计算机科学 2023-08-30 Peiran Wang

This work proposes a novel proof-of-work blockchain incentive scheme such that, barring exogenous motivations, following the protocol is guaranteed to be the optimal strategy for miners. Our blockchain takes the form of a directed acyclic…

密码学与安全 · 计算机科学 2022-06-22 Jakub Sliwinski , Roger Wattenhofer

People increasingly use digital platforms to exchange resources in accordance with some policies stating what resources users offer and what they require in return. In this paper, we propose a formal model of these environments, focussing…

计算机科学中的逻辑 · 计算机科学 2026-02-02 Lorenzo Ceragioli , Pierpaolo Degano , Letterio Galletta , Luca Viganò

We study decentralized cryptocurrency protocols in which the participants do not deplete physical scarce resources. Such protocols commonly rely on Proof of Stake, i.e., on mechanisms that extend voting power to the stakeholders of the…

密码学与安全 · 计算机科学 2017-01-12 Iddo Bentov , Ariel Gabizon , Alex Mizrahi

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

We explore the feasibility of deploying Bitcoin as the shared monetary standard between Earth and Mars, accounting for physical constraints of interplanetary communication. We introduce a novel primitive, Proof-of-Transit Timestamping…

密码学与安全 · 计算机科学 2025-08-29 Jose E. Puente , Carlos Puente

Exploit proof-of-concepts (PoCs) for known vulnerabilities are widely shared in the security community. They help security analysts to learn from each other and they facilitate security assessments and red teaming tasks. In the recent…

密码学与安全 · 计算机科学 2023-06-08 Soufian El Yadmani , Robin The , Olga Gadyatskaya

This research introduces the Blockchain Academic Credential Interoperability Protocol (BACIP), designed to significantly enhance the security, privacy, and interoperability of verifying academic credentials globally, addressing the…

密码学与安全 · 计算机科学 2024-06-25 Juan A. Berrios Moya

The famous new money Bitcoin is classified as a technical informational money (TIM). Besides introducing the idea of a TIM, a more extreme notion of informational money will be developed: exclusively informational money (EXIM). The…

计算机与社会 · 计算机科学 2013-12-31 Jan A. Bergstra , Karl de Leeuw

Most public blockchain protocols, including the popular Bitcoin and Ethereum blockchains, do not formally specify the order in which miners should select transactions from the pool of pending (or uncommitted) transactions for inclusion in…

Bitcoin demonstrated the possibility of a financial ledger that operates without the need for a trusted central authority. However, concerns persist regarding its security and considerable energy consumption. We assess the consensus…

计算机科学与博弈论 · 计算机科学 2025-03-04 Jacob D. Leshno , Elaine Shi , Rafael Pass

The introduction of Bitcoin fueled the development of blockchain-based resilient data management systems that are resilient against failures, enable federated data management, and can support data provenance. The key factor determining the…

数据库 · 计算机科学 2022-04-08 Jelle Hellings , Suyash Gupta , Sajjad Rahnama , Mohammad Sadoghi