-
Languages for Smart and Computable Contracts
Authors:
Christopher D. Clack
Abstract:
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 be…
▽ More
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. Here we provide a perspective on some of the key issues, explore some current research directions, and explain the importance of language design in the development of reliable Smart Contracts, including the specific methodology of Computable Contracts.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Smart Derivatives Contracts: the ISDA Master Agreement and the automation of payments and deliveries
Authors:
Christopher D. Clack,
Ciaran McGonagle
Abstract:
High-value derivatives contracts require substantial legal protection and often utilise standardised legal documentation provided by the International Swaps and Derivatives Association (ISDA). Smart Derivatives Contracts aim to automate many aspects of high-value contracts, including automation of the provisions of the ISDA legal documentation. Here we investigate how the ISDA Master Agreement may…
▽ More
High-value derivatives contracts require substantial legal protection and often utilise standardised legal documentation provided by the International Swaps and Derivatives Association (ISDA). Smart Derivatives Contracts aim to automate many aspects of high-value contracts, including automation of the provisions of the ISDA legal documentation. Here we investigate how the ISDA Master Agreement may affect the automation of payments and deliveries: we provide a framework for understanding how high-value derivatives contracts are structured at different levels, in terms of both the legal documentation and the workflow; we explain issues relating to how the smart contract code processes payments-related and deliveries-related events; and we discuss the extent to which these are amenable to automation.
△ Less
Submitted 1 April, 2019;
originally announced April 2019.
-
Distributed Ledger Privacy: Ring Signatures, Möbius and CryptoNote
Authors:
Christopher D. Clack,
Nicolas T. Courtois
Abstract:
Distributed ledger and blockchain systems are expected to make financial systems easier to audit, reduce counter-party risk and transfer assets seamlessly. The key concept is a token controlled by a cryptographic private key for spending, and represented by a public key for receiving and audit purposes. Ownership transfers are authorized with digital signatures and recorded on a ledger visible to…
▽ More
Distributed ledger and blockchain systems are expected to make financial systems easier to audit, reduce counter-party risk and transfer assets seamlessly. The key concept is a token controlled by a cryptographic private key for spending, and represented by a public key for receiving and audit purposes. Ownership transfers are authorized with digital signatures and recorded on a ledger visible to numerous participants. Several ways to enhance the privacy of such ledgers have been proposed. In this paper we study two major techniques to enhance privacy of token transfers with the help of improved cryptography: Möbius and CryptoNote. The comparison is illuminating: both techniques use "ring signatures" and some form of "stealth addressing" or key derivation techniques, yet each does it in a completely different way. Möbius is more recent and operates in a more co-operative way (with permission) and is not yet specified at a sufficiently detailed level. Our primary goal is to explore the suitability of these two techniques for improving the privacy of payments on cryptographic ledgers. We explain various conflicting requirements and strategic choices which arise when trying to conceal the identity of participants and the exact details of transactions in our context while simultaneously enabling fast final settlement of tokens with a reasonable level of liquidity. We show that in these systems, third-party observers see obfuscated settlement. We finish with a summary of explicit warnings and advice for implementors of such systems.
△ Less
Submitted 7 February, 2019;
originally announced February 2019.
-
Temporal Aspects of Smart Contracts for Financial Derivatives
Authors:
Christopher D. Clack,
Gabriel Vanca
Abstract:
Implementing smart contracts to automate the performance of high-value over-the-counter (OTC) financial derivatives is a formidable challenge. Due to the regulatory framework and the scale of financial risk if a contract were to go wrong, the performance of these contracts must be enforceable in law and there is an absolute requirement that the smart contract will be faithful to the intentions of…
▽ More
Implementing smart contracts to automate the performance of high-value over-the-counter (OTC) financial derivatives is a formidable challenge. Due to the regulatory framework and the scale of financial risk if a contract were to go wrong, the performance of these contracts must be enforceable in law and there is an absolute requirement that the smart contract will be faithful to the intentions of the parties as expressed in the original legal documentation. Formal methods provide an attractive route for validation and assurance, and here we present early results from an investigation of the semantics of industry-standard legal documentation for OTC derivatives. We explain the need for a formal representation that combines temporal, deontic and operational aspects, and focus on the requirements for the temporal aspects as derived from the legal text. The relevance of this work extends beyond OTC derivatives and is applicable to understanding the temporal semantics of a wide range of legal documentation.
△ Less
Submitted 30 April, 2018;
originally announced May 2018.
-
Design discussion on the ISDA Common Domain Model
Authors:
Christopher D. Clack
Abstract:
A new initiative from the International Swaps and Derivatives Association (ISDA) aims to establish a "Common Domain Model" (ISDA CDM): a new standard for data and process representation across the full range of derivatives instruments. Design of the ISDA CDM is at an early stage and the draft definition contains considerable complexity. This paper contributes by offering insight, analysis and disc…
▽ More
A new initiative from the International Swaps and Derivatives Association (ISDA) aims to establish a "Common Domain Model" (ISDA CDM): a new standard for data and process representation across the full range of derivatives instruments. Design of the ISDA CDM is at an early stage and the draft definition contains considerable complexity. This paper contributes by offering insight, analysis and discussion relating to key topics in the design space such as data lineage, timestamps, consistency, operations, events, state and state transitions.
△ Less
Submitted 8 March, 2018; v1 submitted 29 November, 2017;
originally announced November 2017.
-
Smart Contract Templates: essential requirements and design options
Authors:
Christopher D. Clack,
Vikram A. Bakshi,
Lee Braine
Abstract:
Smart Contract Templates support legally-enforceable smart contracts, using operational parameters to connect legal agreements to standardised code. In this paper, we explore the design landscape of potential formats for storage and transmission of smart legal agreements. We identify essential requirements and describe a number of key design options, from which we envisage future development of st…
▽ More
Smart Contract Templates support legally-enforceable smart contracts, using operational parameters to connect legal agreements to standardised code. In this paper, we explore the design landscape of potential formats for storage and transmission of smart legal agreements. We identify essential requirements and describe a number of key design options, from which we envisage future development of standardised formats for defining and manipulating smart legal agreements. This provides a preliminary step towards supporting industry adoption of legally-enforceable smart contracts.
△ Less
Submitted 15 December, 2016; v1 submitted 14 December, 2016;
originally announced December 2016.
-
Smart Contract Templates: foundations, design landscape and research directions
Authors:
Christopher D. Clack,
Vikram A. Bakshi,
Lee Braine
Abstract:
In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a simple semantic framework for smart contracts, covering both operational and non-operational aspects, and describe templates and agreements for legally-enforceabl…
▽ More
In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a simple semantic framework for smart contracts, covering both operational and non-operational aspects, and describe templates and agreements for legally-enforceable smart contracts, based on legal documents. Building upon the Ricardian Contract, we identify operational parameters in the legal documents and use these to connect legal agreements to standardised code. We also explore the design landscape, including increasing sophistication of parameters, increasing use of common standardised code, and long-term research.
△ Less
Submitted 15 March, 2017; v1 submitted 2 August, 2016;
originally announced August 2016.