零知识证明ZK科普,PLONK与Groth16证明系统性能对比—从欧易交易所视角看区块链隐私技术

admin okx快讯 2

目录导读

  1. 零知识证明(ZK)是什么?为什么区块链需要它?
  2. PLONK与Groth16:两大证明系统的技术原理差异
  3. 性能对比:计算效率、证明大小与验证时间
  4. 应用场景:以太坊Layer2、隐私交易与ZK-Rollup
  5. 常见问答:开发者与用户最关心的5个问题

零知识证明(ZK)是什么?为什么区块链需要它?

零知识证明(Zero-Knowledge Proof,简称ZK)是一种密码学技术,允许一方(证明者)向另一方(验证者)证明某个陈述为真,而无需透露除“该陈述为真”以外的任何信息,我能证明我知道,但我不告诉你我知道什么”。

零知识证明ZK科普,PLONK与Groth16证明系统性能对比—从欧易交易所视角看区块链隐私技术-第1张图片-欧易交易所

在区块链领域,ZK技术被广泛用于提升隐私性和扩展性。欧易交易所作为全球领先的数字资产交易平台,在其技术架构中探索ZK-Rollup方案,以降低交易成本并保护用户隐私,用户在欧易交易所下载最新版本后,会注意到平台在隐私保护和交易效率上的持续优化,这背后离不开ZK技术的支撑。

零知识证明家族中最受关注的两种证明系统是PLONK和Groth16,它们虽然都能实现“简洁的非交互式零知识证明”(zk-SNARKs),但在具体实现和性能上存在显著差异。

PLONK与Groth16:两大证明系统的技术原理差异

Groth16:经典但不够灵活

Groth16于2016年提出,是目前应用最广泛的zk-SNARK方案之一,它的核心特点是:

  • 证明极小:Groth16的证明大小通常仅为128字节(pairing-based),验证时间恒定且极快(约几毫秒)。
  • 需要可信设置:每个电路都需要一次“可信设置”仪式,生成参考字符串(CRS),如果CRS泄露,证明的安全将受到威胁。
  • 电路专用性:Groth16的证明是“绑定”到具体电路上的,一旦电路逻辑改变(比如增加一个约束),就需要重新进行可信设置。

PLONK:通用性与灵活性兼顾

PLONK(Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge)于2019年提出,旨在解决Groth16的局限性:

  • 通用可信设置:PLONK只需要一次可信设置,生成的CRS可以用于所有电路(Universal Setup),这大大降低了部署成本,尤其适合需要频繁更新电路的应用(如智能合约的复杂逻辑)。
  • 证明大小更大:PLONK的证明大小约为Groth16的2-4倍(约500-1000字节),验证时间也略长(约10-20毫秒)。
  • 自定义门(Custom Gates):PLONK支持更灵活的电路设计,可以高效处理乘法、加法等基本运算。

💡 打个比方:Groth16像是一把“专车钥匙”,只针对特定车型(电路)有效,一旦换车就需要重新配钥匙;而PLONK像是一把“通用钥匙”,可以打开同一品牌(通用设置)下的所有车型,但钥匙本身更大、开锁动作更复杂。

性能对比:计算效率、证明大小与验证时间

为了让读者更直观地理解,我们通过一个具体案例(如ZK-Rollup中的交易批处理)来对比:

性能指标 Groth16 PLONK 实际影响
证明生成时间 较快(秒级) 稍慢(分钟级,因算法复杂度高) Groth16适合高频交易场景,PLONK适合低频但逻辑复杂的应用
证明大小 ~128字节 ~500-1000字节 链上验证时,Groth16可节省Gas费(因为calldata费用按字节计)
验证时间 ~3-5毫秒 ~8-15毫秒 两种方案都能在1秒内完成,用户体验差异不大
可信设置成本 高(每电路一次) 低(全局一次) PLONK更利于生态扩展

实战案例:以欧易交易所的ZK测试网为例

