Smart Legal Contracts

Introduction: the article is devoted to the analysis of legal regulation of smart contracts, the concept, content, and scope of their application. The author analyzes in detail foreign expe- rience of using smart contracts and suggests possible options for expanding the application area. The article also has a separate section that looks at smart contracts as compared with traditional institutions of civil law. Smart contracts are expected to find application in almost all areas of life in the future. As is often the case with new technologies, the use of smart con- tracts raises a number of civil law issues. Blockchain technology makes it possible not only to create new means of payment but also to autonomously manage almost any process. It can be used for individual contracts and even for the creation of autonomous decentralized systems. Purpose: to provide an insight into the institution of smart contracts and define their role in civ- il law. Methods: empirical methods of comparison, description, interpretation; theoretical me- thods of formal and dialectical logic; special scientific methods such as the legal-dogmatic me- thod, the methods of interpretation of legal norms and comparative legal research. Results: smart contracts are computer programs that perform legally significant actions according to predetermined algorithms set out in the form of a so-called program code. In practice, they are especially important in connection with the development of blockchain technology or (more generally) distributed ledger technology. Conclusions: the term ‘smart contract’ was defined by Nick Szabo in the 1990s as a sequence of commands represented in digital form, including transaction protocols that execute these agreements. Thus, smart contracts formulate rules and sanctions for agreements and execute them automatically. These are not necessarily contracts in the legal sense, but they are capable of controlling, tracking, and documenting legally signif- icant actions. Smart contracts can also be implemented using traditional, for example, mechan- ical technologies (e.g. in a vending machine). However, blockchain and distributed ledger tech- nologies make it possible to implement incomparably more complex rules and enforcement me- chanisms and offer a decentralized environment with an integrated settlement system. From a legal point of view, smart contracts perform two functions. On the one hand, they serve as a functional equivalent of a contract since their technological code can identify the services to be exchanged as well as the conditions under which they must be provided. Being the normative order of the digital, this code formulates the program of obligations of the parties. It resembles the legal order of a contract, without necessarily coinciding with it. On the other hand, smart contracts serve as a tool for the execution of contracts – by controlling, monitoring, and docu- menting the exchange of services. They can also facilitate the execution of conventional con- tracts by translating their provisions into a technical code, verifying the occurrence of agreed- upon events, and enforcing contracts. Smart contracts are suitable for contractual relation- ships, for example, for processing payments or delivering goods without the participation of the parties and an intermediate step in the form of direct execution. Smart contracts are gaining more and more popularity, especially in the financial sector. In addition to the so-called token economy (cryptocurrencies, ICO, etc.), there are also discussed algorithmic ETFs, online plat- forms for loans or project financing. Another important area of application is sharing economy. From a legal point of view, smart contracts can either be the subject of a contractual agreement or generate it on their own. There is sometimes put forward a thesis under the motto ‘Code is law’ that smart contracts give rise to a largely autonomous legal system and/ or are not subject to applicable law. However, this appears to be an erroneous conclusion

In this era of increasing cyber dependency in business dealings there is huge potential in the adoption of Distributed Ledger Technologies (DLT) particularly in the context of smart contract in the commercial world. The phenomenon of smart contract operates independently without the cumbersome need to engage any intermediary and is capable of executing specific task.(Thake, 2018) People relates it more to a piece of code (known as a software agent) that is designed to execute certain tasks if pre-defined conditions are met. Such tasks are often embedded within, and performed on a distributed ledger.”(Stark, 2016) However, if one accepts the contention that smart contract is not merely as a set of computer code but a smart legal contract which contains obligations and legal terms that are enforceable, hence, in programming or writing smart contract, one must ensure that the software developers who design smart contract take note of the legal rules and principles behind the specific type of contract in question. It has been argued that there is too much dependency on the programming aspect in the creation of smart contracts by programmers and computer scientists. (Khalil et al., 2017)

