伴随着以太币完毕 POW，而 ZKP 又需要很多算力保持，因而可预知的未来，ZKP 将承当很多 GPU 算力。Messari 在 6 月份文章内容《What Will Ethereum Miners do After The Merge?》中分析过 ZKP 承揽以太币算力的可行性分析。

“伴随着客户寻找更具有感染力、性能卓越和私密性计算，应用 ZKP 的复杂化将也会增加。这可能导致形成证实速度减缓，需要使用专门硬件配置才可以立即形成证实。当BTC初次发布时，一切有着规范 CPU/GPU 的人都能发掘BTC。最后，技术专业挖矿研发了更有效的硬件配置 （ASIC），这也使得 CPU/GPU 挖矿不会再赢利。ZK 挖矿很有可能遵照相似的途径，从规范 GPU 挖矿逐渐，随后开发设计更有效的挖矿机（ASIC 或 FPGA）。ZKP 还是处于初始阶段，但 Paradigm 预测分析 ZK 挖矿/证明者销售市场在未来可能提高到等同于 PoW 开采市场经营规模。”

比照 FPGA 和 GPU，顶尖 FPGA 的硬件设备成本费（行业领先的工艺节点、工作频率、功耗比和储存器网络带宽）仅是顶尖 GPU 的 1/3，且功耗比超过 GPU 10 倍。比照 FPGA 和 ASIC，ASIC 在程序编写的时候是一次性的，而 ZKP 的编码并不像BTC那般平稳不会改变，且不一样 ZKP 的思路也有所差异，显而易见 ASIC 不适宜这类千变万化的业务流程。而 FPGA 仅需简单的更新就能修改程序，这就意味着能够适配好几套 ZKP 逻辑性。

因而更长久未来的发展，FPGA 有可能会执政 ZKP 矿业，但是 FPGA 程序编写难度比较大，由于该技术性尚不够成熟。短时间，GPU 将是 ZKP 矿业的关键设备。对于一些从前的以太币挖矿，相比将算力投入到了如 ETC 或 ETHW 等被抛弃的公链上，她们当然有更高的商业服务动因去适用 ZKP 公链。

L2 ZKP

现阶段 ZK-Rollup 的 Proof 和 Batch 递交全过程现在是中心化的，由单一的 Sequencer 来确定递交的次序。如果想扩张挖矿经营规模，这一过程必须完成去中心化，即一切挖矿可向 L1 递交 Proof。对于如何完成去中心化，Vitalik 曾提出了一些建议，比如成立一个 DAO 去进行定期进行的 Sequencer 决策权竞拍，或者随机分配给其中一个连接点而节点被选定的几率则与它存进 Rollup 的 ETH 总数正相关。但是不管是哪一种方法实质上都是属于 POS 体制，由质押贷款量大小确定收益高低，这和传统挖矿方法（由算力尺寸确定收益多少）各有不同。

现阶段，选用 ZK-Rollup 的重要 L2 包含 zkSync 和 StarkNet。

zkSync 的日常运作在于为区块链形成零知识证明计算服务供应商，即“Stichting ZK Sync”，这是一家在阿姆斯特丹登记注册的非盈利性西班牙慈善基金会。依据开发团队 Matter Labs 的发展路线图，zkSync 未来计划根据引进一个单独的共识机制来达到去中心化，该体制具备两种不同的人物角色：验证者与 Guardians。验证者担负将买卖装包成块并向其形成零知识证明，他的连接点必须要在具有较强互联网技术网络带宽的安全性环境中运行，也就是大家一般接受的大挖矿软件。Guardians 是 zkSync 的 Token 持有人，依据 Token 市场份额来候选人验证者。Guardians 的连接点还可以在普通电脑或云主机上运作，不用专业的供应商，因而不易被核查。相反，Guardians 能通过监管交易信息挑选出不会受到审核的验证者连接点。

StarkNet 在去中心化路上更加需要发售 Token。现阶段，StarkNet 服务费应用 ETH 付款，以后也许会应用 StarkNet 原生态 Token，也有可能与此同时适用原生态 Token 和 ETH 付款。Token 除开用于交易手续费之外，也可以通过质押贷款的方式对包含买卖排列、STARK 证明等作主投票表决，提升互联网不完全性及抗核查性。参照由 Ohad 明确提出的一则提议：加上根据 BFT 的定序器，排列者依据他的股权来选择，为每一个扩展槽挑选特殊编码序列器。这一过程中，网络会加上一个 slashing 标准（类似 Cosmos SDK），尽量以最好方式为定序器及证明者中间藕合鼓励。

