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书写的相同合同相比较。
相关内容
ACM SIGACCESS Conference on Computers and Accessibility是为残疾人和老年人提供与计算机相关的设计、评估、使用和教育研究的首要论坛。我们欢迎提交原始的高质量的有关计算和可访问性的主题。今年，ASSETS首次将其范围扩大到包括关于计算机无障碍教育相关主题的原创高质量研究。官网链接：http://assets19.sigaccess.org/
Arxiv
0+阅读 · 2020年11月23日
Arxiv
0+阅读 · 2020年11月21日
Arxiv
0+阅读 · 2020年11月19日
Arxiv
0+阅读 · 2020年11月19日
相关VIP内容
相关资讯
微信扫码咨询专知VIP会员