ZKP

本文介绍了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

这次去 Devcon5 有机会跟 AZTEC 的开发者聊天，后续讨论中也厘清了我自己使用 AZTEC 的一些疑问，搞清楚后也分享本篇文章来介绍此协议。

Ethereum 区块链是一个透明的平台，虽然不知道特定地址的拥有人是谁，但是发生在区块链上的交易都可以看得一清二楚。而在日常使用时交易的保密性还是非常重要的。

来自 lambda class 的了解零知识证明历史。 计算机科学、数学和硬件的进步，以及区块链的引入，导致了新的更高效的 SNARKs 的出现。

谈到ZKP算法，大伙可能听过一些，比如zk-snark，zk-stark, bulletproof， aztec， plonk等等。今天，咱就给大伙聊聊这一对“表面兄弟”，zk-stark和zk-snark算法的异同之处。