本文章主要讲述了如何在 Solidity 中使用 zk-SNARKs，以及如何使用 ZoKrates 编译器来生成证明和验证合约。
这文章不会过于深入 zk-SNARKs 的技术原理，这文章目的是为让读者能够理解 sk-SNARKs 的技术能在 EVM 中达到什么效果，如何使用，并且能在代码中运用。
关于 zk-SNARKs 的简短描述为，我们需要在 zk 电路中编写一段代码，这段代码的输入是一些公开的数据，输出是一些私有的数据。zk-SNARKs 的验证算法可以验证这段代码的输出是否正确，但是验证算法不会泄露任何私有数据。而 Solidity 合约的主要目的是验证 zk-SNARKs 的验证算法的结果，如果验证算法的结果正确，那么合约会执行一些操作。
也就是说，在 EVM 上，只是进行了结果的验证，并没有进行一些复杂的计算，这些计算都是在 zk 电路中进行的。而这部分 zk 电路，则是在链下进行的，然后将结果提交到链上。
首先，我们需要知道 zk-SNARKs 可以完成什么功能，其实很简单，我们可以简单的认为，zk-SNARKs 可以完成对一个函数运算结果的校验，比如说，我们有一个函数，输入是三个数字，输出是一个数字，我们可以使用 zk-SNARKs 来校验这个函数的输出是否正确。但是我们并不需要知道输入的三个数字是什么，只需要知道这个函数的输出即可，也就是说，在一个函数完成计算时，我们可以知道确实是有这么三个数他能符合这个函数的输入，并且能输出正确结果，但是我们并不知道这三个数是什么。
LBank蓝贝壳于5月15日12:00首发上线XDOGE:据官方公告，5月15日12:00，LBank蓝贝壳首发上线XDOGE，开放USDT交易，并已开启充值，于5月17日12:00开启提现。资料显示，创建XDOGE的想法是扩大完全分散的DogeCoin的应用，在一定程度上指导和重建其生态发展。 XDOGE应用程序基于Binance智能链构建，而XDOGE是其代币。[2021/5/15 22:05:33]
在 Solidity 中，我们可以使用 zk-SNARKs 来完成对一个函数的校验，但是我们需要知道这个函数的输入和输出，然后我们可以使用 ZoKrates 编译器来生成 zk 电路，然后将 zk 电路的代码放到 Solidity 合约中，然后在合约中完成对 zk 电路的验证。
安装 ZoKrates
curl -LSfs get.zokrat.es | sh也可以选择其他安装方式，具体选择查看他们的 Github 页面。
LBank.me已成功部署创建Platon验证节点:据官方消息，LBank.me已成功部署创建Platon验证节点。作为Platon的早期重要支持机构，4月30日Platon主网成功部署上线后，LBank.me第一时间安排部署创建Platon验证节点，目前已成功部署创建。
同时，LBank.me还将继续围绕Platon生态协同参与项目孵化，投资，交易，锁仓挖矿等一系列活动。
据了解，PlatON由LatticeX基金会发起和推动，基于区块链的基本属性，以隐私计算网络为支撑，提供以“计算互操作”为核心特点的下一代互联网基础协议。[2021/5/12 21:53:48]
从上一章节我们浅显的知道，一个 zk-SNARKs 电路需要的最基本的东西为：
一个函数 - 我们需要有一个函数对数据进行运算，也就是程序 C
lambda - 所谓的“有废料”，其实就是一个 root key，我们需要通过它来生成 pk 和 vk
有了这两个基础条件，用户就可以通过 pk，目标值，输入值来生成证明 w。随后，我们的验证程序通过 vk，目标值，证明 w 来验证证明的正确性。
火币已正式上线ZIL、BAND、ONT、SNX、AVAX和GRT品种USDT本位永续合约:据火币合约官方消息，火币ZIL、BAND、ONT、SNX、AVAX和GRT品种USDT本位永续合约已于新加坡时间12月23日14点正式上线，用户现可在平台进行划转、交易等操作。
据悉，火币USDT本位永续合约在每个新品种上线前，平台均会提前配置一定额度风险准备金，以最大可能保护用户权益。在此六大品种上线前，火币合约已向其USDT本位永续合约风险准备金余额中共计注入了120万USDT，6个品种各对应20万USDT。
据了解，此次六大热门币同时上线后，火币USDT本位永续合约已覆盖四十三大主流品种，支持用户在Web端、API端和APP端操作，最高125x倍数。其中，BTC、ETH、XRP、LTC、LINK、TRX、DOT、ADA、EOS和BCH十个品种支持全仓和逐仓模式和实时结算功能。
目前，火币合约正在举行“他所VIP即我所VIP+1”、“充值资产，送VIP权益”的活动，旗下各产品的费率保持在了最优水平，其中USDT本位永续合约VIP及做市商Maker全为负，即交易返还手续费。[2020/12/23 16:14:56]
我们先假设有这么一个第三方，他可以安全的生成 lambda，然后安全的将程序和 lambda 进行运算生成 vk 和 pk。
Coinbase Pro将于8月10日上线BAND:金色财经报道，据官方博客消息，Coinbase Pro即将上线Band Protocol（BAND）。8月10日起，用户可在交易前将BAND转移到Coinbase Pro帐户中。如果满足流动性条件，交易将在第二天开始。一旦在平台上建立了足够的BAND供应量，就可以按四个阶段启动BAND-USD、BAND-BTC、BAND-EUR和BAND-GBP订单的交易。[2020/8/6]
那么现在有两个新的角色，user 和 project。user 是用户，他确确实实拥有着一些数据，project 是项目合约，他需要验证用户的数据是否正确。
我们首先需要一个函数，但是我并不打算举一些简单例子，因为我觉得这样做非常没有意义，因为 zk-SNARKs 的主要目的是为了验证一些复杂的函数，而不是一些简单的函数。
比如，我们现在需要生成一个存款凭证，有这个凭证，我们可以在任何地方取出这笔钱，但是我们并不知道这笔钱是谁的，我们只知道这笔钱是谁存的，存了多少，以及存款的时间。
首先我们需要一个存款函数，这个函数的输入为存款的金额，和一个随机数，然后输出为一个存款凭证。任何拥有这个凭证的人都可以取出这笔资金。所以，实际上，我们只需要编写验证知道这个凭证的验证函数即可。
LBank将开启LBK周四GO第7期ETH八折售卖专场:据悉，LBank将于7月30日16:00（UTC+8）启动“LBK 周四GO”第7期ETH八折售卖活动。届时，将有200 ETH在LBank“登月计划”专区中8折售出。本轮认购采用加权均分售卖模式，认购币种为LBK，用户需通过实名认证KYC，并持有相应的LBK即可参与。所有在本轮售卖中用于认购的LBK都将用于销毁。详情请关注LBank官方公告。[2020/7/23]
关于 Zok 的语法和用法这里不过多描述，具体可以参考官网，这里简单解释一下，这个函数的输入为两个数字，一个是存款金额，一个是随机数，然后输出为一个 u32，实际上就是 uint256.同时我们注意一下，参数中 deposit_amount 没有 private 关键词，说明这个参数是公开数据。
这部分内容在 zokrates 中有讲述方式为
运行完成后会生成一堆文件，我们需要的是 proof.json, proving.key, verification.key, verifier.sol, out。
大部分其实都是模版文件生成文件可能不一样的地方在于 Verifier 合约中 verifyingKey，当然，我们阅读这个文件其实意义也不大，因为这里面全是一大堆数字和运算。实际上我们需要看的内容就是这些 ∑
可以看到，我们需要两个参数,proof 和 input。至于这两个参数是干嘛的，我们暂时不过多深究。不过我们需要注意的是，在 inputs 中，所有的共有参数都会被加入到这个数组中，在数字最开头部分被推入。
比如，自动生成的 proof.json 文件就是一个有效的数据。
至此，我们可以写一个简单合约。
要注意的是 Verifier 合约中会出现两个pragma solidity，记得删掉中间那一个，保留最上面的那个，否则编译无法通过。
首先我们需要明白一下标准流程，我们需要先进行 compile，setup，然后再进行 compute-witness，然后再进行 generate-proof，最后再进行 export-verifier。
但是这套流程并不是每次都必须的，因为这个是一个完整流程。我们需要进行一下区分。
compile - 编译 zk 电路 - 只需要执行一次 这个功能会生成 out 文件和 abi.json 文件，这两个是编译后的程序。
setup - 生成 zk 电路的 pk 和 vk - 只需要执行一次 这个功能会生成 proving.key 和 verification.key 文件，这两个文件是 zk 电路的公钥和私钥。实际上在进行 setup 的时候会产生 lambda，但是这些过程我们不需要太过于关心。
compute-witness - 生成证明 - 这个功能会生成 witness 文件，这个文件是一个中间文件。
generate-proof - 生成证明的 Proof - 这个功能会生成 proof.json 文件，这个文件是证明需要提交的内容，一般来说里面的内容就是我们需要提交到链上的参数。
export-verifier - 生成 verifier.sol - 这个功能会生成 verifier.sol 文件，这个文件是一个合约，我们需要将这个合约部署到链上，然后在我们的合约中调用这个合约来验证证明的正确性。
verify - 本地验证 - 这个功能会验证证明的正确性，但是这个功能并不会生成任何文件。
根据上面内容，我们可以写出一些用于测试的单元测试逻辑。
项目的基础文件都放在: https://github.com/nishuzumi/blog/tree/main/sources/zk 中，欢迎 Star。
登链社区
个人专栏
阅读更多
白话区块链
神译局
Gryphsis Academy
CertiK中文社区
新浪科技
元宇宙之心
金色早8点
Web3小律
MarsBit
ForesightNews
吴说区块链
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。