zkSNARKs

这篇文章深入探讨了零知识证明（ZKP）及其在区块链技术中的应用，特别是 zkSNARKs、zkEVMs 和 zkBridges。

本文探讨了多项式交互式oracle证明（PIOPs）的概念及其在隐私保护计算中的潜力，描述了如何通过多项式编码实现数据的隐私验证。文章解释了PIOPs的工作原理、关键特性以及与zkSNARKs等其他验证系统的比较，强调了其在加密协议中的重要性和应用前景。

本文深入探讨了 zkSNARKs 技术的基本概念、原理及在 Circom 中的实现，逐步引导读者从最基础的电路构建入门到实际应用，包括加密验算的证明过程。作者通过示例代码和详细步骤，帮助开发者理解如何有效地使用这个技术。文章结构清晰，内容丰富，适合希望深入学习 zkSNARKs 的读者。

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

本文介绍了协作式 zk-SNARKs 的概念及其在多方计算 (MPC) 中的应用，重点讨论了实现协作 zk-SNARKs 的方法，包括选择合适的 MPC 方案、通用 zk-SNARK 方案的多方扩展和性能优化。文中强调了分布式秘密的安全计算和验证能力，以及在实际应用中的有效性和性能表现。

文章介绍了一个关于在Rust中为以太坊构建zkSNARKs的实践研讨会，该研讨会是为EDCON 2019准备的，由Alexander Vlasov主持。