Delta merkle proof 在实际应用中, 除了证明默克尔树中存在某一特定叶子节点外(merkle proof), 我们通常还希望证明将树中的特定叶子节点从一个值修改为另一个值的结果(delta merkle proof)....
如何创建自定义可证明类型? 你可以使用 o1js 的 Struct 来定义自定义可证明类型: class MyCustomType extends Struct({ field1: Field, filed2: MyC...
可证明的代码 为了让 zk-rollup 验证其操作的正确性,它必须能够证明,例如交易已正确执行。这是可能的,因为所有底层 Protokit rollup 代码都是使用 o1js 编写为 zk 电路。因此创建可证明的代码,从而...
什么是Protokit? Protokit 是一个用于构建启用隐私的应用程序链(又名 zk-roll-apps / zk-rollups)的框架。使开发人员能够以最小的学习曲线构建零知识隐私保护应用程序。 该框架本身由O1J...
注意: ts 中需要使用 (window as Any).mina 链接钱包 安装 Auro wallet 插件后, 会存在 window.mina 对象. if (typeof window.mina !== 'undef...
2024年给 Mina 带来了巨大的变化。了解 2025 年将会发生什么! 2024年给 Mina 带来了巨大的变化。最大的进展是今年 6 月 Mina 的 zkApp 层的推出,这使得 Mina 成为第一个采用图灵完备的零知识...
Open Mina 节点是一个用 Rust 实现的快速且安全的 Mina 协议实现。 目前处于公开测试阶段,加入我们的 Discord 社区来帮助测试未来的版本。 入门指南 源码仓库地址 https://github.com...
这是一个数据结构,用于对需要交易 SNARK 证明的交易进行排队,并允许 SNARK 工作者并行处理这些交易 SNARK。 它被称为"扫描状态"是因为它将扫描类操作与 Mina 区块链状态的更新相结合。在函数式编程中,扫描会对元...
SNARK 证明是 Mina 区块链的核心,用于验证交易、区块和其他 SNARK 的有效性。我们希望优化 SNARK 的生产过程,以确保 Mina 区块链能够持续运行和扩展。 这是 SNARK 工作流程的概述。点击图片查看高分辨...
目录 P2P 测试 RPC Kademlia Identify Connection 场景 连接发现 P2P 连接 Kademlia Pub...