1/1
2 files

Obsidian smart contract programming language

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

16/08/2020

Usage metrics

Exports