Within the framework of this article, the authors carry out the study of the design of the smart contract in the context of jurisprudence and technical sciences. The paper analyzes the legal nature of the smart contract and the issues concerning the scope of application (in relation to distributed ledger technology).The authors conclude that the category of “smart contract” can be defined in technical and legal aspects. In foreign literature, there are two categories: a legal smart contract and a smart contract code (or smart contract). The smart contract as a technical phenomenon represents a computer code that allows automated fulfillment of obligations. From legal point of view, the approaches to the definition of the smart contract depend primarily on the fact that the authors rely on the possibility of using smart contracts only within the framework of distributed ledger technology or other information technologies. At the same time, the majority of authors share the view that the smart contract exists exclusively in relation to the technology of distributed ledgers, namely, the blockchain. The article proposes to define the smart contract as a standard (special) contractual design — a contract concluded by electronic or other technical means, under the terms of which performance of the obligation is carried out without directed explicit additional expression of will (under Part 2 of Article 309 of the Civil Code of the Russian Federation).The article states that the smart contract cannot be qualified as an independent way of ensuring the performance of obligations. Such qualification is possible only if the functional approach to understanding security is applied. The paper examines the main fields of application of smart contracts and possible risks of their application (in terms of statement of terms of agreements in relation to a programming language; in respect of necessity of compliance with such fundamental principles of civil law as legality, fairness, protection of the weak; the need for communication with public authorities and notaries, as well as risks of using smart contracts in relations involving the participation of consumers). A separate set of questions concerns the protection of the rights infringed due to the use of smart contracts.

Applications of distributed ledger technology (DLT) and Blockchain-enabled smart contracts in construction

This study aims to determine the legal status of smart contracts from the perspective of Indonesian law and Islamic law through a comprehensive literature review. The revolution of the internet and smartphones has changed human life, as happens in smart contracts. This difference in character between smart and conventional contracts has not been fully anticipated by applicable law. That is why the urgency of fiqh renewal or reform of the law in the cyberspace era. Although smart contracts are still in their infancy, and there are still many critical issues that need to be resolved, the results of the literature research show that the smart contract has fulfilled the principles in the agreement/contract in Islamic law . According to the ITE Law, a smart contract can be interpreted as an agreement referred to in Article 1313 of the Civil Code, "an act where one person binds himself to one or more other people". Although this study is not sufficient, this needs to be elaborated from the perspective of Indonesian law. The most important things in smart contracts to comply with the Islamic law are: the sequence of processes in the smart contract must comply with Islamic law, the object being transacted must be halal, the perpetrators have complied with the provisions of the Islamic law, fixed price during the contract period and the number of parties involved in the contract may increase over time.

Abstract: The success of smart contracts based on distributed ledger technology (DLT) springs from their potential to secure contract performance when traditional legal enforcement remedies are not practical or too costly. EU policymakers and regulators have struggled for years to facilitate the enforcement of consumer rights while reducing transaction costs for businesses. The article argues that smart contracts can be a viable tool to address such a challenge. By virtue of their self-executing and tamper-proof character, smart contracts are suited to substantially reduce transaction costs in B2C relationships. So far, several legal scholars have raised concerns regarding both smart contracts inability to reflect relational aspects of contract governance and the augmented complexity generated by the translation of an agreement into computer code. Building upon the extant literature on the topic, the article explains why these problems can be overcome when it comes to consumer rights that are standardized and easily verifiable. Thus, smart contracts will likely prove suitable for specific industries, such as the transport sector. The article concludes that policy makers and regulators shall take the lead by testing, with a sector-specific approach, smart contracts ability to improve the consumer protection toolbox.

In modern electrical grids, the numbers of customer-owned distributed energy resources (DERs) have increased, and consequently, so have the numbers of points of common coupling (PCC) between the electrical grid and customer-owned DERs. The disruptive operation of and out-of-tolerance outputs from DERs, especially owned DERs, present a risk to power system operations. A common protective measure is to use relays located at the PCC to isolate poorly behaving or out-of-tolerance DERs from the grid. Ensuring the integrity of the data from these relays at the PCC is vital, and blockchain technology could enhance the security of modern electrical grids by providing an accurate means to translate operational constraints into actions/commands for relays. This study demonstrates an advanced power system application solution using distributed ledger technology (DLT) with smart contracts to manage the relay operation at the PCC. The smart contract defines the allowable total power factor (TPF) of the DER output, and the terms of the smart contract are implemented using DLT with a Cyber Grid Guard (CGG) system for a customer-owned DER (wind farm). This article presents flowcharts for the TPF smart contract implemented by the CGG using DLT. The test scenarios were implemented using a real-time simulator containing a CGG system and relay in-the-loop. The data collected from the CGG system were used to execute the TPF smart contract. The desired TPF limits on the grid-side were between +0.9 and +1.0, and the operation of the breakers in the electrical grid and DER sides was controlled by the relay consistent with the provisions of the smart contract. The events from the real-time simulator, CGG, and relay showed a successful implementation of the TPF smart contract with CGG using DLT, proving the efficacy of this approach in general for implementing electrical grid applications for utilities with connections to customer-owned DERs.

