|Blockstack首席执行官：智能合约需要更安全的语言
【|Blockstack首席执行官：智能合约需要更安全的语言】
本文插图
免责声明：本文旨在传递更多市场信息 ， 不构成任何投资建议 。 文章仅代表作者观点 ， 不代表火星财经官方立场 。
小编：记得关注哦
来源：比推BitpushNews
原文标题：Blockstack首席执行官：智能合约需要更安全的语言
本文插图
他还认为 ， 就像云计算对很多行业都产生了影响一样 ， 智能合约也不仅仅会影响金融行业 ， 智能合约的潜在好处和应用远远超出了其名称所暗示的范围 。
Ali表示 ， “其甚至不应该被称为智能合约 ， 因为这是一个相当有限的名称 。 这些是可验证的程序 ， 它们在云计算时代是不存在的 。 ”
Blockstack已同基于权益证明的区块链协议Algorand合作 ， 以支持和应用一种名为“Clarity”的智能合约语言 。 该语言旨在为智能合约提供比现有编程语言更安全和“专用”的功能 。
他提到 ， “我们的行业需要一种可预测的、安全的、开源的替代方案 ， 以取代目前像Solidity之类的语言 。 尽管我们预计智能合约中锁定的价值最终将达到数万亿美元 ， 但我们的行业尚未为这种增长做好准备 。 ”
在Blockstack和Algorand看来 ， 这种缺乏准备的原因是 ， 开发人员到现在为止“一直在使用一种不安全的语言” 。
Ali强调 ， 智能合约旨在通过依靠自动执行的软件代码来克服人类或机构中介的弱点 ， “与典型的计算机程序和网站有很大的不同” 。
因此他指出 ， “对于高风险的运营 ， 它们需要成为可验证的程序 。 通用语言在这里可能很危险 。 ”
为了让利益相关者应用智能合约并发挥其潜力 ， Ali认为“需要一种在智能合约执行之前安全且在数学上可预测的确定性语言” ， 因为一个行业“不太可能通过以不安全的语言编写的智能合约进行高价值交易 。 ”
他指出 ， 这一含义的意义远远超出了金融服务行业 。 Ali补充称 ， “编写可验证代码的能力就像开发人员的超级能力 。 这可以重塑软件在Internet上的分发和验证方式、开发人员贡献代码获得报酬的方式、实现Internet服务访问控制的方式等 。 ”
推荐阅读
- 行业互联网|Netflix任命首席内容官Ted Sarandos为联合CEO
- 技术|【首席对话】平安首席科学家肖京：科技如何战疫，AI从计算至“算计”有多远
- 上游新闻|日产Ariya全球云发布首席执行官内田诚：了解这款车即可知日产未来
- 人工智能|机器之心创始人兼首席执行官赵云峰：人工智能是人类寻找家园的“冲动”与“乡愁”
- 互联网|专访京东安全首席架构师耿志峰：如何预防黑客勒索？
- 亓官又冬|罗永浩吐槽“苹果首席设计师”：他算什么人物？我只认为乔布斯牛
- 科技首席|绿能科技CAXA PLM项目成功签约并启动
- 科技首席|引爆虚拟直播市场，中科深智推出颠覆性产品
- 雷帝触网|拼多多宣布组织架构升级：CTO陈磊出任公司首席执行官
- 腾讯科技|Airbnb任命萧锦鸿为爱彼迎中国首席运营官