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

Entropy ◽  
2021 ◽  
Vol 23 (9) ◽  
pp. 1120
Author(s):  
Xin Sun ◽  
Piotr Kulicki ◽  
Mirek Sopek
Keyword(s):  
Logic Programming ◽  
Answer Set Programming ◽  
Legal Service ◽  
Smart Contracts ◽  
Public Key Encryption ◽  
Cryptographic Primitives ◽  
Modern Approach ◽  
Smart Contract ◽  
Starting Point ◽  
Specific Limitation

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.

Legally Enforceable Smart-Contract Languages

2021 ◽  
Vol 54 (5) ◽  
pp. 1-34
Author(s):  
Vimal Dwivedi ◽  
Vishwajeet Pattanaik ◽  
Vipin Deval ◽  
Abhishek Dixit ◽  
Alex Norta ◽  
...  
Keyword(s):  
Literature Review ◽  
Systematic Literature Review ◽  
State Of The Art ◽  
Grey Literature ◽  
Smart Contracts ◽  
Smart Contract ◽  
Decentralized Autonomous Organizations

Smart contracts are a key component of today’s blockchains. They are critical in controlling decentralized autonomous organizations (DAO). However, smart contracts are not yet legally binding nor enforceable; this makes it difficult for businesses to adopt the DAO paradigm. Therefore, this study reviews existing Smart Contract Languages (SCL) and identifies properties that are critical to any future SCL for drafting legally binding contracts. This is achieved by conducting a Systematic Literature Review (SLR) of white- and grey literature published between 2015 and 2019. Using the SLR methodology, 45 Selected and 28 Supporting Studies detailing 45 state-of-the-art SCLs are selected. Finally, 10 SCL properties that enable legally compliant DAOs are discovered, and specifications for developing SCLs are explored.

Smart Contract: Concept, Financial Essence, World Experience and Opportunities of Practical Use

2021 ◽  
Vol 27 (8) ◽  
pp. 1871-1893
Author(s):  
Vasilii A. DADALKO ◽  
Vladimir V. NIKOLAEVSKII ◽  
Andrei D. NEKRASOV ◽  
Dar’ya S. SHERSTNEVA
Keyword(s):  
Banking Sector ◽  
Systems Approach ◽  
Essential Element ◽  
Utilization Efficiency ◽  
Smart Contracts ◽  
Financial Instruments ◽  
Complex Concept ◽  
Smart Contract ◽  
Fundamental Possibility ◽  
The Moment

Subject. The article considers smart contracts as digital financial instruments, their financial and economic essence, which is defined as digital instruments for the settlement of financial relations. Objectives. The aim is to introduce into scientific use such a system concept as digital financial instruments and mechanisms based on the consideration of their economic, legal and financial essence. Methods. The study rests on systems approach that enables to present a smart contract from a technological, economic, legal and financial position as a set of elements with their specific functions defining its complex concept. Results. We reveal the nature of financial relations, arising at the time when bilateral or multilateral transactions are concluded and smart contracts are presented as ways to automatically settle them. Completion of a smart contract is a confirmation of the completion of the transaction and the moment of termination of financial relationship. The article shows the fundamental possibility of using smart contracts in the system of budget relations as a tool for the settlement of a multilateral transaction. Conclusions. Currently, smart contracts are an essential element of a new stage in the development of financial technologies. Specialists in the financial and banking sector recognize the emerging opportunities for their use in the system of financial relations. The paper shows an example of possible use of smart contracts in the settlement of budget relations and in improving the utilization efficiency of budget funds.

Administrative risks challenging the adoption of smart contracts in construction projects

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Asli Pelin Gurgun ◽  
Kerim Koc
Keyword(s):  
Construction Projects ◽  
Risk Mitigation ◽  
Research Question ◽  
Group Discussion ◽  
Mitigation Strategies ◽  
Risk Category ◽  
Smart Contracts ◽  
Content Type ◽  
Smart Contract ◽  
Criteria Weights

