摘要:用于实时加密货币支付的基于DAG的智能合约平台Fantom周三(11月28日)宣布,与悉尼大学(USYD)合作,为智能合约构建新的编程工具链,目的是为更安全的智能合约开发创建自动错误检查软件。
用于实时加密货币支付的基于DAG的智能合约平台Fantom周三(11月28日)宣布,与悉尼大学(USYD)合作,为智能合约构建新的编程工具链,目的是为更安全的智能合约开发创建自动错误检查软件。
Fantom首席创新官Michael Kong表示:“市值超过2000亿美元,加密货币和分布式账本的安全性需求是至关重要的。从数百万美元的黑客到钱包冻结,我们已经看到写得不好的智能合约对整个行业造成了灾难性的后果。这种合作伙伴关系将实现更安全的智能合约编程,同时还提供推动区块链创新和发展所需的实践经验。”
Fantom的研究合作伙伴关系将集中在以下四个方面:
智能合约的编程方法:这需要程序员的教育,包括教程,并且随着区块链的编程环境的发展,这个领域将变得越来越重要。
智能合约的编程语言:当前的智能合约编程语言Solidity不适用,因为它没有强类型系统。因此,研究问题是如何扩展Solidity以使其变得更安全。
验证编译器:需要验证编译器将Solidity(或其扩展名)转换为虚拟机。
虚拟机:需要一种节能且具有紧凑字节码格式的新虚拟机。最终,虚拟机应该是可验证的。
Fantom首席执行官Byung Ik Ahn博士评论道:“在我们寻求加速区块链技术的主流应用时,需要解决几个关键技术挑战,包括安全性,可扩展性和高能耗问题。为了启动这一过程,该行业需要开始更加重视以区块链为重点的研究和学术界,这是它极度缺乏的。”
Ahn博士补充说:“Fantom非常高兴能与悉尼大学合作,因为我们相信经验丰富的教师和才华横溢的学生都有资格提高智能合约功能,并创造一种新的编程语言,有助于推动整个生态系统的发展。”
Scholz教授表示:“凭借我们从Fantom获得的令人难以置信的研究资助和支持,该项目将帮助悉尼大学提供研究论文和软件文物,并在高等教育中提供独特的区块链相关研究机会。作为教育工作者,我们的工作是为学生提供尽可能多的经验和尽可能多的工具,以便在当今的行业取得成功。区块链在编程的演变中发挥了主导作用,我们期待通过与Fantom的合作来推动其发展。”
免责声明:
本文观点仅代表作者个人观点,不构成本平台的投资建议,本平台不对文章信息准确性、完整性和及时性作出任何保证,亦不对因使用或信赖文章信息引发的任何损失承担责任