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 | Paulette Koronkevich |
| Conference Name | The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) |
| Date Published | 11/2018 |
| Publisher | ACM |
| Conference Location | Boston, MA |
| Keywords | 2019: January, CMU, Human Behavior, Obsidian Language for Blockchain, Policy-Governed Secure Collaboration, Resilient Architectures, Scalability and Composability |
| 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-58259 |
| Attachment | Size |
|---|---|
| bytes |
Groups:
- 2019: January
- CMU
- Human behavior
- Obsidian Language for Blockchain
- Policy-Governed Secure Collaboration
- Resilient Architectures
- Scalability and Composability
- Human Behavior
- Policy-Governed Secure Collaboration
- Resilient Architectures
- Scalability and Composability
- CMU
- Obsidian Language for Blockchain
- 2019: January