L2 与 ALEO 零知识证明 ZKP 挖矿的未来

来源：吴说区块链

在公链赛道，零知识证明的路线已经十分清晰。未来大概率会形成以以太坊L1为核心保证安全性，在L2上部署ZKP以实现隐私功能的局面。除L2之外使用ZKP的公链还包括Aleo、Mina和Filecoin。

随着以太坊结束POW，而ZKP又需要大量算力维持，因此可预见的将来，ZKP将承担大量GPU算力。Messari在6月份的文章《WhatWillEthereumMinersdoAfterTheMerge?》中分析过ZKP承接以太坊算力的可行性。

“随着用户寻求更具表现力、高性能和私密性的计算，使用ZKP的复杂性将会增加。这将导致生成证明的速度变慢，需要使用专门的硬件才能及时生成证明。当比特币首次推出时，任何拥有标准CPU/GPU的人都可以挖掘比特币。最终，专业矿工开发了更高效的硬件，这使得CPU/GPU挖矿不再盈利。ZK挖矿很可能遵循类似的路径，从标准GPU矿工开始，然后开发更高效的矿机。ZKP仍处于起步阶段，但Paradigm预测ZK矿工/证明者市场在将来可能会增长到相当于PoW采矿市场的规模。”

以太坊核心开发者会议：讨论EIP-4844和L2 EIP，预计接下来会议确定坎昆升级范围:5月12日消息，以太坊核心开发者 Tim Beiko 发推总结最新一次的执行层会议讨论内容，本次会议讨论大部分都集中在 EIP-4844 上，并对 L2 EIP 进行了一些简要讨论，以及 Cancun 整体计划。

MarioVega.eth 提出了一个关于区块有效性条件的问题，该条件由某些客户端隐式实现，但不是全部。我们同意将此作为明确的有效性条件。此外，Geth 团队正在增加对 c-kzg 和 go-kzg 的支持，以允许用户在遇到错误时轻松切换。会议还讨论了两个 EIP，其中一个包括 EIP-6969（在以太坊 L2 上引入 / 标准化 CSR 的提议）。Tim Beiko表示，希望在接下来的一两次会议中可以最终确定升级的范围。[2023/5/12 14:58:42]

对比FPGA和GPU，顶级FPGA的硬件成本仅为顶级GPU的1/3，且能耗比超出GPU10倍。对比FPGA和ASIC，ASIC在编程时是一次性的，而ZKP的代码不像比特币那样稳定不变，且不同ZKP的逻辑也存在差异，显然ASIC不适合这种多变的业务。而FPGA只需简单地刷新就可以修改程序，这意味着可以兼容多套ZKP逻辑。

Juno 已恢复除加密支付和 L2 存提款之外的大部分服务:2月7日消息，加密友好支票账户应用 Juno 现已恢复其核心加密服务产品，并推出几项新功能，包括：新增支持 SOL、ADA、SHIB、DOGE 在内的超过 35 种加密货币，减少新的和现有代币产品的利差，为每一美元的非稳定币代币交易提供零交易费激励和奖励计划。

Juno 现已恢复大部分服务，但加密支付服务和 L2 存提款服务仍在努力恢复中。Juno 曾于 1 月初因其托管人 Wyre 的动荡而暂停服务。（ CoinDesk）[2023/2/7 11:52:02]

因此更长远的未来，FPGA有可能统治ZKP矿业，然而FPGA编程难度较大，目前该技术尚不成熟。短期内，GPU将会是ZKP矿业的主要设备。对于那些曾经的以太坊矿工，相较于将算力投入到如ETC或ETHW等被抛弃的公链上，他们自然有更大的商业动机去支持ZKP公链。

L2ZKP

Web3自动化解决方案Doxy Chain完成220万欧元种子轮融资，Level2 Ventures领投:9月6日消息，Web3 自动化解决方案 DoxyChain 完成220万欧元种子轮融资，Level2 Ventures领投，CVVC、Polish Satus Starter 和 Müller Medien 参投。

据悉，DoxyChain是一个为传统文档管理向Web 3.0世界的过渡构建解决方案。

目前该公司推出了两项新的SaaS功能，允许构建一个模块化的基础架构，让客户能够在此基础上开发自己定制的高级工作流程和用例。 10 月，该公司将推出NFT平台DoxyCert和数据交易平台DoxyConnect。[2022/9/6 13:11:00]

当前ZK-Rollup的Proof和Batch提交过程目前是中心化的，由单一的Sequencer来决定提交的顺序。如果要扩大矿工规模，这个过程需要实现去中心化，即任何矿工可以向L1提交Proof。关于如何实现去中心化，Vitalik曾提出过一些建议，例如成立一个DAO来进行定期的Sequencer决定权拍卖，或是随机分配给其中一个节点而节点被选中的概率则和它存入Rollup的ETH数量成正比。然而无论哪种方式本质上都属于POS机制，即由质押量的大小决定收入的高低，这与传统挖矿方式有所不同。