The article is devoted to the analysis on a crypto assets smart contract in the civil law and common law jurisdictions and the implementation of the best practices into Ukrainian law. It is argued that the essence of a crypto assets smart contract is that it is a self-executing contract which is represented and executed by a computer program, remains unchanged and unstoppable after the creation of this contract, and its terms are included in the internal functions of a decentralized database which is not controlled by the databases of the parties to the contract or third parties. It is noted that a cryptoasset smart contract, like any contract, may be declared invalid if the will to conclude it does not meet the conditions for the validity of this transaction, regardless of the form in which this transaction is concluded, as in this case in the form of a computer code. It is also stated that the terms of a cryptoasset smart contract must be specific (clear, unambiguous), feasible (objective), legitimate, and capable of automation (no evaluative terms, such as “reasonable time,” may be used), exist within the blockchain platform (on which cryptoassets are currently transacted) and not involve obtaining and confirming information from outside (in this regard, the terms of force majeure are not specified in the smart contract). The study applies dialectical, comparative legal, formal and logical, and systemic and structural methods of scientific knowledge. It is proved that a smart contract is a contract which is represented and executed by a computer program, the components of which are a computer code, some or all of the terms of this contract which are fulfilled upon the occurrence of predefined events, are stored in an electronic register system which records the result of execution of this program, and the contract itself cannot be changed and is executed in accordance with the programmed instructions of the computer program. The author concludes that the determination of the person who is legally liable when a smart contract fails to perform the programmed function depends on the terms of the smart contract, and in their absence, the provisions of applicable law regarding the legal consequences of non-performance of the contract and liability for such non-performance should be used.

This chapter makes a case against the use of smart contracts in the context of employment. It discusses the general operation of smart contracts, followed by a consideration of their potential use in employment. With that information as a lens through which to view the remainder of the chapter, four key suggestions are then made as to why smart contracts are not suited to instances of employment. The first is that smart contracts cannot account for an employer’s exercise of the managerial prerogative, which is inherent to employment. Secondly, smart contracts are unsuited to allowing for employers to exercise various types of discretions that tend to be contained under employment contracts, which, in turn, has the potential to unfairly prejudice employees. Thirdly, a smart employment contract is unable to allow an employer to performance manage, discipline and potentially dismiss employees for misconduct, or even to allow employees to respond to such circumstances—all of which are concepts of a strongly subjective nature. Finally, smart contracts are unable to accommodate for certain changes that are cognizant in instances of employment and inherent in the employee’s interests; they are inflexible and contain functional vulnerabilities that would generate unprecedented and unnecessary structural change in workplaces. Put simply, smart contracts are not up to the job of supplanting the existing means of generating a contractual relationship between an employer and employee.

Due to their decentralized and trustless nature, blockchain and distributed ledger technologies are increasingly used in several domains, including critical applications. The behavior of such blockchain-integrated systems is typically driven by smart contracts. However, smart contracts are application-specific software and may contain faults with severe system-level impacts. This is especially true in the case of the extensively used Hyperledger Fabric (HLF) platform, where smart contracts are written in general-purpose languages (Java, among others), and applications can go far beyond handling virtual-currency-like assets. In this work, we present a novel formal-verification-based approach to smart contract verification and a high-level empirical model of the HLF platform. Our Smart Contract in the Loop (SCIL) method uses a model checker (Java Pathfinder) to check whether specific error properties hold for a given smart contract, while a predefined combination of platform-level fault modes is active. We facilitate the checking of HLF smart contracts without modification and enable the propagation or non-propagation of platform faults through the smart contracts to the system failure level.

Automation and smart materials in detecting smart contracts vulnerabilities in Blockchain using deep learning

