零知识证明

17年出现了一款非常火爆的Dapp应用叫加密猫，加密猫曾造成以太坊主网大规模的拥堵，造成拥堵的原因是以太坊当时的TPS只有15，这意味着以太坊每秒只能处理15笔交易，如此低的TPS严重限制了区块链应用的大规模落地，所以有人开始研究区块链扩容的问题，目的就是为了提高链上的TPS。zkRollup就是基于零知识证明的二层扩容方案(layer2)。

本文主要介绍plookup算法的思路

本文是介绍零知识证明的系列文章中的第二篇，主要探讨它们在Solana上的应用，特别是ZK压缩技术。这项技术通过验证状态转换来降低链上状态存储成本，并解决Solana的状态增长问题。同时文章详细解析了零知识证明的原理、zk-SNARKs和zk-STARKs的区别、ZK压缩的工作机制，以及未来在Solana上的发展潜力。

本文概述了在Breakpoint 2024大会上关于ZK Compression的主题演讲，重点解释了ZK压缩的原理、工作机制及其对Solana未来的重要性。ZK压缩通过将账户成本降低到传统解决方案的千分之一，提供了一种高效的状态增量解决方案，并改善了应用的可组合性和灵活性。

本文深入探讨了Arcium平台如何通过多方计算（MPC）技术实现隐私保护计算，以满足现代企业和去中心化应用对敏感数据的高速安全处理需求。此外，文章分析了目前主流隐私保护技术如零知识证明（ZKP）、全同态加密（FHE）、可信执行环境（TEE）存在的局限，并介绍了Arcium的创新架构及其在去中心化金融（DeFi）和人工智能领域的应用前景。

这篇文章探讨了未来的加密交易如何发生重大变化，特别是通过自我保管交易（SC-trading）与中心化交易所（CX）之间的流动性结合。在阐述了CX面临的安全和监管风险后，文章详细介绍了STARK技术如何通过提高交易效率和安全性来改善这一现状，并展望了未来交易所和交易者将在流动性、保密性和合规性上获得的新机会。

PlonK是一种实现通用零知识证明的算法，旨在通过结构化参考字符串（SRS）来简化信任设置过程。文章详细解释了PlonK的原理，包括多项式承诺、输入输出的排列协议及其在电路设计中的应用，突出其相较于Groth16的优势，尤其在证明过程和性能方面。

本文汇总了一系列关于零知识技术的资源，其中包括零知识证明的基础、历史演变、应用以及相关论文的阅读列表。这些内容充分展示了零知识证明在区块链可扩展性和隐私保护应用中的重要性，涵盖了从理论到实践的多个方面，适合希望深入理解这一领域的读者。

本文深入探讨了zkSNARKs和Circom的应用，重点讨论了不同哈希函数（如MiMC、Pedersen、Poseidon）在零知识证明中的使用及其优缺点。

本文介绍Sigma协议的交互和非交互性质，简单明了，介绍了零知识证明中常用的Fiat-Shamir变换

本文通过对基于零知识证明的项目 Tornado Cash 的分析，探讨了 ZK 审计的思维方式和关键点。作者详细说明了 Tornado 的智能合约逻辑，尤其是与 ZK 证明相关的关键部分，包括存款和取款的流程，以及潜在的攻击向量和安全措施。此外，文章还涉及到 Merkle 树和 Pedersen 哈希的实现及其在安全性中的重要性，强调了对 ZK 项目分析的复杂性及其快速发展的领域特性。

这篇文章深入探讨了去中心化的可信设置仪式，介绍了如何通过智能合约在以太坊区块链上进行这一过程，以生成可用的密码学参数。文章还讨论了可信设置的历史、现有仪式的技巧与局限，并提供了治理仪式的思路和开源库，强调了在数字货币项目中保障安全性的重要性。

本文介绍了Noir语言，它是一个面向特定领域的开源语言，旨在简化零知识证明的开发。文章深入探讨了零知识证明的复杂性及Noir如何通过高层抽象和中间表示（ACIR）来解决这些挑战，降低开发者的学习曲线。文章还比较了Noir与其他零知识语言的不同之处，并分析了其背后的架构与优化机制，展示了Noir在隐私保护和安全性方面的应用潜力。

本文对Circom和Noir进行了高层次比较，探讨了它们的生态系统、工具集、性能以及最佳用例。Circom作为一个低级领域特定语言，关注于电路约束的细粒度控制，而Noir则是一种更高层次的语言，旨在简化开发者体验，使其无需手动管理约束，进而提升工具的灵活性和可用性。

文章介绍了ZK-STARKs技术，这是一种零知识证明技术，不依赖于可信设置，且能抵御量子计算机攻击。文章详细解释了如何使用多项式来进行零知识证明，并通过多个示例展示了其应用场景。