PurposeAs a remedy to usually voluminous, complicated and not easily readable construction contracts, smart contracts can be considered as an effective and alternative solution. However, the construction industry is merely known as a frontrunner for fast adoption of recent technological advancements. Numerous administrative risks challenge construction companies to implement smart contracts. To highlight this issue, this study aims to assess the administrative risks of smart contract adoption in construction projects.Design/methodology/approachA literature survey is conducted to specify administrative risks of smart contracts followed by a pilot study to ensure that the framework is suitable to the research question. The criteria weights are calculated through the fuzzy analytical hierarchy process method, followed by a sensitivity analysis based on degree of fuzziness, which supports the robustness of the developed hierarchy and stability of the results. Then, a focus group discussion (FGD) is performed to discuss the mitigation strategies for the top-level risks in each risk category.FindingsThe final framework consists of 27 sub-criteria, which are categorized under five main criteria, namely, contractual, cultural, managerial, planning and relational. The findings show that (1) regulation change, (2) lack of a driving force, (3) works not accounted in planning, (4) shortcomings of current legal arrangements and (5) lack of dispute resolution mechanism are the top five risks challenging the adoption of smart contracts in construction projects. Risk mitigation strategies based on FGD show that improvements for the semi-automated smart contract drafting are considered more practicable compared to full automation.Originality/valueThe literature is limited in terms of the adoption of smart contracts, while the topic is receiving more attention recently. To support easy prevalence of smart contracts, this study attempts the most challenging aspects of smart contract adoption.

Trust but Verify: The Oracle Paradox of Blockchain Smart Contracts

2021 ◽  
Author(s):  
Abdullah Albizri ◽  
Deniz Appelbaum
Keyword(s):  
Internal Control ◽  
Process Management ◽  
Weak Link ◽  
Design Science ◽  
Science Research ◽  
Third Party ◽  
Smart Contracts ◽  
Independent Verification ◽  
Smart Contract ◽  
Control Application

Although research shows that blockchain provides fairly immutable virtual provenance workflows, proof that the Blockchain accurately represents physical events lacks truly independent verification. This dilemma, the Oracle Paradox, challenges blockchain architecture and is perhaps one reason why businesses have hesitated to adopt smart contracts. Blockchain proponents claim that people can serve as trusted Oracles in a smart contract. However, auditing research shows that people are the weak link in almost every internal control application, including those pertaining to blockchain. People are susceptible to collusion, bribery, error, and fraud and these tendencies are not entirely mitigated by blockchain technologies (Balagurusamy et al. 2019; Nakamoto 2008). This research proposes a framework to mitigate the paradox of the Oracle: A Business Process Management (BPM) model of a Blockchain Smart Contract-enabled Supply Chain with IoT as the sole "third-party" Oracle participant, utilizing Design Science research.

scholarly journals Meta-Interpretive Learning Using HEX-Programs

2019 ◽  
Author(s):  
Tobias Kaminski ◽  
Thomas Eiter ◽  
Katsumi Inoue
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Answer Set Programming ◽  
Search Space ◽  
Recent Approach ◽  
Performance Gains ◽  
Pruning Techniques ◽  
Answer Set

Meta-Interpretive Learning (MIL) is a recent approach for Inductive Logic Programming (ILP) implemented in Prolog. Alternatively, MIL-problems can be solved by using Answer Set Programming (ASP), which may result in performance gains due to efficient conflict propagation. However, a straightforward MIL-encoding results in a huge size of the ground program and search space. To address these challenges, we encode MIL in the HEX-extension of ASP, which mitigates grounding issues, and we develop novel pruning techniques.

scholarly journals SMART CONTRACT AND CHALLENGES TO LAW

2020 ◽  
Author(s):  
Gergana Varbanova ◽  
Keyword(s):  
Civil Law ◽  
Smart Contracts ◽  
Program Code ◽  
Advantages And Disadvantages ◽  
Smart Contract ◽  
The Law

Are the technologies advanced enough to replace lawyers and the judiciary in the negotiation and enforcement process? Is it possible for a program code to be a contract that binds the parties named in it? What is a smart contract and what challenges does it pose to the law? The present study aims to clarify and show the advantages and disadvantages of using smart contracts in civil law.

A Modern Approach to Sustainable Resource Management

2015 ◽  
pp. 179-204
Author(s):  
Gökhan Tenikler ◽  
Murat Selim Selvi
Keyword(s):  
Resource Management ◽  
Natural Resources ◽  
Ecological Footprint ◽  
Developed Countries ◽  
Consumption Patterns ◽  
Modern Approach ◽  
Sustainable Resource Management ◽  
Production And Consumption ◽  
Starting Point ◽  
Distribution Of Resources

