零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 Secret Exchange 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/mina-secret-exchange/一、Secret Exchange有一个叫Secret Exchange网站，成功登录的人可以获得IEO的资格：用Mina兑换Proxy。传统网站登录需要用户名和密码，而Secret Exchange网站要求破解多项式的解x的人才能成功登录。 多项式问题的复杂程度用户可以自行设置（Easy-Hard，math-nerds精通数学的同学可以选择Hard进行挑战）。如图1所示：图1我饶有自知之明的选择了中等偏易的难度，点击发布合约按钮（即发布Snapps），我面对的多项式如图2所示：图2我解出了x=1，并没有直接将解x或我面对的多项式发给其他节点去验证真伪，而是 （1）发送 Verification Ke...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 Secret Exchange 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/mina-secret-exchange/一、Secret Exchange有一个叫Secret Exchange网站，成功登录的人可以获得IEO的资格：用Mina兑换Proxy。传统网站登录需要用户名和密码，而Secret Exchange网站要求破解多项式的解x的人才能成功登录。 多项式问题的复杂程度用户可以自行设置（Easy-Hard，math-nerds精通数学的同学可以选择Hard进行挑战）。如图1所示：图1我饶有自知之明的选择了中等偏易的难度，点击发布合约按钮（即发布Snapps），我面对的多项式如图2所示：图2我解出了x=1，并没有直接将解x或我面对的多项式发给其他节点去验证真伪，而是 （1）发送 Verification Ke...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 Hangman 项目的业务逻辑以及零知识证明zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/hangman/一、Hangman该示例的业务逻辑相对简单： 1、Player1 发布了Snapp合约，并在合约中存储了Mina，然后设置了一段话。 2、Player2 猜测这段话，在规定次数内猜到了，Snapp合约里的Mina会自动付款给 Player2。二、Mina Snapp1、该示例表明：Mina Snapp可以实现类似于 Ethereum Smart Contract 的功能。 2、该示例中涉及的zk-SNARK：Player1 发布Snapp合约时会编译为proving key留在本地，把verifying key存在链上。如下图所示：3、当 Player2 猜测一次后，State的改变，无需其他节点链上计算验证，只需要通过verifying...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 Hangman 项目的业务逻辑以及零知识证明zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/hangman/一、Hangman该示例的业务逻辑相对简单： 1、Player1 发布了Snapp合约，并在合约中存储了Mina，然后设置了一段话。 2、Player2 猜测这段话，在规定次数内猜到了，Snapp合约里的Mina会自动付款给 Player2。二、Mina Snapp1、该示例表明：Mina Snapp可以实现类似于 Ethereum Smart Contract 的功能。 2、该示例中涉及的zk-SNARK：Player1 发布Snapp合约时会编译为proving key留在本地，把verifying key存在链上。如下图所示：3、当 Player2 猜测一次后，State的改变，无需其他节点链上计算验证，只需要通过verifying...

Experience web3 application，Experience SocialFi

