中文
相关论文

相关论文: Universally Composable Termination Analysis of Ten…

200 篇论文

Secure multi-party computation (MPC) is a fundamental problem in secure distributed computing. An MPC protocol allows a set of $n$ mutually distrusting parties to carry out any joint computation of their private inputs, without disclosing…

密码学与安全 · 计算机科学 2022-08-10 Ananya Appan , Anirudh Chandramouli , Ashish Choudhury

One of the most celebrated problems of fault-tolerant distributed computing is the consensus problem. It was shown to abstract a myriad of problems in which processes have to agree on a single value. Consensus applications include…

分布式、并行与集群计算 · 计算机科学 2022-09-13 Romaric Duvignau , Michel Raynal , Elad Michael Schiller

Synchronous consensus protocols offer a significant advantage over their asynchronous and partially synchronous counterparts by providing higher fault tolerance -- an essential benefit in distributed systems, like blockchains, where…

分布式、并行与集群计算 · 计算机科学 2025-03-14 Nenad Milošević , Daniel Cason , Zarko Milošević , Robert Soulé , Fernando Pedone

With the rapid development of blockchain, Byzantine fault-tolerant protocols have attracted revived interest recently. To overcome the theoretical bounds of Byzantine fault tolerance, many protocols attempt to use Trusted Execution…

分布式、并行与集群计算 · 计算机科学 2021-07-07 Jiashuo Zhang , Jianbo Gao , Ke Wang , Zhenhao Wu , Ying Lan , Zhi Guan , Zhong Chen

This paper presents IBFT, a simple and elegant Byzantine fault-tolerant consensus algorithm that is used to implement state machine replication in the \emph{Quorum} blockchain. IBFT assumes a partially synchronous communication model, where…

分布式、并行与集群计算 · 计算机科学 2020-05-20 Henrique Moniz

With the advancement of blockchain systems, many recent research works have proposed distributed ledger technology~(DLT) that employs Byzantine fault-tolerant~(BFT) consensus protocols to decide which block to append next to the ledger.…

分布式、并行与集群计算 · 计算机科学 2023-03-21 Christian Berger , Signe Schwarz-Rüsch , Arne Vogel , Kai Bleeke , Leander Jehl , Hans P. Reiser , Rüdiger Kapitza

To provide robustness of distributed model predictive control (DMPC), this work proposes a robust DMPC formulation for discrete-time linear systems subject to unknown-but-bounded disturbances. Taking advantage of the structure of certain…

系统与控制 · 电气工程与系统科学 2021-03-10 Ye Wang , Chris Manzie

We introduce Unity, a new consensus algorithm for public blockchain settings. Unity is an eventual consistency protocol merging the Proof-of-Work (PoW) and Proof-of-Stake (PoS) into a coherent stochastic process. It encompasses hardware and…

密码学与安全 · 计算机科学 2019-06-10 Yulong Wu , Yunfei Zha , Yao Sun

The increasing application and deployment of blockchain in various services necessitates the assurance of the effectiveness of PBFT (Practical Byzantine Fault Tolerance) consensus service. However, the performance of PBFT consensus service…

软件工程 · 计算机科学 2025-04-15 Yujing Cai , Yukun Meng , Weimeng Wang , Xuanming Zhang , Xiaolin Chang

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

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

Parallel Byzantine Fault Tolerant (BFT) protocols based on committee-based sharding improve scalability but weaken safety since smaller node groups are responsible for consensus. Recent approaches integrate trusted execution environments…

分布式、并行与集群计算 · 计算机科学 2026-03-17 Yifei Xie , Btissam Er-Rahmadi , Xiao Chen , Tiejun Ma , Jane Hillston

The integration of Uncrewed Aerial Vehicles (UAVs) into low-altitude airspace has led authorities to adopt distributed Uncrewed Traffic Management (UTM) architectures that ensure interoperability and safety. Blockchain has been proposed as…

网络与互联网体系结构 · 计算机科学 2025-11-20 Rodrigo Nunes , André Melo , Rafael Albarello , Reinaldo Gomes , Cesar Marcondes , Lourenço Pereira

Threshold guards are a basic primitive of many fault-tolerant algorithms that solve classical problems in distributed computing, such as reliable broadcast, two-phase commit, and consensus. Moreover, threshold guards can be found in recent…

分布式、并行与集群计算 · 计算机科学 2023-06-22 Igor Konnov , Marijana Lazić , Ilina Stoilkovska , Josef Widder

Decentralization is a fundamental design element of the Web3 economy. Blockchains and distributed consensus mechanisms are touted as fault-tolerant, attack-resistant, and collusion-proof because they are decentralized. Recent analyses,…

网络与互联网体系结构 · 计算机科学 2026-04-15 Harang Ju , Madhav Kumar , Ehsan Valavi , Sinan Aral

We study the problem of federated contextual combinatorial cascading bandits, where $|\mathcal{U}|$ agents collaborate under the coordination of a central server to provide tailored recommendations to the $|\mathcal{U}|$ corresponding…

机器学习 · 计算机科学 2024-02-27 Hantao Yang , Xutong Liu , Zhiyong Wang , Hong Xie , John C. S. Lui , Defu Lian , Enhong Chen

Decentralized Finance (DeFi) has emerged as a contemporary competitive as well as complementary to traditional centralized finance systems. As of 23rd January 2024, per Defillama approximately USD 55 billion is the total value locked on the…

计算机科学中的逻辑 · 计算机科学 2024-03-26 M. Praveen , Raghavendra Ramesh , Isaac Doidge

To implement a blockchain, the trend is now to integrate a non-trivial Byzantine fault tolerant consensus algorithm instead of the seminal idea of waiting to receive blocks to decide upon the longest branch. After a decade of existence,…

分布式、并行与集群计算 · 计算机科学 2019-10-16 Pierre Tholoniat , Vincent Gramoli

At PODC 2014, A. Most\'efaoui, H. Moumen, and M. Raynal presented a new and simple randomized signature-free binary consensus algorithm (denoted here MMR) that copes with the net effect of asynchrony Byzantine behaviors. Assuming message…

分布式、并行与集群计算 · 计算机科学 2023-01-24 Chryssis Georgiou , Ioannis Marcoullis , Michel Raynal , Elad Michael Schiller

Network robustness against attacks is one of the most fundamental researches in network science as it is closely associated with the reliability and functionality of various networking paradigms. However, despite the study on intrinsic…

社会与信息网络 · 计算机科学 2015-06-23 Pin-Yu Chen , Shin-Ming Cheng