Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain

This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently proposed framework of quantum-secured blockchain, called Logicontract (LC). We then extend the logic us...

Full description

Bibliographic Details
Main Authors: Xin Sun, Piotr Kulicki, Mirek Sopek
Format: Article
Language:English
Published: MDPI AG 2021-08-01
Series:Entropy
Subjects:
logic programming
quantum blockchain
smart contract
Online Access:https://www.mdpi.com/1099-4300/23/9/1120

Internet

https://www.mdpi.com/1099-4300/23/9/1120

Similar Items