English
Related papers

Related papers: An Ambiguous State Machine

200 papers

We study the problem of state machine replication (SMR)---the underlying problem addressed by blockchain protocols---in the presence of a malicious adversary who can corrupt some fraction of the parties running the protocol. Existing…

Cryptography and Security · Computer Science 2020-03-31 Erica Blum , Jonathan Katz , Julian Loss

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…

Artificial Intelligence · Computer Science 2018-10-24 Tshilidzi Marwala , Bo Xing

Blockchains combine a distributed append-only log with a virtual machine that defines how log entries are interpreted. By viewing transactions as state transformation functions for the virtual machine, we separate the naming of a state from…

Cryptography and Security · Computer Science 2022-01-21 Bennet Yee , Dawn Song , Patrick McCorry , Chris Buckland

A lot of business and research effort currently deals with the so called decentralised ledger technology blockchain. Putting it to use carries the tempting promise to make the intermediaries of social interactions superfluous and…

Computers and Society · Computer Science 2024-05-13 Rainer Rehak

There is an ongoing competition among blockchain technologies and the existence of one ultimate blockchain is impossible for many reasons. On the other hand, such variety can create difficulties in adoption, especially for the governments…

Cryptography and Security · Computer Science 2020-07-24 Oleksii Konashevych

Blockchain has been praised for its capacity to hold data in a decentralized and tamper-proof way. It also supports the execution of code through blockchain's smart contracts, adding automation of actions to the network with high…

Cryptography and Security · Computer Science 2021-01-25 Nicolas Six , Claudia Negri Ribalta , Nicolas Herbaut , Camille Salinesi

In the given technology-driven era, smart cities are the next frontier of technology, aiming at improving the quality of people's lives. Many research works focus on future smart cities with a holistic approach towards smart city…

Cryptography and Security · Computer Science 2021-07-22 S. Valli Sanghami , John J. Lee , Qin Hu

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state…

Programming Languages · Computer Science 2020-04-28 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

Simple commit-reveal beacons are vulnerable to last-revealer strategies, and existing descriptions often leave accountability and recovery mechanisms unspecified for practical deployments. We present Commit-Reveal$^2$, a layered design for…

Cryptography and Security · Computer Science 2025-09-18 Suhyeon Lee , Euisin Gee , Najmeh Soroush , Muhammed Ali Bingol , Kaibin Huang

Due to their immutable log of information, blockchains can be considered as a transparency-enhancing technology. The immutability, however, also introduces threats and challenges with respect to privacy laws and illegal content. Introducing…

Cryptography and Security · Computer Science 2021-07-01 Erik Daniel , Florian Tschorsch

Blockchain enables novel, trustworthy Process-Aware Information Systems (PAISs) by enforcing the security, robustness, and traceability of operations. In particular, transparency ensures that all information exchanges are openly accessible,…

Cryptography and Security · Computer Science 2025-11-07 Alessandro Marcelletti , Edoardo Marangone , Michele Kryston , Claudio Di Ciccio

This study presents a blockchain-based voting system aimed at enhancing election security, transparency, and integrity. Traditional voting methods face growing risks of tampering, making it crucial to explore innovative solutions. Our…

Cryptography and Security · Computer Science 2025-02-25 Suniti Chouhan , Gajanand Sharma

Blind quantum computation protocols allow a user with limited quantum technology to delegate an intractable computation to a quantum server while keeping the computation perfectly secret. Whereas in some protocols a user can verify that…

Quantum Physics · Physics 2016-04-04 Kentaro Honda

Programmable blockchains have long been a hot research topic given their tremendous use in decentralized applications. Smart contracts, using blockchains as their underlying technology, inherit the desired properties such as verifiability,…

Cryptography and Security · Computer Science 2025-08-19 Zhaorun Lin

The integration of blockchain technology in robotic systems has been met by the community with a combination of hype and skepticism. The current literature shows that there is indeed potential for more secure and trustable distributed…

Robotics · Computer Science 2024-04-17 Lei Fu , Salma Salimi , Jorge Peña Queralta , Tomi Westerlund

Blockchain technology has completely revolutionized the field of decentralized finance with the emergence of a variety of cryptocurrencies and digital assets. However, widespread adoption of this technology by governments and enterprises…

Cryptography and Security · Computer Science 2025-04-29 Syed Ibrahim Omer

Numerous institutions, such as companies, universities, or non-governmental organizations, employ Internet voting for remote elections. Since the main purpose of an election is to determine the voters' will, it is fundamentally important to…

Cryptography and Security · Computer Science 2023-04-20 Johannes Müller , Tomasz Truderung

Blockchain offers a decentralized, immutable, transparent system of records. It offers a peer-to-peer network of nodes with no centralised governing entity making it unhackable and therefore, more secure than the traditional paper-based or…

Cryptography and Security · Computer Science 2019-11-27 Harsh Jot Singh , Abdelhakim Senhaji Hafid

In contrast to proof-of-work replication, Byzantine quorum systems maintain consistency across replicas with higher throughput modest energy consumption, and deterministic liveness guarantees. If complemented with heterogeneous trust and…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-08-26 Xiao Li , Mohsen Lesani

Industry 5.0 depends on intelligence, automation, and hyperconnectivity operations for effective and sustainable human-machine collaboration. Pivotal technologies like the Internet of Things (IoT) enable this by facilitating connectivity…

Quantum Physics · Physics 2025-03-27 Utkarsh Azad , Bikash K. Behera , Houbing Song , Ahmed Farouk