ALEO ZKP

ZKP 挖矿中在今年的最热门的新项目还有一个 ALEO。ALEO 是一条个人隐私公链，现阶段个人隐私公链跑道都还没一条公链可以出类拔萃，不论是 oasis、secret network 或是 platon，也没有从而实现隐私功能的 dapp。ALEO 亦是如此，目前还没有哪些实际意义，但是与其它个人隐私公链不一样的是，它共识机制与传统 PoW 类似，都要算力开展保持。区别就是 ALEO 挖矿最底层测算并不是随意的哈希函数，反而是专业知识证实，所以它不但可以当做 PoW 以保证互联网的共识，还能够给予给出区块链其中包含买卖交易验证。

ALEO 相比 L2 的 ZKP 有一大优点，即挖矿优化算法更方便。在验证区块链时，优化算法也会产生一个随机数字，根据 ZK 测算后最后的结果若低于目标则测算恰当，最开始测算完成连接点有着出块权利。挖矿机在每一次验证一个区块链的时候都仅需形成一个随机数字即可进行测算，这类挖矿逻辑性在方式上与BTC没有多大区别。

而 L2 的 ZKP 测算则不同。L2 面临的是一批次买卖交易，所以在验证的时候需要对每一笔买卖都经过 ZKP，最终装包提交 L1。这一过程就涉及到并行处理问题，因为就算单独 CPU 特性很强也不太可能对不计其数笔买卖开展逐一验证，需要通过像 GPU 那样有着好几个运算单元的系统进行并行处理计算。但是，尽管 GPU 是当前比较适合 ZKP 挖矿的机器，但为适应 L2 挖矿还要进一步的算法优化并实现并行处理计算。ALEO 在这一方面就具有一定的优点，它不用并行处理计算，因而 GPU 挖矿机能够基本上无缝拼接。在个人隐私公链与 ZK L2 均不成熟的今日，这些不用的 ETH 挖矿机也许更有动力将算力连接 ALEO 挖矿软件。

但是，这一切都是基于 ZK L2 并未完善前提下，因为 ETH 绿色生态兴盛，只需 L2 发布，L1 里的 dapps 就能立即转移来。而 ALEO 则不同，即便个人隐私公链质量稳定，精英团队依然需要花费大量钱财来构建整体绿色生态，这明显是 ALEO 的一大缺点。我们能将它称之为 ETH 系生态环城河：不论是哪种类型的 L2，只需可在原来的最底层公链技术层面再加上 ZK，那样纯天然就存在的价值捕捉能力了。这也是 ALEO 等 L1 不具备的。

汇总

伴随着抗核查市场需求的慢慢扩张，将来个人隐私跑道一定能变成颠覆性运用。现阶段，个人隐私证实中最具可行性分析的便是 ZKP，它需要大量算力才能维持，因而 ZKP 挖矿很有可能变成和当时 ETH 挖矿经营规模相当产业链。

ZKP 挖矿最应该考虑的是去中心化难题，现阶段 zkSync 和 StarkNet 早已发布有关的路线地图。从逻辑关系来看，若想完成去中心化，发售 Token 是不可缺少的。Token 不就是用来保持的共识，也可以用来管控挖矿连接点，一定程度上提升抗核查性。

挖矿设备上，性价比之王应属 FPGA，但是充分考虑 FPGA 程序编写难度系数巨大，且因为 GPU 闲置不用挖矿机比较多，短时间 GPU 更可能执政该产业链。

公链中，ZKP 挖矿 能够被一切 ZK 系列 L2 选用 ，但 L1 现在只有 ALEO 容许。比较之下，ALEO 不用并行处理，因而不用的 GPU 挖矿机能够无缝拼接。而 L2 在环境层面更有优势，客户基本更高，风险性比较小。

https://www.paradigm.xyz/2022/04/zk-hardware

https://messari.io/report/what-will-ethereum-miners-do-after-the-merge

https://docs.zksync.io/userdocs/decentralization/

https://community.starknet.io/t/starknet-decentralization-tendermint-based-suggestion/998

来源：Yuanshan