MIT Libraries logoDSpace@MIT

MIT
View Item 
  • DSpace@MIT Home
  • MIT Libraries
  • MIT Theses
  • Graduate Theses
  • View Item
  • DSpace@MIT Home
  • MIT Libraries
  • MIT Theses
  • Graduate Theses
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Generating and adjudicating digital legal agreements using Ethereum smart contracts

Author(s)
Liu, Kevin Y.,M. Eng.Massachusetts Institute of Technology.
Thumbnail
Download1129250485-MIT.pdf (4.102Mb)
Other Contributors
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.
Advisor
Lalana Kagal.
Terms of use
MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission. http://dspace.mit.edu/handle/1721.1/7582
Metadata
Show full item record
Abstract
Across the world, countless legal agreements are drafted, signed, and disputed every day. In most cases, the drafting process consists of costly and lengthy revisions of paper-based legal agreements. Furthermore, once finalized and signed, these legal agreements are hard to track, manage, and arbitrate, as there is no standard system for storing and sharing paper-based legal agreements. Regardless of their purpose, these legal documents must be carefully managed and approved by teams of lawyers for all parties listed in the agreement, resulting in lengthy face-to-face meetings, and in the case of breaches, in-person disputes over resolutions. In this thesis, we designed and implemented a novel blockchain-based alternative for generating, tracking, managing, and adjudicating legal agreements using Ethereum smart contracts. Through a front-end web-app, users can piece together common contract clauses with custom parameters to generate their own natural language legal agreements. Our interface then automatically creates equivalent digital smart contracts representing these parameters and clauses, deploying the smart contracts as permanent records onto the Ethereum blockchain. These smart contracts are formally verified with various techniques to ensure that they reflect the intents of the drafted contract and are free from execution vulnerabilities. To hold violators accountable, breaches by any signatory of the contracts can then be arbitrated digitally using secure voting by external arbiters. These violators can then be subject to monetary penalties paid in digital Ether tokens for breaching the agreement.
Description
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
 
Thesis: M. Eng. in Computer Science and Engineering, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2019
 
Cataloged from student-submitted PDF version of thesis.
 
Includes bibliographical references (pages 113-117).
 
Date issued
2019
URI
https://hdl.handle.net/1721.1/123160
Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Publisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science.

Collections
  • Graduate Theses

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries
PrivacyPermissionsAccessibilityContact us
MIT
Content created by the MIT Libraries, CC BY-NC unless otherwise noted. Notify us about copyright concerns.