Mina中的scan state代码解析

1. 引言

前序博客有：

• Mina中的Scan State

Mina引入scan state来异步实现交易证明，scan state中有多棵树，将待证明交易作为scan state中树的叶子节点，相应的证明称为base job，树的非叶子节点的证明称为merge job。树的根节点对应的证明称为ledger_proof。

可将scan state中每棵树中的每个节点看成是待完成的job：

• job状态结构为：Todo和Done 两种状态。

(**Each node on the tree is viewed as a job that needs to be completed. When a job is completed, it creates a new "Todo" job and marks the old job as "Done"*)
module Job_status : sig
  [%%versioned:
  module Stable : sig
    module V1 : sig
      type t = Todo | Done [@@deriving sexp]

• Weight：可添加到某树的job数，与该树的特定层相关。

(**number of jobs that can be added to this tree. This number corresponding to a specific level of the tree. New jobs received is distributed across the tree based on this number. *)
module Weight : sig
  [%%versioned:
  module Stable : sig
    module V1 : sig
      type t = { base : int; merge : int }

• Base Job结构为：

2. Mina的Pending coinbase

Mina的pending coinbase本质上是a Merkle tree of “stacks”，每个都包含2个hash值：

• 第一个哈希值通过push操作，根据coinbase内的元素计算而来；
• 第二个哈希值为protocol state hash，根据coinbase中的“body” state哈希计算而来。

pending coinbase中还包含一个stack id，用于判定stacks的发生顺序，从而知道哪个是最新的stack，哪个是最老的stack。
此处用stack这个词是不恰当的，其并不遵循last-in-first-out原则，称为“accumulators”累加器更合适。

pending_coinbase结构表示为：

type t = (Merkle_tree.t, Stack_id.t) Poly.t

type ('tree, 'stack_id) t =
      { tree : 'tree; pos_list : 'stack_id list; new_pos : 'stack_id }

附录1. Mina系列博客

Mina系列博客有：

• Mina概览
• Mina的支付流程
• Mina的zkApp
• Mina中的Pasta（Pallas和Vesta）曲线
• Mina中的Schnorr signature
• Mina中的Pickles SNARK
• Mina中的Kimchi SNARK
• Mina Kimchi SNARK 代码解析
• Mina Berkeley QANet测试网zkApp初体验
• Mina中的Poseidon hash
• Mina中的多项式承诺方案
• Recursive SNARKs总览
• Mina技术白皮书
• Mina代码解析
• Mina中的Snark Worker
• Mina中的Scan State
• Mina中的VRF
• Mina中的delta_transition_chain_proof/delta_block_chain_proof
• Mina中的stake delegation
• Mina如何实现22KB？
• Mina中的stake_proof
• Mina中的genesis_proof
• Mina中的交易及经济白皮书
• Mina中的ledger proof
• Mina中的基于DLG的Plonk polynomial commitment scheme代码解析
• Mina中的约束系统代码解析