今天，我们发布了一篇关于智能合约优化的新技术论文。Solidity 是智能合约中使用最广泛的编程语言，但依赖于函数的顺序执行和验证。也就是说，您必须等待智能合约的第一个功能完成，然后才能执行第二个功能，以避免双花。

Quan Nguyen、Andre Cronje 和 Michael Kong 提出了一种新的智能合约编程语言 Object Validity (OV)，它允许在智能合约中并发执行。这种方法通过预先检查不同对象的不变量（无论对象的状态如何都不会改变的属性）并确保函数在执行期间不会违反它们，从而提高了分布式账本网络中智能合约的吞吐量和效率。如果没有违规，则可以同时执行智能合约，而无需等待网络验证每个阶段。

这种方法还极大地减少了与重入相关的安全问题。当合约在每个请求的后果记录在账本中之前对多个初始请求采取行动时，就会发生这种情况。

例如，如果我的账户余额为 50 美元，并且我提交了两次提款请求，每次提款 50 美元，如果在第二次提款尝试运行时可用余额尚未更新为 0 美元，则合约可以执行两次提款。

我们的研究将为优化智能合约执行的进一步开发工作奠定基础，我们希望将其应用于 Fantom 技术并进一步提高我们网络的性能和可用性。

在康奈尔大学的 arXiv 图书馆查看全文！

Fantom的官方链接：

官方邮箱：contact@fantom.foundation

官网链接：https ://www.fantom.foundation

官方 Discord 讨论组：https ://discord.gg/6V42Gs8

官方电报公告频道：https ://t.me/fantomfoundation

官方子版块：https ://www.reddit.com/r/FantomFoundation/

官方推特：https ://twitter.com/FantomFDN

官方媒体：https ://medium.com/fantomfoundation

官方 Github：https ://github.com/Fantom-foundation

YouTube 官方频道： https: //www.youtube.com/c/fantomfoundation