其他帐号登录: 注册 登录

ITN杉之链存储生态系统

 二维码 2352590
作者:ITN杉之链来源:微信公众号:杉之链官微网址:http://weibo.com/gszxbb

ITN杉之链存储生态系统

       ITN依赖一个去中心化存储的生态系统。存储提供商可以使用“任意数据(Arbitrary Data)”字段在网络上宣告自己,通过使用标准化模板,客户易于阅读。客户端可以使用这些声明创建一个潜在主机的数据库,并只和他们信任的主机形成合同。

客户保护

      客户可以使用纠删码,防止主机离线。这些编码通常是操作一个文件分割成n份,这样文件可以从任意的m个不相同的子集恢复(mn基于实际的纠删码和冗余因素,比如一个文件分成30份,存于30host,但是10host就能恢复一个文件)。每一份都被加密然后存于多台不同的主机。这样,就算平均网络可靠性低的情况下,客户端也能实现较高的文件可用性。ITN通过移植离线主机上的分片,进一步提高了可靠性。

      用户可以贷款,储蓄加密货币,或者购买投资产品,这些都由区块链自动控制,没有任何公开财产情况的风险。

隐私保护机制

       ITN提出一种基于zkSNARK算法的跨链交易隐私保护方法。zkSNARK零知识证明算法是现有相对较成熟可行的隐私保护技术之一,其匿名性更好,无需信任中心节点,也不需要网络中其他用户的参与,用户通过与匿名货币交互即可实现匿名交易,从而有效地保护用户隐私。

          为了将交易验证规则转换成QAP形式,首先需要将交易验证规则函数转换成NP完全语言R1CS形式:首先,将交易验证规则抽象成复杂多项式形式,然后将复杂多项式分解成两种形式:x=yx=y(op)zop可以是加减乘除等操作符,yz可以是变量、数字和子表达式;其次,将分解好的表达式转换成一系列三元向量(a,b,c)形式。最后根据拉格朗日插值法将R1CS形式转换为QAP形式。QAP形式如下:



         由于互联链的交易验证规则包括验证签名、计算Merkle树根哈希值等复杂多项式操作,所以由其构建的QAP形式包含大量哈希运算函数,直接计算QAP形式中的线性组合会消耗大量计算资源以及时间。为了避免上述情况,需要将QAP形式中包含的多项式转换成在某一安全随机变量rn处的取值,此时上述QAP等式仍然成立。

         为了使互联链网络中的验证节点在不知晓交易相关隐私信息如交易双方、交易金额的情况下能够验证交易的有效性,需要使用椭圆曲线对函数,该函数需要满足的条件如下:



其中PQR是椭圆曲线上的点,为了验证互联链交易规则转换的QAP等式,只需验证:



其中:

         除QAP等式中多项式的系数随着交易的发送方、接收方、转移金额有所不同之外,基于互联链交易验证规则构造的QAP等式是固定的。通过特定的公共参数,节点可以在不透露交易隐私信息的情况下证明生成交易有效的证据;相应地,通过特定的公共参数,验证节点可以验证交易附带证据的有效性,从而做出接收或者拒绝该交易的操作。

           互联链作为转发、验证跨链匿名交易的载体,需要能够验证跨链匿名交易的有效性。跨链交易分为跨链透明交易、跨链匿名交易两种类型。跨链透明交易提供交易本身内容以及相关Merkle分支证据,互联链网络中的验证节点可以按照平行区块链注册的验证规则验证该笔交易的有效性。


文章分类: 币圈解析
分享到:
会员登录
登录
其他帐号登录:
我的资料
留言
回到顶部