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.

翻译：屏障链是众筹、 标牌和其他许多目的的智能合同的主机。 合同中的脆弱之处经常被发现,导致大量金钱的损失。 普萨马特是我们围绕新的流动抽取、减少资产错误和使合同比现有语言更加简洁的新语言。 我们概述了普萨马特, 包括部分正式化。 我们还在普萨马特讨论几个例子合同,并将普萨马特的例子与以Solidity书写的相同合同相比较。