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 language | English |
|---|---|
| Title of host publication | The 4th Symposium on Distributed Ledger Technology |
| Place of Publication | Brisbane |
| Publisher | Griffith University |
| Pages | 1-4 |
| Number of pages | 4 |
| Publication status | Published - 2019 |
| Event | Symposium on Distributed Ledger Technology (4th : 2019) - Griffith University, Brisbane, Australia Duration: 10 Dec 2019 → 10 Dec 2019 |
Conference
| Conference | Symposium on Distributed Ledger Technology (4th : 2019) |
|---|---|
| Abbreviated title | SDLT |
| Country/Territory | Australia |
| City | Brisbane |
| Period | 10/12/19 → 10/12/19 |