查看原文
其他

Mina 生态开发进展月度更新|2022 年 10 月


进展更新

备注:每月更新的工作进展均可能包含预测、计划、目标或其他前瞻性陈述。此类前瞻性陈述基于相关生态合作伙伴基于更新时的可用信息所做的预期和假设。因此,计划、目标和其他声明有可能无法如所描述所实现,实际结果可能与此类更新中呈现的结果大不相同。Mina 基金会不对社区贡献者所做的更新负责,他们的工作对 Mina 生态的发展至关重要,并独立于 Mina 基金会正在开展的任何计划。



01

Mina Foundation

营销负责人 Claire Kart

社区负责人 Christine Yip


Mina 基金会服务于 Mina 生态,通过分配资源、保障网络健康安全以及支持参与者进入 Mina 生态,致力于为 Mina 生态提供帮助和支持。


ZKAPP 开发者资源


Mina 协议联合创始人兼 Mina 基金会首席执行官 Evan Shapiro 正在编写一系列教程,为希望在 Mina 上使用 zkApps 构建的开发者提供帮助。目前已发布两个教程,第一个教程:指导如何从头到尾编写一个基本的 zkApp;以及第二个教程:使用隐私状态和散列函数构建智能合约。更多教程即将发布,我们鼓励所有学习过这些教程的开发者在 Mina Discord 上的上分享反馈,以便我们继续改进这些教程。


季度社区 GRANT


Mina 基金会为在 Mina 社区中构建 zkApp、创建工具、促进社区发展等的积极贡献者颁发赠款。在第二季度,共有 57 人获得社区赠款资格,共颁发总计超过 75,000 MINA 和 $30,000 的 USDC 奖励。

此处了解有关第二季度赠款的更多信息。

* 赠款始终开放,你随时可以提名自己或他人。


EVENT


Mina 生态的成员最近在哥伦比亚结束了一系列激动人心的活动,包括在麦德林和波哥大、ETHBogota 和 DevCon 举行的 zkConnect 聚会。我们要祝贺 ETHBogota 黑客马拉松的所有获胜者,并重点介绍获得 Mina Prize 的前 3 名获胜者:



1


一款具有隐私投票解决方案的多签钱包。


2


保护隐私、公平的抽奖工具(如 pre-mint),在不泄露用户敏感信息的情况下用于 NFT 白名单。


3


使用递归证明的水豚主题 Battleship 游戏



我们非常高兴能与 Mina 社区成员线下见面和合作。以下是一些 Mina 即将参加的活动,我们希望能在那里见到你!




11 月 2 日

in 旧金山



11 月 4 - 6 日

Mina 将为在 黑客松中获得 Mina Prize 的 ZK builder 提供 $10,000 奖金



12 月 1 日

in 班加罗尔



02

=nil; Foundation

创始人 Mikhail Komarov


=nil; Foundation 致力于将 Mina 桥接到以太坊等。


=nil; Foundation 最近致力于以下工作:
  1. 在完成大部分电路审计后,将 in-EVM 验证部分的整个电路放在一起。

  2. 准备一个工具链,以便愿意促进 zkBridge 启动的 Mina 社区成员参与其中。

  3. 根据审核结果修复和增强电路。


此处的 与 Mina 社区参与者的准备工作相关(不是它的子模块而是实际的 repo),以便能够促进桥接辅助证明的生成。提供给 Mina 社区进行公共测试的辅助证明生成器服务将进行两项修改:一个单线程服务(用于浏览器内执行)和一个供那些想要更快地提供证明的人使用的多线程服务。单线程版本可能需要大量时间才能生成证明。多线程的更优,但目前还不能在浏览器中执行。


之后的 in-EVM 验证部分包含完整的 Mina 状态验证电路定义,并准备好接受 Mina 的证明。


完整电路的 in-EVM 验证部分包含 30 多个独立的部分 - 它需要 5m gas,但其消耗量取决于证明系统的安全参数。更安全的修改消耗更多,安全更低的修改则消耗更少。


至于 Mina 社区如何参与支持,=nil;团队欢迎那些愿意通过证明生成来促进 zkBridge 的人与他们取得联系,并通过参与竞争性证明生成测试来帮助建立这个关键的一环。此外,=nil;团队也欢迎大家帮助他们将辅助证明生成软件调整到特定硬件!有兴趣帮助测试的人可以通过 或 与 =nil;团队取得联系。


更多关于该项目的信息,包括时间线和文档:




03

O(1) Labs

首席执行官 Emre Tekisalp


SNARKYJS & ZKAPPS


O(1) Labs 开发团队发现了一个由 Apple M 系列 CPU 引起的性能问题,目前正在实施一种解决方案以确保快速性能。另外,我们还在尝试让开发者在使用相同的“zk project <name>”命令时创建一个 UI 项目来随附他们的智能合约,从而使搭建 zkApp 项目变得更加容易。即将很快发布!


Berkeley Testnet Alpha


