CHI:Chia VDF 算法原理剖析

随着爆火产品Chia的出现，挖矿行业又有了更新颖亲民的玩法，即低门槛的硬盘挖矿方式，这种挖矿方式让越来越多的普通人能够参与到挖矿中来，一起感受区块链行业的热潮。

根据Chia的白皮书介绍，Chia采用的共识机制是空间证明和时间证明(POT,ProofOfTime)。POS主要用来证明用户的确有未使用空间可以用来存储，而POT则用来保证整个系统的安全性，其主要算法是VDF可验证延迟函数，VDF得出的运算结果必须经历一定的时间，并且可以由网络中的任何节点快速认证，增加POS获得出块权的概率。

Verifiable：即经过一定次数的计算后，prover可以快速生成一个小的proof来证明计算有效性，verifier不用重复执行计算就可以得知计算的正确性；

Delay：即prover只有执行正确次数的计算后，才能得到正确的结果，不会出现没达到指定次数前，就得到正确结果的情况；

Chia全网有效算力32.63EiB 挖矿产出2,763,290枚:金色财经报道，据chiaexplorer数据显示，2022年1月6日，Chia当前全网有效算力为32.63EiB，目前XCH总量23,763,290枚，挖矿产出2,763,290枚。当前每天每TiB算力可产出0.0003个XCH,1TiB算力挖出1枚XCH需要花费约10年62天。行情显示，当前XCH报价为98.33美元，日内跌幅1.32%。[2022/1/6 8:28:39]

Function：即结果是确定性的，输入x，就会得到y。

Chia宣布启动培育资助计划以支持生态开发者:Chia Network今日宣布启动Chia培育资助计划，以支持那些想要创造和应用工具来发展更广泛的Chia生态系统的开发者。通过该计划，有兴趣的开发人员和团队可以提交申请，详细说明项目计划和实现项目所需的预期资金。最引人注目的应用程序将被提交给由Chialisp高管组成的审查委员会，该委员会致力于为从钱包和区块链工具到Chialisp链开发环境中的应用程序等有远见的项目提供资金支持。该培育基金的第一个接受者是Emergent Coin，这家公司专注于开发去中心化应用。（businesswire）[2021/8/19 22:22:58]

Figure1POT

VDF的计算

基于Chia的设计模式，如果某个节点的VDF计算速度高于其他节点，有可能会发起某种安全攻击。因此，为了避免这一威胁，Chia希望节点中运行的VDF算法是最高效的，所以基本没有什么优化空间。为此，Chia还举办了两次VDF效率竞赛，以高额的奖励来吸引业内精英参与到本次活动中来，广泛汲取大家的智慧，来获取效率最高的VDF。

YFII社区核心开发者：流动性挖矿项目chick.finance合约存在致命风险:YFII社区核心开发者在审计Vault机池备选项目click.finance合约时发现表示，即将上线的流动性挖矿项目chick.finance的合约代码与GitHub仓库展示的不同，modifer被恶意修改为“pub1ic”，用户充值的所有代币，开发者都有权限提取，该项目存在致命风险，请避免参与。

YFII社区提醒广大“农民”，参与流动性挖矿项目务必注意风险，本金安全第一。合约地址见原文链接。[2020/8/24]

如上图所示，Chia里用到的VDF算法其实很简单，就是对一个数x进行连续的T次平方计算，x是一个未知阶的群组的元素。为什么是未知阶的群组，其中缘由也很简单：

如果群组的阶为d，那么根据群组的性质：x2^T=x(2^T)%d

Peter Schiff：高盛警告避免使用BTC是正确的:黄金支持者Peter Schiff刚刚在推特上表示，高盛(GoldmanSachs)警告客户避免使用比特币是正确的，但它对美国经济、美元和通胀的评估是错误的。一旦他们最终弄清楚什么是显而易见的，他们就会建议客户购买黄金，只是价格要高得多。[2020/5/28]

就会存在未达到指定次数T，就得到正确结果，这与Chia的设计不一致；因此，群组的阶是无法被知道的；生成未知阶的群组的方式有两种：

基于RSA的群；

虚二次域类群；

当选择基于RSA的方式时，群的阶N=pq，其中p、q都是很大的素数且不可公开，因此，计算这种群的阶的难度就和分解大数N一样困难。所以被认为是安全的，但是，这种方式需要可信设置，即p、q由可信第三方生成，或许也可以用MPC的方式，但是总之，它需要可信设置；

而基于虚二次域的类群可以消除可信设置，因为一个满足|d|=3mod4关系的负大素数生成的类群，计算其阶是困难的，由于这个大素数可以公开，因此这种方式可以很容易的生成无须可信设置的未知阶的群。

了解了背后的数学概念，下面让我们再看一下，基于虚二次域类群的元素的平方应该如何计算，如下图所示：

Figure2ifa<L

Figure3ifa>L

NUDUPL算法为目前为止，计算虚二次域平方的最有效的方法，这也是在两次VDF算法竞赛中，参赛者们选用最多的方法。图2、图3展示了算法的两个主要分支，其中m=(a,b,c)、M=(A,B,C)都是群中元素的表示形式。

VDF的证明

由图1可知，prover除了需要做T次计算外，还需要生成一个证明，来证明计算的正确性，关于VDF的正确性论证，这篇论文中给出了两个经典的方法，Chia采用的是Wesolowski的论证方法，此方法的过程如下图所示：

算法本身简单，且好理解。和论文中的Pietrzak算法相比，该算法生成证明更小，验证proof更快。

结语

经过一段时间的研究和测试，Chia目前采用的VDF算法确实相当高效，从算法上，已经寻找不出可以大幅优化的点。“软的不行就来硬的”，这也是为什么我们仍然坚持把Chia的VDF算法研究的很深入的一个原因，目前已经着手硬件优化设计。从理论上讲，具有更高效率的VDF计算，可以获得更高的挖矿效率，这也是我们的目标。

标签：CHIPROVERXCHFinschiaEliteSwap ProtocolsBlin MetaverseCNexchange

币安下载热门资讯