Fantom与悉尼大学合作为智能合约构建编程工具链

Fantom是一个基于DAG的智能合约平台，提供实时加密货币支付服务。它宣布与悉尼大学(USYD)合作，为智能合约构建新的编程工具链，其目的是为智能合约开发自动错误检查软件。

Fantom首席创新官Michael Kong表示：“由于加密货币的市值已经超过二千亿美元，加密货币和分布式账本的安全工作极为重要。从黑客窃取数百万美元的加密货币到加密货币钱包冻结事件，可以发现，不完善的智能合约会给整个行业带来灾难。我们此次合作将提高智能合约的安全性，同时也将提供推动区块链创新和发展所需的实践经验。”

Fantom的研究将集中在四个领域。

智能合约的编程方法：这需要对程序员进行教育，设计教程。随着区块链编程环境的发展，这一领域将变得越来越重要。智能合约的编程语言：目前的智能合约编程语言Solidity是不适合的，因为它没有强类型系统。因此，需要研究的问题是如何扩展Solidity，提高其安全性。验证编译器：需要验证编译器将Solidity（或其扩展名）转换为虚拟机。虚拟机：需要一种新的高效且具有紧凑的字节码格式的虚拟机。虚拟机应该是可验证的。