Mina的zkApp

已于 2022-07-21 11:29:20 修改
阅读量1.4k 收藏
点赞数
分类专栏： 区块链 文章标签： 区块链
于 2022-03-21 16:22:05 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/mutourend/article/details/123638824
版权

1. 引言

前序博客有：

2021年12月，由Mina基金会和Mina生态合作伙伴O(1) Labs 与 ZK Hack 联合举办了 ZK Hack zkApps Workshop 和 zkApps Bootcamp。在这2个活动中，Mina社区可学习用SnarkyJS——为TypeScript库，用于编写Mina 零知识智能合约。

相关视频介绍有：

2. zkApps工作原理

zkApps为Mina的零知识智能合约。zkApps采用链下执行和大部分链下状态模型，支持隐私计算以及隐私状态或公开状态。在链下，zkApps可执行任意复杂的计算，仅需要支付固定费用即可将结果的零知识证明发送给链上以验证该计算，而其他区块链则是在链上运行计算并采用动态gas费用模型。
在这里插入图片描述
zkApps采用Mina zkApp CLI以TypeScript编写。zkApps当前支持在最新版的Chrome、Firefox、Edge和Brave浏览器上运行，未来将支持Safari浏览器。

一个zkApp中包含2个部分：

  • 1）一个智能合约：Mina的智能合约是以SnarkyJS编写的。
  • 2）一个UI供用户交互

在这里插入图片描述

2.1 基于零知识的智能合约

由于zkApps是基于零知识证明（zk-SNARKs）的，因此zkApp开发者编写的为“circuit”——基于此可派生出Prover函数和相应的Verifier函数。

  • Prover函数：会执行智能合约的自定义逻辑。Prover函数作为zkApp的一部分，运行在用户的web浏览器内。当与zkApp UI交互时，用户将输入任何数据（如，“以 y y y价格购买ABC”）作为Prover函数的输入，该Prover函数会生成一个零知识证明。
    在这里插入图片描述
    在用户的web浏览器中，需要为Prover函数所需的private输入和public输入数据：

    • private输入：提供给Prover函数之后，将不再需要。
    • public输入：提供给Prover函数，也需要提供给Verifier函数。对于你想保密的数据，永远不要将其作为public输入。

  • Verifier函数：验证所提供的零知识证明通过了Prover函数中定义的所有约束。无论Prover函数有多复杂，Verifier函数的验证通常很快效率很高。
    在这里插入图片描述

2.2 Mina的Prover函数和Verification Key

当zkApp开发者编写完智能合约，运行npm run build，会编译输出smart_contract.js。然后，可运行Prover函数 或 生成一个Verification Key，这些在运行 或 部署智能合约时正好需要。
Prover函数运行在用户的web浏览器之内。
指定zkApp账号的Verification Key位于链上，Mina网络会使用链上的Verification Key来验证所提供的零知识证明是否能满足Prover函数中定义的所有约束。在创建zkApp账号时，需要用到Verification Key。

2.3 部署智能合约

在这里插入图片描述
开发者可使用Mina zkApp CLI来将智能合约部署到Mina网络中。部署过程是发送一笔包含了Verification Key的交易到Mina链上某地址。当Mina上的该地址包含了某Verification Key时，该地址就可作为zkApp账号。常规的Mina账号可接收任何交易，而zkApp账号仅可成功接收包含了满足Verifier函数的proof的交易。任何无法通过Verifier函数验证的交易都会被Mina网络拒绝。

当你部署一个新的Mina地址时，Mina protocol将为该账号创建收取1 MINA的手续费。这与zkApps无关，可防止女巫或DOS攻击。

2.4 部署zkApp UI

在这里插入图片描述
开发者通常会提供UI界面供用户与智能合约交互。UI通常为开发者部署在自定义的服务器上的静态网站。推荐web服务器可提供全局CDN以保证最佳的用户体验。该网站中需要包含之前编译智能合约所生成的smart_contract.js文件，
在这里插入图片描述

2.5 用户如何与zkApp交互？

为与zkApp交互，用户必须安装 Auro钱包for Google Chrome。未来将增加更多支持zkApps的钱包。

