Obsidian smart contract programming language

software

posted on 2020-08-27, 14:02 authored by Michael CoblenzMichael Coblenz, Jonathan AldrichJonathan Aldrich, Brad MyersBrad Myers, Joshua SunshineJoshua Sunshine

Obsidian is a new smart contract language, which uses a linear type system to provide strong safety guarantees for smart contracts. This is an archive of the Obsidian GitHub repository.

Funding

NSF CNS-1423054

NSF CCF-1814826

Ripple, Inc.

IBM

History

Date

2020-08-16

Usage metrics

Keywords

Smart Contract Linear Type System Type systems Ownership Assets Blockchain

Licence

In Copyright