  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.