Distributed ledger technologies (DLT) enable new forms of business collaboration while the combination with smart contracts allows for an automation of business and collaboration processes. The immutability of DLT secures the execution of business processes. Hence, any process automation or resource management activities are tamper-proof. Yet, a widespread use can only takeoff, if business process experts can directly use this new form of technology, since business process experts are not necessarily programming experts. Thus, we argue for a high-level business process modeling to allow an application-oriented formulation of business collaboration. Hence it is important to research the instantiation and execution of business processes on DLTs, which are formulated in conventional notations. Existing approaches for process implementation on DLTs build-upon state machines that encode the process flow in smart contracts. Thereby every process instantiation requires the creation of a new smart contract with its state machine. In contrast we propose a variant of process implementation that builds-upon an extending kernel. The execution logic is encoded as a core function in the validation routine of DLT nodes. Going down this avenue, the process flow is specified inside transactions and the validation routine will ensure that the process is correctly executed. We validate the implementation of our approach and compare it to alternatives that implement processes by state machines across smart contracts.

This chapter provides an in-depth engagement with the project of expressing legal propositions in machine-readable language. Smart Contracts use computer technology to automate the performance of aspects of commercial agreements. Yet how can there be confidence that the computer code is faithful to the intentions of the parties? To understand the depth and subtlety of this question requires an exploration of natural and computer languages, of the semantics of expressions in those languages, and of the gap that exists between the disciplines of law and computer science. It builds on the metaphor of a ‘contract stack’ with the idea of a ‘language stack’ and illustrates the various layers of language—both natural and formal—that might exist and interact in any instantiation of a ‘smart legal contract’. It also explains the importance of language design in the development of reliable smart contracts, including the use of domain specific languages and the design of controlled natural languages within the specific methodology of computable contracts. Reflecting the author’s original research in the area, this chapter examines ‘computable contracts’ in particular detail—a sub-type of ‘smart contracts’ in which the top two layers of the language stack (‘natural language’ and ‘specification language’) have been merged. As well as providing an in-depth overview of theory, this chapter provides an up-to-date survey of existing projects and reflections on directions for future research.

The new frame of Blockchain and other Distributed Ledger Technologies (DLT), has empowered smart contract applications and has expanded research represented considerable authority in brilliant agreement. Smart Contracts are computerized securities that are dispersed, decentralized and require no outsider. Smart Contracts fill in as an extraordinary option for conventional securities/marks. With the utilization of customary SDLC models and the idea of square permanence these agreements are presented. With these qualities of permanence, decentralized nature, cost-time adequacy, there is no necessity of outsider as we are attempting to make this smart contract as an option in contrast to conventional money contracts. The offering system is by and large utilized by state run administrations and organizations to get labor and products from assembling adventures along with specialist co-ops. In any case, e-offering being the most utilized procurement usual methodology, there are different security suggestions present. Blockchain innovation can be utilized to address these security insinuation as it intensely centers around the decentralization of data and is secured by encryption, unsegregated with undeniable square based design for exchanging the board. Here we have examined on how smart contract gets that dependence on ethereum blockchain and how they can be utilized to plan a circulated e-offering framework. We have isolated the task in four areas which are as per the following (i)Tender creation and distributing process, (ii)Bidding process on the delicate, (iii)Evaluation and arranging the bid, (iv)Selecting the Winning bid. Different calculations are utilized to help through each cycle. The security challenges connected with security and realness are assessed then they are placed into correlation with the ongoing offering process. The chief target of this paper is to incorporate an unprejudiced, straightforward and open offering plan. Keywords: Blockchain, Impartial and Open Tendering Scheme, ethereum, e-tender.

In this era of increasing cyber dependency in business dealings there is huge potential in the adoption of Distributed Ledger Technologies (DLT) particularly in the context of smart contract in the commercial world. The phenomenon of smart contract operates independently without the cumbersome need to engage any intermediary. It has been argued that there is too much dependency on the programming aspect in the creation of smart contracts by programmers and computer scientists. Smart contract are more like an Apps which is capable of executing specific task but it fails to observe the fundamental understanding and agreement between the negotiating parties which is the core essence in traditional commercial contract. The objectives of this paper are to first, demonstrate the semantic discrepancies between traditional contract and smart contracts and the implication of the latter. Secondly, to support the proposition that programmers and computer scientists lack the required legal knowledge and logic in appreciating the various legal terms and effects of a concluded contract, there is a need to include lawyers and regulators to enhance the drafting of the corresponding denotational semantics in programming smart contract. This paper contends that the operational semantics which deals with the execution of the contract on technical platform should be consistent with and correspond with the denotational semantics.