Towards declarative smart contracts

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Abstract

Blockchain technologies promise improvements to legal documents, yet their use requires programmers and risks hacking, so widespread adoption depends on removing programmers and improving verification. We tackle these problems via a sophisticated user interface that auto-generates declarative smart contract code in the form of answer set programs. We demonstrate improved usability and testing effectiveness by implementing a legal document as a smart contract on our purpose built simulator and find that our solution supports adoption because it starts with a legal document, allows human-in-the=loop interaction, and is tolerant of varying levels of automation.
Original languageEnglish
Title of host publicationThe 4th Symposium on Distributed Ledger Technology
Place of PublicationBrisbane
PublisherGriffith University
Pages1-4
Number of pages4
Publication statusPublished - 2019
EventSymposium on Distributed Ledger Technology (4th : 2019) - Griffith University, Brisbane, Australia
Duration: 10 Dec 201910 Dec 2019

Conference

ConferenceSymposium on Distributed Ledger Technology (4th : 2019)
Abbreviated titleSDLT
CountryAustralia
CityBrisbane
Period10/12/1910/12/19

Fingerprint Dive into the research topics of 'Towards declarative smart contracts'. Together they form a unique fingerprint.

  • Cite this

    Purnell, K., & Schwitter, R. (2019). Towards declarative smart contracts. In The 4th Symposium on Distributed Ledger Technology (pp. 1-4). Brisbane: Griffith University.