English
Related papers

Related papers: Towards automated verification of multi-party cons…

200 papers

Modern blockchain systems are a fresh look at the paradigm of distributed computing, applied under assumptions of large-scale public networks. They can be used to store and share information without a trusted central party. There has been…

Databases · Computer Science 2018-03-19 Sara Cohen , Aviv Zohar

Blockchain scalability can be complicated and costly. As enterprises begin to adopt blockchain technology to solve business problems, there are valid concerns if blockchain applications can support the transactional demands of production…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-25 Grant Chung , Luc Desrosiers , Manav Gupta , Andrew Sutton , Kaushik Venkatadri , Ontak Wong , Goran Zugic

Hyperledger Fabric is one of the most popular permissioned blockchain platforms. Although many existing works on the overall system performance of Hyperledger Fabric are available, a decomposition of each phase in Hyperledger Fabric remains…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-09-19 Canhui Wang , Xiaowen Chu

Current blockchain approaches for business contracts are based on smart contracts, namely, software programs placed on a blockchain that are automatically executed to realize a contract. However, smart contracts lack flexibility and…

Multiagent Systems · Computer Science 2021-04-20 Samuel H. Christie , Amit K. Chopra , Munindar P. Singh

The increasing availability of data from diverse sources, including trusted entities such as governments, as well as untrusted crowd-sourced contributors, demands a secure and trustworthy environment for storage and retrieval. Blockchain,…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-27 Aishwarya Parab , Prakhar Pradhan , Yogesh Simmhan , Arnab K. Paul

In the high-stakes race to develop more scalable blockchains, some platforms (Binance, Cosmos, EOS, TRON, etc.) have adopted committee-based consensus (CBC) protocols, whereby the blockchain's record-keeping rights are entrusted to a…

Cryptography and Security · Computer Science 2022-12-02 Alon Benhaim , Brett Hemenway Falk , Gerry Tsoukalas

In blockchain systems, especially cryptographic currencies such as Bitcoin, the double-spending and Byzantine-general-like problem are solved by reaching consensus protocols among all nodes. The state-of-the-art protocols include…

Cryptography and Security · Computer Science 2018-08-02 Jianwen Chen , Kai Duan , Rumin Zhang , Liaoyuan Zeng , Wenyi Wang

Consensus protocols are crucial for a blockchain system as they are what allow agreement between the system's nodes in a potentially adversarial environment. For this reason, it is paramount to ensure their correct design and implementation…

Cryptography and Security · Computer Science 2026-01-13 Elliot Jones , William Knottenbelt

The security of blockchain systems is fundamentally based on the decentralized consensus in which the majority of parties behave honestly, and the content verification process is essential to maintaining the robustness of blockchain…

Cryptography and Security · Computer Science 2025-08-21 Zishuo Zhao , Xi Chen , Yuan Zhou

Blockchain technology has piqued the interest of businesses of all types, while consistently improving and adapting to developers and business owners requirements. Therefore, several blockchain platforms have emerged, making it challenging…

Cryptography and Security · Computer Science 2023-03-15 Rima Kaafarani , Leila Ismail , Oussama Zahwe

A smart contract is a digital program of transaction protocol (rules of contract) based on the consensus architecture of blockchain. Smart contracts with Blockchain are modern technologies that have gained enormous attention in scientific…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-17 Norah M. Alshahrani , M. L. Mat Kiah , B. B. Zaidan , A. H. Alamoodi , Abdu Saif

Companies trying to build new solutions using blockchain are confronted with a plethora of available concurrent technologies that have many control knobs which require fine-tuning by experts. Exiting studies that build decision models for…

Cryptography and Security · Computer Science 2020-04-14 Nicolas Six , Nicolas Herbaut , Camille Salinesi

The adoption of permissioned blockchain networks in enterprise settings has seen an increase in growth over the past few years. While encouraging, this is leading to the emergence of new data, asset and process silos limiting the potential…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-11-05 Ermyas Abebe , Dushyant Behl , Chander Govindarajan , Yining Hu , Dileban Karunamoorthy , Petr Novotny , Vinayaka Pandit , Venkatraman Ramakrishna , Christian Vecchiola

Blockchains rely on economic incentives to ensure secure and decentralised operation, making incentive compatibility a core design concern. However, protocols are rarely deployed in isolation. Applications interact with the underlying…

Computer Science and Game Theory · Computer Science 2026-04-08 Zeta Avarikioti , Georg Fuchsbauer , Pim Keer , Matteo Maffei , Fabian Regen

Blockchain and distributed ledger technologies are gaining the interest of the academy, companies, and institutions. Nonetheless, the path toward blockchain adoption is not straightforward, as blockchain is a complex technology that…

Cryptography and Security · Computer Science 2022-10-27 Vittorio Capocasale , Guido Perboli

Decentralized techniques are becoming crucial and ubiquitous with the rapid advancement of distributed ledger technologies such as the blockchain. Numerous decentralized systems have been developed to address security and privacy issues…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-20 Yepeng Ding , Hiroyuki Sato

Blockchain has recently attracted the attention of the industry due, in part, to its ability to automate asset transfers. It requires distributed participants to reach a consensus on a block despite the presence of malicious (a.k.a.…

Cryptography and Security · Computer Science 2022-06-10 Nathalie Bertrand , Vincent Gramoli , Igor Konnov , Marijana Lazić , Pierre Tholoniat , Josef Widder

We review probabilistic models known as majority dynamics (also known as threshold Voter Models) and discuss their possible applications for achieving consensus in cryptocurrency systems. In particular, we show that using this approach…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-13 Serguei Popov , Sebastian Müller

The communication protocols and data transfer mechanisms employed by IoT devices in smart buildings and corresponding digital twin systems predominantly rely on centralized architectures. Such centralized systems are vulnerable to single…

Cryptography and Security · Computer Science 2026-04-21 Reachsak Ly , Alireza Shojaei

The Algorand blockchain is a secure and decentralized public ledger based on pure proof of stake rather than proof of work. At its core it is a novel consensus protocol with exactly one block certified in each round: that is, the protocol…

Cryptography and Security · Computer Science 2020-08-26 Musab A. Alturki , Jing Chen , Victor Luchangco , Brandon Moore , Karl Palmskog , Lucas Peña , Grigore Roşu