Open Access. Powered by Scholars. Published by Universities.®

Contracts Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 11 of 11

Full-Text Articles in Contracts

An Idealist’S Approach For Smart Contract Correctness, Duy Tai Nguyen, Hong Long Pham, Jun Sun, Quang Loc Le Nov 2023

An Idealist’S Approach For Smart Contract Correctness, Duy Tai Nguyen, Hong Long Pham, Jun Sun, Quang Loc Le

Research Collection School Of Computing and Information Systems

In this work, we experiment an idealistic approach for smart contract correctness verification and enforcement, based on the assumption that developers are either desired or required to provide a correctness specification due to the importance of smart contracts and the fact that they are immutable after deployment. We design a static verification system with a specification language which supports fully compositional verification (with the help of function specifications, contract invariants, loop invariants and call invariants). Our approach has been implemented in a tool named iContract which automatically proves the correctness of a smart contract statically or checks the unverified part …


A Non-Contractual Approach To Smart Contracts, Florian Gamper Sep 2023

A Non-Contractual Approach To Smart Contracts, Florian Gamper

Research Collection Yong Pung How School Of Law

This article adds to the debate on what, legally speaking, smart contracts are and what they should be. Currently, much of this debate focuses on the relationship between smart contracts and legal contracts, overlooking that other legal categories may also be appropriate. This article suggests that the concept of abandonment can be fruitfully applied to smart contracts. Using the concept of abandonment has the advantage of allowing smart contracts, as close as legally possible, to be utilized as machines (or using the terminology suggested by Vitalik Buterin, founder of Etherium, as a ‘persistent script’). It would also make other issues, …


Defining Smart Contract Defects On Ethereum, Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiapu Luo, Ting Chen Jan 2022

Defining Smart Contract Defects On Ethereum, Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiapu Luo, Ting Chen

Research Collection School Of Computing and Information Systems

Smart contracts are programs running on a blockchain. They are immutable to change, and hence can not be patched for bugs once deployed. Thus it is critical to ensure they are bug-free and well-designed before deployment. A Contract defect is an error, flaw or fault in a smart contract that causes it to produce an incorrect or unexpected result, or to behave in unintended ways. The detection of contract defects is a method to avoid potential bugs and improve the design of existing code. Since smart contracts contain numerous distinctive features, such as the gas system. decentralized, it is important …


Turning The Tables In Research And Development Licensing Contracts, Niyazi Taneri, Pascale Crama Sep 2021

Turning The Tables In Research And Development Licensing Contracts, Niyazi Taneri, Pascale Crama

Research Collection Lee Kong Chian School Of Business

Research and development (R&D) collaborations between an innovator and her partner are often undertaken when neither party can bring the product to market individually, which precludes value creation without a joint effort. Yet, the uncertain nature of R&D complicates the monitoring of effort, and the resulting moral hazard reduces a collaboration’s value. Either party can avoid this outcome by acquiring the capability that is missing and then taking sole ownership of the project. That approach involves two types of risks: one related to whether the other party’s capability will be acquired and one related to how well it will be …


Smart Contracts: Will Fintech Be The Catalyst For The Next Global Financial Crisis?, Randall Duran, Paul Griffin Jan 2021

Smart Contracts: Will Fintech Be The Catalyst For The Next Global Financial Crisis?, Randall Duran, Paul Griffin

Research Collection School Of Computing and Information Systems

Purpose: This paper aims to examine the risks associated with smart contracts, a disruptive financial technology (FinTech) innovation, and assesses how in the future they could threaten the integrity of the global financial system. Design/methodology/approach: A qualitative approach is used to identify risk factors related to the use of new financial innovations, by examining how over-the-counter (OTC) derivatives contributed to the Global Financial Crisis (GFC) which occurred during 2007 and 2008. Based on this analysis, the potential for similar concerns with smart contracts are evaluated, drawing on the failure of The DAO on the Ethereum blockchain, which involved the loss …


Smart Contracts: Terminology, Technical Limitations And Real World Complexity, Eliza Mik Oct 2017

Smart Contracts: Terminology, Technical Limitations And Real World Complexity, Eliza Mik

Research Collection Yong Pung How School Of Law

If one is to believe the popular press and many “technical writings,” blockchains create not only a perfect transactional environment but also obviate the need for banks, lawyers and courts. The latter will soon be replaced by smart contracts: unbiased and infallible computer programs that form, perform and enforce agreements. Predictions of future revolutions must, however, be distinguished from the harsh reality of the commercial marketplace and the technical limitations of blockchains. The fact that a technological solution is innovative and elegant need not imply that it is commercially useful or legally viable. Apart from attempting a terminological “clean-up” surrounding …


