中文
相关论文

相关论文: Immutability Does Not Guarantee Trust: A Formal an…

200 篇论文

Distributed trust is a nebulous concept that has evolved from different perspectives in recent years. While one can attribute its current prominence to blockchain and cryptocurrency, the distributed trust concept has been cultivating…

密码学与安全 · 计算机科学 2023-06-16 Sin Kit Lo , Yue Liu , Guangsheng Yu , Qinghua Lu , Xiwei Xu , Liming Zhu

Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust…

计算机科学中的逻辑 · 计算机科学 2018-11-16 Ron van der Meyden

The question of \emph{knowledge}, \emph{truth} and \emph{trust} is explored via a mathematical formulation of claims and sources. We define truth as the reproducibly perceived subset of knowledge, formalize sources as having both generative…

人工智能 · 计算机科学 2026-03-10 Aravind R. Iyengar

A blockchain is redactable if a private key holder (e.g. a central authority) can change any single block without violating integrity of the whole blockchain, but no other party can do that. In this paper, we offer a simple method of…

密码学与安全 · 计算机科学 2020-01-30 Dima Grigoriev , Vladimir Shpilrain

Ethereum represents new innovation in the fields of cryptocurrency which has become relatively stagnate, promising many things, including an entire programming language and development enviroment built into the network. However the current…

密码学与安全 · 计算机科学 2016-12-15 Abrahim Ladha , Sharbani Pandit , Sanya Ralhan

Here we propose a general relativistic quantum framework for cryptography that exploits the fascinating connection of quantum non-locality and special theory of relativity with cryptography. The underlying principle of unconditional…

量子物理 · 物理学 2015-03-24 Muhammad Nadeem

It is undeniable that artificial intelligence (AI) and blockchain concepts are spreading at a phenomenal rate. Both technologies have distinct degree of technological complexity and multi-dimensional business implications. However, a common…

人工智能 · 计算机科学 2018-10-24 Tshilidzi Marwala , Bo Xing

Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their resilience to tampering, smart contracts are appealing in…

密码学与安全 · 计算机科学 2018-06-21 Massimo Bartoletti , Livio Pompianu

Blockchains are being positioned as the "technology of trust" that can be used to mediate transactions between non-trusting parties without the need for a central authority. They support transaction types that are native to the blockchain…

密码学与安全 · 计算机科学 2024-11-06 Nodirbek Korchiev , Akash Pateria , Vodelina Samatova , Sogolsadat Mansouri , Kemafor Anyanwu

Blockchain technology has set off a wave of decentralization in the world since its birth. The trust system constructed by blockchain technology based on cryptography algorithm and computing power provides a practical and powerful solution…

计算工程、金融与科学 · 计算机科学 2025-05-08 Pengfei Gao , Dechao Kong , Xiaoqi Li

There exist many forms of Blockchain finality conditions, from deterministic to probabilistic terminations. To favor availability against consistency in the face of partitions, most blockchains only offer probabilistic eventual finality:…

分布式、并行与集群计算 · 计算机科学 2020-12-21 Emmanuelle Anceaume , Antonella Pozzo , Thibault Rieutord , Sara Tucci-Piergiovanni

We observe some puzzling linguistic data concerning ordinary knowledge ascriptions that embed an epistemic (im)possibility claim. We conclude that it is untenable to jointly endorse both classical logic and a pair of intuitively attractive…

计算机科学中的逻辑 · 计算机科学 2023-07-12 Peter Hawke

The current Web has no general mechanisms to make digital artifacts --- such as datasets, code, texts, and images --- verifiable and permanent. For digital artifacts that are supposed to be immutable, there is moreover no commonly accepted…

密码学与安全 · 计算机科学 2015-07-08 Tobias Kuhn , Michel Dumontier

In today's programmable blockchains, smart contracts are limited to being deterministic and non-probabilistic. This lack of randomness is a consequential limitation, given that a wide variety of real-world financial contracts, such as…

计算机科学与博弈论 · 计算机科学 2019-02-22 Krishnendu Chatterjee , Amir Kafshdar Goharshady , Arash Pourdamghani

Ethereum has undergone a recent change called \textit{the Merge}, which made Ethereum a Proof-of-Stake blockchain, shifting closer to BFT consensus. Ethereum, which wished to keep the best of the two protocol designs (BFT and…

密码学与安全 · 计算机科学 2023-09-15 Ulysse Pavloff , Yackolley Amoussou-Guenou , Sara Tucci-Piergiovanni

A common way of stating the non-cloning theorem -- one of distinguishing characteristics of quantum theory -- is that one cannot make a copy of an arbitrary unknown quantum state. Even though this theorem is an important part of the ongoing…

量子物理 · 物理学 2019-05-17 Arkady Bolotin

The promise of AI is huge. AI systems have already achieved good enough performance to be in our streets and in our homes. However, they can be brittle and unfair. For society to reap the benefits of AI systems, society needs to be able to…

人工智能 · 计算机科学 2020-02-18 Jeannette M. Wing

Blockchain technology is an interlinked systematic chain of blocks that contains transaction history and other user data. It works under the principle of decentralized distributed digital ledger. This technology enables cryptographically…

密码学与安全 · 计算机科学 2020-12-25 AKM Bahalul Haque , Mahbubur Rahman

Blockchain is a distributed database that keeps a chronologically-growing list (chain) of records (blocks) secure from tampering and revision. While computerisation has changed the nature of a ledger from clay tables in the old days to…

综合金融 · 定量金融 2016-12-20 Jan Hendrik Witte

Cooperation is fundamental for human prosperity. Blockchain, as a trust machine, is a cooperative institution in cyberspace that supports cooperation through distributed trust with consensus protocols. While studies in computer science…

综合经济学 · 经济学 2023-01-23 Luyao Zhang , Xinyu Tian