零知识证明 - KZG多项式承诺
文章详细介绍了Solana生态系统中新推出的“Confidential Balances”功能,这一功能通过增强的加密技术为资产持有者和代币发行者提供了更高的隐私性和合规性。文中涵盖了机密交易的实施步骤、最新的功能扩展以及未来发展的趋势,并强调了与合规框架结合的重要性。
Schwartz-Zippel 引理是关于有限域中的多变量多项式零点个数的紧致上界,具体表述如下:
Dark Forest是一款实时策略游戏。星球的移动和攻占是整个游戏的策略重点。为了在不公开星球坐标的情况,还能证明星球的移动正确,引入了零知识证明技术。
Polygon 推出 AggLayer,旨在通过聚合来自不同链的零知识证明(ZKPs),实现安全无缝的跨链交易,类似于 TCP/IP 对于 Web 的作用。AggLayer 允许任何能够生成 ZKP 的网络连接,通过递归压缩证明并提交最终证明到以太坊网络,实现跨链通信的验证、主权排序和用户体验改进,最终使用户在与多个网络交互时,拥有与单个网络交互相同的体验。
Constantine是一个高性能密码学库,专注于区块链协议和零知识证明系统。它提供常数时间实现的密码学原语,支持多种椭圆曲线和协议,包括以太坊BLS签名、KZG承诺等,并提供Nim、C、Rust、Go等多种语言的接口。该库旨在提供快速、紧凑和强化的椭圆曲线密码学解决方案。
本文主要介绍了Constantine在区块链和零知识证明等领域的性能优势,以及如何通过基准测试来衡量其性能。文章详细对比了不同编译器(如GCC和Clang)在优化大整数和密码学代码方面的差异,并强调了使用内联汇编以确保性能和避免分支的重要性,Constantine通过优化代码大小和栈使用量,以及避免堆分配,适用于资源受限的设备。
ZEROBASE是一个模块化的基础设施堆栈,用于构建实时的、保护隐私的零知识应用程序。通过集成Ingonyama的ICICLE库,ZEROBASE显著加快了证明生成速度,降低了基础设施开销,并改善了跨应用程序的用户体验。ICICLE帮助ZEROBASE实现了多个生产级别的实时ZK用例,并在Solana SIM、zkLogin和Staking Network等应用中取得了显著的性能提升。
本文深入探讨了以太坊Layer2的Rollups扩容方案,详细解析了Optimistic Rollups和Zero-Knowledge Rollups(ZK Rollups)两种主要类型的工作原理、安全考量以及优缺点对比。Rollups通过将交易数据计算移至链下,并打包成单个交易提交至主链,有效提升了交易速度和吞吐量,同时依赖以太坊共识机制保证安全性。
Matter Labs 获得了以太坊基金会的资助,用于开发基于零知识证明的 L2 扩展解决方案。他们的工作包括创建可扩展的 L2 平台、改进开发者工具以及推广零知识证明的应用。
DIZK,Distributed Zero Knowledge,分布式的零知识证明系统。在分布式环境下,DIZK能支持超大规模电路(10亿门级别)的计算。
DIZK源代码导读
本教程详细介绍了如何从零开始构建一个高效的零知识Merkle树(ZMT)实现,并讨论了如何构建仅需要O(log(n))存储的仅追加Merkle树。文章还探讨了如何生成和验证批量更新的Spiderman证明,并提供了TypeScript的实现代码。
这篇文章宣布了zkml的开源发布,zkml是一个用于生成机器学习模型执行的零知识证明的框架。文章详细介绍了zkml的愿景、使用方法及其应用,包括信任审计、去中心化市场和隐私保护生物识别等。作者强调了zkml的高效性和优化能力,并展望了未来的发展方向。
本文是密码学系列文章的一部分,重点介绍了基于椭圆曲线的加密协议,包括密钥交换、承诺方案、签名、零知识证明和可验证随机函数等。文章通过清晰的示例和图示,详细解释了这些协议的原理和实现方法。