Licensing Contracts: Control Rights, Options And Timing, Pascale Crama, Bert De Reyck, Niyazi Taneri Apr 2017

Licensing Contracts: Control Rights, Options And Timing, Pascale Crama, Bert De Reyck, Niyazi Taneri

Research Collection Lee Kong Chian School Of Business

Research and development (R&D) collaborations, common in high-tech industries, are challenging to manage due to technical and market risks as well as incentive problems. We investigate how control rights, options, payment terms and timing allow the innovator to capture maximum value from its R&D collaborations with a marketer. Our study reveals a counterintuitive result; the innovator may, under certain conditions, prefer to grant launch control rights or buy-out options to the marketer despite the fact that both terms restrict its downstream actions. We demonstrate that a menu of contracts is not necessary to address the adverse selection problem as the …


Private Lawmaking In Commercial Cyberspace, Eliza Mik Nov 2016

Private Lawmaking In Commercial Cyberspace, Eliza Mik

Research Collection Yong Pung How School Of Law

No discussion of “Law and Technology” would be complete without at least one essay centred on the Internet. While the Internet no longer captures our imagination with the same force as it did 20 years ago, we cannot assume that it no longer creates (or perpetuates?) multiple legal problems. When we talk about the Internet we must, however, refrain from the popular “Internet metanarrative” that often leads to superficial arguments and unhelpful generalisations.1 We must always remain aware of the multiplicity of the Internet’s technical applications and the wide range of legal contexts in which the term gains significance. Discussing …


A Comparison Of Milestone-Based And Buyout Options Contracts For Coordinating R&D Partnerships, Shantanu Bhattacharya, Vibha Gaba, Sameer Hasija May 2015

A Comparison Of Milestone-Based And Buyout Options Contracts For Coordinating R&D Partnerships, Shantanu Bhattacharya, Vibha Gaba, Sameer Hasija

Research Collection Lee Kong Chian School Of Business

We analyze optimal contractual arrangements in a bilateral research and development (R&D) partnership between a risk-averse provider that conducts early-stage research followed by a regulatory verification stage and a risk-neutral client that performs late-stage development activities, including production, distribution, and marketing. The problem is formulated as a sequential investment game with the client as the principal, where the investments are observable but not verifiable. The model captures the inherent incentive alignment problems of double-sided moral hazard, risk aversion, and holdup. We compare the efficacy of milestone-based options contracts and buyout options contracts from the client's perspective and identify conditions under …


Joint Product Improvement By Client And Customer Support Center: The Role Of Gain-Share Contracts In Coordination, Shantanu Bhattacharya, Alok Gupta, Sameer Hasija Mar 2014

Joint Product Improvement By Client And Customer Support Center: The Role Of Gain-Share Contracts In Coordination, Shantanu Bhattacharya, Alok Gupta, Sameer Hasija

Research Collection Lee Kong Chian School Of Business

We study the role of different contract types in coordinating the joint product improvement effort of a client and a customer support center. The customer support center's costly efforts at joint product improvement include transcribing and analyzing customer feedback, analyzing market trends, and investing in product design. Yet this cooperative role must be adequately incentivized by the client, since it could lead to fewer service requests and hence lower revenues for the customer support center. We model this problem as a sequential game with double-sided moral hazard in a principal-agent framework (in which the client is the principal). We follow …


Evaluating The Impact Of The Un Convention On The Use Of Electronic Communications In International Contracts On Domestic Contract Law: The Singapore Example, Eliza Mik Jan 2010

Evaluating The Impact Of The Un Convention On The Use Of Electronic Communications In International Contracts On Domestic Contract Law: The Singapore Example, Eliza Mik

Research Collection Yong Pung How School Of Law

The United Nations Commission on International Trade Law (UNCITRAL) Convention on the Use of Electronic Communications in International Contracts (CUECIC or Convention) was adopted on 23 November 2005. Its essential objective is to establish uniform rules intended to “remove obstacles to the use of electronic communications in international contracts, including obstacles that might result from the operation of existing international trade law instruments, with a view to enhancing legal certainty and commercial predictability.” The Convention relies on the UNCITRAL Model Law on Electronic Commerce (MLEC), which constitutes an e-commerce flagship project dating back to 1995. It also resembles UNCITRAL’s Convention …