obsidian a language for smart contracts designed for safety and usability michael coblenz jonathan aldrich brad myers joshua sunshine safersmart contracts smart contracts the obsidian language automate transactions a safer ...
Filetype PDF | Posted on 22 Feb 2023 | 2 years ago
The words contained in this file might help you see if this file matches what you are looking for:
...Obsidian a language for smart contracts designed safety and usability michael coblenz jonathan aldrich brad myers joshua sunshine safersmart the automate transactions safer contract mutually untrusting parties typestate tamper resistant mitigates misuse bugs such as in dao often buggy linearity reentrancy bug lost asset million stolen research goals other examples involving mathematical assets etc developer example main tinyvendingmachine coins owned coinbin state full candy inventory empty transaction buy this coin unowned c returns deposit result refill return not shown client code tinyvendingmachineclient remote shared machine restock if new eat private disown...