Auro为当前唯一支持zkApp交易的钱包。将zkApp部署到主机（例如mycolzkapp.com）后，用户可以与之交互：

  • 1）用户访问mycoolzkapp.com。
  • 2）用户与zkApp交互，输入所需的任意数据。（如，对于自动做市商，用户可指定“以 y y y价格买 x x x个ABC”）.
  • 3）zkApp的Prover函数根据用户输入的数据在本地生成一个零知识证明。该数据可为保密的（不想在链上可见）或 公开的（可在链上或链下存储），具体取决于开发者的设定以及特定的应用场景。此外，随proof一起，还会生成该交易所将产生的状态更新列表。（Mina将这些状态更新列表称为“events”。）
  • 4）用户点击zkApp UI中的“submit to chain”，其钱包（如浏览器扩展钱包）将弹框确认是否发送该交易。钱包对包含了proof和相应所需更新的状态说明的交易 进行签名，并将签名后的交易发送的Mina链上。
  • 5）当Mina网络收到该交易，将验证proof是否成功通过了zkApp账号中的Verifier函数，若proof验证通过且相应的状态变更有效，网络将接受该交易并更新相应的zkApp状态。

由于用户交互发生在其本地web浏览器内部（客户端采用JavaScript），因此可保护用户的隐私。

2.6 链上状态如何更新？

链上的zkApp账号状态是如何更新的？
当web浏览器中运行Prover函数时，智能合约会输出一个proof和某些称为“events”的关联数据。这些输出会作为交易的一部分发送到zkApp地址。这些events为以JSON形式的明文描述——描述了如何更新zkApp账号的状态。

为保证这些events的整体性，这些events的hash值会作为智能合约的public输入，以保证当传输给Mina链上的Verifier函数时确保其不会被篡改。这样，Mina网络可确认proof和events的完整性，据此来更新zkApp账号的状态。

2.7 zkApp状态

Mina有2种状态类型：

  • 1）链上状态：在Mina链上的状态。每个zkApp账号有8个32字节的字段，每个字段具有任意存储空间，只要大小合适，在字段内可存放任何东西。如果你预计你的状态会比这个更大，或者如果你的zkApp对每个用户累积了状态，那么你会希望使用链外状态。
  • 2）链下状态：存储在其它地方，如IPFS的状态。【即将支持。】对于更大的数据，可考虑在zkApp的链上空间中存储Merkle tree root，该root会指向链下存储的状态。当在用户web浏览器中运行zkApp时，可向外部存储插入状态，如IPFS。当将该交易发送到Mina链上时，若接受该zkApp交易（即该proof&sate都是有效的），则zkApp交易将更新链上存储的Merkle tree root。

在这里插入图片描述

3. 如何编写zkApp？

Mina zkApp CLI为目前最易上手的编写zkApp智能合约工具，其可提供项目脚手架，包括SnarkyJS、测试框架（Jest）、代码自动格式化（Prettier）、linting（ES-Lint）等依赖项。

详细的编写合约流程可参看：

4. zkApps项目亮点

在zkApps训练营中，O(1) Labs的工程师介绍了zkApps的高层架构、如何使用SanrkyJS编写智能合约，并要求开发者使用SnarkyJS编写一个游戏。

在4天的zkApps训练营中，有一些有趣的项目：

由Mina社区开发的zkApps合集见：

5. Mina规划

