|
29 | 29 |
|
30 | 30 | **Zero-Knowledge Succinct Non-Interactive Argument of Knowledge** |
31 | 31 |
|
32 | | -* **Succinct (简洁)**:生成的证明非常小,验证速度非常快。 |
33 | | -* **Non-Interactive (非交互)**:证明者只需发送一次证明,验证者即可验证,无需来回通信。 |
| 32 | +* **Succinct(简洁)**:生成的证明非常小,验证速度非常快。 |
| 33 | +* **Non-Interactive(非交互)**:证明者只需发送一次证明,验证者即可验证,无需来回通信。 |
34 | 34 | * **需要可信设置(Trusted Setup)**:需要一个初始化阶段生成公共参数,如果该阶段的“有毒废料”泄露,系统安全性将受损。 |
35 | 35 |
|
36 | 36 | 代表项目:**Zcash**(首个将 zk-SNARKs 用于加密货币的项目)、**zkSync**。 |
|
39 | 39 |
|
40 | 40 | **Zero-Knowledge Scalable Transparent Argument of Knowledge** |
41 | 41 |
|
42 | | -* **Scalable (可扩展)**:证明生成和验证时间随问题规模增长更优。 |
43 | | -* **Transparent (透明)**:不需要可信设置,避免了安全隐患。 |
| 42 | +* **Scalable(可扩展)**:证明生成和验证时间随问题规模增长更优。 |
| 43 | +* **Transparent(透明)**:不需要可信设置,避免了安全隐患。 |
44 | 44 | * **证明体积较大**:相比 SNARKs,生成的证明更大。 |
45 | 45 |
|
46 | 46 | 代表项目:**Starknet**、**StarkEx**。 |
|
54 | 54 |
|
55 | 55 | ### 在区块链中的应用 |
56 | 56 |
|
57 | | -#### 1. ZK Rollups (Layer 2 扩容) |
| 57 | +#### 1. ZK Rollups(Layer 2 扩容) |
58 | 58 |
|
59 | 59 | ZK Rollups 利用零知识证明在链下批量处理交易,然后将一个简洁的有效性证明提交到 Layer 1。Layer 1 只需验证这个证明,无需重新执行所有交易,从而大幅提升吞吐量并降低成本。 |
60 | 60 |
|
@@ -82,9 +82,9 @@ zkEVM 的设计涉及多个权衡: |
82 | 82 | |--------|---------|----------| |
83 | 83 | | 证明系统 | 使用较新或高度定制的证明栈,优化证明生成成本 | 使用更成熟、审计更充分的证明组件 | |
84 | 84 | | 证明延迟 | 更频繁提交证明,依赖更强的 prover 性能和运营能力 | 更保守的批次与证明节奏,确认体验较慢 | |
85 | | -| EVM兼容 | 源码级兼容或存在特定编译器/操作码约束 | 更接近字节码级兼容,迁移成本更低 | |
| 85 | +| EVM 兼容 | 源码级兼容或存在特定编译器/操作码约束 | 更接近字节码级兼容,迁移成本更低 | |
86 | 86 | | 风险偏好 | 中高 | 低 | |
87 | | -| 适用场景 | 高频交易、游戏 | 资产托管、DeFi借贷 | |
| 87 | +| 适用场景 | 高频交易、游戏 | 资产托管、DeFi 借贷 | |
88 | 88 |
|
89 | 89 | #### 2. 隐私保护 |
90 | 90 |
|
|
0 commit comments