Experience web3 application，Experience SocialFi

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 ZKPass 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/zkpass/一、ZKPassZKPass是一个加密身份dapp，实现了“增删改查”中的增和改用户信息。 ZKPass也是一个基于Snapp智能合约的钱包，实现了资产的存入、取出和转账。可执行的操作包括： registerAccount()：新增用户的身份信息； updateAccount()：修改用户的身份信息； deposit()：向Snapp合约中存入MINA； withdraw()：从合约中取出MINA； transferToName()：根据注册名字进行转账。二、ZKPass涉及的Snapp传统的区块链转账会在链上形成一笔转账记录：From从谁，To转给谁，Amount多少钱，从而导致隐私泄露。 或者在Ethereum...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 ZKPass 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/zkpass/一、ZKPassZKPass是一个加密身份dapp，实现了“增删改查”中的增和改用户信息。 ZKPass也是一个基于Snapp智能合约的钱包，实现了资产的存入、取出和转账。可执行的操作包括： registerAccount()：新增用户的身份信息； updateAccount()：修改用户的身份信息； deposit()：向Snapp合约中存入MINA； withdraw()：从合约中取出MINA； transferToName()：根据注册名字进行转账。二、ZKPass涉及的Snapp传统的区块链转账会在链上形成一笔转账记录：From从谁，To转给谁，Amount多少钱，从而导致隐私泄露。 或者在Ethereum...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 SNAPP DogNet 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/snapp-dognet/一、SNAPP DogNet这个示例的用意是在不暴露数据源（ zk-SNARK ）的情况下，对 YOLO V3 模型进行测试。 当本地数据源提供的图片是 [ 'bicycle', 'truck', 'dog', 'horse', 'giraffe', 'zebra' ] Objects 的时候，可以获得 Reward。 举例流程如下： 1、第一次传入 'bicycle', 'truck', 'dog' 的图片，成功被YOLO V3 识别后，“ 我...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 SNAPP DogNet 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/snapp-dognet/一、SNAPP DogNet这个示例的用意是在不暴露数据源（ zk-SNARK ）的情况下，对 YOLO V3 模型进行测试。 当本地数据源提供的图片是 [ 'bicycle', 'truck', 'dog', 'horse', 'giraffe', 'zebra' ] Objects 的时候，可以获得 Reward。 举例流程如下： 1、第一次传入 'bicycle', 'truck', 'dog' 的图片，成功被YOLO V3 识别后，“ 我...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 Blind Man's Bluff 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/blindmansbluff/一、Indian Poker基本规则如下：各位玩家先下注，然后每人随机获得一张牌，显示给除他之外的所有其他玩家。各位玩家根据其他玩家的牌面决定加注或弃牌。 假设有3人参加游戏：A、B、C。3人分别获得了J、6、1的牌力。每轮每人下注100 MINA。 A看到B（6）、C（1），感觉概率上赢得机会大，所以加注 100 MINA。 B看到A（J）、C（1），感觉最近状态很好，决定拼一把，所以加注 100 MINA。 C看到A（J）、B（6），感觉概率上输得机会大，所以弃牌。 游戏进入到下一轮：A（J）、B（6）。2人继续游戏。 A和B都信心满满，继续加注 100 MINA。 然后A和B分别开牌，A的牌力...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 Blind Man's Bluff 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/blindmansbluff/一、Indian Poker基本规则如下：各位玩家先下注，然后每人随机获得一张牌，显示给除他之外的所有其他玩家。各位玩家根据其他玩家的牌面决定加注或弃牌。 假设有3人参加游戏：A、B、C。3人分别获得了J、6、1的牌力。每轮每人下注100 MINA。 A看到B（6）、C（1），感觉概率上赢得机会大，所以加注 100 MINA。 B看到A（J）、C（1），感觉最近状态很好，决定拼一把，所以加注 100 MINA。 C看到A（J）、B（6），感觉概率上输得机会大，所以弃牌。 游戏进入到下一轮：A（J）、B（6）。2人继续游戏。 A和B都信心满满，继续加注 100 MINA。 然后A和B分别开牌，A的牌力...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 Blank Slate 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/mina-blank-state/一、Blank SlateBlank Slate 空白石板是趣味家庭文字协议游戏，形如：游戏规则简介： 主持人提示一个词尾（ 比如 star ） ABCD各自输入词头 A：popstar B：northstar C：popstar D：battlestar 则此轮游戏A和C胜出，各加一分，然后进行下一轮，谁先到5分将获得最终胜利。二、零知识不是万能的Blank Slate 项目将 “ 谁和我猜的单词一致 ” ，“ 其他人猜测的单词 ” 处理为零知识。 if(DAO) 认为猜字游戏的乐趣在于游戏者之间心有灵犀的默契，所以这个业务场景并不太适合采用零知识。

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 Blank Slate 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/mina-blank-state/一、Blank SlateBlank Slate 空白石板是趣味家庭文字协议游戏，形如：游戏规则简介： 主持人提示一个词尾（ 比如 star ） ABCD各自输入词头 A：popstar B：northstar C：popstar D：battlestar 则此轮游戏A和C胜出，各加一分，然后进行下一轮，谁先到5分将获得最终胜利。二、零知识不是万能的Blank Slate 项目将 “ 谁和我猜的单词一致 ” ，“ 其他人猜测的单词 ” 处理为零知识。 if(DAO) 认为猜字游戏的乐趣在于游戏者之间心有灵犀的默契，所以这个业务场景并不太适合采用零知识。

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 CheckerSnapp 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/checkersnapp/一、Checkers Game 西洋棋CheckerSnapp 项目的灵感来源于西洋棋。在西洋棋中，双方对弈，有两种颜色的棋子。具体规则在这里就不赘述了，请自行谷歌。二、CheckerSnapp1、CheckerSnapp 代码实现上主要是西洋象棋行棋规则的业务逻辑。 2、 if(DAO) 认为 CheckerSnapp 项目的亮点是为 GameFi 的实现方式带来的新思路： （1）传统中心化棋类游戏，棋盘的状态变化和历史游戏战绩都可以随意被第三方删除或修改。 （2）棋类游戏 + 传统区块链 （GameFi），一般的系统设计是：资产和关键性信息（比如棋局结果）是上链的，所以无法随意篡改棋局的结果。如果棋盘状态的每次变化都在...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 CheckerSnapp 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/checkersnapp/一、Checkers Game 西洋棋CheckerSnapp 项目的灵感来源于西洋棋。在西洋棋中，双方对弈，有两种颜色的棋子。具体规则在这里就不赘述了，请自行谷歌。二、CheckerSnapp1、CheckerSnapp 代码实现上主要是西洋象棋行棋规则的业务逻辑。 2、 if(DAO) 认为 CheckerSnapp 项目的亮点是为 GameFi 的实现方式带来的新思路： （1）传统中心化棋类游戏，棋盘的状态变化和历史游戏战绩都可以随意被第三方删除或修改。 （2）棋类游戏 + 传统区块链 （GameFi），一般的系统设计是：资产和关键性信息（比如棋局结果）是上链的，所以无法随意篡改棋局的结果。如果棋盘状态的每次变化都在...

