Obsidian in the Rough: A Case Study Evaluation of a New Blockchain Programming Language
| Title | Obsidian in the Rough: A Case Study Evaluation of a New Blockchain Programming Language |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Koronkevich, Paulette |
| Conference Name | The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity |
| Date Published | 11/2018 |
| Conference Location | Boston, MA |
| Abstract | Blockchains are one solution for secure distributed interaction, but security vulnerabilities have already been exposed in existing programs. Obsidian, a new blockchain programming language, seeks to prevent some of these vulnerabilities using typestate and linearity. We evaluate the current design of Obsidian by implementing a blockchain application for parametric insurance as a case study. We compare this implementation to one written in Solidity, and find that Obsidian can provide stronger safety guarantees. |
| Citation Key | node-93028 |
| Attachment | Size |
|---|---|
| bytes |
Groups: