Accession Number:

AD1088351

Title:

Obsidian: A Safer Blockchain Programming Language

Descriptive Note:

Technical Report

Corporate Author:

Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States

Personal Author(s):

Report Date:

2017-01-01

Pagination or Media Count:

2.0

Abstract:

What is a blockchain Blockchain programming environments provide shared, global state on untrusted, distributed computing nodes. Global state consists of smart contracts, which include both data structures and transactions that manipulate them. Transactions can deploy smart contracts to the blockchain initializing their state, or invoke code implemented in specific deployed smart contracts. Code is law a principle that suggests that a contracts code specifies an agreement between parties. This principle implies that contracts are immutable bugs in them cannot be fixed after deployment.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE