当前位置： 首页区块链公链正文 Mina开发者中文文档 ## 5.1 开发者 欢迎来到Mina开发者文档-请快速熟悉一下下面的链接，了解一下情况。 探索Github上的[代码库](https://github.com/MinaProtocol/mina)。 请参阅[贡献指南](https://learnblockchain.cn/article/3362)来开始为Mina贡献代码。[协议](https://github.com/MinaProtocol/mina/tree/master/src)和[CLI](https://github.com/MinaProtocol/mina/tree/master/src/app/cli)是用OCaml编写的。在这些工具中的任何级别的经验水平都是可以的。 与贡献代码相关的其他文档包括: ● [风格指南](https://docs.minaprotocol.com/docs/developers/style-guide) ● [代码评审指南](https://docs.minaprotocol.com/docs/developers/code-reviews) ● [库结构](https://learnblockchain.cn/article/3364) ● [BIP44信息](https://docs.minaprotocol.com/docs/developers/bip44-information) Mina是完全开源的，代码是按照[Apache License 2.0](https://github.com/MinaProtocol/mina/blob/master/LICENSE)的条款发布的。 ## 5.2 代码库概况 Mina <a href="https://lanhainft.com/tag/%e5%8c%ba%e5%9d%97%e9%93%be" title="区块链flickr.photos.notes.edit>区块链</a>协议是由静态函数式编程语言OCaml编写而成。 OCaml的初学者可通过浏览 [Real World OCaml](https://realworldocaml.org/)，详细了解该语言，如有兴趣，可对特定主题深入探究。若对OCaml已有基本了解，可在此处了解更多其在Mina<a href="https://lanhainft.com/tag/%e5%8c%ba%e5%9d%97%e9%93%be" title="区块链flickr.photos.notes.edit>区块链</a>协议中的应用。 ### 代码结构 见 [Repository Structure page](https://learnblockchain.cn/article/3364)。 ### 编译 OCaml编译器针对的是字节码和本地编译。我们的代码与一些程序库静态链接，因此无法编译成字节码。此外，在REP环境下，不能很好地发挥作用。我们的构建系统是Dune。Dune有一个文件夹的概念，文件夹代表模块，其中的每个文件都代表一个模块。若文件夹中有一个与该文件夹同名的文件，那这个文件本质上就等同于Node中的`index.js `。 OCaml还有接口文件——其文件扩展名为`.mli`，其中包含了一个模块的类型签名和结构。与之相对应的编译器必须有相同的文件名，但文件扩展名为`.ml`。从其他模块只能访问接口规定的内容。若模块没有接口文件，所有内容默认都可以被公开访问。*注意：.rei 和 .re 文件扩展名也遵循同样的逻辑。* 在链接步骤，`dune`使在后台使用`ldd`。还可使用`-O3`之类的命令实现最优化。可使用`gdb`调试程序，虽然OCaml不能完全支持这一调试工具，但这是一种有效的方式。即将发布的OCaml（4.08）可与`gdb`兼容。 ### 文档 学习OCaml的一个难点在于程序库文档的定位和读取。特别是`Core`库，其结构如下： “` Base | Core_kernel -> Async_kernel | | Unix <- Core -> Async “` 事实上，`Core`文档有多个源文件。要找到正确的文档，首先要登录GitHub，然后使用该平台定位正确文档。若未能找到所需模块，即登录`Core_kernel`，若仍未找到，则查找`Base`。还需要注意的是若字节段并未扩展，则该查询无效。 与其使用HTML文档，更好的方法是利用如`merlin`等提供类型提示的集成编辑器。但Merlin的一个缺点是只能在你的代码能够编译的情况下运行。此外还可提供代码跳转功能，如选中代码并转至其初始定义的代码段。 OPAM是OCmal的程序包管理器，通常与程序库共同运载文档。可通过merlin访问该管理器。 ### 文件扩展 OCaml有一个编译器插件的概念，名为ppx。这只是允许编译时代码生成的钩子（触发器）。 下面是一个类型签名扩展的例子 “` type t = | A | B [@ to_yojson f] [@@ deriving yojson] “` 在以上例子中，单个`@` 表示对单个表达式的扩展，`@@`表明该表达式将在调用上下文的范围内扩展。 结构或值的扩展要用到以下语法。 ` %`返回一个值/表达式 `%%`插入一个语句 “` let x = [% …] [%% …] let y = let%… z = … in match%… … with | … | … in [%% if x] let x = y [%% else] let x = z [%% endif] “` 总之，你在任何时候看到的 `[@ …] [@@ …] [% …] [%% …]`，都是扩展语言。 ### 单体 其函数式可非常直接地书写运算，无需样板代码。单体允许我们抽象上升到更高的运算，同时提供胶水函数。换句话说，单体是可编程的分号。 例如，下列命令式运算： “` function example(x) { if ( x == null ) return null; x = x + 1; if ( !isEven(x) ) return null; return x; } “` 同样可由单体函数式用option来表达： “` type a' option = | None | Some of 'a let return x = Some x (* Bind infix operation, applies f to m *) let (>>=) m f = match m with | Some x -> f x | None -> None (** Map infix operation Essentially the same as bind, but the inner function unwraps the value. **) let (>>|) m f = m >>= (fun x -> return (f x)) “` 现在我们可以使用这些原语重新运行上述命令示例，如下图所示。 “` let add_one = ((+) 1) let bind_even : int -> int option = fun x -> if x mod 2 = 0 then Some x else None let example x = x >>| add_one >>= bind_even; OCaml has a `ppx` that makes writing monads much easier to follow, using the let syntax. let%bind x = y in f x (* This compiles down to the following *) y >>= (fun x -> f x) “` 本质上，这个语法是从let语句取值，放在bind-infix-call函数式左侧，将赋值插入lambda表达式。 ### Async函数 Async函数在后台运行单子，但用的是Ivar。`a' Ivar.t`本质上是一个只能填入一次的互斥量。一旦返回计算的结果值，就会填入Ivar。剩下的语法糖会取Ivar的值，并借`Deferred `单体让数值通过。 确实有一个`yield` 函数，但是由于其有某些奇怪特性，我们尽量避免使用。相反，我们通常运行`Deferred` 约束之间的包裹值。 警告：需要注意的另一点是`Async.Pipe`，它的操作本质上就像一个缓冲期。请勿使用。这是不安全的，因为其默认不限制缓存（内存溢出），奇怪函数会影响管道功能，产生古怪的行为。取而代之的是使用`Strict_pipe，`它封装了管道，但为我们使用提供确定的保障。我们编写了一种更加个性化的助手`Broadcast_pipe`，可允许单个管道连接到多个下游管道。此外，在编写之前的`Linear_pipe`之时，我们尚未真正明白管道的缺陷，相比于更佳的`Strict_pipe`和`Broadcast_pipe`来说，前者现已过时。 ## **5.3 库结构** 本文描述了[Mina](https://github.com/minaprotocol/mina)[仓库](https://github.com/minaprotocol/mina)的文件结构，以及各种文件扮演的角色: ● dockerfiles / 包含Docker相关脚本- TODO能够更好地解释这个内容 ● docs / 这里有关于代码和贡献过程的文档。带有预排文档的文档网站位于`frontend/website/docs.` ● frontend/ 所有与Mina前端UI和产品相关的代码 – wallet/ Mina钱包的源代码 – website/ 代码为 https://minaprotocol.com – docs / 关于加入Mina网络的文档和说明 https://minaprotocol.com/docs – posts/ 博客文章的Markdown文档 – src / 该网站的源代码 – static/ 静态文件，如图像等。 ● rfcs / 这个目录包含了所有根据RFC流程做出的接受的RFC(或“评论请求”)。 ● scripts/ ● src / 所有协议源代码，包括应用程序和库代码，都在这个目录中。 – opam 这些文件是我们的构建dune系统所需要的。lib中的每个库都必须有一个。当您创建库lib/foo_lib时，使用一个dune文件，将库的名称指定为foo_lib，您必须创建一个`foo_lib.opam`文件。 – config/ 构建时间配置——这些.mlh文件定义了编译时间常量及其值。 – app / 应用程序在这里。 – cli / 这是mina客户端/守护进程。它是您用来运行staker、snarker或发送和接收交易的简单客户机的工具。 – website/ 很快就会被弃用的网站目录-大部分代码已经迁移到前端/网站/ – reformat/ 这个程序在源代码树中的大多数文件上运行ocamlformat，只有少数例外。 – logproc / 这个实用程序从stdin读取数据，可以过滤和打印mina守护进程发出的日志消息。 – libp2p_helper / 这个程序使用go-libp2p来实现Mina守护进程所需要的点对点管道。 – external/ 外部库的本地副本，我们需要做一些调整。 – lib / 所有库都支持mina。这里的库基本上分为两类。 1. 通用数据类型和功能。这包括snarky、fold_lib、vrf_lib、sgn等。 2. 应用程序特定的功能，结构为一个库。这包括syncable_ledger、staged_ledger、transaction_snark等。 ## 5.4 **BIP44 信息** | **index** | **hexa** | **symbol** | **coin** | | ——— | ———- | ———- | ——————————— | | 12586 | 0x8000312a | MINA | [Mina](https://minaprotocol.com/) | Mina使用[BIP44](https://github.com/bitcoin/bips/blob/master/bip-0044.mediawiki)中指定的5级[BIP32](https://github.com/bitcoin/bips/blob/master/bip-0032.mediawiki)路径格式 “` m / purpose' / coin_type' / account' / change / address_index “` 密钥对派生时，只改变`account`，同时保持`change` 和`address_index`为0 ### **BIP32 路径格式** “` m / 44' / 12586' / account' / 0 / 0 “` ### **示例** | **account** | **path** | | ———– | ——————— | | 0 | m/44'/12586'/0'/0/0 | | 271 | m/44'/12586'/271'/0/0 | ## 5.5 **代码评审指南** 一个好的拉取请求: ● 做了一件事（新特性，bug修复，等等） ● 为任何新功能添加测试和文档 ● 当修复一个bug时，添加或修复可以捕获该bug的测试 ### **与OCaml有关** ● 是否遵循了[样式指南](https://learnblockchain.cn/article/3362)? ● 签名有意义吗?它们是最小的和可重复使用的吗? ● 有什么需要被更改的吗? ● 是否存在没有正确处理的错误情况? ● 对_exn函数的调用是否合理?它们不抛出异常的先决条件是否满足?它抛出的异常有用吗? ● 不应该有注释掉的代码。 ● 没有零散的调试代码。 ● 任何日志记录都是合适的。所有日志记录器。跟踪日志应该是无关紧要的，因为它们在默认情况下不会显示给任何人。 ● 这个代码应该保存在它的库中吗?它应该放在另一个库吗? ● 代码让你感到迷惑吗?也许应该有一个评论，或者它应该有不同的结构。 ● 一个行为改变，是否会打破对其他代码作出的假设？ ## 5.6 风格指南 ### **Ocaml** #### **通则** 我们的风格指南是对几个现有风格指南的扩展。第一个是ocamlformat，相当于我们编码风格的主要事实来源。实际上，ocamlformat是对持续集成（CI）的阻断，因此你的代码必须经过编程风格格式化以便并入母版页。但是ocamlformat并不会处理所有风格问题，因为它只是用来定义代码如何间隔和缩进。对于ocamlformat没有涉及到的内容，可以查阅[Jane Street styleguide](https://opensource.janestreet.com/standards/) 。我们在此处阐释的这一风格指南旨在成为janestreet 风格指南的扩展，注重涉及我们代码库常用一些特定结构的细节。 #### **Mli文件** 若`.ml`自动派生接口不同，则` *.mli`文件不会被包括在前者中。我们代码库中许多`*.ml`文件只包含签名和一个仿函数。在这种情况下，重新定义`*.mli`文件没有意义，因为该文件中没有新信息或限制性信息。若一个`*.ml`文件包含root结构上的实现，则多半可能会创建一个`*.mli` 文件。 #### **模块** ##### 优选标准化短名称 `t`，`T和S`等是模块中常见的短名称，用来表达特定含义。 `t`用来指模块的root类型。例如，若`Account `模块中包含了与账户有关的类型和值，则`Account.t`就是账户的类型。若模块的root类型应只有一个值，t还可用作一个值。如，若你想在Logger模块里包含单个全局记录器，`Logger.t`可作为全局记录器的类型，其值就是`Logger.t`类型的全局记录器值。 `T`用于简述一个模块的root类型相关的root类型和基本定义。在你想实例化一个模块的root类型的一些仿函数，让该模块本身有实例的情况下，这是一种常用方法。例如，我们通常将`Comparable.Make`称为仿函数以便衍生不同的comparable类型的helper值或模块。在这种情况下，若我们又有一个`Account`模块，并且想衍`生Comparable.S`签名，则我们会在定义一个root类型`t `的`Account`中定义一个T模块以及`Comparable.Make`仿函数实际参数（在这种情况下为`compare`）所需函数。有了`T`模块，我们则可以将`include T`和`include Comparable.Make (T)`包含在`Account`模块中，以便向Account.t类型引入所有相关值或模块。下面是一个完整例子： “` module Account = struct module T = struct type t = … [@@deriving compare] end include T include Comparable.Make (T) end “` 模块类型名`S`用于定义一个模块的root签名，这种方法最常用于当你有一个包含一个仿函数的模块的情况。在此情况下，我们往往定义`Make`这个函数，并声明这个函数的返回值的类型为`S`，将这些值放在同一个模块里。回看我们之前的例子，`Core_kernel`的`Comparable `模块遵循了这个模式：`Comparable.Make`是一个返回值为`Comparable.S`的仿函数。 ##### **每个模块选择一种类型** 根据一般经验，每一个模块都应限定单一类型。这种模式有助于分离关注点，并且反过来允许值的名称变得更短，因为它们都被固定在上下文中。以`Merkle_tree `模块为例，该模块需要一个`Merkle_tree.t`的类型，该类型代表着整个树算法（或上面的一个节点）。一个`Merkle_tree`也需要一个`path` 类型。最好将path 类型放在其嵌套的模块中（`Merkle_tree.Path.t`而不是`Merkle_tree.path`）。现在，`Merkle_tree`包含的值（函数）不仅与树算法类型本身有关，还与树算法的`path`有关。为了清楚起见，自然而然假设所有的值名称与`path_`类型的路径有关（`如path_map，path_length`等）。通过限定Path自己的模块，我们可以缩短这些名称，值的上下文保持清楚。此外，如果我们选择这种方式，可以压缩 `Path`的实现细节，使用一个限定性签名，通过编译器实施会让关注点分离更清楚。 ##### **勿用MONKEY补丁** 我们代码库明确没有monkey补丁模块。monkey补丁的定义是将现有的模块用扩展或修改值重新定义。更简单的说，只是表单上的改变。 “` module A = struct module M = struct let x = … end end module M = struct include A.M let y = … (* or `let x = …` *) end “` 有时monkey补丁或许是编译代码的最简单方法，但总的来说，会造成代码库的混乱和/或技术债务。若你需要对一个模块运行monkey补丁，前提下你应有充分的理由。 ##### **仿函数签名等式** 仿函数所产生的模块签名的With语句签名应尽可能地限定在`S with module M1 = M2 `表单中。代替等式`:=`应限于签名比例需限定的情况下（比如，签名的一个嵌套模块在现有的结构范围内已有定义的情况）的include语句中。此外，也不会优先考虑`S with type t = …`表单，因为随着一个仿函数所涉及的签名之间的一般依赖数目提升，该表单表现不佳，要注意这点更加强调janestreet指南风格中“优先选择标准签名而非手写接口”的规定。 ##### 仿函数元数 仿函数最多可有3个元数（元数是实际参数的数量；在这种情况下，指的是嵌套仿函数的数量，嵌套仿函数指的是返回值为仿函数的仿函数）。若一个仿函数需要3个以上模块作为实际参数，则所需模块应嵌套进一个模块中。其标准模式是为你的仿函数定义一个`Inputs_intf`签名，这反过来会定义仿函数的模块实际参数。如下所示： “` module type Inputs_intf = sig module A : A.S module B : B.S module C : C.S module D : D.S end module type S = sig include Inputs_intf (* … *) end module Make (Inputs : Inputs_intf) : S with module A = Inputs.A and module B = Inputs.B and module C = Inputs.C and module D = Inputs.D = struct open Inputs (* … *) end “` ### 代码特性 我们采用了OCaml的独特风格。以下是一些要点。 #### 参数化记录 “` type ('payload, 'pk, 'signature) t_ = {payload: 'payload; sender: 'pk; signature: 'signature} [@@deriving eq, sexp, hash] type t = (Payload.t, Public_key.t, Signature.t) t_ [@@deriving eq, sexp, hash] (* … *) type var = (Payload.var, Public_key.var, Signature.var) t_ “` 我们用所有类型的记录字段的类型定义基本类型变量`t_`。然后用这些类型变量定义记录。最终，我们用`type t`将记录实例化，这就是OCaml类型。此外，在一个SNARK（简短无交互证明）电路中`type var`是这个值的类型。我们稍后会就这点展开介绍。无论我们想在SNARK（简短无交互证明）电路中程序化什么内容，我们通过这种方式来定义，以便跨越两种类型重复利用记录定义。 还有一些说法是转向OCaml对象类型因此不必去处理位置实参。或许我（@bkase）将不定时详写一份与之相关的RFC。 #### Ppx_deriving “` type t = int [@@deriving sexp, eq] “` 这是我们首次看到宏指令。此处我们用了[ppx_jane](https://github.com/janestreet/ppx_jane)的 `sexp`，[ppx_deriving](https://github.com/ocaml-ppx/ppx_deriving)的`eq`。 #### Stable.V1 “` module Stable : sig module V1 : sig type t = (* … *) [@@deriving bin_io, (*…*)] end end “` 对我们而言，只要是可序列化的类型，一旦发布了稳定版，保持向后兼容非常重要。理想情况下，我们不会以`bin_io`定义除`Stable.V1`外的任何类型定义。若我们改变数据类型结构，我们会在`Stable`之下创建一个`V2 `。 #### **基于属性的测试** [Core](https://opensource.janestreet.com/core/)运行着我们尽可能在单元测试的时候使用的[QuickCheck](https://blog.janestreet.com/quickcheck-for-core/)。举一个付款的`Quickcheck.Generator.t`的签名示例。 “` (* Generate a single payment between * $a, b in keys$ * for fee $in [0,max_fee]$ * and an amount $in [1,max_amount]$ *) val gen : keys:Signature_keypair.t array -> max_amount:int -> max_fee:int -> t Quickcheck.Generator.t “` 类型安全不变式（帮助命名这一字段） 关于Mina，很多时候我们需要对特定数据组进行重要检测。例如。我们需要确认在网络上收到的用户命令的签名是有效的。这样的检测可能非常昂贵，因此我们只想检测一次。但是我们要记得已经做过的检测。 “` (* inside user_command.mli *) module With_valid_signature : sig type nonrec t = private t [@@deriving sexp, eq] (*…*) end val check : t -> With_valid_signature.t option “` 现在我们定义`With_valid_signature`（常用的是`User_command.With_valid_signature.t`），利用`type nonrec t = private t`允许其向上转型至`User_command.t`，但是避免其向下转型。将`User_command.t`转化为`User_command.With_valid_signature.t`的唯一方法是对它进行`check`。于是编译器会捕捉我们的错误。 #### 单元测试 我们使用 [ppx_inline_test](https://github.com/janestreet/ppx_inline_test)来进行单元测试。当然只要条件允许，我们会将其与`QuickCheck`相结合。 “` let%test_unit = Quickcheck.test ~sexp:[%sexp_of: Int.t] Int.quickcheck_generator ~f:(fun x -> assert (Int.equal (f_inv (f x)) x)) “` #### 仿函数 我们正在转化成使用模块签名等式——见[the above section](https://docs.minaprotocol.com/en/developers/style-guide#functor-signature-equalities)和 [the rfc for rationale](https://github.com/MinaProtocol/mina/blob/master/rfcs/0004-style-guidelines.md)，但是我们仍然有大量使用类型替换（`with type foo := bar`）的代码。 首先我们定义仿函数的结果模块类型，将所有我们要处理的仿函数抽象化。 “` module type S = sig type boolean_var type curve type curve_var (*…*) end “` 然后我们定义这个仿函数： “` module Schnorr (Impl : Snark_intf.S) (Curve : sig (*…*) end) (Message : Message_intf with type boolean_var := Impl.Boolean.var (*…*)) : S with type boolean_var := Impl.Boolean.var and type curve := Curve.t and type curve_var := Curve.var (*…*) = struct (* here we implement the signature described in S *) end “` 自定义SNARK（简短无交互证明）电路逻辑 这也是我们首次提到自定义SNARK（简短交互证明）电路逻辑。我们所使用的模式适用于你想在子模块`module Checked`下的SNARK中运行的所有操作。 例如，在[sgn.mli](https://github.com/MinaProtocol/mina/blob/master/src/lib/sgn/sgn.mli) 中，我们可以看到： “` (* … *) val negate : t -> t module Checked : sig val negate : var -> var end “` `negate` 是OCmal中执行的函数版本，`Checked.negate`是在一个SNARK（简短交互证明）电路中执行的版本。 ## 5.7 **沙盒节点** Mina 沙盒节点将使您能够测试并熟悉协议的核心特性，并在稳定的环境中构建工具。它是一个使用和现有测试网相同配置的单节点私有网络。这个沙盒支持多个帐户，在它们之间发送交易，还将支持执行SNARK工作、委托和质押。事实上，由于这是一个单节点网络，你将获得所有的区块奖励! ### **注意** 沙盒**不能**将您连接到一个运行中网络。 ### **安装** [Docker](https://www.docker.com/)是一个可移植运行应用程序的工具。Docker打包了Mina 沙盒节点。它很容易安装——我们建议使用[Docker桌面](https://www.docker.com/products/docker-desktop)。 安装Docker后，运行以下命令启动Mina沙盒。 “` docker run –publish 3085:3085 -d –name mina minaprotocol/mina-demo:sandbox-32a.1 “` 这个命令将在docker容器内启动一个后台程序，并向您的计算机公开GraphQL端口(3085)，该端口用于与客户端通信。这个后台程序将自动在后台运行，并带有块生成器和snark worker。 您可以通过执行操作查看日志。 “` docker logs –follow mina “` 运行日志来停止mina。 “` docker stop mina “` 您可以使用Mina CLI与沙盒节点交互。下面的命令在docker容器中打开一个shell，在那里你可以发出任何可用的[mina命令](https://learnblockchain.cn/article/3348)。 “` docker exec -it mina bash “` ### **帐户详细信息** 容器有一个具有此公钥的帐户: “` B62qrPN5Y5yq8kGE3FbVKbGTdTAJNdtNtB5sNVpxyRwWGcDEhpMzc8g “` 该帐户的密码是空字符串(没有密码——可以将密码字段留空)。 ### **如何使用沙盒** 现在你可以用你的沙盒做以下几件事: ● 像往常一样[安装Mina](https://learnblockchain.cn/article/3342)并使用许多客户端命令。因为这个后台程序已经在容器中运行了，所以你不需要运行mina后台程序! ● 安装[GUI钱包](https://docs.minaprotocol.com/en/gui-wallet)应用程序以使用图形界面到您的节点。在安装过程中输入‘127.0.0.1’作为节点的主机。 ● 请访问http://localhost:3085/graphql直接使用GraphQL API。 ## 5.8 **GraphQL API** ### **警告** ● Mina API仍在构建中，因此这些端点可能会发生变化。 ● 默认情况下，GraphQL端口会绑定到本地主机。向互联网公开GraphQL API这一操作使得任何人都可以从已知帐户将Mina发送给守护进程。 Mina守护进程会公开一个GraphQL API，这是用于向运行中的节点请求信息并向其提交命令的。默认情况下，HTTP服务器使用3085端口，可以通过守护进程启动命令中的-rest-server参数来进行配置。 要使用[GraphQL API](https://graphql.org/)，请将GraphQL客户机连接到http://localhost:3085/graphql或在浏览器中打开以使用[GraphQL IDE](https://github.com/graphql/graphiql)。默认情况下，为了安全起见，本项操作只允许来自本地主机的连接。如果要监听所有接口，守护进程的启动命令中添加-insecure-rest-server参数。 除了关于正在运行的节点信息之外，GraphQL API还可以将网络最新块的数据返回。然而，由于<a href="https://lanhainft.com/tag/%e5%8c%ba%e5%9d%97%e9%93%be" title="区块链flickr.photos.notes.edit>区块链</a>的历史状态没有在Mina中持久化，只有在节点的转换边界中的区块才能返回，也就是最后的k块。对于其他历史数据来说，应该使用归档节点，而该节点的设计目的是保留和检索历史数据。 这里提供了完整的Mina GraphQL模式。 ### **查询:** Mina GraphQL API有许多从运行节点中提取数据的[查询](https://docs.minaprotocol.com/graphql-docs/query.doc.html)。[GraphQL查询](https://graphql.org/learn/queries/)允许指定响应的数据。例如，获取守护进程已知的最新块和创建者信息: “` query { bestChain(maxLength: 1) { creator stateHash protocolState { consensusState { blockHeight } previousStateHash } transactions { coinbase } } } “` 下面的请求是在查询交易池中所有待处理的交易及其手续费。此查询可用于估算交易的建议费用: “` query { pooledUserCommands { id, fee } } “` ### **注意** 交易返回的memo字段是经过[Base58Check编码](https://en.bitcoin.it/wiki/Base58Check_encoding)的。 为了获取主[mina代币](https://docs.minaprotocol.com/en/architecture/tokens)帐户的详细信息: “` query { account(publicKey: "<B62…>") { balance { total } delegate nonce } } “` 您可以从节点的命令行提交GraphQL请求。例如，使用cURL获取节点已知的最后10个区块创建者: “` curl -d '{"query": "{ bestChain(maxLength: 10) { creator } }"}' -H 'Content-Type: application/json' http://localhost:3085/graphql “` ### **突变:** GraphQL突变以某种方式修改正在运行的节点。例如，突变可以用于发送支付、创建新帐户或添加额外的对等节点。 ### **注意** 查询[GraphQL模式](https://docs.minaprotocol.com/graphql-docs/mutation.doc.html)以获取所有可用的突变。 添加一个新的对等节点: “` mutation { addPeers(peers:{ libp2p_port:10511, host:"34.73.68.198", peer_id:"12D3KooWSJB2gZWi3ruVmtTF9JBCEBpCrJfuWCWzzRr8mMQWFQ9U" }) } “` 更新一个snark工作者要支付0.1 mina的费用: “` mutation { setSnarkWorkFee(input: {fee: "100000000"}) } “` ### **订阅:** GraphQL[订阅](https://docs.minaprotocol.com/graphql-docs/subscription.doc.html)允许在事件发生时向GraphQL客户机推送数据。在Mina中，有以下若干订阅情况: ● newSyncUpdate——当节点的同步状态改变时发生。 ● newBlock -当接收到一个新的区块时发生。 ● chainReorganisation——当节点的最佳TIP以一种不正常的方式改变时发生。 例如，订阅所有产生的新区块: “` subscription { newBlock { creator stateHash protocolState { consensusState { blockHeight } previousStateHash } } } “` 新的区块订阅也可能被限制为只返回由已定义的带publicKey参数的公钥创建的新区块。 ### **GraphQL公共代理:** 虽然不建议向网络公开GraphQL API，但可以使用一个[GraphQL代理](https://github.com/MinaProtocol/mina/tree/master/automation/services/graphql-public-proxy)实现来删除那些构成威胁的查询，但仍然允许您从公共端点查询节点的数据。 ### **资源:** ● [关于Mina GraphQL API的5分钟介绍视频](https://bit.ly/GraphQLAPIin5) ● [使用Mina GraphQL API的第一步](https://garethtdavies.com/crypto/first-steps-with-coda-graphql-api.html) ● [GraphQL概论](https://graphql.org/learn/) ## **5.9 客户端SDK** [Mina Client Javascript SDK](https://www.npmjs.com/package/@o1labs/client-sdk)允许生成密钥对、签名和验证消息，以及可以将签名交易在网络上进行广播。 该项目包含Typescript和ReasonML的类型，但也可以从普通的NodeJS中使用。有以下几种方法: ● genKeys -生成公钥/私钥对。 ● derivePublicKey -导出对应私钥的公钥。 ● signMessage -对任意消息进行签名。 ● verifyMessage -验证签名是否与消息匹配。 ● signPayment -使用私钥对支付进行签名。 ● signstakes delegation -使用私钥对权益委托进行签名。 ### **注意** 客户端SDK允许在从不向网络公开私钥的设备上生成和进行交易签名。 ### **安装** “` yarn add @o1labs/client-sdk # or with npm: npm install –save @o1labs/client-sdk “` ### **使用** #### **Typescript** “` import * as MinaSDK from "@o1labs/client-sdk"; let keys = MinaSDK.genKeys(); let signed = MinaSDK.signMessage("hello", keys); if (MinaSDK.verifyMessage(signed)) { console.log("Message was verified successfully") }; let signedPayment = MinaSDK.signPayment({ to: keys.publicKey, from: keys.publicKey, amount: 1, fee: 1, nonce: 0 }, keys); “` #### **NodeJS** “` const MinaSDK = require("@o1labs/client-sdk"); let keys = MinaSDK.genKeys(); let signed = MinaSDK.signMessage("hello", keys); if (MinaSDK.verifyMessage(signed)) { console.log("Message was verified successfully") }; let signedPayment = MinaSDK.signPayment({ to: keys.publicKey, from: keys.publicKey, amount: 1, fee: 1, nonce: 0 }, keys); “` #### **ReasonML** ● 安装 gentype: `yarn add -D gentype` ● 安装 bs-platform: `yarn add -D bs-platform` ● 编译依赖: `yarn bsb -make-world` “` module MinaSDK = O1labsClientSdk.CodaSDK; let keys = MinaSDK.genKeys(); let signed = MinaSDK.signMessage(. "hello", keys); if (MinaSDK.verifyMessage(. signed)) { Js.log("Message was verified successfully"); }; let signedPayment = MinaSDK.signPayment({ to_: keys.publicKey, from: keys.publicKey, amount: "1", fee: "1", nonce: "0" }, keys); “` ### **注意** 当产生交易时，您需要指定帐户。您可以通过CLI使用`mina advanced get-nonce -address </public_key>`或使用[GraphQL](https://docs.minaprotocol.com/en/developers/graphql-api)来获得这个账户。 *Links need to be raplaced* *https://docs.minaprotocol.com/en/developers/graphql-api* ## **5.10 日志记录** Mina日志位于配置目录~/. Mina -config中。该目录包含以下日志文件: ● mina.log -该文件包含守护进程的最新日志。每个日志文件的大小限制为10兆字节(MiB)，并可以在50个日志文件之间轮换。轮转后的日志文件命名为mina.log.x。0到mina.log.50。 ● mina-best-tip.log -这个文件包含守护进程的最佳tip日志。这个文件使得从节点更容易地去收集所需的日志，从而确定任何硬分叉的最佳状态。该文件的大小被限制为5兆字节(MiB)，并可在单个日志文件mina-best-tip.log.0上进行旋转。 ● mina-prover.log -这个文件包含关于验证程序内存使用情况和批量处理大小的日志。它被限制为128兆字节(MiB)，并在单个日志文件上进行轮转。 ● mina-verifier.log -这个文件包含验证器的内存使用和批量处理大小的日志。它被限制为128兆字节(MiB)，并在单个日志文件上进行旋转。 要跟踪日志，请使用以下命令之一，这取决于您如何启动守护进程: ● Docker: Docker log –follow mina ● 作为一个服务运行:journalctl –user -u mina -n 1000 -f ● Other: tail -f ~/.mina-config/mina.log ### **日志级别:** Mina守护进程按照以下优先级顺序，对以下级别的日志进行了记录: ● Spam，垃圾邮件 ● Trace，跟踪 ● Debug，调试 ● Info，信息 ● Warn，警告 ● Error，错误 ● Fatal，致命 ### **注意** 指定一个Info级别的log-level 将只显示来自该日志级别及以上的消息，以及显著的减少日志的详细信息。 ### **日志格式:** 日志的格式定义如下: “` { "timestamp": timestamp, "level": level, "source": { "module": string, "location": string }, "message": format_string, "metadata": {{…}} } “` 错误信息的示例如下： “` { "timestamp": "2020-12-23 21:25:04.616526Z", "level": "Error", "source": { "module": "Transition_router", "location": "File "src/lib/transition_router/transition_router.ml", line 231, characters 12-24" }, "message": "Failed to find any peers during initialization (crashing because this is not a seed node)", "metadata": { "host": "48.241.118.000", "peer_id": "12D3KooWGQSPgo7ypy9717D3Vgz2RHaqB2ndDRHEFcAfJDAv284q", "pid": 12, "port": 8302 } } “` ### **导出日志:** Mina的守护进程提供了一个CLI助手，用于压缩和打包来自节点的可用日志文件。 对于正在运行的守护进程，可以运行mina client export-logs，其中可以传递一个可选的标志-tarfile来指定tar存档文件的文件名，该文件名默认为当前日期-时间。该命令压缩可用的日志，并将它们导出到~/ mina-config目录中的exported_logs目录之下。 #### **注意** 您可以通过GraphQL从运行中的节点导出日志，从而使用exportLogs变种。 如果需要从未运行的节点导出日志，可以使用mina client export-local-logs命令压缩可用的本地日志文件。通过tarfile选项指定tar归档文件的文件名，日志将被压缩并导出到~/中的exported_logs目录。mina-config目录。 #### **注意** 在GitHub上创建或更新问题时，可以将导出的tar.gz文件直接上传到[问题](https://github.com/MinaProtocol/mina/issues)中。 ### **日志记录选项:** 在启动守护进程时可以设置以下选项来定制日志记录行为: ● -file-log-level日志文件的日志级别(默认为Trace) ● -log-level -通过标准输出使之输出到终端的日志级别(默认为Info) ● -log- JSON -以JSON的形式打印日志输出(默认为纯文本) ● -log-block-creation -记录在一个区块中包括交易和snark工作的步骤(默认:true) ● -log-received-blocks -从对等节点接收到的日志区块数(默认为false) ● -log-snark-work-gossip -log从对等节点收到的snark-pool差异(默认为false) ● -log-txn-pool-gossip -从对等节点收到的交易池差异日志(默认:false) ● -log-precompute -blocks -在日志中包含预计算的区块(默认为false) #### 崩溃报告: 如果守护进程崩溃但能够使用，那么它将生成一个崩溃报告。只有最新的崩溃报告将被保留，文件名表示崩溃的日期时间，并且压缩文件将被导出到~/.mina-config 目录之中。您可以上传这个崩溃报告到任何有关GitHub问题中，确保有新的内容和可供调试的援助。 崩溃报告将包含以下部分或全部日志文件: ● crash_summary.json -包含崩溃~~瘫痪~~的摘要，包括系统信息、版本信息和最终的日志输出。 ● mina_status.json -一个mina client status命令的输出，它是守护进程最终状态的摘要。 ● mina_short.log -包含mina.log文件的最后4MiB。 ● registered_mask.dot-包含最新的账本~~</p> <div class="pt-0 d-none d-block d-xl-none d-lg-none"><aside id="header-widget-shop-down" class="widget-area"><p></p></aside></div><div class="post-note alert alert-warning mt-2" role="alert"><small><strong>声明：</strong>本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。</small></div> <div class="entry-share"> <div class="row"> <div class="col d-none d-lg-block"> </div> <div class="col-auto mb-3 mb-lg-0"> <button class="go-star-btn btn btn-sm btn-white" data-id="5775"><i class="far fa-star"></i> 收藏</button> <button class="share-poster btn btn-sm btn-white" data-id="5775" title="文章封面图"><i class="fa fa-share-alt"></i> 海报</button> <button class="go-copy btn btn-sm btn-white" data-toggle="tooltip" data-placement="top" title="点击复制链接" data-clipboard-text="https://lanhainft.com/5775.html"><i class="fas fa-link"></i> 链接</button> </div> </div> </div> </div> </div> </div> </article> <div class="entry-navigation"> <div class="row"> <div class="col-lg-6 col-12"> <a class="entry-page-prev" href="https://lanhainft.com/4938.html" title="从零开始学习 JD Chain（三）- 安装穿透式检索"> <div class="entry-page-icon"><i class="fas fa-arrow-left"></i></div> <div class="entry-page-info"> <span class="d-block rnav">上一篇</span> <span class="d-block title">从零开始学习 JD Chain（三）- 安装穿透式检索</span> </div> </a> </div> <div class="col-lg-6 col-12"> <a class="entry-page-next" href="https://lanhainft.com/6125.html" title="Substrate 部署公开测试网络"> <div class="entry-page-info"> <span class="d-block rnav">下一篇</span> <span class="d-block title">Substrate 部署公开测试网络</span> </div> <div class="entry-page-icon"><i class="fas fa-arrow-right"></i></div> </a> </div> </div> </div> <div class="related-posts"> <h3 class="u-border-title">相关文章</h3> <div class="row"> <div class="col-lg-6 col-12"> <article id="post-10789" class="post post-list post-10789 type-post status-publish format-standard hentry category-gonglian category-blockchain"> <div class="entry-media"><div class="placeholder" style="padding-bottom: 66.666666666667%"><a target="_blank" href="https://lanhainft.com/10789.html" title="NEAR上的极光世界：全文解读 EVM 兼容链 Aurora 及其产品线" rel="nofollow noopener noreferrer"><img class="lazyload" data-src="https://hx24.huoxing24.cn/image/news/2022/05/27/1653628200404319.png" src="https://lanhainft.com/wp-content/themes/ripro-v2/assets/img/thumb-ing.gif" alt="NEAR上的极光世界：全文解读 EVM 兼容链 Aurora 及其产品线" /></a></div></div> <div class="entry-wrapper"> <header class="entry-header"><h2 class="entry-title"><a target="_blank" href="https://lanhainft.com/10789.html" title="NEAR上的极光世界：全文解读 EVM 兼容链 Aurora 及其产品线" rel="bookmark">NEAR上的极光世界：全文解读 EVM 兼容链 Aurora 及其产品线</a></h2></header> <div class="entry-footer"> <div class="entry-meta"> <span class="meta-category"> <a href="https://lanhainft.com/blockchain/gonglian" rel="category">公链</a> </span> <span class="meta-date"> <time datetime="2022-05-27T13:14:17+08:00"> <i class="fa fa-clock-o"></i> 2 年前 </time> </span> <span class="meta-views"><i class="fa fa-eye"></i> 13</span> </div> </div> </div> </article> </div> <div class="col-lg-6 col-12"> <article id="post-10716" class="post post-list post-10716 type-post status-publish format-standard hentry category-gonglian category-blockchain"> <div class="entry-media"><div class="placeholder" style="padding-bottom: 66.666666666667%"><a target="_blank" href="https://lanhainft.com/10716.html" title="速览 Terra 2.0 空投细则及计算方法示例" rel="nofollow noopener noreferrer"><img class="lazyload" data-src="https://hx24.huoxing24.cn/image/crawler/2022/05/26/1653571087734359.jpg" src="https://lanhainft.com/wp-content/themes/ripro-v2/assets/img/thumb-ing.gif" alt="速览 Terra 2.0 空投细则及计算方法示例" /></a></div></div> <div class="entry-wrapper"> <header class="entry-header"><h2 class="entry-title"><a target="_blank" href="https://lanhainft.com/10716.html" title="速览 Terra 2.0 空投细则及计算方法示例" rel="bookmark">速览 Terra 2.0 空投细则及计算方法示例</a></h2></header> <div class="entry-footer"> <div class="entry-meta"> <span class="meta-category"> <a href="https://lanhainft.com/blockchain/gonglian" rel="category">公链</a> </span> <span class="meta-date"> <time datetime="2022-05-26T23:03:20+08:00"> <i class="fa fa-clock-o"></i> 2 年前 </time> </span> <span class="meta-views"><i class="fa fa-eye"></i> 13</span> </div> </div> </div> </article> </div> <div class="col-lg-6 col-12"> <article id="post-10669" class="post post-list post-10669 type-post status-publish format-standard hentry category-gonglian category-blockchain"> <div class="entry-media"><div class="placeholder" style="padding-bottom: 66.666666666667%"><a target="_blank" href="https://lanhainft.com/10669.html" title="Vitalik 上海峰会演讲全文：以太坊合并或将在 8 月开始" rel="nofollow noopener noreferrer"><img class="lazyload" data-src="https://hx24.huoxing24.cn/image/crawler/2022/05/26/1653554672804324.jpg" src="https://lanhainft.com/wp-content/themes/ripro-v2/assets/img/thumb-ing.gif" alt="Vitalik 上海峰会演讲全文：以太坊合并或将在 8 月开始" /></a></div></div> <div class="entry-wrapper"> <header class="entry-header"><h2 class="entry-title"><a target="_blank" href="https://lanhainft.com/10669.html" title="Vitalik 上海峰会演讲全文：以太坊合并或将在 8 月开始" rel="bookmark">Vitalik 上海峰会演讲全文：以太坊合并或将在 8 月开始</a></h2></header> <div class="entry-footer"> <div class="entry-meta"> <span class="meta-category"> <a href="https://lanhainft.com/blockchain/gonglian" rel="category">公链</a> </span> <span class="meta-date"> <time datetime="2022-05-26T17:00:33+08:00"> <i class="fa fa-clock-o"></i> 2 年前 </time> </span> <span class="meta-views"><i class="fa fa-eye"></i> 9</span> </div> </div> </div> </article> </div> <div class="col-lg-6 col-12"> <article id="post-10650" class="post post-list post-10650 type-post status-publish format-standard hentry category-gonglian category-blockchain"> <div class="entry-media"><div class="placeholder" style="padding-bottom: 66.666666666667%"><a target="_blank" href="https://lanhainft.com/10650.html" title="ConsenSys：速览以太坊测试网简史" rel="nofollow noopener noreferrer"><img class="lazyload" data-src="https://lanhainft.com/suotu.png" src="https://lanhainft.com/wp-content/themes/ripro-v2/assets/img/thumb-ing.gif" alt="ConsenSys：速览以太坊测试网简史" /></a></div></div> <div class="entry-wrapper"> <header class="entry-header"><h2 class="entry-title"><a target="_blank" href="https://lanhainft.com/10650.html" title="ConsenSys：速览以太坊测试网简史" rel="bookmark">ConsenSys：速览以太坊测试网简史</a></h2></header> <div class="entry-footer"> <div class="entry-meta"> <span class="meta-category"> <a href="https://lanhainft.com/blockchain/gonglian" rel="category">公链</a> </span> <span class="meta-date"> <time datetime="2022-05-26T16:00:11+08:00"> <i class="fa fa-clock-o"></i> 2 年前 </time> </span> <span class="meta-views"><i class="fa fa-eye"></i> 42</span> </div> </div> </div> </article> </div> </div> </div> <div id="comments" class="entry-comments"> <div id="respond" class="comment-respond"> <h3 id="reply-title" class="comment-reply-title">发表回复 <small><a rel="nofollow" id="cancel-comment-reply-link" href="/5775.html#respond" style="display:none;">取消回复</a></small></h3><form action="https://lanhainft.com/wp-comments-post.php" method="post" id="commentform" class="comment-form" novalidate><p class="comment-notes"><span id="email-notes">您的电子邮箱地址不会被公开。</span> <span class="required-field-message">必填项已用 <span class="required">*</span> 标注</span></p><div class="comment-form-comment"><a class="btn btn-sm btn-link" href="javascript:embedImage();">插入图片</a><textarea id="comment" name="comment" class="required" rows="4" placeholder="请输入评论内容..."> 浏览器会保存昵称、邮箱和网站cookies信息，下次评论时使用。
