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