Open Mina 节点是一个用 Rust 实现的快速且安全的 Mina 协议实现。 目前处于公开测试阶段,加入我们的 Discord 社区来帮助测试未来的版本。 入门指南 源码仓库地址 https://github.com...
这是一个数据结构,用于对需要交易 SNARK 证明的交易进行排队,并允许 SNARK 工作者并行处理这些交易 SNARK。 它被称为"扫描状态"是因为它将扫描类操作与 Mina 区块链状态的更新相结合。在函数式编程中,扫描会对元...
在开发网络上运行非出块节点 本指南将指导您使用 Docker 在开发网络上运行 Alpha Rust 节点。按照以下步骤设置节点并为这个 Alpha 版本提供反馈。 1. 前置要求 确保您已安装 Docker: Linux、m...
SNARK 证明是 Mina 区块链的核心,用于验证交易、区块和其他 SNARK 的有效性。我们希望优化 SNARK 的生产过程,以确保 Mina 区块链能够持续运行和扩展。 这是 SNARK 工作流程的概述。点击图片查看高分辨...
title: 0. 序章 重要 ‼️ Stark101 虽然是希望成为任何软件工程师的入门教程,但是ZK确实有太多不得不说的概念,不过,我会尽量用最简单,最少公式的方式来讲解。 所以,Start101绝对不会教会你如何成为数学大师,...
原文链接:https://www.zk101.io/stark101/1_trace 前往可获得更好的体验 计算轨迹是 Stark 的第一步,也是最简单的一步,但是最为重要的一步。 但是在章节开始之前,你需要必须 掌握以下前置知...
原文链接:https://www.zk101.io/stark101/2_lde 前往可获得更好的体验 导读 低度拓展(LDE)是Stark中用于提高安全性的一个步骤,通过把多项式的域拓展到更大的域,从而提高计算的安全性。...
原文链接:https://www.zk101.io/stark101/3_commit 前往可获得更好的体验 导读 承诺(Commitments)是Stark中用于去除需要交互验证的步骤,通过将Trace的值进行默克尔树构建,...
目录 P2P 测试 RPC Kademlia Identify Connection 场景 连接发现 P2P 连接 Kademlia Pub...
目录 介绍 我们在测试什么 1. 网络连接和节点管理 网络连接 单节点 节点发现测试 Rust接受OCaml的入站连接 OCaml连接到广告的Rust节...