Lattice-Based Proof-of-Work for Post-Quantum Blockchains.

Rouzbeh Behnia Eamonn W. Postlethwaite Muslum Ozgur Ozmen Attila Altay Yavuz

Published in: DPM/CBT@ESORICS (2021)

Keyphrases

linear logic
artificial neural networks
concept lattice
theorem proving
proof planning
theorem prover
quantum computing
quantum inspired
quantum computation
machine learning
decision making
image processing
mobile devices
knowledge representation
automated theorem proving
logic circuits