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...
保存先:
| 主要な著者: | , , |
|---|---|
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
MDPI AG
2021-08-01
|
| シリーズ: | Entropy |
| 主題: | |
| オンライン･アクセス: | https://www.mdpi.com/1099-4300/23/9/1120 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|