Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic.
Xin SunMirek SopekQuanlong WangPiotr KulickiPublished in: Entropy (2019)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- modal logic
- logic programming
- classical logic
- quantum mechanics
- real time
- sound and complete axiomatization
- quantum computing
- database
- digital signature
- formal theory
- signature verification
- asynchronous circuits
- multi valued
- delay insensitive
- genetic algorithm
- information retrieval
- data sets
- probability ranking principle