Psamathe: A DSL with Flows for Safe Blockchain Assets

10/09/2020
by   Reed Oei, et al.
0

Blockchains host smart contracts for crowdfunding, tokens, and many other purposes. Vulnerabilities in contracts are often discovered, leading to the loss of large quantities of money. Psamathe is a new language we are designing around a new flow abstraction, reducing asset bugs and making contracts more concise than in existing languages. We present an overview of Psamathe, including a partial formalization. We also discuss several example contracts in Psamathe, and compare the Psamathe examples to the same contracts written in Solidity.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset