蓝冠代理-蓝冠总代平台

招商主管Q374919
蓝冠总代平台

Algorand和Blockstack蓝冠客户端正在构建一种多链智

蓝冠客户端

腾讯蓝冠,蓝冠代理

Algorand和Blockstack正在合作开发一种新的智能合同编程语言,这两家初创公司正朝着区块链间直接通信的方向发展。
 
这两家公司的高管告诉CoinDesk,这个名为Clarity的项目最终将允许开发者编写智能合同,在他们的两个区块链上执行——以及其他可能决定加入开源计划的公司——而不涉及像Polkadot这样的第三方互操作性协议。
 
直接链间通信的潜力可能是无限的,就像开发者在两个非常不同的平台上部署智能合同一样。Algorand的股权证明区块链通常是为了满足金融用例,腾讯蓝冠而Blockstack即将推出的stack 2.0“转移证明”区块链则更广泛地关注去中心化计算。
 
“我们认为这是一个多连锁的世界,”Algorand首席执行官史蒂夫•科基诺斯(Steve Kokinos)表示。“人们将为不同的目的使用不同的链,而互操作性将是至关重要的。”
 
Blockstack的首席执行官Muneeb Ali说,是他和Algorand的智能合同设计理念的相似性使他们走到了一起。
 
阿里说:“我们已经在寻找同样的房产了。”
 
他们都对部署“非图灵完整”语言非常感兴趣。Algorand 2.0的TEAL智能契约语言是非图灵完成的,Blockstack的清晰性也是如此,它已经计划在stack 2.0上首次亮相。从一开始,阿里就估计这两种语言有“80-90%”的共同点。
 
在某种程度上,非图灵完备性意味着一种语言的程序在理论上不能永远运行——而在实践中,这意味着它的程序在某种程度上比用图灵完备的语言编写的程序更具限制性。
 
但是由于具有相同的特性,非图灵完整的语言也比计算完整的语言更不容易出现bug。阿里说,他们的智能合同不需要人工审计。
 
“每件事都可以精确,每件事都可以被验证,”阿里说。他将清晰与可能出错的替代语言进行了对比,蓝冠代理替代语言可能会使“数亿美元”的智能合同用户资金面临风险。
 
用图灵完整语言编写的漏洞百出的智能契约的潜在危险,臭名昭著的DAO黑客可能是最著名的例子。2016年的那起盗窃事件让用户在以太网络上损失了5000万美元,全部都是因为一个漏洞。
 
“这些智能合同的数字问题实际上只是:它们是否精确和安全?”所以语言必须集中在这一点上,这就是我们在这里所做的。”
 
Kokinos表示,Clarity为智能合同提供了一种“哲学上不同的方法”。
 
他说,清晰度也将使开发体验更简单。“我们正在为人们提供工具,以减少他们大量了解区块链如何工作以及系统底层部分的必要性,让人们能够完成自己的工作。”

蓝冠总代

蓝冠|蓝冠代理-蓝冠总代平台,谢谢支持!

蓝冠总代平台