O(1) 的内部 Berkeley QAnet 结束,官方公共的 “Berkeley Testnet Alpha” 已于 9 月 26 日启动。你可以在 Mina Discord 中阅读,并通过查看 Berkeley Testnet Alpha 参与指南了解如何参与。目前为止,已经部署了 20 多个 zkApp,并发现了少量 bug。针对这些 bug 的修复以及一些其他改进计划将在即将到来的测试网硬分叉实施。升级时限待定。


zkApp 协议准备就绪


得益于 zkApps 协议在 Berkeley Testnet Alpha 上运行良好,我们可以对该协议进行观察和测试。O(1) 正在开发一些小型 zkApp,用于协议的逻辑测试。其中包括一个投票应用和一个单对 DEX。O(1) 还计划在不久的将来对协议进行负载测试,以衡量当前的性能限制。


证明系统


作为帮助提高 zkApp 性能所需的持续性工作的一部分,O(1) 的 核心密码学团队致力于研究一些需要集成到 Mina 证明系统中的自定义门。原于 7 月实施的 foreign field addition gate 相关优化现。 和 也取得了类似的重大进展。一旦最终确定并集成到 SnarkyJS 中,这些门将显著提高常见在线操作的性能(如 SHA-256 或 Keccak 哈希)。这些门和操作将使 zkApps 在不久的将来能够做诸如验证以太坊签名之类的事情,这是推动 Mina 和 zkApps 与其他链之间更具互操作性的重要一步。


zkOracle


zkOracles 基于 MPC 的第一个工作版本的规范初稿已经编写并发布,并由领导这项工作的新工程师进行内部 O(1) 审查。这项工作突出了协议的复杂性,我们正在努力预计完成实施所需的时间。与此同时,O(1) 的产品工程团队正在研究一个非常简单的架构和示例,将让开发者能够在他们的 zkApps 中使用链下数据!




04

zkFusion

trivo#0001



社区成员 Trivo#0001 正在开发 zkFusion,这是一个 Mina 上的模块化 zkRollup。


在完成第一个里程碑 —— 构建概念证明并将其部署到测试网 Berkeley 之后,目前 trivo 正在通过开发一个系统来提高证明生成速度,该系统将允许测序仪启动一个 prover nodes(也是 worker nodes)网络,使用 AWS 或 GC 等云服务并行进行状态转换证明。这项工作为以后所需的加快交易奠定了基础。接下来是设计一个更高效和通用的电路,以支持 zkApp 交易(设计阶段)。


你可以查看这个,它实现了一个分布式验证生产工人网络,总体上改进了 repo 的结构并进行了一些清理。

Github repo:

 




05

链上信令 (On-Chain Signaling)

Nicole McGee, Granola Systems



正如之前在 Q3 路线图中所提到的,Granola Systems 正在研究链上信令,Mina 持有者可以在链上表示他们对 Mina 提议更改的支持(例如硬分叉)。


最近,该项目的第 2 阶段已经完成,其中包括添加基于质押权重计算投票的功能。第一阶段包括使区块生产者能够在 memo 中提交“投票”交易,并能够通过 API 计算和发布这些结果。


下一步将进入测试阶段。




06

ZK Canvas

Qcomps (45930#8225)


Qcomps 正在开发 ZK Canvas,一个可以读写 Mina 的交互式 zkApp。该项目的主要目标是建立一个可以在连接到 Mina 网络的浏览器上运行的应用。目前已经实现的主要里程碑是部署应用的简单版本。Qcomps 目前正在努力添加一些新功能来探索更多关于 Snarkyjs 的权限框架。如果你感兴趣,可以查看其 Github repo 上的

在此处体验 ZK Canvas:

 




07

Mina Validator 101

Sam, Journal du Coin


团队正在努力分解 Mina 的技术栈,通过创建易于阅读/观看的资源来更好地了解技术。最近他们发布了,通过阅读更好地了解 Mina 上的验证工作原理以及如何作为验证者参与 Mina 网络。


该团队还邀请了 O(1) Labs 密码学工程师 David Wong 用法语。文章和视频都获得了上千次的浏览量,Journal du Coin 团队希望通过这些资源帮助人们了解 Mina。




08

Mina Explainer Videos

G-Kriptocu#1377


G-Kriptocu#1377 一直在制作有关 Mina 协议和零知识的土耳其语视频。G-Kriptocu 的目标是通过每个视频向人们介绍 Mina,并以一种易于理解的方式解释 Mina 背后的技术。你可以在此处查看。除了 Youtube 频道,G-Kriptocu 计划很快发布一个新的 Mina 网站。




About Mina Protocol

#PoweredByParticipants


Mina 是全球最轻量区块链,由参与者参与治理。


凭借其优雅的设计,Mina 是首个实现简易编程性零知识智能合约(zkApp)的一层网络。Mina 独特的隐私和安全功能及其通过 zkApp 与任何网站链接的能力,使得 Web3 更具安全性和私密性,极大地推动着所有人都应享有的安全民主未来的构建。Mina 由总部位于美国的非营利组织 Mina 基金会管理。





全球最轻量区块链 人人皆可参与

公众号|Mina Protocol Official

微 博|Mina_Protocol



往期回顾

2022 Q3 透明度报告

连线 zkApp 开发者|Florian Kluge


您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存