Visible to the public Obsidian in the Rough: A Case Study Evaluation of a New Blockchain Programming LanguageConflict Detection Enabled

TitleObsidian in the Rough: A Case Study Evaluation of a New Blockchain Programming Language
Publication TypeConference Paper
Year of Publication2018
AuthorsPaulette Koronkevich
Conference NameThe ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
Date Published11/2018
PublisherACM
Conference LocationBoston, MA
Keywords2019: 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 Keynode-58259

Other available formats:

Koronkevich_Obsidian_in_the_Rough_Aldrich.pdf