ZKP

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

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

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

本文探讨了使用零知识证明（ZK）技术在区块链游戏中的应用，重点介绍了递归zkSNARKs的技术背景及其在提升游戏性能、隐私性和信任度方面的作用。文章通过案例研究ZK-Hunt，展示了ZK技术如何在链上实现复杂的策略游戏机制和信息不对称，并讨论了ZK技术在资产隐藏、决策隐私和进度保密等方面的创新应用。

本文深入探讨了Arbitrary Message Passing (AMP) ，一种允许应用程序在不同区块链之间传递任意消息的跨链通信协议。

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 的所用到的技术，并知道如何构建一个零知识证明应用。

参考 iden3 官方最新教程文档，用 circom2 和 snarkjs 库创建和执行你的第一个零知识证明。