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结构为：

附录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中的约束系统代码解析