零知识证明

今天这篇文章我们一起来看一下zkSNARK这个拗口的技术到底是什么鬼。

本文介绍了 ZK Stack，它是 zkSync 背后的团队 MatterLabs 提出的一个愿景，旨在扩展以太坊。

本文介绍了零知识证明（ZKP）的概念，它允许在不泄露秘密信息的情况下证明某事。

PLONK的原始论文存在一个零知识性的问题。商t多项式没有添加随机性，导致simulator不能模拟出证明。

网络安全的唯一方向是零信任模式。阻止敏感信息数据泄露的一种方法不是储存这些秘密，而是用随机的预言机代替它们。

本文介绍了通过零知识证明（ZKP）在区块链上进行机器学习推理的成本和性能研究，重点分析了不同ZKP系统在处理AI模型时的生成时间和内存使用情况，并探讨了相关应用场景。

短期内，Optimistic rollups 很可能在通用的 EVM 计算中胜出，而 ZK rollups 则可能在简单的支付、交易和其他特定应用场景中胜出，主要原因还是 Zk rollup 虽然比 Optimistic rollup 更快、更高效，但并没有为现有的智能合约提供一个简单的方式来迁移到

L2BEAT推出了ZK Catalog，旨在汇总链上ZK验证器的源代码验证信息。由于ZK项目验证过程复杂且依赖定制工具，L2BEAT将提供验证状态的认证徽章，并鼓励社区贡献，以提高ZK程序的透明度并促进行业标准化。

RISC0是一个zkVM

Ingonyama 正在为研究人员和实践者提供 10 万美元的资助，以推进 ZK（零知识证明）加速技术。资助方向包括：学生使用 Icicle 库进行研究、改进 Icicle 中现有加速原语的性能、将现有 ZK 协议移植到 Icicle、向 Icicle 添加新的原语以及将 ZK 基准测试与 Icicle 进行比较。Ingonyama 还将为获得资助者提供技术指导和 GPU 访问权限

高耗费和和低隐私是Web3用户当今主要的痛点，也是未来的采用和创新的最大障碍。Espresso Systems正在创造的扩容隐私方案能为Web3应用带来崭新可能。

本文详细介绍了Solana区块链的v1.16版本更新，包括其测试过程、新特性、验证器优化、零知识证明支持等内容。文章结构清晰，逻辑严谨，适合对Solana生态有一定了解的技术人员阅读。

文章详细介绍了Solana v1.17更新的内容，包括零知识证明的引入、Gossip协议的改进、系统调用的优化等，旨在提升网络效率、安全性和可扩展性。

Manta Network 宣布与 Polygon Labs 合作，将 zkEVM 集成到 Manta Pacific 基础设施中，以获得更强的安全保障和更好的用户体验。

文章详细介绍了Solana上的ZK Compression技术，讨论了其实现原理、信任假设、生命周期以及与传统ZK Rollup的区别。通过使用零知识证明，ZK Compression可以减少链上存储成本，同时保持Solana的同步原子组合性和并行性。