Entropy | |
Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain | |
Piotr Kulicki1  Xin Sun1  Mirek Sopek2  | |
[1] Department of the Foundations of Computer Science, The John Paul Catholic University of Lublin, 20-502 Lublin, Poland;MakoLab SA, 91-062 Lodz, Poland; | |
关键词: logic programming; quantum blockchain; smart contract; | |
DOI : 10.3390/e23091120 | |
来源: DOAJ |
【 摘 要 】
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 used in LC by answer set programming (ASP), a modern approach to declarative logic programming. Using ASP enables us to write various interesting smart contracts, such as conditional payment, commitment, multi-party lottery and legal service. A striking feature of our ASP implementation proposal is that it involves post-quantum cryptographic primitives, such as the lattice-based public key encryption and signature. The adoption of the post-quantum cryptographic signature overcomes a specific limitation of LC in which the unconditionally secure signature, despite its strength, offers limited protection for users of the same node.
【 授权许可】
Unknown