delta transition

delta transition是指在Mina协议中用于证明一个区块的状态转换的证明。这个证明由一个state_hash和相应的Merkle路径证明组成。在Mina的代码中，可以使用Transition_chain_prover模块的prove函数来生成delta transition proof。其中，参数length表示Mina共识参数中的delta值，而frontier和previous_state_hash分别表示前一个区块的Transition_frontier和commitment to previous block。

当进行catchup或正常同步最新区块时，可以使用Merkle_list_verifier模块的verify函数对delta transition proof进行验证。

总结起来，delta transition proof是用于证明一个区块的状态转换的证明，它由state_hash和相应的Merkle路径证明组成。在Mina的代码中，可以使用Transition_chain_prover模块的prove函数生成delta transition proof，并可以使用Merkle_list_verifier模块的verify函数进行验证。