主要观点：零知识证明是增强区块链应用隐私和安全的强大工具，但证明系统的效率和可扩展性是重大挑战，特别是在默克尔树包含证明方面。传统基于与逻辑的证明聚合技术存在验证复杂度高和数据通信开销大的问题，限制了其在大规模应用中的实用性。本文提出基于或逻辑的新型证明聚合方法，可生成紧凑且通用可验证的默克尔树包含证明，证明大小与树的叶节点数量无关，验证可使用任意单个有效叶哈希，在证明大小、验证数据和通用性方面优于与逻辑聚合，还讨论了结合或与与逻辑创建复杂接受函数的潜力，有望增强零知识证明系统的可扩展性、效率和灵活性。
关键信息：

• 提出基于或逻辑的证明聚合方法。
• 证明大小与树的叶节点数量无关。
• 验证可使用任意单个有效叶哈希。
• 优于传统基于与逻辑的证明聚合技术。
• 可结合或与与逻辑创建复杂接受函数。
  重要细节：
• 提交者为 Oleksandr Kuznetsov，提交时间为 2024 年 5 月 13 日 17:15:38 UTC，文件大小 606KB。
• 相关学科为密码学与安全（cs.CR），引用为arXiv:2405.07941 [cs.CR]（或arXiv:2405.07941v1 [cs.CR]），期刊参考为《Cryptography 2024, 8, 28》，相关 DOI 为https://doi.org/10.3390/cryptography8030028。