零知识证明

该论文探讨了如何通过零知识证明技术来实现区块链的隐私保护与合规性的平衡。文中指出，目前的区块链技术普遍缺乏隐私保护，而这对其广泛应用构成障碍。作者提出，利用零知识证明，可以在保障用户隐私的同时满足法律法规的监控要求，促进合法合规的金融活动。

EIP-7503是一个旨在增强以太坊上交易隐私的提案，通过引入零知识证明机制，允许用户在链上进行匿名交易。文章详细讨论了加密隐私的重要性，以及现有隐私方案的不足之处，相比之下，EIP-7503提供了一种更安全和去中心化的解决方案，减少了坏人对隐私机制的利用。作者分析了实施该提案的技术细节和潜在的优缺点，以及其可能对以太坊生态系统和用户隐私的长远影响。

本文介绍了暗池在以太坊去中心化金融（DeFi）领域的重要性，探讨了暗池如何解决交易隐私和价格不确定性等问题。文章深入分析了传统金融和DeFi中的暗池设计，特别是Crypto-native暗池的工作原理，以及如何通过多方计算（MPC）和零知识证明（ZKP）确保隐私和交易质量。最后，文章以Renegade为例，展示了加密技术在创建安全且私密的去中心化交易平台中的应用。

本文介绍了Kailua，一个旨在将乐观Rollup升级为混合ZK Rollup的软件套件。Kailua通过引入新颖的故障证明游戏，解决了当前rollup的核心问题，如降低运营成本、减少抵押要求和最终性延迟，同时提高了安全性和性能。文章详细阐述了Kailua的组件、工作原理及其在实际应用中的潜力。

本篇文章介绍了Zeth，一个基于RISC Zero zkVM的开源ZK区块证明器，现已支持从以太坊主网构建和衍生Optimism主网的区块，并在链上验证这些证明。Zeth旨在优化与Optimism基础设施的集成，改善L2交易的争议解决过程，并展示通用zkVM在OP生态系统中的应用潜力。

这篇文章深入探讨了RISC Zero zk-STARK的构建过程，分为12个课程，详尽地解释了执行跟踪、规则检查、数据填充、构造多项式和约束多项式等关键技术环节，结合了零知识证明的应用以及使用Reed-Solomon编码和FRI协议来验证多项式的低度特性

本文介绍了RISC Zero STARK协议的实现细节及其工作原理，涵盖了从设置阶段到主要执行跟踪、辅助执行跟踪，以及DEEP-ALI和FRI协议的细节。文章结构清晰，有助于理解这个基于零知识证明的系统的复杂性。

深入探讨了 fhEVMs 如何利用全同态加密来增强 EVM 兼容区块链中的隐私性。

密码学 101：STARKs

本文详细介绍了Tornado Cash的工作原理，包括零知识证明、Merkle Tree的使用以及如何实现匿名加密货币转账。文章还讨论了Tornado Cash的智能合约架构、合法性问题以及潜在的安全风险。

探索零知识证明系列（五）

通过这篇文章，能快速建立零知识证明的逻辑框架。

不知不觉，写了不少零知识证明相关的文章，单独总结成列表。方便对零知识证明感兴趣的小伙伴，学习开发。零知识证明，乃至区块链技术，需要学习，深入研究的东西太多太多了。零知识证明学习入门...

我认为区块链很难称为一个“技术”。它更像是一个领域，包罗万象。或者形而上地说，区块链更像一个有机体，融合了各种不同的理论技术。

零知识证明是构建信任的重要技术，也是区块链这个有机体中不可缺少的一环。

直播时间：2020-01-06 开始，每晚6:30