论文标题
PSAMATHE：带有流量的DSL用于安全区块链资产
Psamathe: A DSL with Flows for Safe Blockchain Assets
论文作者
论文摘要
区块链主持众筹，代币和许多其他目的的智能合约。经常发现合同中的脆弱性，导致损失大量资金。 PSAMATHE是一种我们正在设计新的流程抽象，减少资产错误并使合同比现有语言更简洁的新语言。我们介绍了PSAMATHE的概述，包括部分形式化。我们还讨论了PSAMATHE中的几个示例合同，并将PSAMATHE示例与以坚固性书写的相同合同进行比较。
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.
