太坊未来的生态拓展主要是通过Layer-2来实现,但隐私计算的公链Aleo借助zkCloud实现高拓展和更大的交易吞吐量。
zkCloud是一个点对点、去中心化的私有计算模型,让Aleo网络的身份和交互转移到链下,同时实现隐私保证。在zkCloud中,程序以隐私、安全、廉价的方式执行,且具有无限的运行时间。
通过这些功能,zkCloud成功解决了区块链迄今为止的最具挑战性问题之一:隐私困境。目前市场上的大多数区块链项目要么以隐私为代价选择可编程性,要么牺牲可编程性满足隐私要求。但Aleo利用zkCloud提供可编程隐私性,既兼顾可编程性又保证隐私性。
zkCloud是Aleo区块链的一个链外执行环境,与典型的公有区块链不同,它将应用程序runtime与区块链维护的状态分离,从而实现了完全的可编程性和隐私性,并且相对于链上VM模型有更高的交易吞吐量。交易都是通过递归的零知识证明隐藏交互的细节,并最终生成一个外部的proof作为这个过程的证据。
在Aleo区块链中,这些交易将消费和创建记录,以修改或更新给定应用程序或程序的状态。节点和其他用户可验证shielded transactions中的零知识证明,从而确信其真实性,而无需了解具体细节。将zkCloud与Aleo区块链之间的交互视为“shadows”,当看到一个shadow时,就知道something创建了该shadow,但很难分辨出细节或准确地确定它是什么。因为零知识证明没有透露任何关于内容的信息,所以除非有人故意透露一些数据,否则节点和其他第三方无法确定这种互动的具体内容。
通过将计算与状态分离,zkCloud可提供无限的应用runtime。
在zkCloud中允许的程序可能需要一秒钟、一分钟、甚至一天的时间。只要在计算结束时提交shielded transaction,这些运行时间都不重要。与以太坊这样的链上执行模型相比,这为更多种类的应用程序打开了大门。在以太坊模型中,程序runtime受到了“gas”的限制。
此外,zkCloud的链外执行意味着可答复提高与应用程序交互的用户隐私性。
由于只有proofs会提交到链上,从技术上来讲,任何人都不可能看到或利用任何交易细节的知识。此外,交易吞吐量也可大幅提高,因为Aleo节点仅需验证proof,而不需运行程序。
除此之外,Aleo的方案并不会损害安全性,因为作为shiled transaction中一部分的的零知识证明以密码学的方式保证了正确的程序执行。
这与其他区块链和许多Layer 2 解决方案形成了鲜明对比,后者只提供了正确发生状态转换的加密经济保证,但在Aleo中,一个proof表面程序要么运行正确,要么根本就没有运行,从而消除了用户或智能合约开发人员对额外信任假设的需要。
zkCloud旨在帮助开发者构建隐私、可扩展的项目。
通过将执行与状态分离,并通过shielded transactions只向区块链提交proofs,zkCloud帮助Aleo实现隐私、可编程、高性能网络的目标。
随着我们数字生活变得越来越重要,我们应对在线互动中所披露的信息进行更强的控制。因此,零知识密码学代表了下一次数字革命。通过在zkCloud中发布shielded identities和shielded transactions,Aleo为构建这样的应用提供了技术基石,颠覆了我们目前对区块链扩展性和隐私性的思考方式。
布局Aleo正当时!
中文资讯君也是也会持续关注Aleo的三测信息与Token分发的情况,大家也记得与中文资讯君多多互动,与各位一起捕捉Aleo前沿的最新信息。
Aleo中文资讯网,来源于公众号:Aleo中文资讯,小编V:dotch1
完全私有的应用程序构建世界领先的开发者平台,带领新纪元的数字自由与访问,关注ALEO中文咨询网,与你见证隐私公链赛道巨头的诞生!
下期文章,与你不见不散!
来源:金色财经