以太坊L2 NFT平台Mint Square宣布集成zkSync网络:4月7日消息，以太坊L2NFT平台Mint Square宣布集成zkSync网络，现已发布测试版。测试版现包含NFT铸造和交易功能。[2022/4/7 14:09:33]

当前，采用ZK-Rollup的主要L2包括zkSync和StarkNet。

zkSync的日常运行取决于为区块生成零知识证明的计算服务提供商，即“StichtingZKSync”，这是一家在阿姆斯特丹注册的非营利性荷兰基金会。根据开发团队MatterLabs的发展路线图，zkSync未来计划通过引入一个独立的共识机制来实现去中心化，该机制具有两个不同的角色：验证者和Guardians。验证者负责将交易打包成块并为其生成零知识证明，他们的节点必须在具有良好互联网带宽的安全环境中运行，也就是我们通常理解的大矿池。

Guardians是zkSync的Token持有者，根据Token份额来提名验证者。Guardians的节点可以在普通电脑或云服务器上运行，不需要专门的服务商，因此不容易被审查。反之，Guardians可以通过监控交易数据选出不受审查的验证者节点。

赛车主题手游Nitro League完成500万美元融资，SL2 Capital领投:12月9日消息，由Hotwire Studios开发的赛车主题手游“Nitro League”完成500万美元的融资，SL2 Capital领投，YGG Southeast Asia、Axia8 Ventures、LD Capital、Morningstar Ventures、Yolo.io、Skyman Ventures、YGG Global、Double Peak、LD Capital、ExtraWatts、Calisto Capital、Infinity Ventures Crypto、NGC Ventures和Woodstock参投。最近，软件开发商Hotwire Studios也从Tier-1基金中获得了1000万美元的资金。“Nitro League”是一款赛车主题的策略游戏，玩家可以在赛车挑战中相互竞争，完成任务并组成街头赛车公会。[2021/12/9 13:00:49]

StarkNet在去中心化道路上同样需要发行Token。目前，StarkNet手续费使用ETH支付，之后或许会使用StarkNet原生Token，也可能同时支持原生Token和ETH支付。Token除了用来支付手续费以外，还可以通过质押来对包括交易排序、STARK证明等做主投票决定，提高网络完全性和抗审查性。

参考由Ohad提出的一则提案：添加基于BFT的定序器，排序者根据他们的股份进行选择，为每个插槽选择特定序列器。这个过程当中，网络会添加一个slashing规则，尽可能以最佳方式在定序器和证明者之间耦合激励。

ALEOZKP

ZKP挖矿中今年比较火的项目还有一个ALEO。ALEO是一条隐私公链，目前隐私公链赛道还没有一条公链能够脱颖而出，无论是oasis、secretnetwork还是platon，都没有真正实现隐私功能的dapp。ALEO也是如此，暂时还没有什么实用价值，不过与其他隐私公链不同的是，它的共识机制与传统的PoW类似，都需要算力进行维持。区别在于ALEO挖矿底层计算不是任意的哈希函数，而是知识证明，因此它不仅可以充当PoW以确保网络共识，还可以提供给定区块中包含交易的验证。

ALEO相较于L2的ZKP有一大优势，即挖矿算法更简单。在验证区块时，算法会产生一个随机数，通过ZK计算后最终结果若小于目标值则计算正确，最先计算完成的节点拥有出块权力。矿机每次在验证一个区块时都只需生成一个随机数即可开始计算，这种挖矿逻辑在形式上与比特币没有太大差别。

而L2的ZKP计算则不然。L2面对的是一批次的交易，因此在验证时需要对每笔交易都进行ZKP，最后打包上传L1。这个过程就涉及并行计算的问题，因为即使单个CPU性能极强也不可能对成千上万笔交易进行逐个验证，必须通过像GPU这样拥有多个运算单元的设备进行并行运算。不过，虽然GPU是目前最适合ZKP挖矿的设备，但为了适应L2挖矿还需要进一步的算法优化以实现并行运算。ALEO在这一方面就具有很大的优势，它不需要并行运算，因此GPU矿机可以几乎无缝对接。在隐私公链与ZKL2均不成熟的今天，那些闲置的ETH矿机或许更有动力将算力接入ALEO矿池。

然而，这一切是建立在ZKL2尚未成熟的前提下，由于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

标签：ZKPLEOALEOETHZKP价格LEOXaleo币价格CBETH币

以太坊热门资讯