Blockstack和Algorand支持“更安全”的智能合约语言

权益证明区块链协议Algorand和区块链软件公司Blockstack启动了一个联合开源项目，以支持名为“Clarity”的智能合约语言的开发。

两者都声称，现有的智能合约语言既不安全也不可预测，无法满足新兴行业不断增长的需求。

截至今年2月，分散金融（DeFi）市场的价值已锁定10亿美元，在这些市场中，智能合约用于创新金融服务，例如信贷和借贷。

在6月10日的公告中，Algorand和Blockstack强调了对替代智能合约语言的需求，该语言应为：“为满足从事高风险交易的开发人员的需求而专门打造的，耗资数亿美元，这比当前的解决方案需要更多的可预测性和可靠性。”

两个区块链网络的团队都与计算机科学和密码学方面的学术研究紧密联系。

阿尔戈兰德（Algorand）的创始人是麻省理工学院教授和密码学家西尔维奥·米卡利（SilvioMicali），曾获得计算机科学的图灵奖和理论计算机科学的戈德尔奖。在Blockstack，该团队由普林斯顿大学计算机科学博士学位的MuneebAli博士领导。

是什么使Clarity与现有的智能合约语言不同？

在启动该项目的声明中，Ali博士解释说，智能合约具有“根本不同的要求”，尤其是在可验证性和安全性方面。

在DeFi领域进一步发展之前，他曾呼吁对智能合约语言开发进行“认真升级”，以确保安全有效的代码支持该技术的最受欢迎应用。

如过去的漏洞所示，例如2016年以太坊区块链上臭名昭著的DAO事件，当事情出现问题时，风险可能会非常高。

正如公告中所概述的，清晰度是一种“可决定的”语言，这意味着开发人员可以数学确定地知道程序将提前做什么和不会做什么。

Algorand和Blockctack声称，目前，使用“不确定”语言使开发人员无法准确了解在没有事先执行合同的情况下合同在某些情况下的行为。他们声称，这种向可判定性的转变“因此解决了目前阻止大规模，严重使用的主要障碍。”

随着诸如Clarity之类的编程语言的采用，Micali博士还指出了该技术将被大型企业和政府更信任的可能性。

除了对Clarity的共同支持外，Algorand和Blockstack还承诺致力于改善链间通信和可操作性，以防止区块链空间中“围墙花园”的合并。

其他“专用”智能合约语言

Cointelegraph先前曾报道过数字资产建模语言（DAML）的开发，该语言于去年由其创建者软件公司DigitalAsset开源。

今年春天，腾讯的数字银行WeBank透露，它正在探索DAML与其财团区块链FISCOBCOS的整合，该链将支持中国全国性的基于区块链的服务网络。