可证明的代码 为了让 zk-rollup 验证其操作的正确性，它必须能够证明，例如交易已正确执行。这是可能的，因为所有底层 Protokit rollup 代码都是使用 o1js 编写为 zk 电路。因此创建可证明的代码，从而...
什么是Protokit？ Protokit 是一个用于构建启用隐私的应用程序链（又名 zk-roll-apps / zk-rollups）的框架。使开发人员能够以最小的学习曲线构建零知识隐私保护应用程序。 该框架本身由O1J...
原文链接：zk.bearblog.dev/introduction 译者：AI翻译官，校对：翻译小组 本文链接：learnblockchain.cn/article… 剥开零知识洋葱 2024 年 1...
接着看看zkHack V的第二道题。 https://zkhack.dev/zkhackV/puzzleV2.html 1. 题目 基于一个比较小的域，实现了一个Lookup协议。题目给定了一个从0～63的表，尝试证明2^15在表...
zkHack V的第三题是用Nior语言实现的电路。 1. 题目 一个网站想避免使用私钥作为认证数据，给每个用户额外分配了随机数据（pepper）。这个随机数据只有用户自己知道。在使用认证之前，用户需要计算{公钥}_{pepper}的...
2024年给 Mina 带来了巨大的变化。了解 2025 年将会发生什么！ 2024年给 Mina 带来了巨大的变化。最大的进展是今年 6 月 Mina 的 zkApp 层的推出，这使得 Mina 成为第一个采用图灵完备的零知识...
在 Mina: 展望 2025 年总结中提及了 httpz，随后便去翻阅了相关资料，想要探究一下 httpz 究竟是什么，那么今天就让我们一起来学习了解吧。 发掘“httpz”的变革潜力，零知识证明和 Mina 协议融合在一起，建立...
Open Mina 节点是一个用 Rust 实现的快速且安全的 Mina 协议实现。 目前处于公开测试阶段，加入我们的 Discord 社区来帮助测试未来的版本。 入门指南 源码仓库地址 https://github.com...
这是一个数据结构，用于对需要交易 SNARK 证明的交易进行排队，并允许 SNARK 工作者并行处理这些交易 SNARK。 它被称为"扫描状态"是因为它将扫描类操作与 Mina 区块链状态的更新相结合。在函数式编程中，扫描会对元...
在开发网络上运行非出块节点 本指南将指导您使用 Docker 在开发网络上运行 Alpha Rust 节点。按照以下步骤设置节点并为这个 Alpha 版本提供反馈。 1. 前置要求 确保您已安装 Docker： Linux、m...
区块链技术网
