Mina 生态开发进展月度更新｜2022 年 11 月
进展更新
备注：每月更新的工作进展均可能包含预测、计划、目标或其他前瞻性陈述。此类前瞻性陈述基于相关生态合作伙伴基于更新时的可用信息所做的预期和假设。因此，计划、目标和其他声明有可能无法如所描述所实现，实际结果可能与此类更新中呈现的结果大不相同。Mina 基金会不对社区贡献者所做的更新负责，他们的工作对 Mina 生态的发展至关重要，并独立于 Mina 基金会正在开展的任何计划。
01
Mina Foundation
市场高级总监 Lindsay Casale
市场总监 Sherry Lin
Mina 基金会服务于 Mina 生态，通过分配资源、保障网络健康安全以及支持参与者进入 Mina 生态，致力于为 Mina 生态提供帮助和支持。
zkIgnite 队列 0 启动
完成 zkApp 教程 4：前 1000 名参赛者将有资格每人获得 50 MINA
开发高质量的 zkApp：5,000 MINA
有机会赢得 3 个最高奖项：
一等奖：20,000 MINA
二等奖：12,000 MINA
三等奖：8,000 MINA
通过开发一个为 zkApp 使用提取链上数据的预言机，获得 1,000-1,500 MINA
现在还可以加入队列 0，共享 250,000 MINA 奖金池：你可以在 2022 年 12 月 15 日之前完成开发并获得奖励。
>
季度社区 GRANT
第三季度已收到超过 150 项社区赠款提名，有资格获得本周期赠款的 Mina 社区成员名单将于 12 月下旬通过 Discord 和其他 Mina Protocol 渠道公布。提醒：社区提名的赠款计划以滚动方式接受提名，因此如果你看到社区成员的贡献对你或其他人有帮助，请务必提名他们，以便我们奖励他们的贡献。
> 在此处进行
> 查看
用于基础设施 & 工具的闪电赠款 (Flash Grant)
为了支持希望在 Mina 上开发的开发者和 Mina 协议用户，Mina 基金会正在试行一项快速拨款计划 (flash grant program)，以激励社区成员和团队开发必要的开发工具和基础设施。我们正在与 20 多个申请开发项目的团队合作，例如运营和扩展链下存储。更多相关项目和团队的信息将很快公布。
EVENT
在过去的几周里，Mina 团队于 11 月 2 日在旧金山和 12 月 1 日在班加罗尔举办了 2022 zkConnect 开发者聚会系列活动。100多名与会者与其他开发者进行交流，一起了解零知识以及如何开发 zkApp。
Mina 还与生态合作伙伴 O(1) Labs 合作赞助了两个 ETHGLOBAL 活动，包括 ETHSF 和 ETHIndia。在这两个活动中，由开发团队一共诞生了 15 个新的 zkApp。特此鸣谢主持了班加罗尔开发者聚会并代表 Mina 团队参加了 ETHIndia 的印度地区社区经理 Rakesh Pandey，以及来自 O(1) Labs 的 Jason Borseth 和 Jack Servia。
11 月 22 日，Mina 基金会首席执行官 Evan Shaprio 在 YouTube 上与 O(1) Labs 的创始工程师 Brandon Kase 主持了一场直播，讨论了 ZK 的魔力、用例和最新的 Mina zkApps。
> 查看
尽管 2022 年的活动计划到此已经圆满落幕，但我们很期待在 2023 年以全新的活动系列回归，并且计划全年参加各种行业会议。欢迎保持关注，关注获取更多活动最新进展！
02
=nil; Foundation
创始人 Mikhail Komarov
=nil; Foundation 致力于将 Mina 桥接到以太坊等。
在此月，=nil; Foundation 已经实现了完整的 vanilla in-EVM 验证交付，现在必须接受审计。同时 nil 团队也即将完成 EVM 内状态表示打包部分，意味着产品部署将不仅具有状态验证功能，而且具有明文状态数据可访问性。除此之外，nil 团队还在继续为产品发布做准备。
当前的桥接实现在辅助证明生成性能和验证成本方面有明显的改进空间。我们邀请社区通过持续为桥梁生成辅助证明来协助改进。
本月两个最重要的提交：
开始 EVM 内 Mina 的状态管理逻辑。
>
完成规范的 EVM 内验证交付。
>
03
O(1) Labs
首席执行官 Emre Tekisalp
SNARKYJS & ZKAPPS
SnarkyJS v0.7.0 带来了更完善的用户体验。
O(1) Labs 团队引入了“Struct”来代替“CircuitValue”来定义自定义数据类型，从而提供更直观的语法。你现在可以通过将字符串传递给各种断言方法中的任何一种来为你的断言定义自定义错误消息。除了现有的基于签名的授权之外，现在还可以使用 ZK 证明来授权与令牌相关的交互。SmartContract 类上的新“init()”方法提供了一种仅在首次部署 zkApp 时调用的方法，帮助你轻松初始化 zkApp 帐户的状态。
zkApp 开发者应将他们的 zkapp-cli 升级到 0.5.1 或更新版本，并将任何当前的智能合约项目升级为使用 snarkyjs 0.7.1 或更新版本，以便与 11 月 15 日重新部署的 Berkeley Testnet 重新部署兼容。
Berkeley Testnet Alpha
Berkeley Alpha Testnet 于 11 月 15 日进行了第一次升级。此升级包括一系列改进，包括修复一个攻击者可以使用无效授权更改 zkApp 的帐户状态的。值得注意的是，这个错误是在 O(1) 开发三个 zkApps 来测试协议的过程中发现的。
> 有关升级的更多详细信息，请查看。
这次升级并不是硬分叉 Alpha 测试网，而是一次新的重新部署，为我们省去了硬分叉所需的大量工作，但也导致丢失了之前 Berkeley Alpha Testnet 上的所有交易，任何之前部署的 zkApp 都需要重新部署。我们希望在 12 月中旬通过对网络的硬分叉来促进另一次类似的升级。
Berkeley 准备
通过修复上述错误，并完成上次更新的开发和测试工作，我们正在接近激励测试网的 Berkeley 版本。同时我们开始着手编写 Mina 改进提案，这将构成 Berkeley 版本的一部分。
证明系统
O(1) Labs“Core Crypto”团队开始发挥相当大的作用。该团队正在为 bitwiseXOR 和旋转运算 (rotation operations)、外域乘法 (foreign field multiplication)、外域加法 (foreign field addition) 和范围检查 (range checks) 开发自定义门。除了外部字段乘法门外，这些门的 Rust 实现已经完成。剩下的工作就是将其集成到我们的递归证明库 Pickles 中。重要的是，这些门将使开发者能够直接在 SnarkyJS 中实现成本过高的电路内操作，如 keccak 哈希 (keccak hashing)、AES 加密 (AES encryption) 或 ECDSA 签名验证 (CDSA signature verification)。
zk 预言机
11 月，O(1) 的 zk 预言机工程师确定并指定了 zk 预言机公证的文件格式。他还开发了一个工具来帮助生成这些文件，无需 zk 预言机所需的复杂 MPC 协议。这些工作的目标是帮助确定解析这些文件及其包含的 TLS 会话的适当电路是否可行，如果可行，如何实现。
以太坊签名验证 – NEW
O(1) Labs 正在致力于使 zkApps 能够验证以太坊 ECDSA 签名。这项工作对于实现某些互操作性用例（如桥梁）很重要，计划将分三个不同的阶段进行。在第 1 阶段，O(1) 致力于为外域乘法、外域加法、按位异或和按位旋转实现自定义 Plonk 门。在第 2 阶段，这些门将作为 zkApps 在 SnarkyJS 中用于实现以太坊的 keccak 哈希函数和 ECDSA 验证算法。目前不确定是由 O(1) 抑或是其他生态合作伙伴来推进这项工作。在第 3 阶段，O(1) 将为 keccak 和 ECDSA 签名验证提供完全自定义的 Plonk 门，从而使这些算法的证明性能优于第 2 阶段解决方案。O(1) 希望在 2022 年底之前完成第 1 阶段的自定义门。
04
Granola Systems, Inc.
项目经理 Nicole McGee
正如之前在 Q3 路线图中所提到的，Granola Systems 正在研究链上信令，Mina 持有者可以在链上表示他们对 Mina 提议更改的支持（例如硬分叉）。
链上投票
Granola Systems 正在开发一个仪表板，Mina 持有者可以在链上表达他们对 Mina 提议更改的支持，例如硬分叉。最近，一些社区成员对仪表板进行了用户测试，我们非常期待分享有关如何以及何时使用此仪表板支持链上投票的计划！
05
zkFusion
trivo#0001
社区成员 Trivo#0001 正在开发 zkFusion，这是一个 Mina 上的模块化 zkRollup。
目前，trivo 正在进行的工作集中在启用 zkApp 交易上。与仅在两方之间转移资金的普通交易相比，zkApp 交易处理起来更复杂，因此需要更强大的系统。为了实现 zkApp 交易，trivo 需要做一些工作来表示帐户抽象并编写一个序列能够生成 zkApp 交易证明的电路。随着最近 SnarkyJS 0.7.1 版本发布，一些重大变化也需要修复，如将现有的“CircuitValue”类型重写为新的更强大的“Struct”类型。最新版本还修复了一个长期未解决的阻碍了分布式证明生产模块的错误。
此外，新的 SnarkyJS 版本修复了一个长期未解决的错误，该错误阻止了证明生产模块，现在可以完成。
>
06
Mina Explainer Videos
G-Kriptocu#1377
G-Kriptocu#1377 一直在他的 YouTube 频道和他的新网站 MinaTimes.com 上定期发布有关 Mina 协议和零知识的视频。他还为社区创建了一个DC频道，分享所有 Mina 新闻和更新。G-Kriptocu#1377 希望让更多人了解 Mina 协议的技术、基础知识和使命。
About Mina Protocol
#PoweredByParticipants
Mina 是全球最轻量区块链，由参与者参与治理。
凭借其优雅的设计，Mina 是首个实现简易编程性零知识智能合约（zkApp）的一层网络。Mina 独特的隐私和安全功能及其通过 zkApp 与任何网站链接的能力，使得 Web3 更具安全性和私密性，极大地推动着所有人都应享有的安全民主未来的构建。Mina 由总部位于美国的非营利组织 Mina 基金会管理。
全球最轻量区块链 人人皆可参与
公众号｜Mina Protocol Official
微 博｜Mina_Protocol
往期回顾
zkIgnite 队列 0 正式启动！
zkApps Era 启动｜我们邀请你注册参与 zkIgnite！