本文章主要讲述了如何在 Solidity 中使用 zk-SNARKs，以及如何使用 ZoKrates 编译器来生成证明和验证合约。

总结了一点 MEV 的资料，欢迎补充。

在这篇文章中，我们的目标是从实用的角度对 zk-SNARKs 进行概述。我们将把实际的数学问题视为一个黑箱，并试图围绕我们如何使用它们来发展一些直觉。我们还将展示一项关于 在以太坊中集成 zk-SNARKs 的最近工作的简单应用 。

这篇文章适合拥有ChatGPT账号的朋友，并且身边缺少美国VISA或者万事达卡。

最近ChatGPT很火，但是有人注册会经常出现不服务当前地区问题，现在手把手教你解决。

文接上回，我们已经部署了Uniswap的核心合约，接下来我们将部署完整版的UniswapV3。完整版的UniswapV3包含了以下合约：

既然是一个循序渐进的教程，那么肯定不能一上来就开始写代码。就好比你想造一台永动机，你至少要知道这个永动机动起来是什么样子，你才能更好的去分解他。

本篇会介绍常用的几种Solidity开发环境，同时会推荐一种最为合适的开发环境并且安装必要的内容。

在文章开始前，先明确好几个阅读要点。文章中会多次出现，必要条件，可选内容，一定不要，注意⚠️ 等词。他们的意思分别为。