零知识证明

本文介绍了zkEVM，一种EVM兼容的zk-Rollup方案，旨在解决当前zk-Rollup在通用DApp构建和可组合性方面的挑战。zkEVM通过生成EVM验证的zk证明，使得现有的以太坊应用可以轻松迁移到zk-Rollup上，同时详细讨论了zkEVM的设计挑战以及当前技术背景下实现zkEVM的可行性，并阐述了从头开始构建zkEVM的高级思路和关键技术。

本文深入探讨了零知识AI（ZKAI）如何利用零知识证明（ZKP）、可信执行环境（TEE）和区块链验证，实现无需信任且保护隐私的AI部署。文章详细介绍了ZKML在保护隐私AI计算中的作用，区块链作为AI模型验证器，TEE在AI安全中的应用，以及ZKAI在Web3、DeFi和去中心化身份中的实际应用，并展望了去中心化AI代理的未来。

本文档详细介绍了 ZKEVM 的设计和实现，包括状态证明和 EVM 证明两个主要部分。状态证明负责验证状态操作的正确性，而 EVM 证明则验证 EVM 指令的正确执行，以及状态证明与 EVM 指令的一致性。此外，文章还深入探讨了Bus Mapping、存储、内存、堆栈等关键概念，并提供了一些伪代码示例，清晰阐述了 ZKEVM 的运作原理。

Loopring，路印，一直专注在高性能的去中心化交易（DEX）协议。路印协议的目标是想实现以太坊上基于订单撮合的去中心化的交易协议。从2017年，路印从“环路撮合”的最初设计，经过了1.0，2.0以及3.0的三个大的版本的协议升级。1.0/2.0，相对来说，受限以太坊本身性能的限制，交易流程复杂，体验和中心化交易所相比，有较大的差距。路印协议3.0，是一种大胆的设计和尝试，通过零知识证明技术（ZKP），兼顾去中心化和交易性能。

Scroll 是一个新的 Layer-2 解决方案，旨在提供无限的可扩展性、极快的确认延迟、完全的去中心化和无需信任的隐私。它通过构建在 zk-Rollup 和高性能的链下分布式系统之上来实现这一点，并进行了一些关键改进，包括新的分层零知识证明系统架构、Layer 2上的 DApp 的一种新交互模型和一个新的Layer 2 挖矿机制。

OLA 是一个基础设施协议，致力于实现安全且信任最小化的跨链交互，为比特币生态系统提供跨链的零知识证明（ZKPs）。它通过 Myriad Chain Prover 生成链状态的有效性证明，并使用 Onis 作为比特币结算的 zkRollup 模块，通过 DMN（去中心化大规模网络）验证证明的完整性，以此实现无需托管方的跨链交互，将比特币的安全性扩展到多链环境。

本文介绍了以太坊Layer2扩展方案，重点讲解了ZK-rollup。

RareSkills 的 Zero Knowledge Proofs 系列文章之一，介绍了集合论的基础知识。翻译的过程中完成了其中的练习题。

zk-stark意为零知识—可拓展的—透明的—知识论证，在区块链上的应用前景备受瞩目。它不仅能提供隐私功能，还能提供无需信任第三方的扩容功能。下面将从一个具体问题出发对 zk-stark进行实践

zkSNARK全称zero-knowledge Succinct Non-Interactive Arguments of Knowledge，翻译过来叫非交互式简洁零知识证明。网上关于zkSNARK的文章很多，几乎都只讲解它的数学原理。因为它实在太难了，...

目前，零知识证明和EVM是当下非常实用的的两种技术，成为Web2.0向Web3.0演化的两个重要入口。零知识证明提供了一种方便实用的验证方法，使得在Web3.0之外（链外）的数据/账户能够方便取得链上验证，获得Web3.0生态的信任，为数据/资产互通提供可能。同时，目前所谓的Web3.0生态，主要基于以太坊构建，对接以太坊生态流量成为进入Web3.0世界的重要入口。因此，EVM成为极为实用的基础设施和技术。Web2.0生态也可以通过兼容EVM，尝试与以太坊对接，实现应用程序的互操作。

本文主要是通过对架构设计、承兑型资产铸造、转移和销毁这几个层面进行了详细的理论和实现的分析。

为什么要从R1CS转化到QAP？

这个系列的视频将从零到一实现 Tornado Cash 的功能，包括零知识证明电路，智能合约以及证明验证。希望你能从中学习到 Tornado Cash 的所用到的技术，并知道如何构建一个零知识证明应用。