假设欧易交易所正在测试一个ZK-Rollup方案,用于处理1000笔交易:

  • 使用Groth16:证明文件仅约0.13MB(1000笔×128字节),链上验证Gas费约0.1ETH(以ETH价格2000美元计,约200美元)。
  • 使用PLONK:证明文件约0.5-1MB,验证Gas费约0.4-0.8ETH,但PLONK允许交易所随时调整电路逻辑(例如增加新的交易类型),无需重新运行可信设置。

对于业务逻辑稳定、追求极致效率的场景(如单纯的转账),Groth16仍是首选;对于需要复杂计算、频繁迭代的应用(如DeFi协议),PLONK的优势更明显

应用场景:以太坊Layer2、隐私交易与ZK-Rollup

以太坊Layer2与ZK-Rollup

ZK-Rollup主要分为两类:

  • 基于Groth16:如zksync Lite,其证明生成速度和Gas费优化在早期版本中表现出色。
  • 基于PLONK:如zksync Era(目前主网使用PLONK),因为通用可信设置允许支持EVM兼容的智能合约。

隐私交易

在隐私保护方面,Groth16的“极简证明”一直被认为是黄金标准,Zcash的原生隐私交易使用与Groth16类似的证明系统,但PLONK通过“自定义门”能更高效地实现复杂的隐私逻辑(如匿名投票、隐私借贷)。

适配欧易交易所的生态

如果你在欧易交易所下载了最新App,可能会发现资产提现或交易中已嵌入ZK技术的影子,虽然目前欧易交易所尚未完全公开使用哪种ZK方案,但根据行业趋势,其Layer2基础设施很可能采用PLONK变种来支持更复杂的智能合约功能(比如跨链桥、MEV抗性设计),欧易交易所官方okjb.com.cn提供了丰富的ZK技术文档,供开发者深入研究。

常见问答:开发者与用户最关心的5个问题

Q1:PLONK和Groth16哪个更安全? A:两者都基于标准密码学假设(如DLP、QAP),安全级别相当,但Groth16依赖“特定电路的可信设置”,存在CRS泄露风险;PLONK的通用设置则降低了这种风险,如果CRS生成过程足够安全(比如使用多方计算MPC),两者安全度持平。

Q2:普通用户需要关心这些技术细节吗? A:不需要,就像你用支付宝时不需要知道底层用的是Java还是C++一样,但了解基本原理有助于理解“为什么有些Layer2提现很快、费用很低”,以及“为什么某些应用需要隐私交易”,如果你想了解更多,可以访问欧易交易所官网查看简单易懂的科普文章。

Q3:PLONK能完全替代Groth16吗? A:不能,Groth16在“极小证明”和“超快速验证”上的优势暂时无法被替代,对于高频交易支付(如Visa级tps),Groth16仍是最优解,PLONK更适合需要“灵活性”的场景。

Q4:零知识证明对区块链扩展性的提升有多大? A:大约可以将交易成本降低100-1000倍(取决于具体方案),以太坊主网一笔ERC-20转账约需0.01ETH Gas费,而通过ZK-Rollup可降至0.0001ETH以下,你可以在欧易交易所下载后观察其ZK提现功能的费率对比。

Q5:未来零知识证明的发展趋势是什么? A:PLONK的变种(如Plookup、TurboPLONK)正在解决“证明生成时间过长”的问题,引入FPGA/ASIC硬件加速可将PLONK的证明时间从分钟级降至秒级,Groth16也在向“通用设置”方向演进(如Groth16-Universal),两者很可能会在未来的ZK-Hybrid方案中融合。

零知识证明正从学术殿堂走进商业应用,PLONK与Groth16的取舍体现了密码学在“效率与通用性”之间的永恒博弈,对于交易所、钱包、DeFi协议而言,选择哪种方案取决于具体业务需求,而作为普通用户,你只需知道:无论哪种方案,最终目的都是让区块链更隐私、更高效、更易用,关注okjb.com.cn,可以获取欧易交易所最新ZK技术进展和行业洞察。

标签: PLONK Groth16

抱歉,评论功能暂时关闭!