导读if(DAO) 试图用非技术语言和少量数学及密码学知识，向一般读者解释： （1）zk-SNARK 是什么。 （2）zk-SNARK 有什么用。 （3）通过 zk-SNARK 的协议一步步进化过程弄清零知识的底层原理。 （4）通过 Proving Key 、Verifying Key 是什么；Proof 包含的内容有哪些；为什么通过 Proving Key 可以得到 Proof ；为什么通过 Verifying Key 可以验证 Proof 等问题，理解 zk-SNARK 是如何具体落地应用的 。 关于zk-SNARK的学术论文包含严谨的数学公式和论证过程；关于zk-SNARK的应用程序代码也有一些成熟的 lib 可供使用。但这些应该是数学家、密码学家和程序员感兴趣的内容，而不是一般读者。所以本文更侧重于如何将zk-SNARK的理论和实践 “联系” 起来。 文中如有错误之处还请指正。下面进入正文：故事背景1、什么是零知识证明 零知识可以简单理解为：我有一个秘密，在不向我朋友阿文透露秘密的情况下，让阿文相信我知道这个秘密。我们将证明的过程/方法称做 “ 零知识证明 ”。 2、零知...

导读if(DAO) 试图用非技术语言和少量数学及密码学知识，向一般读者解释： （1）zk-SNARK 是什么。 （2）zk-SNARK 有什么用。 （3）通过 zk-SNARK 的协议一步步进化过程弄清零知识的底层原理。 （4）通过 Proving Key 、Verifying Key 是什么；Proof 包含的内容有哪些；为什么通过 Proving Key 可以得到 Proof ；为什么通过 Verifying Key 可以验证 Proof 等问题，理解 zk-SNARK 是如何具体落地应用的 。 关于zk-SNARK的学术论文包含严谨的数学公式和论证过程；关于zk-SNARK的应用程序代码也有一些成熟的 lib 可供使用。但这些应该是数学家、密码学家和程序员感兴趣的内容，而不是一般读者。所以本文更侧重于如何将zk-SNARK的理论和实践 “联系” 起来。 文中如有错误之处还请指正。下面进入正文：故事背景1、什么是零知识证明 零知识可以简单理解为：我有一个秘密，在不向我朋友阿文透露秘密的情况下，让阿文相信我知道这个秘密。我们将证明的过程/方法称做 “ 零知识证明 ”。 2、零知...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 Stir with JarOfPickles 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/stir-with-jarofpickles/一、Stir with JarOfPickles代码逻辑： 1、Stir with JarOfPickles 项目首先创建了一个Snapp合约。 2、创建了一个 whitelist（比如白名单中有4个地址），whitelist存储至 IPFS，得到cid1。 3、将 cid1 发送至Mina网络并上链存储。 4、4个地址依次向 Snapp 存款，存款时需要预设未来取款时的 “ secretNumber ”。 5、将这4笔存款记录构建一个单独的 Merkle Tree。 6、将 Merkle Tree 存储至 IPFS，，得到cid2。 7、将 cid2 发送至Mina网络并上链存储。...

零、项目背景Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。 下面是 if(DAO) 对 Stir with JarOfPickles 项目的业务逻辑以及零知识zk-SNARK应用的浅析。 项目源码入口：https://snappsformina.com/snapp/stir-with-jarofpickles/一、Stir with JarOfPickles代码逻辑： 1、Stir with JarOfPickles 项目首先创建了一个Snapp合约。 2、创建了一个 whitelist（比如白名单中有4个地址），whitelist存储至 IPFS，得到cid1。 3、将 cid1 发送至Mina网络并上链存储。 4、4个地址依次向 Snapp 存款，存款时需要预设未来取款时的 “ secretNumber ”。 5、将这4笔存款记录构建一个单独的 Merkle Tree。 6、将 Merkle Tree 存储至 IPFS，，得到cid2。 7、将 cid2 发送至Mina网络并上链存储。...