PROJECTDESCRIPTIONESTIMATED COMPLETION DATE
zkApps BootcampFormerly zkApps Hackathon. Engaged with developers and educated them to build with zkApps.Q4 2021 – Completed
NEW Kimchi SNARKNew SNARK to bring faster verification and prover time than the original PLONK SNARK.Q4 2021 – Completed (to be incorporated in an upcoming hard fork)
Improve Node StabilityMake node operation more stable. (Example project: BitSwap)Ongoing
NEW zkApps Builders ProgramA program to educate, support, and work with developers who are building zkApps, and enlist their help to improve zkApps and SnarkyJS.Q2 2022
NEW Document Mina’s crypto libraries and curve pointsPackage Mina’s proof system to be easily adopted by other ZKP-enabled products.Q2 2022
zkApps TestingFormerly zkApps Testnet. This is now a series of phases to test the stability of zkApps on a network.Q2 2022
zkApps Software Development Kit (SDK)Provide the toolkit that the developers need to build on Mina: SnarkyJS & zkApp CLI.Q2 2022
Bridge to Ethereum: One Way Mina -> EthereumEnable Ethereum developers to access the Mina state on EVM.Q2 2022
NEW Enable 3rd-party, off-chain usage of Mina’s proof systemEnable zero-knowledge (ZK) enthusiasts to adopt Mina’s proof system without having to use the Mina chain.Q3 2022
NEW Non-Native Token SupportEnable creation of non-native tokens on Mina (similar to ERC20).Q3 2022
Easy zkApps Programmability on MainnetEnable easy programmability and basic use cases of zkApps on Mina Mainnet.Q3 2022
Multi-Environment SetupUpgrade infrastructure to support more networks running in parallel for Mina. Enable community to run their own networks.Q3 2022
Non-Consensus NodesDirect access to the Mina network for web and mobile nodes, without needing to run a consensus node.Q3 2022
ZK OraclesFormerly WebzkApps. This is to ship the Minimally Viable Product (MVP) to connect real world data to blockchain in the most trustless way possible, using HTTPS.Q4 2022
NEW ZK Rollup on MinaIncrease transaction throughput on Mina using ZK Rollup.TBD

zkApps的测试流程为：
Initial Testing (started Q4 2021) → Public QANet (targeting Q1 2022) → Testnet ‘Berkeley’ (targeting Q2 2022)

参考资料

[1] Mina Protocol Product Priorities – Q1 2022 Update
[2] zkApps Workshop & Bootcamp Retro
[3] What are zkApps？
[4] zkApps开发者文档
[5] Mina: Using Zero-Knowledge To Make Web3 Useful for Everyone

