Obsidian: A Safer Blockchain Programming Language
Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States
Pagination or Media Count:
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.
- Computer Programming and Software