O(1) Labs 的 zkApp 产品工程团队在 Q3 为 SnarkyJS 添加了多项主要功能：递归（也称为proof composition），利用 Mina 的无限递归能力；zkApp 可组合性，允许 zkApp 调用另一个 zkApp 上的方法；事件&付款，允许 zkApp 向其他 Mina 帐户或 zkApp 发送 MINA。
对于那些热衷冒险的人，O(1) Labs 团队还启用了一些实验性 API：Merkle 树、自定义令牌、actions & reducers（也称为序列事件）。“实验性”表明这些方法极有可能被改变和改进。当设计达到相对稳定时，这些 API 将被移出实验空间。
zkApp 测试
zkApp 测试的 Berkeley 激励测试网阶段最初计划于第二季度末之前发布，但由于在开发过程中出现了许多错误，测试网第一阶段的预计交付时间已更新至第三季度。O(1) Labs 团队正在修复单元测试和 QANet 中出现的最终错误。该计划将于 9 月发布一个 Berkeley Testnet Alpha：将在稍后的激励测试网开始之前提供一些初步测试的机会。
主网上的 zkApp 简易可编程性
我们持续致力于在主网上实现 zkApp 简易可编程性。我们开始看到在 Mina 网络上构建了许多新的 zkApp，包括zkPOAPs 和交互式Canvas zkApp。你还可以在此处查看由社区整合的目录，其中显示了生态中的一些 zkApp。
链上信令 (on-chain signaling) - NEW
该项目由Granola Systems 开发。它是开源软件并致力于两个目标。一，它连接到现有的 Mina 存档节点以查询 Mina 区块链状态数据，从而在 RESTful Web 界面上完成查询。这些查询提供 JSON 数据，描述了支持或反对已知提案的链上信令（交易上特殊构建的备忘录字段）。二，它提供了一个 Web 前端来可视化信号过程的状态（每个信号的结果页面）。其他开发者可以使用此 MPL2 许可软件以去中心化的方式报告信令结果。链上信令项目将用于衡量对 2022 年第三季度 / 第四季度测试网上即将推出的硬分叉的支持情况。
非共识节点
Chainsafe 已着手实施非共识节点项目，以在 Rust 中添加 Mina 协议的附加实现，并已完成部分概念验证。另一个工程团队现在正在接管该项目。你可以到Github repo 查看项目的当前状态。
zkBridge
在 Q2，EVM 内状态证明验证证明生成器连同所有必要的电路已经进入了可审计状态。据安全审计机构ABDK Consulting，Q3 应该可以得到证明生成器的审计结果，之后 Mina 的辅助状态证明将在 =nil; 的 proof market 上发布，用户将能够检索并提交 Mina 的状态证明。
验证组件很大程度上取决于电路的准备情况，因为它是根据证明生成端的定义生成的。这意味着验证部分应该在证明生成部分电路和证明系统实施审计完成后准备审计。整个解决方案组件的顺序性质导致潜在的时间增加，并且完全取决于安全审计的进展。
第三方链下使用 Mina 证明系统
该项目最初计划在第三季度进行，由于 O(1) Labs 的 SnarkyJS 在路线图中的影响优先级更高，现在是一个以 2022 年第四季度交付为目标的项目。
ZK 预言机
ZK 预言机指的是使用 HTTPs 以一种无需信任的方式将现实世界的数据连接到区块链的能力。O(1) Labs 团队最初的范围仅限于最小可行产品 (MVP)，现已将该方法扩展为 2 个阶段：
Mina 上的 ZK Rollup - NEW
正在 Mina 上进行 zkRollup 开发的团队为由社区成员 Trivo#0001 带领的 zkFusion：
“我已经开始积极地研究 rollup，以帮助扩展 Mina，并为开发者提供一个框架，帮助支持他们在应用特定汇总方面的工作。第一阶段的工作（概念验证）已经完成，将在其备份后立即部署到 QANet。概念证明包括基本的汇总功能，例如在第 1 层合约中进行充值 / 提现，提款以及在第 2 层进行 MINA 转账。如果概念验证和 QANet 都足够稳定，我计划部署一个公共测试版本，让所有感兴趣的人都可以使用它。
在接下来的几周和几个月里，重点将放在提高吞吐量和支持基本和高级 zkApp 功能，以及提高稳定性和使系统更加强有力。”
京公网安备 11010802041100号