阿尔戈兰德(Algorand)的创始人是麻省理工学院教授和密码学家西尔维奥·米卡利(Silvio Micali),曾获得计算机科学的图灵奖和理论计算机科学的戈德尔奖。在Blockstack,该团队由普林斯顿大学计算机科学博士学位的Muneeb Ali博士领导。
是什么使Clarity与现有的智能合约语言不同?
在启动该项目的声明中,Ali博士解释说,智能合约具有根本不同的要求,尤其是在可验证性和安全性方面。 在DeFi领域进一步发展之前,他曾呼吁对智能合约语言开发进行升级,以确保安全有效的代码支持该技术的最受欢迎应用。 如过去的漏洞所示,例如2016年以太坊区块链上的DAO事件,当事情出现问题时,风险可能会非常高。 正如公告中所概述的,清晰度是一种可决定的语言,这意味着开发人员可以数学确定地知道程序将提前做什么和不会做什么。 Algorand和Blockctack声称,目前,使用不确定语言使开发人员无法准确了解在没有事先执行合同的情况下合同在某些情况下的行为。他们声称,这种向可判定性的转变因此解决了目前阻止大规模,严重使用的主要障碍。” 随着诸如Clarity之类的编程语言的采用,Micali博士还指出了该技术将被大型企业和政府更信任的可能性。 除了对Clarity的共同支持外,Algorand和Blockstack还承诺致力于改善链间通信和可操作性。 其他专用智能合约语言 媒体先前曾报道过数字资产建模语言(DAML)的开发,该语言于去年由其创建者软件公司Digital Asset开源。今年春天,腾讯的数字银行WeBank透露,它正在探索DAML与其财团区块链FISCO BCOS的整合,该链将支持中国全国性的基于区块链的服务网络。
郑重声明:本文版权归天网查所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。