The starting point of this chapter is the weakening ability of natural resources to meet the growing and diversifying needs of mankind. This chapter aims to draw attention to the “Ecological Footprint” as a measurable concept of impact of the production and consumption activities on the natural environment. However, every country demands more resources than it has, and developed countries, with their production and consumption patterns, are becoming the primary actors of injustice in the distribution of resources. As seen in the data used in this study, from individuals to countries, ecological footprint is growing steadily, whereas biocapacity to meet the needs is shrinking steadily. By using statistical data demonstrating the ecological footprint and biocapacity changes and differentiation among the countries by years, this chapter clearly reveals the need for a sustainable resource management.

Blockchain for Islamic Social Responsibility Institutions

2019 ◽  
pp. 221-240 ◽  
Author(s):  
Moutaz Abojeib ◽  
Farrukh Habib
Keyword(s):  
Social Responsibility ◽  
Transaction Cost ◽  
Economic Efficiency ◽  
Governance Structure ◽  
Innovative Technology ◽  
Islamic Finance ◽  
Smart Contracts ◽  
Smart Contract ◽  
Traditional Technologies ◽  
High Level

Blockchain and smart contracts are forming new systems to record and manage businesses with less need for intermediaries. The new systems are expected to offer high level of governance with lower cost as compared to the traditional technologies. While there is a continuous effort to apply this innovative technology in several businesses, Islamic finance in general—and Islamic social finance in particular—are facing few challenges that could be solved by such innovations. Islamic social finance institutions such as waqf are facing some challenges in enhancing its governance structure to ensure Shariah compliance as well as economic efficiency. This chapter explains how blockchain and smart contract technologies can help these institutions for better governance, lower transaction cost, more transparency, and higher trust, hence enhancing the business flexibility and market accessibility. It also presents some related cases that are currently under development as an evidence for the practicality of these technologies in the Islamic social finance arena.

A Study of Use Cases for Smart Contracts Using Blockchain Technology

2021 ◽  
pp. 1823-1844
Author(s):  
S R Mani Sekhar ◽  
Siddesh G M ◽  
Swapnil Kalra ◽  
Shaswat Anand
Keyword(s):  
Natural Disaster ◽  
Vital Role ◽  
Use Cases ◽  
Use Case ◽  
Smart Contracts ◽  
Digital Identity ◽  
Blockchain Technology ◽  
Smart Contract ◽  
Healthcare Finance ◽  
Natural Disaster Management

Blockchain technology is an emerging and rapidly growing technology in the current world scenario. It is a collection of records connected through cryptography. They play a vital role in smart contracts. Smart contracts are present in blockchains which are self-controlled and trustable. It can be integrated across various domains like healthcare, finance, self-sovereign identity, governance, logistics management and home care, etc. The purpose of this article is to analyze the various use cases of smart contracts in different domains and come up with a model which may be used in the future. Subsequently, a detailed description of a smart contract and blockchain is provided. Next, different case-studies related to five different domains is discussed with the help of use case diagrams. Finally, a solution for natural disaster management has been proposed by integrating smart contract, digital identity, policies and blockchain technologies, which can be used effectively for providing relief to victims during times of natural disaster.

Blockchain for Islamic Social Responsibility Institutions

2021 ◽  
pp. 1114-1128
Author(s):  
Moutaz Abojeib ◽  
Farrukh Habib
Keyword(s):  
Social Responsibility ◽  
Transaction Cost ◽  
Economic Efficiency ◽  
Governance Structure ◽  
Innovative Technology ◽  
Islamic Finance ◽  
Smart Contracts ◽  
Smart Contract ◽  
Traditional Technologies ◽  
High Level

Blockchain and smart contracts are forming new systems to record and manage businesses with less need for intermediaries. The new systems are expected to offer high level of governance with lower cost as compared to the traditional technologies. While there is a continuous effort to apply this innovative technology in several businesses, Islamic finance in general—and Islamic social finance in particular—are facing few challenges that could be solved by such innovations. Islamic social finance institutions such as waqf are facing some challenges in enhancing its governance structure to ensure Shariah compliance as well as economic efficiency. This chapter explains how blockchain and smart contract technologies can help these institutions for better governance, lower transaction cost, more transparency, and higher trust, hence enhancing the business flexibility and market accessibility. It also presents some related cases that are currently under development as an evidence for the practicality of these technologies in the Islamic social finance arena.

Sign in / Sign up

Export Citation Format

Share Document