Plutus

Links

The following resources about Plutus are available:

An Ontology for Smart Contracts by Rebecca Valentine

Introduces a basic ontology that attempts to capture the essential features of many smart contracts, in order to aid in formal reasoning about their behavior.

Blog Posts

Videos

Last updated: May 1, 2020 08:00 UTC