智能契约平台Fantom与悉尼大学合作构建新的智能契约编程工具链

基于DAG、接受即时加密货币支付的智能合约平台Fantom日前与悉尼大学(The University of Sydney)合作，建立新的智能契约编程工具链。其目的是为更安全的智能契约开发创建自动错误检查软件。

在市值超过2000亿美元的情况下，提高加密货币和分布式账本的安全性是至关重要的。从数百万美元的黑客攻击到钱包冻结，我们已经看到，写得不好的智能契约会给整个行业带来灾难性的后果。Fantom首席创新官Michael Kong表示：“这一合作关系将使更安全的智能契约编程成为可能，同时也将提供推动区块链创新和发展所必需的实践经验。”

Fantom的研究合作关系将集中在四个领域：

1. 智能契约的编程方法：这需要对程序员进行教育；随着区块链编程环境的开发这一领域将变得越来越重要

2. 适用于智能契约的编程语言：目前的智能契约编程语言是不适合的，因为它没有强大的类型系统。因此，研究的问题是如何扩大其稳定性，使其能被更安全地使用

3. 验证编译器：需要验证编译器将稳定性(或其扩展)转换为一个虚拟机

4. 虚拟机：需要一种新的高效能的虚拟机，并且具有紧凑的字节码格式。最终，虚拟机应该是可验证的

Fantom首席执行官Byung Ik Ahn博士评论道：

“在我们寻求加速区块链技术的主流应用时，需要解决几个关键的技术挑战，包括安全性、可伸缩性和高能耗问题。为了启动这一进程，该行业需要开始更加重视区块链的研究和学术，而这正是它极度缺乏的”。

“Fantom非常高兴能与悉尼大学合作，因为我们相信，经验丰富的教师和有才华的学生具有可以改进智能契约功能并创建一种新的编程语言帮助推进整个生态系统的独特资质”。

关于合作事宜，悉尼大学的Scholz教授说：

“我们从Fantom获得了令人难以置信的研究资助和支持，该项目将帮助悉尼大学提供研究论文和软件人工制品，并在高等教育中提供独特的区块链相关研究机会”。

“作为教育工作者，我们的职责是为学生提供尽可能多的经验和工具，以在当今的行业中取得成功。区块链在编程的发展中发挥了主导作用，我们期待通过我们与Fantom的合作来推动它的发展”。

本文翻译为外汇天眼提供，原文出自Leap Rate