零知识证明

区块链隐私技术些技术有： 零知识证明（ZK）、多方计算（MPC）、全同态加密（FHE）和可信执行环境（TEE）, 他们分布在六个关键指标的表现。

这是一篇论文解读：zkVoting:Zero-knowledge proof based coercion-resistant and E2E verifiable e-votings ystem

零知识证明的全链互操作性协议zkOmnichain是区块链与Web3的圣杯，重要性非同一般。

RareSkills 的 Zero Knowledge Proofs 系列文章之《P vs NP 及其在零知识证明中的应用》。

本文详细介绍了高级密码学中的基本概念，包括群、有限域、椭圆曲线和配对。这些概念在设计和实现数字签名方案、多方计算（MPC）和零知识证明（ZKP）等高级协议中起着核心作用。文章通过数学定义、属性和示例，帮助读者深入理解这些密码学原语。

本文介绍了SP1 zkVM的设计原理，重点分析了zkVM如何执行用户程序，并生成零知识证明。文章详细解释了zkVM的编译器、指令集架构、以及证明系统的核心代码实现，帮助读者理解这一前沿技术的运作机制。

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

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

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

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

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

RISC0是一个zkVM

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

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

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