# 技术论文：基于有效性的乐观智能合约


By [PH2937](https://paragraph.com/@ph2937) · 2022-05-09

---

研发是我们工作的重要组成部分，寻找新的方法来推进支撑 Fantom 生态系统的技术。

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

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

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

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

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

[在康奈尔大学的 arXiv 图书馆查看全文！](https://arxiv.org/abs/2004.04338)

Fantom的官方链接：
============

官方邮箱：[contact@fantom.foundation](mailto:contact@fantom.foundation)

官网链接：[https ://www.fantom.foundation](https://www.fantom.foundation/?source=post_page---------------------------)

官方 Discord 讨论组：[https ://discord.gg/6V42Gs8](https://discord.gg/6V42Gs8)

官方电报公告频道：[https ://t.me/fantomfoundation](https://t.me/fantomfoundation?source=post_page---------------------------)

官方子版块：[https ://www.reddit.com/r/FantomFoundation/](https://www.reddit.com/r/FantomFoundation/?source=post_page---------------------------)

官方推特：[https ://twitter.com/FantomFDN](https://twitter.com/FantomFDN?source=post_page---------------------------)

官方媒体：[https ://medium.com/fantomfoundation](https://medium.com/fantomfoundation?source=post_page---------------------------)

官方 Github：[https ://github.com/Fantom-foundation](https://github.com/Fantom-foundation?source=post_page---------------------------)

YouTube 官方频道： https: [//www.youtube.com/c/fantomfoundation](https://www.youtube.com/c/fantomfoundation?source=post_page---------------------------)

---

*Originally published on [PH2937](https://paragraph.com/@ph2937/uGNPqqk3uoUqSn6mToVB)*