Self-enforcing and executing contracts

Slides:



Advertisements
Similar presentations
Information Technology Control Day IV Afternoon Sessions.
Advertisements

Auditing Computer Systems
School of Computer ScienceG53FSP Formal Specification1 Dr. Rong Qu Introduction to Formal Specification
Test Design Techniques
Introduction to Databases and Database Languages
A337 File Design Computerized and Manual Systems 4/4/2012.
Database Systems COMSATS INSTITUTE OF INFORMATION TECHNOLOGY, VEHARI.
A337 File Design Computerized and Manual Systems 11/10/2009.
Databases and Database Management Systems
Bitcoin Beyond Money Michael Goldstein
 Three-Schema Architecture Three-Schema Architecture  Internal Level Internal Level  Conceptual Level Conceptual Level  External Level External Level.
Advantage of File-oriented system: it provides useful historical information about how data are managed earlier. File-oriented systems create many problems.
Introduction to Database Systems1. 2 Basic Definitions Mini-world Some part of the real world about which data is stored in a database. Data Known facts.
CMSC 345 Fall 2000 Requirements Overview. Work with customers to elicit requirements by asking questions, demonstrating similar systems, developing prototypes,
Storage Systems CSE 598d, Spring 2007 Lecture 13: File Systems March 8, 2007.
When BPM meets Blockchain
Chapter 40 Internet Security.
Computer Security Introduction
Introduction to Blockchain
Introduction to Blockchain
CS4222 Principles of Database System
Introduction To DBMS.
The Revolutionary Benefits Of Blockchain
BLOCKCHAIN APPLICATION IN CORE BANKING
A Blockchain Implementation
TRANSACTION PROCESSING SYSTEM (TPS)
Classifications of Software Requirements
Outline Types of Databases and Database Applications Basic Definitions
Cryptocurrencies by.
Approaches to ---Testing Software
Evaluation Forms for Blockchain- Based System ver. 1.0
How DLTs might impact the financial sector
Arab Open University 2nd Semester, M301 Unit 5
Session 11 Other Assurance Services
Verification and Testing
Introduction to Databases
Distributed web based systems
Blockchains and Cryptocurrencies: What Financial Planners Need to Know
Making Blockchain Real for Business
IS442 Information Systems Engineering
Improper Payment Rate - By State
Blockchain Adrian Zaragoza.
Computerized and Manual Systems
Rechtsanwältin – Germany Attorney at Law – New York
TRANSLATORS AND IDEs Key Revision Points.
Focus Group 3: Blockchain and digitalisation
BLOCKCHAIN AND THE FUTURE OF DAM
Which blockchain? The future at a crossroad
Dr. Awad Khalil Computer Science Department AUC
Ameda meeting in Botswana April 2018
Distributed Ledger Technology (DLT) and Blockchain
A change of paradigm: how does Distributed Ledger fit with existing standards? Distributed Ledger technology offers a single, consistent and shared view.
Blockchain Alexander Prenta 9/27/2018.
Which blockchain? The future at a crossroad
Chapter 1 Introduction(1.1)
Blockchain-as-a-Service (BaaS) :: providers & trust
Lecture 1 File Systems and Databases.
Comprehensive Medical Assisting, 3rd Ed Unit Three: Managing the Finances in the Practice Chapter 12 – Accounting Responsibilities.
Introduction to Databases
Teechain: Scalable Blockchain Payments using Trusted Execution Environments GIZEM AKDENIZ DECEMBER 13 , 2018.
FST Network All Rights Reserved
Online Data Collection: Ethics
Blockchains and Smart Contracts for the Internet of Things
Terms: Data: Database: Database Management System: INTRODUCTION
Faculty Seminar Series Blockchain Technology
Blockchain Technology
Blockchain Technology: A New Approach to Provenance
The future of financial infrastructure An ambitious look at how blockchain can reshape financial services An Industry Project of the Financial Services.
Blockchain and IP Law: A Primer
Blockchain and Earth Observation
Presentation transcript:

Self-enforcing and executing contracts Smart contracts Self-enforcing and executing contracts

What are smart contracts? “A smart contract is a computerized transaction protocol that executes the terms of a contract. The general objectives are to satisfy common contractual conditions (such as payment terms, liens, confidentiality, and even enforcement), minimize exceptions both malicious and accidental, and minimize the need for trusted intermediaries. Related economic goals include lowering fraud loss, arbitrations and enforcement costs, and other transaction costs.” -Szabo 1994 “Smart contracts are computer protocols that facilitate, verify, or enforce the negotiation or performance of a contract, or that make a contractual clause unnecessary.” -Wikipedia, April 2017

What are smart contracts? Pre-written logic (code) The logic is stored and replicated on a blockchain The state is stored and replicated on a blockchain Executed by a network of computers May result in ledger updates

In essence Blockchains give us trustworthy storage Smart contracts give us trustworthy calculations

How is the storage trustworthy? 1. Cannot be controlled by a single entity 2. No single point of failure 3. Data is embedded, by definition public* 4. It cannot be practically corrupted * There are blockchains that provide features of anonymity and encrypted data. Zcash, Monero and Ethereum provides a “view key” functionality for this.

How is the logic trustworthy? The formal description of the logic is known to at least the participants of the contract The logic is deterministic and the consensus is powerful Any deviance, be it to hardware errors or attempts to manipulate the chain, will be quickly outvoted The logic is stored on the blockchain, which makes the logic unalterable The state the logic is applied to is observable The integrity of the initial and subsequent states are guaranteed by the storage trustworthiness

Some of the potentials Automating manual tasks Accuracy Smart contracts are software. Software is typically faster than manual work Accuracy Automated transactions are not only faster than manual work, but also less error prone Mitigates execution risk Decentralised execution makes manipulation much harder, if not practically impossible Fewer intermediaries Smart contracts reduces the need for third-party services Lower cost Faster, less errors, less risk and fewer middle men translates to lower cost

What do they currently look like? Typically quite simple, objective logic If current date equals payment date, and the payment has not been made, pay bond-holders coupon Bond-holder determined by DLT, integrity of information is guaranteed by DLT Interest component and notional part of the state are recorded in the DLT All information is available to the participants For example, smart bonds by UBS Built on Ethereum Recreated the bond’s issuance, interest calculation, bond payments and maturation process No pre- and post-trade intermediaries were necessary

So what does the logic look like? https://www.ethereum.org/token

How can it be made simpler? Domain Specific Languages will come up, for example describing payments on a bond Likely similar to DSLs found in many institutions, e.g. notional = 100000 USD; coupon = 4.5%; start_date = 2017/01/01; end_date = 2027/01/01; bond_holders = extract_bond_holders_from_blockchain(current_date()); if current_date() == end_date: pay bond_holders notional; schedule = from start_date + 6M to end_date every 6M on calendar NY; for date in schedule: if current_date() == date: pay bond_holders notional * coupon * 0.5 on date; Still not prose, but a lot better than regular code

Partial visibility Sometimes there is a need for keeping participants in a contract on a strict need-to-know basis Some blockchains allow for view keys – a participant may share this with another participant, and it unlocks the content of part of the contract Any party to a trade will likely not want what positions he or she is taking in plain view all over the block chain. Can reduce risk or perception of unfair treatment.

Difficulties, present and future What happens if there is a bug in the implementation of a contract? Who can be considered, and is willing, to be an “Oracle” for supplying reference data to a blockchain? Frequency of blockchain solutions is far slower than what we are used to When present, anonymity is a double-edged sword – how can we ensure we are dealing with a reputable counterparty?