类别:热闻 / 日期:2021-07-20 / 浏览:1352

目前Filecoin收集每天会产生6-7百万zk-SNARK证明量,此中每个证明有超100万算法方面的容量,为了包管收集平安,Filecoin改良并大量优化了zk-SNARK以满足目前的需求。

目前Filecoin收集每天会产生6-7百万zk-SNARK证明量,此中每个证明有超100万算法方面的容量,为了包管收集平安,Filecoin改良并大量优化了zk-SNARK以满足目前的需求。

零常识证明

零常识证明中最重要的加密手艺就是zk-SNARK,它能让证明者有效地说服验证者其晓得某种信息,却无需透露此信息自己,那一属性包管了区块链情况中的平安和隐私互动。目前Filecoin所依赖的次要属性是其效率,zk-SNARK的降生让利用更少空间去证明存储有效性成为可能。

Filecoin成为更大的零常识证明收集?  zcash 网络安全 零知识证明 第1张

用一个简单的例子来申明一下:阿里巴巴被匪徒抓住,为了保命,他需要向匪徒证明本身拥有翻开石门的密码,同时又不克不及把密码告诉匪徒。他想出一个处理法子,先让匪徒分开本身一箭之地,间隔足够远让匪徒无法听到口令,足够近让阿里巴巴无法在匪徒的弓箭下逃生。阿里巴巴就在那个间隔下向匪徒展现了石门的翻开和封闭。

那个整个过程能够形象化理解为零常识证明,证明者可以在不向验证者供给任何有用信息的情况下,使验证者相信某个论断是准确的。

应用

目前最普遍利用零常识证明场景的项目是zcash的隐私标的目的。Zcash项目,各人都晓得是“隐私交易”。Zcash代表了零常识证明中zk-SNARK的一个应用标的目的:隐私。隐私有差别的水平,ZCash的隐私交易指的是隐藏交易的发送方,领受方以及交易金额。

Filecoin成为更大的零常识证明收集?  zcash 网络安全 零知识证明 第2张

Filecoin是存储行业比力热门的项目,去中心化的存储,有个核心问题,怎么证明K工实在有效的存储了指定的数据。Filecoin是通过复造证明以及时空证明算法实现(此中就包罗零常识证明)。复造证明通过零常识证明,证明每一层的数据都颠末VDE计算生成,并供给最初成果的Merkle树的树根。

在数据处置并存储后,每隔一段时间,需要提交存在性证明,也就是时空证明的算法。时空证明算法的根本思惟,随机挑选一个Merkle树的叶子节点位置,需要供给出一条Merkle途径的零常识证明。

Filecoin成为更大的零常识证明收集?  zcash 网络安全 零知识证明 第3张

复造证明的算法,通过零常识证明证明数据已经准确处置,并供给了处置后数据构成的Merkle树的树根。时空证明,即每隔一段时间,随机抽选一个叶子数据,需要K工在必然的时间内供给从该叶子数据到Merkle树根的途径证明。若是,处置完的数据没有保留在一个可靠的存储上,无法在合理的时间内重建整个Merkle树,也就无法供给证明。

Filecoin的改良

为了撑持 Filecoin 所需的容量,如今运行了一个新的Powers of Tau Ceremony,本来在Zcash运行的Ceremony根底上将撑持的容量增加了 64 倍!

Filecoin成为更大的零常识证明收集?  zcash 网络安全 零知识证明 第4张

zk-SNARK 在生成成为瓶颈时,撑持证明生成的核心操做是高度可并行化的,所以Filecoin操纵现代通用 GPU 计算从 CPU 卸载它们。

那允许更高的吞吐量,同时也缔造经济效率。通过将可并行化的工做转移到相对廉价的并行处置器上,Fileoin能够让主内存和 CPU 空闲,用于创建数据发掘者必需证明的高度挨次和内存密集型工做负载。

Filecoin成为更大的零常识证明收集?  zcash 网络安全 零知识证明 第5张

为了进步多个 zk-SNARK 的验证速度,实现了批量验证。因而Filecoin施行了SnarkPack。那允许K工将许多 zk-SNARK 聚合为一个组合证明。那种优化不只在规模上将验证时间削减了 10 倍以上——它还通过削减必需提交给链的每个证明的均匀字节数来削减链带宽。

总结

为了实现那一目的,Filecoin成立了对内积参数的研究,并合做扩展以撑持Filecoin收集的需求,而无需新的可信设置。Filecoin通过调整手艺以利用两个现有的 Powers of Tau 可信设置平安地应用来实现那一点。通过此举改良,申明Filecoin克制了证明障碍以实现规模打破并成为全网更大的zk-SNARK证明收集。

  • 随机文章

  • 热门文章

 可能感兴趣的文章

最近发表