In this paper, we introduce a new approach to fix the validation of a block and the assignment of a new block in a blockchain infrastructure by using a novel negotiation procedure. The block validation and assignment are reached thanks to negotiation procedures based on an extended probability environment. Also, by using a multiscale approach (typical of Complexity Theory) and Quantum and Relativistic Mechanics, the result appears to solve some of the most relevant questions in the Blockchain context, which are the democracy and the randomness of the validator of a block and the assignment of the new one. The selection of actors to mine is invariant concerning the number of addresses, i.e., the coins of owners, which have more chance to be selected generally. This work is the companion of CQKD (Computational Quantum Key Distribution), as we will see in the introduction, where we considered the infrastructural question of the key distribution; also, it is a very effective application of the decision and reasoning in incompleteness or uncertainty conditions as described in the previous and prodromic paper as described in the introduction too.
This White Paper introduces and contributes the first implementation of the Decentralized Voting Algorithm. First, Part I provides an overview for the software structures relevant to this work. Second, Part II introduces a decentralized voting algorithm for transferring value on blockchain networks. Third, Part III explains the voting algorithm’s implementation in reach, including the backend architecture, web deployment, and quantum integration. Perhaps most significantly, this paper solves the Decentralized Voting Problem with a new quantum consensus system.
Oct 8, 2020·Proceedings of the Twenty-First International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing
This paper explores and suggests possibilities for the design of quantum blockchain systems that are inspired by quantum processing techniques. Quantum states are defined that can be processed either by a physical quantum computer or virtually by emulation on a classical computer where such states can be entangled across different nodes in the system. The collapse of quantum state variables are explored utilizing non-deterministic smart contract processing. A quantum blockchain network is realized with different nodes in the system interacting with each other though a communication network. Different networking use-cases are explored such as to determine which user is given access to a network at a given time, or to select the best access node for a given user.
This article considered deficiencies of the flourishing blockchain technology manifested by the development of quantum computation. We show that the future blockchain technology would under constant threats from the following aspects: 1) Speed up the generation of nonces; 2) Faster searching for hash collisions; 3) Break the security of the classical encryption. We also demonstrate that incorporating some quantum properties into blockchain makes it more robust and more efficient. For example people can establish a quantum-security blockchain system that utilizes quantum key distribution (QKD), and quantum synchronization and detectable Byzantine agreement (DBA) can help the blockchain systems achieve faster consensus even if there exist a number of malicious nodes.
The posthoc verification protocol [J. F. Fitzsimons, M. Hajdu{\v s}ek, and T. Morimae, Physical Review Letters {\bf120}, 040501 (2018)] enables an information-theoretically-sound non-interactive verification of quantum computing, but the message from the prover to the verifier is quantum and the verifier has to do single-qubit measurements. The Mahadev protocol removes these quantum parts, but the soundness becomes the computational one. In this paper, we construct an information-theoretically-sound non-interactive classical verification protocol for quantum computing with a trusted center. The trusted center sends random BB84 states to the prover, and the classical descriptions of these BB84 states to the verifier. The messages from the center to the prover and the verifier are independent of the instance. By slightly modifying our protocol, we also construct a non-interactive statistical zero-knowledge proof system for QMA with the trusted center.
Shreya Banerjee, Arghya Mukherjee, Prasanta K. Panigrahi
This paper proposes a protocol to prepare a blockchain using quantum tools which maintains the distributive nature of the blockchain and provides security against a quantum attacker. The authors provide an example of a two blockchain prepared in IBM 5 qubit quantum computer, as a proof of concept with fidelity close to 0.9548.
In a cryptocurrency network such as Bitcoin or Helium, the fundamental unit of interaction is a transaction where value is transferred from one entity to another. In this type of network, the blockchain is an immutable, distributed ledger of all of the transactions that have transpired on the network. Value is transferred from one public address to another public address. We can examine and enumerate all of the transactions associated with a public address by scanning the entire blockchain for transactions that involve this address. In fact, if we scan the blockchain forward from the genesis block, then the last transaction involving this address also provides the cryptocurrency balance which is associated with this address.
No-signalling (NOSIG) correlations, that are stronger than those allowed by quantum entanglement yet do not violate relativistic causality, are a valuable resource for understanding information processing systems. Such correlations can be achieved between non-communicating players in games when the players use what is called non-local strategies, and can give the players better odds at winning in these games. We propose definitions for non-local strategies in relativistic multi-player non-local games. We prove a conjecture by Crépeau stating that any non-local strategy that can be simultaneously produced by any pi-signalling strategy in a multi-player non-local game, has to be a NOSIG strategy. Pi-signalling strategies are achieved when 1-way signalling is allowed between players arranged on a line defined by some permutation. This result gives us a better understanding of how NOSIG strategies fit with the other non-local strategies, and can help in constructing novel NOSIG multi-player strategies and help prove they produce NOSIG correlations. Finally, we extend the definition of zero-knowledge proof systems to the relativistic multi-prover, multi-verifier setting, and propose definitions for what it means for a non-local strategy to have polynomial time complexity
Muhammad Taimour Azhar, Muhammad Burhan Khan, Asim ur Rehman Khan
A block chain is referred to as a growing list of records which are linked using cryptography. It is simple and open ledger that records all the transactions in block structures. These block structures are bound with each other by using Quantum Cryptographic protocols. The block chain is democratic system in which concerned parties get access by using a key to perform transaction. The well-known type of Quantum Cryptography protocol is Quantum Key Distribution (QKD). With the help of QKD our Crypto-currency system is secured when passage in between transmitting end and receiving end shouldn't be intrude by third party. Secrecy of the system depends upon different factors like efficient and optimized key rate, secure carrier of modulating signal. In this work the transparency and immunity of block chain based crypto-currency system is analyzed with simulation of six state QKD Protocol. The generation of key rate is observed to ensure the path for production of better crypto-currency system. A Mathematical model is used to obtain the desire constraints so that linear relationship can be achieved. At application level this study contributes to the implementation of crypto-currency system through six state QKD protocol.
Atomic Swap enables two parties to atomically exchange their own cryptocurrencies without trusted third parties. This paper provides the first quantitative analysis on the fairness of the Atomic Swap protocol, and proposes the first fair Atomic Swap protocol with implementations.
In this work we consider the interplay between multiprover interactive proofs, quantum entanglement, and zero knowledge proofs - notions that are central pillars of complexity theory, quantum information and cryptography. In particular, we study the relationship between the complexity class MIP*, the set of languages decidable by multiprover interactive proofs with quantumly entangled provers, and the class PZK-MIP*, which is the set of languages decidable by MIP* protocols that furthermore possess the perfect zero knowledge property. Our main result is that the two classes are equal, i.e., MIP* = PZK-MIP*. This result provides a quantum analogue of the celebrated result of Ben-Or, Goldwasser, Kilian, and Wigderson (STOC 1988) who show that MIP = PZK-MIP (in other words, all classical multiprover interactive protocols can be made zero knowledge). We prove our result by showing that every MIP* protocol can be efficiently transformed into an equivalent zero knowledge MIP* protocol in a manner that preserves the completeness-soundness gap. Combining our transformation with previous results, we obtain the corollaries that i) all languages that can be solved in non-deterministic double exponential time have zero knowledge MIP* protocols and ii) all co-recursively enumerable languages (which include undecidable problems as well as all decidable problems) have zero knowledge MIP* protocols with vanishing promise gap.
We outline a quantum-enabled blockchain architecture based on a consortium of quantum servers. The network is hybridised, utilising digital systems for sharing and processing classical information combined with a fibre--optic infrastructure and quantum devices for transmitting and processing quantum information. We deliver an energy efficient interactive mining protocol enacted between clients and servers which uses quantum information encoded in light and removes the need for trust in network infrastructure. Instead, clients on the network need only trust the transparent network code, and that their devices adhere to the rules of quantum physics. To demonstrate the energy efficiency of the mining protocol, we elaborate upon the results of two previous experiments (one performed over 1km of optical fibre) as applied to this work. Finally, we address some key vulnerabilities, explore open questions, and observe forward--compatibility with the quantum internet and quantum computing technologies.
This work is an exploration of how graphs and permutations can be applied in the context of quantum information processing. In Chapter 2 we consider problems about the permutations of the subsystems of a quantum system. Explicitly, we attempt to understand the problem of determining if two quantum states of N qubits are isomorphic: if one can be obtained from the other by permuting its subsystems. We show that the well known graph isomorphism problem is a special case of state isomorphism. We also show that the complement of state isomorphism, the problem of determining if two states are not isomorphic, can be verified by a quantum interactive proof system, and that this proof system can be made statistical zero knowledge. We also consider the complexity of isomorphism problems for stabilizer states, and mixed states. In Chapter 3 we work with a special class of quantum states called grid states, in an effort to develop a toy model for mixed state entanglement. The key idea with grid states is that they can be represented by what we call a grid-labelled graph, literally, a graph forced to have vertices on a two dimensional grid. We show that whether or not a grid state is entangled can sometimes be determined solely from the structural properties of its corresponding grid-labelled graph. We use the grid state framework to build families of bound entangled states, suggesting that even in this restricted setting detecting entanglement is non-trivial and will require more than a single entanglement criterion.
We propose definitions and implementations of "S-money" - virtual tokens designed for high value fast transactions on networks with relativistic or other trusted signalling constraints, defined by inputs that in general are made at many network points, some or all of which may be space-like separated. We argue that one significant way of characterising types of money in space-time is via the "summoning" tasks they can solve: that is, how flexibly the money can be propagated to a desired space-time point in response to relevant information received at various space-time points. We show that S-money is more flexible than standard quantum or classical money in the sense that it can solve deterministic summoning tasks that they cannot. It requires the issuer and user to have networks of agents with classical data storage and communication, but no long term quantum state storage, and is feasible with current technology. User privacy can be incorporated by secure bit commitment and zero knowledge proof protocols. The level of privacy feasible in given scenarios depends on efficiency and composable security questions that remain to be systematically addressed.
Grover's algorithm confers on quantum computers a quadratic advantage over classical computers for searching in an arbitrary data set, a scenario that describes Bitcoin mining. It has previously been argued that the only side-effect of quantum mining would be an increased difficulty. In this work, we argue that a crucial argument in the analysis of Bitcoin security breaks down when quantum mining is performed. Classically, a Bitcoin fork occurs rarely, i.e., when two miners find a block almost simultaneously, due to propagation time effects. The situation differs dramatically when quantum miners use Grover's algorithm, which repeatedly applies a procedure called a Grover iteration. The chances of finding a block grow quadratically with the number of Grover iterations applied. Crucially, a miner does not have to choose how many iterations to apply in advance. Suppose Alice receives Bob's new block. To maximize her revenue, she should stop and measure her state immediately in the hopes that her block (rather than Bob's) will become part of the longest chain. The strong correlation between the miners' actions and the fact that they all measure their states at the same time may lead to more forks -- which is known to be a security risk for Bitcoin. We propose a mechanism that, we conjecture, will prevent this form of quantum mining, thereby circumventing the high rate of forks.
We propose a conceptual design for a quantum blockchain. Our method involves encoding the blockchain into a temporal GHZ (Greenberger-Horne-Zeilinger) state of photons that do not simultaneously coexist. It is shown that the entanglement in time, as opposed to an entanglement in space, provides the crucial quantum advantage. All the subcomponents of this system have already been shown to be experimentally realized. Furthermore, our encoding procedure can be interpreted as nonclassically influencing the past.
Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner
Zero knowledge plays a central role in cryptography and complexity. The seminal work of Ben-Or et al. (STOC 1988) shows that zero knowledge can be achieved unconditionally for any language in NEXP , as long as one is willing to make a suitable physical assumption : if the provers are spatially isolated, then they can be assumed to be playing independent strategies. Quantum mechanics, however, tells us that this assumption is unrealistic, because spatially-isolated provers could share a quantum entangled state and realize a non-local correlated strategy. The MIP * model captures this setting. In this work, we study the following question: Does spatial isolation still suffice to unconditionally achieve zero knowledge even in the presence of quantum entanglement? We answer this question in the affirmative: we prove that every language in NEXP has a 2-prover zero knowledge interactive proof that is sound against entangled provers; that is, NEXP ⊆ ZK-MIP * . Our proof consists of constructing a zero knowledge interactive probabilistically checkable proof with a strong algebraic structure, and then lifting it to the MIP * model. This lifting relies on a new framework that builds on recent advances in low-degree testing against entangled strategies, and clearly separates classical and quantum tools. Our main technical contribution is the development of new algebraic techniques for obtaining unconditional zero knowledge; this includes a zero knowledge variant of the celebrated sumcheck protocol, a key building block in many probabilistic proof systems. A core component of our sumcheck protocol is a new algebraic commitment scheme, whose analysis relies on algebraic complexity theory.