mutourend
关注
专栏目录
Mina 2.1.3压缩包
08-31
Apache Mina是一个高度可扩展的网络通信框架，用于构建高性能、高效率的服务端应用程序。它提供了基于事件驱动、非阻塞I/O模型的基础架构，使得开发者可以更容易地处理并发连接和大规模网络通信。Mina 2.1.3是这个...
Android PKMS拦截adb安装应用
kc58236582的博客
01-22 3089
我们再PKMS汇总拦截adb 安装的应用，在分析PKMS的时候我们也知道，在installPackageAsUser有如下代码，代表是adb安装的。 if ((callingUid == Process.SHELL_UID) || (callingUid == Process.ROOT_UID)) { installFlags |= PackageMan...
Mina中的zkApp交易snark
mutourend的博客
07-15 525
Mina中的zkApp交易snark。
vue嵌入app中——首次加载慢的动画
热门推荐
未来以来 futureToday
02-25 46万+
背景：项目首次加载过慢，需要下载的资源比较大；白屏时间过长，导致用户体验不好； 解决办法：index.html 下载完，（首页下载完）就像执行动画 伸手党代码： 加粗样式 <script> //在页面未加载完毕之前显示的loading Html自定义内容 var _LoadingHtml = ` <div id="loadingDiv" style="position:absolute;left:50%;top:50%;margin-left:-35px;margi
uniapp简单音频组件
haosicx的博客
11-03 3万+
引入组件 import WzsAudio from '@/components/WZS-Audio/WZS-Audio.vue' components: { WzsAudio }, 使用方式 <WzsAudio :music="Url" :autoplay="false" </WzsAudio> 组件js文件 复制即可 文件名WZS-Audio <template> <view class="audio-page"> .
uniapp之封装公共的搜索控件
CuiCui_web的博客
10-27 4万+
为了增加代码的复用性，多次重复的 效果图如下： 1、在componts文件夹下创建一个uni-search.vue的文件 <template> <view class="uni-searchbar"> <view class="uni-searchbar-form__box"> <uni...
springboot整合mina
11-06
SpringBoot整合Mina是一个常见的Java开发任务，它涉及到SpringBoot框架与Apache Mina网络通信库的集成。Mina是一个轻量级、高性能的网络应用框架，主要用于构建服务器端的网络应用，如TCP/IP和UDP协议的服务。而...
MinaClient
07-07
**MinaClient详解** MinaClient，全称为Apache Mina，是一个开源的网络通信框架，主要应用于Java平台。它的设计目标是提供一个高度可扩展、高性能、轻量级的网络应用开发框架，使得开发者能够方便地创建出面向服务...
Mina+Socket通信
07-17
Mina和Socket是两种常见的网络通信框架和技术，它们在Java编程环境中被广泛使用。本篇文章将深入探讨如何使用Mina与Socket实现通信，并提供客户端和服务端的实现代码概述。 Mina（全称“MINA: Minimalistic ...
Mina Tcp实例
03-14
在Java开发领域，Mina（Minimum Asynchronous Network）是一个基于NIO（Non-blocking Input/Output）的网络通信框架，它提供了高性能、可扩展且易于使用的网络应用开发接口。Mina框架广泛应用于TCP和UDP通信协议，...
android仅安装客户指定应用（高通KK_8x12平台）
通信侠的博客
08-08 935
本文简要介绍了一种实现仅安装白名单中app的实现方法。
ksApp
神zhi殇的博客
09-04 1559
ng new cloud --routing --style scss --skip-install 在package.json的&amp;amp;amp;amp;amp;amp;amp;amp;amp;quot;devDependencies&amp;amp;amp;amp;amp;amp;amp;amp;amp;quot;中增加 &amp;amp;amp;amp;amp;amp;amp;amp;amp;quot;@angular/cdk&amp;amp;amp;
【安全测试】appscan/zap简单使用
qq_42532915的博客
07-05 1148
一、用appscan进行http扫描测试 准备好环境是必须的 1、下appscan载与安装 软件包下载看以下链接 链接：https://pan.baidu.com/s/1jrqF_Eyq6IcjGYZSPZIR8Q 提取码：6i7n 下载、安装与破解的具体步骤见以下链接： https://www.jianshu.com/p/91ae6baef60c 这个只是完成基础安装，如果你想要扫描webser...
GMS中常见的App说明
xiaoyantan的博客
11-28 5889
下面提到的app，可在GMS 中 常见应用的package name 中根据apk name 找到对应app name 和package name 一、从gms.mk中可以看到app可以大体分为三类： GMS mandatory core packages GMS mandatory application packages GMS optional application packages ...
uni app 自动化索引列表
wusejiege6的博客
03-21 3万+
uni app 自动化索引列表，官方推荐的第三方插件 https://ext.dcloud.net.cn/plugin?id=375 [{ "letter": "A", "data": [ "阿克苏机场", "阿拉山口机场", "阿勒泰机场", "阿里昆莎机场", "安庆天柱山机场", ...
Mina Berkeley QANet测试网zkApp初体验
mutourend的博客
03-28 3万+
1. 引言 Ubuntu 18.04： $ echo "deb [trusted=yes] http://packages.o1test.net $(lsb_release -cs) unstable" | sudo tee /etc/apt/sources.list.d/mina-unstable.list $ sudo apt-get update # 安装Mina daemon $ sudo apt-get install -y mina-berkeley=1.3.0beta1-release-2.
微信开发者之AppID和AppSecret举例子
最新发布
s_sos0的博客
05-13 4877
微信开发者之AppID和AppSecret 微信开发者之AppID和AppSecret 微信开发者之AppID和AppSecret
获取base64编码格式的图片大小
weixin_45151960的博客
06-07 15万+
//imageBase就是要传来的图片数据 因为我传来的照片头部已经去掉了，所以这里就不需要再做处理，只做“=”号的处理就可以了 public int obtainImageSize(String imageBase){ String str = imageBase; str = str.replace("=", ""); //这里计算出来的是字节大小 也即是B int size = (str.length()-(str.length()/8
android使用ksoap2调用sap的webservice
weixin_30411239的博客
12-01 268
1 public void on_clicked(View view) { 2 Thread webserviceThread = new Thread() 3 4 { 5 6 public void run() { 7 String NAMESPACE = "urn:s...
深度解析Apache Mina框架
"深入理解Apache_Mina，通过作者对中国壹石頭的引用，探索Mina框架的核心概念和类，旨在帮助初学者逐步理解Mina的设计思想和精髓。" Apache Mina是一个轻量级、高性能的网络通信框架，尤其适用于TCP/IP协议栈的开发...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值