比特大陆-比特币价格行情交易交流平台!

Blockstack的首席实行官:智能合约需要更安全的语言

更新时间:2021-07-14 14:19点击:

图像出处:

梁澈

Blockstack的联合开创者兼首席实行官Muned Ali在同意Cointelegraph的采访时说,智能合约将来将需要一种更安全的开发语言。

他还觉得,就像云计算已经影响到很多行业一样,智能合约不只影响金融行业,而且智能合约的潜在利益和应用远远超出了其名字所暗示的范围。

阿里说:“它甚至不应该被叫做智能合约,由于它的名字相当有限。这部分是可验证的程序,在云计算年代还没有。”

Blockstack与基于权益证明的区块链协议ALGO币合作,支持并应用了一种称为“ Clarity”的智能合约语言。该语言旨在为智能合约提供比现有编程语言更安全和“专用”的功能。

他提到:“大家的行业需要一种可预测的,安全的,开放源码的替代品来替代诸如Solipty之类的目前语言。尽管大家预计,智能合约中锁定的价值最后将达到数万亿USD,但大家的行业尚未为这一增长做好筹备。”

在Blockstack和ALGO币看来,这种缺少筹备是什么原因到现在为止,开发职员“一直用了不安全的语言”

阿里强调,智能合约旨在通过依赖自动实行的软件代码(与典的计算机程序和网站完全不同)来克服人类或机构中介机构的弱点。

因此他指出:“对于高风险的操作,它们需要是可验证的程序。通用语言在这里可能非常危险。”

为了使利益有关者应用智能合约并发挥其潜力,Ali觉得“需要一种在实行智能合约之前安全且在数学上可以预测的确定性语言”,由于行业“不太可能使用不安全的语言为高价值而撰写的智能合约买卖。”

他指出,这种含义包含的意思远远超出了金融服务业。 Ali补充说:“撰写可验证代码的能力就像开发职员的超级能力。这可以重塑软件在Internet上的分发和验证方法,开发职员提供代码以获得报酬的方法,达成对Internet服务的访问控制的方法。等等。”

上一篇:牌照代表生命线? 下一篇:没有了
官方微信公众号